diff options
-rw-r--r-- | .gitignore | 4 | ||||
-rw-r--r-- | Makefile | 1 |
2 files changed, 4 insertions, 1 deletions
@@ -67,4 +67,6 @@ # MacOS metadata .DS_Store # Test generated data -/test/clightgen/*.v
\ No newline at end of file +/test/clightgen/*.v +# Coq cache +.lia.cache @@ -268,6 +268,7 @@ clean: rm -f extraction/STAMP extraction/*.ml extraction/*.mli .depend.extr rm -f tools/ndfun tools/modorder tools/*.cm? tools/*.o rm -f $(GENERATED) .depend + rm -f .lia.cache $(MAKE) -f Makefile.extr clean $(MAKE) -C runtime clean $(MAKE) -C test clean |