diff options
| author | Christopher Pulte | 2016-11-22 13:18:16 +0000 |
|---|---|---|
| committer | Christopher Pulte | 2016-11-22 13:18:16 +0000 |
| commit | 8a57de9a8354a3aca8ed1ead945ba857fe46b8d8 (patch) | |
| tree | a0ea17e83224ef8331f758db536546db449109e7 /src/Makefile | |
| parent | bbc14fa37c10b0a52aab01dcdd8eeae96b8c9f49 (diff) | |
fix mips Makefile
Diffstat (limited to 'src/Makefile')
| -rw-r--r-- | src/Makefile | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/src/Makefile b/src/Makefile index 7d255cfa..740ebd90 100644 --- a/src/Makefile +++ b/src/Makefile @@ -28,7 +28,7 @@ MIPS_SAIL_DIR:=$(BITBUCKET_ROOT)/sail/mips MIPS_SAILS_PRE:=$(MIPS_SAIL_DIR)/mips_prelude.sail $(MIPS_SAIL_DIR)/mips_tlb.sail $(MIPS_SAIL_DIR)/mips_wrappers.sail $(MIPS_SAIL_DIR)/mips_insts.sail $(MIPS_SAIL_DIR)/mips_ri.sail $(MIPS_SAIL_DIR)/mips_epilogue.sail -MIPS_SAILS:=$(MIPS_SAILS) $(BITBUCKET_ROOT)/sail/etc/regfp.sail $(MIPS_SAIL_DIR)/mips_regfp.sail +MIPS_SAILS:=$(MIPS_SAILS_PRE) $(BITBUCKET_ROOT)/sail/etc/regfp.sail $(MIPS_SAIL_DIR)/mips_regfp.sail MIPS_NOTLB_SAILS_PRE:=$(MIPS_SAIL_DIR)/mips_prelude.sail $(MIPS_SAIL_DIR)/mips_tlb_stub.sail $(MIPS_SAIL_DIR)/mips_wrappers.sail $(MIPS_SAIL_DIR)/mips_insts.sail $(MIPS_SAIL_DIR)/mips_epilogue.sail |