diff --git a/src/1/theory_tests/Holmakefile b/src/1/theory_tests/Holmakefile
new file mode 100644
index 0000000000..2d13e485b2
--- /dev/null
+++ b/src/1/theory_tests/Holmakefile
@@ -0,0 +1,3 @@
+ifdef POLY
+CLINE_OPTIONS = --holstate=$(HOLDIR)/bin/hol.state0
+endif