Make it explicit that src/1/theory_tests uses hol.bare

HOL-Theorem-Prover · Dec 18, 2024 · 5f08f9b · 5f08f9b
1 parent a199c1a
commit 5f08f9b
Showing 1 changed file with 3 additions and 0 deletions.
diff --git a/src/1/theory_tests/Holmakefile b/src/1/theory_tests/Holmakefile
@@ -0,0 +1,3 @@
+ifdef POLY
+CLINE_OPTIONS = --holstate=$(HOLDIR)/bin/hol.state0
+endif