FStar
FStar copied to clipboard
Multiple --cache_dir s for multi-directory compilations
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.