diff options
| author | Robert Norton | 2016-03-01 14:15:02 +0000 |
|---|---|---|
| committer | Robert Norton | 2016-03-07 15:18:35 +0000 |
| commit | 84b77074f6eee2713c0adaf0bfe3c0bcbe0134a3 (patch) | |
| tree | cc2a07b9efd039748fce80686707ba982ea20147 /src | |
| parent | 7894dbb25d43649c5a893d1de5fe8475cc726948 (diff) | |
Split mips.sail into three file and make use of the new -o option in preparation for adding cheri support in separate files.
Diffstat (limited to 'src')
| -rw-r--r-- | src/Makefile | 11 |
1 files changed, 5 insertions, 6 deletions
diff --git a/src/Makefile b/src/Makefile index 1e9ca694..4a73d658 100644 --- a/src/Makefile +++ b/src/Makefile @@ -24,6 +24,9 @@ LEM = $(BITBUCKET_ROOT)/lem/lem LEMLIBOCAML = $(BITBUCKET_ROOT)/lem/ocaml-lib ELFDIR= $(BITBUCKET_ROOT)/linksem +MIPS_SAIL_DIR:=$(BITBUCKET_ROOT)/l2/mips +MIPS_SAILS:=$(MIPS_SAIL_DIR)/mips_prelude.sail $(MIPS_SAIL_DIR)/mips_insts.sail $(MIPS_SAIL_DIR)/mips_epilogue.sail + elf: make -C $(ELFDIR) @@ -31,18 +34,14 @@ _build/mips_extras.lem: ../mips/mips_extras.lem mkdir -p _build cp $< $@ -_build/mips.sail: ../mips/mips.sail - mkdir -p _build - cp $< $@ - _build/run_with_elf.ml: lem_interp/run_with_elf.ml mkdir -p _build cp $< $@ -_build/mips.lem: _build/mips.sail ./sail.native +_build/mips.lem: $(MIPS_SAILS) ./sail.native mkdir -p _build cd _build ;\ - ../sail.native -lem_ast $(notdir $<) + ../sail.native -lem_ast -o mips $(MIPS_SAILS) %.ml: %.lem $(LEM) -only_changed_output -ocaml -lib lem_interp/ $< |