From b0bf71ba345a7d57b3525269d58f9159a3848101 Mon Sep 17 00:00:00 2001 From: Michael Norrish Date: Wed, 25 Oct 2023 14:49:28 +1100 Subject: [PATCH] Fix omitted dependency information in some Holmakefiles Concurrent builds where stuff may or may not get linked to sigobj can mask a failure to explicitly depend on appropriate directories. --- src/n-bit/interactive_tests/Holmakefile | 2 +- src/quotient/examples/lambda/Holmakefile | 2 +- src/quotient/examples/sigma/Holmakefile | 2 +- 3 files changed, 3 insertions(+), 3 deletions(-) diff --git a/src/n-bit/interactive_tests/Holmakefile b/src/n-bit/interactive_tests/Holmakefile index 8d07479bab..a653eb3abe 100644 --- a/src/n-bit/interactive_tests/Holmakefile +++ b/src/n-bit/interactive_tests/Holmakefile @@ -4,7 +4,7 @@ INCLUDES = .. all: test1 $(DEFAULT_TARGETS) -test1: script1.ML +test1: script1.ML ../wordsTheory.uo $(protect $(HOLDIR)/bin/hol) $< diff --git a/src/quotient/examples/lambda/Holmakefile b/src/quotient/examples/lambda/Holmakefile index b73dae08ac..03b092a637 100644 --- a/src/quotient/examples/lambda/Holmakefile +++ b/src/quotient/examples/lambda/Holmakefile @@ -1,3 +1,3 @@ -INCLUDES = .. ../../../string +INCLUDES = .. ../../../string ../../../res_quan/src EXTRA_CLEANS = $(patsubst %,%.lst,alpha beta eta lift reduction term variable) diff --git a/src/quotient/examples/sigma/Holmakefile b/src/quotient/examples/sigma/Holmakefile index 18520faccf..986d9a1b9a 100644 --- a/src/quotient/examples/sigma/Holmakefile +++ b/src/quotient/examples/sigma/Holmakefile @@ -1,3 +1,3 @@ -INCLUDES = .. ../../../string +INCLUDES = .. ../../../string ../../../res_quan/src EXTRA_CLEANS = variable.lst