Fix some Holmakefiles to record dependencies more accurately

HOL-Theorem-Prover · Sep 13, 2023 · 99b8c21 · 99b8c21
1 parent e622e8f
commit 99b8c21
Show file tree

Hide file tree

Showing 3 changed files with 3 additions and 1 deletion.
diff --git a/examples/countchars/Holmakefile b/examples/countchars/Holmakefile
@@ -0,0 +1 @@
+INCLUDES = $(HOLDIR)/src/finite_maps
diff --git a/examples/hfs/Holmakefile b/examples/hfs/Holmakefile
@@ -0,0 +1 @@
+INCLUDES = $(protect $(HOLDIR)/src/pred_set/src/more_theories)
diff --git a/examples/lambda/other-models/Holmakefile b/examples/lambda/other-models/Holmakefile
@@ -1,2 +1,2 @@
-INCLUDES = ../basics ../barendregt
+INCLUDES = ../basics ../barendregt $(protect $(HOLDIR)/src/integer)
 OPTIONS = QUIT_ON_FAILURE
Original file line number	Diff line number	Diff line change
		@@ -0,0 +1 @@
		INCLUDES = $(protect $(HOLDIR)/src/pred_set/src/more_theories)