diff options
Diffstat (limited to 'lib/hol/Holmakefile')
| -rw-r--r-- | lib/hol/Holmakefile | 11 |
1 files changed, 8 insertions, 3 deletions
diff --git a/lib/hol/Holmakefile b/lib/hol/Holmakefile index 45ed41ff..6698e210 100644 --- a/lib/hol/Holmakefile +++ b/lib/hol/Holmakefile @@ -1,8 +1,11 @@ -SCRIPTS = sail_instr_kindsScript.sml sail_valuesScript.sml sail_operatorsScript.sml \ +LEM_SCRIPTS = sail_instr_kindsScript.sml sail_valuesScript.sml sail_operatorsScript.sml \ sail_operators_mwordsScript.sml sail_operators_bitlistsScript.sml \ state_monadScript.sml stateScript.sml promptScript.sml prompt_monadScript.sml -EXTRA_CLEANS = $(SCRIPTS) +LEM_CLEANS = $(LEM_SCRIPTS) + +SCRIPTS = $(LEM_SCRIPTS) \ + sail_valuesAuxiliaryScript.sml THYS = $(patsubst %Script.sml,%Theory.uo,$(SCRIPTS)) @@ -13,9 +16,11 @@ INCLUDES = $(LEMDIR) all: $(THYS) .PHONY: all +EXTRA_CLEANS = $(LEM_CLEANS) + ifdef POLY HOLHEAP = sail-heap -EXTRA_CLEANS = $(SCRIPTS) $(HOLHEAP) $(HOLHEAP).o +EXTRA_CLEANS = $(LEM_CLEANS) $(HOLHEAP) $(HOLHEAP).o BASE_HEAP = $(LEMDIR)/lemheap |