[examples/lambda] clean up EXTRA_CLEANS in a couple of Holmakefiles

HOL-Theorem-Prover · Oct 25, 2023 · 117737b · 117737b
1 parent 418915e
commit 117737b
Show file tree

Hide file tree

Showing 2 changed files with 6 additions and 3 deletions.
diff --git a/examples/computability/lambda/Holmakefile b/examples/computability/lambda/Holmakefile
@@ -1,11 +1,12 @@
 INCLUDES = ../../lambda/barendregt ../../lambda/basics \
            ../../lambda/other-models ../
-OPTIONS = QUIT_ON_FAILURE
+
+EXTRA_CLEANS = $(patsubst %Theory.uo,%Theory.html,$(DEFAULT_TARGETS))
 
 ifdef POLY
 HOLHEAP = computability-heap
-EXTRA_CLEANS = $(HOLHEAP) $(HOLHEAP).o \
-	$(patsubst %Theory.uo,%Theory.html,$(DEFAULT_TARGETS))
+EXTRA_CLEANS += $(HOLHEAP)
+
 
 BARE_THYS = ../../lambda/barendregt/normal_orderTheory \
             ../../lambda/other-models/pure_dBTheory

diff --git a/examples/lambda/barendregt/Holmakefile b/examples/lambda/barendregt/Holmakefile
@@ -1 +1,3 @@
 INCLUDES = ../basics $(dprot $(HOLDIR)/src/coalgebras)
+
+EXTRA_CLEANS = $(patsubst %Theory.uo,%Theory.html,$(DEFAULT_TARGETS))