From df4d60b71bcabf9897656d6d74157a4c7d8d539c Mon Sep 17 00:00:00 2001
From: Son Ho
Date: Tue, 16 May 2023 11:45:43 +0200
Subject: Make good progress on generating code for HOL4

---
 tests/hol4/Holmakefile.template | 3 +++
 1 file changed, 3 insertions(+)
 create mode 100644 tests/hol4/Holmakefile.template

(limited to 'tests/hol4/Holmakefile.template')

diff --git a/tests/hol4/Holmakefile.template b/tests/hol4/Holmakefile.template
new file mode 100644
index 00000000..c86fad70
--- /dev/null
+++ b/tests/hol4/Holmakefile.template
@@ -0,0 +1,3 @@
+
+all: $(DEFAULT_TARGETS)
+.PHONY: all
-- 
cgit v1.2.3