diff options
| author | Brian Campbell | 2018-07-10 16:50:06 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-07-10 17:15:51 +0100 |
| commit | 497c8bf636619988203f8a868806fb04903db2dd (patch) | |
| tree | 58862858725c130c9e5e7c168d729ccde4f4e161 /mips/Makefile | |
| parent | 6bc52192841d712cb8d582841b0a73d2b7f59df6 (diff) | |
Make HOL build properly again for all of the models
Diffstat (limited to 'mips/Makefile')
| -rw-r--r-- | mips/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/mips/Makefile b/mips/Makefile index 062ccd8b..9fdda4d3 100644 --- a/mips/Makefile +++ b/mips/Makefile @@ -59,7 +59,7 @@ M%.thy: m%.lem m%_types.lem mips_extras.lem sed -i 's/datatype ast/datatype (plugins only: size) ast/' M$*_types.thy %Script.sml: %.lem %_types.lem $(MIPS_SAIL_DIR)/mips_extras.lem - lem -hol -outdir . -lib $(SAIL_DIR)/lib/hol -lib $(SAIL_DIR)/src/gen_lib -lib $(SAIL_DIR)/src/lem_interp $^ + lem -hol -outdir . -lib $(SAIL_DIR)/lib/hol -i $(SAIL_DIR)/lib/hol/sail2_prompt_monad.lem -i $(SAIL_DIR)/lib/hol/sail2_prompt.lem -lib $(SAIL_DIR)/src/gen_lib -lib $(SAIL_DIR)/src/lem_interp $^ %Theory.uo: %Script.sml Holmake $@ |