Get examples/lambda/examples to build once more

HOL-Theorem-Prover · Sep 29, 2023 · 491f509 · 491f509
1 parent 9bcacdb
commit 491f509
Show file tree

Hide file tree

Showing 3 changed files with 198 additions and 209 deletions.
diff --git a/examples/lambda/Holmakefile b/examples/lambda/Holmakefile
@@ -1,2 +1,2 @@
 CLINE_OPTIONS = -r
-INCLUDES = barendregt basics other-models typing wcbv-reasonable
+INCLUDES = barendregt basics other-models typing wcbv-reasonable examples
diff --git a/examples/lambda/examples/Holmakefile b/examples/lambda/examples/Holmakefile
@@ -0,0 +1 @@
+INCLUDES = ../basics