FStarLang / FStar

A Proof-oriented Programming Language
https://fstar-lang.org
Apache License 2.0
2.7k stars 234 forks source link

Some makefile fixes #3424

Closed mtzguido closed 2 months ago

mtzguido commented 2 months ago

examples/sample_project is failing in CI but not being detected, because we create .depend files by redirection and make (by default, stupidly) will not delete these files in the --dep run fails.