diff options
Diffstat (limited to 'lib')
| -rw-r--r-- | lib/hol/Makefile | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/lib/hol/Makefile b/lib/hol/Makefile index b6be46b4..065f887a 100644 --- a/lib/hol/Makefile +++ b/lib/hol/Makefile @@ -14,13 +14,13 @@ SCRIPTS = sail_instr_kindsScript.sml sail_valuesScript.sml sail_operatorsScript. state_monadScript.sml stateScript.sml \ prompt_monadScript.sml promptScript.sml -all: sail-heap +THYS = $(patsubst %Script.sml,%Theory.uo,$(SCRIPTS)) + +all: sail-heap $(THYS) $(SCRIPTS): $(LEMSRC) lem -hol -outdir . -auxiliary_level none -lib ../../src/lem_interp -lib ../../src/gen_lib $(LEMSRC) -THYS = $(patsubst %Script.sml,%Theory.uo,$(SCRIPTS)) - $(THYS) sail-heap: $(SCRIPTS) Holmake |