diff options
| author | Guillaume Melquiond | 2021-01-11 17:08:41 +0100 |
|---|---|---|
| committer | Guillaume Melquiond | 2021-01-11 17:08:41 +0100 |
| commit | 94d44211fa918a75482d97cc9498811fcbcda0b2 (patch) | |
| tree | 0f2b7aa7de1c81e253c79cc3aca2025aa5d2cb95 | |
| parent | 76de13a9ce03f542bca74dabee28bf27d9d8ac4f (diff) | |
Make sure Ltac2 get cleaned too.
| -rw-r--r-- | Makefile.make | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/Makefile.make b/Makefile.make index 2f6781439c..eeb3e9b539 100644 --- a/Makefile.make +++ b/Makefile.make @@ -274,7 +274,7 @@ depclean: find . $(FIND_SKIP_DIRS) '(' -name '*.d' ')' -exec rm -f {} + cacheclean: - find theories test-suite -name '.*.aux' -exec rm -f {} + + find theories user-contrib test-suite -name '.*.aux' -exec rm -f {} + cleanconfig: rm -f config/Makefile config/coq_config.ml dev/ocamldebug-coq config/Info-*.plist @@ -282,12 +282,12 @@ cleanconfig: distclean: clean cleanconfig cacheclean timingclean voclean: - find theories plugins test-suite \( -name '*.vo' -o -name '*.vio' -o -name '*.vos' -o -name '*.vok' -o -name '*.glob' -o -name "*.cmxs" \ + find theories plugins user-contrib test-suite \( -name '*.vo' -o -name '*.vio' -o -name '*.vos' -o -name '*.vok' -o -name '*.glob' -o -name "*.cmxs" \ -o -name "*.native" -o -name "*.cmx" -o -name "*.cmi" -o -name "*.o" \) -exec rm -f {} + - find theories plugins test-suite -name .coq-native -empty -exec rm -rf {} + + find theories plugins user-contrib test-suite -name .coq-native -empty -exec rm -rf {} + timingclean: - find theories plugins test-suite \( -name '*.v.timing' -o -name '*.v.before-timing' \ + find theories plugins user-contrib test-suite \( -name '*.v.timing' -o -name '*.v.before-timing' \ -o -name "*.v.after-timing" -o -name "*.v.timing.diff" -o -name "time-of-build.log" \ -o -name "time-of-build-before.log" -o -name "time-of-build-after.log" \ -o -name "time-of-build-pretty.log" -o -name "time-of-build-both.log" \) -exec rm -f {} + |