From 117737b0beda660ed562377f97c7ba3ab2a9c5a6 Mon Sep 17 00:00:00 2001 From: Michael Norrish Date: Thu, 26 Oct 2023 10:41:58 +1100 Subject: [PATCH] [examples/lambda] clean up EXTRA_CLEANS in a couple of Holmakefiles --- examples/computability/lambda/Holmakefile | 7 ++++--- examples/lambda/barendregt/Holmakefile | 2 ++ 2 files changed, 6 insertions(+), 3 deletions(-) diff --git a/examples/computability/lambda/Holmakefile b/examples/computability/lambda/Holmakefile index ca43cead66..e033328021 100644 --- 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 index 0057658880..d2e4afc6b0 100644 --- 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))