diff options
| author | Brian Campbell | 2018-05-17 16:39:30 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-05-17 16:39:30 +0100 |
| commit | 1867ec89a4493ca6ce92c8926885c4090b6d3d5d (patch) | |
| tree | 8f6b4a527d80180341c8b19efd21c869a5e30065 /lib/hol/Makefile | |
| parent | 333bbb7cbfda60eda1bfe6642e068f2795056c1d (diff) | |
| parent | f5672ea6a1e04ad1f2bee91ad86584b183d323b4 (diff) | |
Merge branch 'cheri-mono' into sail2
Diffstat (limited to 'lib/hol/Makefile')
| -rw-r--r-- | lib/hol/Makefile | 31 |
1 files changed, 31 insertions, 0 deletions
diff --git a/lib/hol/Makefile b/lib/hol/Makefile new file mode 100644 index 00000000..065f887a --- /dev/null +++ b/lib/hol/Makefile @@ -0,0 +1,31 @@ +LEMSRC = \ + ../../src/lem_interp/sail_instr_kinds.lem \ + ../../src/gen_lib/sail_values.lem \ + ../../src/gen_lib/sail_operators.lem \ + ../../src/gen_lib/sail_operators_mwords.lem \ + ../../src/gen_lib/sail_operators_bitlists.lem \ + ../../src/gen_lib/state_monad.lem \ + ../../src/gen_lib/state.lem \ + prompt_monad.lem \ + prompt.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 \ + prompt_monadScript.sml promptScript.sml + +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) sail-heap: $(SCRIPTS) + Holmake + +# Holmake will also clear out the generated $(SCRIPTS) files +clean: + Holmake cleanAll + +.PHONY: all clean |