diff options
| author | Brian Campbell | 2018-05-15 11:57:29 +0100 |
|---|---|---|
| committer | Brian Campbell | 2018-05-15 11:57:29 +0100 |
| commit | c70ca047daf5c833fdc9b1a44efe21e07492aabf (patch) | |
| tree | 4063a474adf75b39e574bfa9cbcf6760326fdf20 /lib/hol | |
| parent | 5089d9ec81303ce50992084368d3d35f7169d230 (diff) | |
Make all of Sail HOL libraries, not just the base heap
Diffstat (limited to 'lib/hol')
| -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 |