FStar icon indicating copy to clipboard operation
FStar copied to clipboard

Multiple --cache_dir s for multi-directory compilations

Open briangmilnes opened this issue 5 months ago • 3 comments

Building a make system (before Fake) when I process a test subdirectory I get appropriate 241 and 247 errors due to having a single --cache_dir to work with.

I checked multiple --cache_dir specs and also treating it like an include, neither work.

This should be a low priority upgrade.

briangmilnes avatar Sep 10 '24 00:09 briangmilnes