diff options
| author | Brian Campbell | 2018-05-16 18:11:00 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-05-16 18:11:00 +0100 |
| commit | 9bed157a93741a62a3b8f550bfeeef2a049dc301 (patch) | |
| tree | 845687842259c699c16fefbd5a7d4c4e7fdbc5ff /lib | |
| parent | 4caf834dc8ae15353d9f2ee76819d46fcb8bbe60 (diff) | |
Add handwritten script to Holmakefile
Diffstat (limited to 'lib')
| -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 |