foundry-list.check
Makefile rule erases tests/foundry/out/ag_proofs
, which it relies on
#1741
Labels
enhancement
New feature or request
The Makefile rule
tests/foundry/foundry-list.check
hastests/foundry/out
as an indirect dependency, so when Imake
it with-B
, it erases thetests/foundry/out/ag_proofs
directory, and this makes it easy to waste a lot of time by running this rule by mistake because in order to regenerate the foundry-list test file all the proofs in thetest-foundry-prove
need to be re-run.Ideally we'd have some way for
make
to be able to tell iftest-foundry-prove
needs to be rerun and make this a dependency oftests/foundry/foundry-list.out
, but if that's not possible, I think we should move everything currently intests/foundry/out
into its own directory and havetests/foundry/out
be only for the generated JSON files.The text was updated successfully, but these errors were encountered: