Another Holmakefile needing fixing after 6e6ca26

HOL-Theorem-Prover · Nov 3, 2014 · 7f7a151 · 7f7a151
1 parent 4a4e72c
commit 7f7a151
Showing 1 changed file with 7 additions and 0 deletions.
diff --git a/examples/ARM/v7/Holmakefile b/examples/ARM/v7/Holmakefile
@@ -1,3 +1,10 @@
+THYFILES = $(patsubst %Script.sml,%Theory.uo,$(wildcard *.sml))
+TARGETS = $(patsubst %.sml,%.uo,$(THYFILES))
+
+all: $(TARGETS) selftest.exe
+.PHONY: all
+
 selftest.exe: selftest.uo armLib.uo
 	$(HOLMOSMLC) -o $@ $<
+
 OPTIONS=QUIT_ON_FAILURE