diff options
| author | Robert Norton | 2018-03-08 16:49:50 +0000 |
|---|---|---|
| committer | Robert Norton | 2018-03-08 16:51:03 +0000 |
| commit | 7f894658e6cf53a3ebf4dec5ccf788450de53d1e (patch) | |
| tree | fb8a1855311b2d0fdd9ed398bfcd8de70c374321 | |
| parent | 9e48920689ed4290f0bf155d604292143d5f5ffa (diff) | |
rename mips_new_tc to mips
| -rw-r--r-- | cheri/Makefile | 2 | ||||
| -rw-r--r-- | mips/Makefile (renamed from mips_new_tc/Makefile) | 2 | ||||
| -rw-r--r-- | mips/main.sail (renamed from mips_new_tc/main.sail) | 0 | ||||
| -rw-r--r-- | mips/mips_ast_decl.sail (renamed from mips_new_tc/mips_ast_decl.sail) | 0 | ||||
| -rw-r--r-- | mips/mips_epilogue.sail (renamed from mips_new_tc/mips_epilogue.sail) | 0 | ||||
| -rw-r--r-- | mips/mips_extras.lem (renamed from mips_new_tc/mips_extras.lem) | 0 | ||||
| -rw-r--r-- | mips/mips_insts.sail (renamed from mips_new_tc/mips_insts.sail) | 0 | ||||
| -rw-r--r-- | mips/mips_prelude.sail (renamed from mips_new_tc/mips_prelude.sail) | 0 | ||||
| -rw-r--r-- | mips/mips_regfp.sail (renamed from mips_new_tc/mips_regfp.sail) | 0 | ||||
| -rw-r--r-- | mips/mips_ri.sail (renamed from mips_new_tc/mips_ri.sail) | 0 | ||||
| -rw-r--r-- | mips/mips_tlb.sail (renamed from mips_new_tc/mips_tlb.sail) | 0 | ||||
| -rw-r--r-- | mips/mips_tlb_stub.sail (renamed from mips_new_tc/mips_tlb_stub.sail) | 0 | ||||
| -rw-r--r-- | mips/mips_wrappers.sail (renamed from mips_new_tc/mips_wrappers.sail) | 0 | ||||
| -rw-r--r-- | mips/prelude.sail (renamed from mips_new_tc/prelude.sail) | 0 | ||||
| -rw-r--r-- | src/Makefile | 2 |
15 files changed, 3 insertions, 3 deletions
diff --git a/cheri/Makefile b/cheri/Makefile index 1ec835db..e056a9a9 100644 --- a/cheri/Makefile +++ b/cheri/Makefile @@ -2,7 +2,7 @@ THIS_MAKEFILE := $(realpath $(lastword $(MAKEFILE_LIST))) SAIL_DIR:=$(realpath $(dir $(THIS_MAKEFILE))..) export SAIL_DIR SAIL_LIB_DIR:=$(SAIL_DIR)/lib -MIPS_SAIL_DIR:=$(SAIL_DIR)/mips_new_tc +MIPS_SAIL_DIR:=$(SAIL_DIR)/mips CHERI_SAIL_DIR:=$(SAIL_DIR)/cheri SAIL:=$(SAIL_DIR)/sail SAIL_LIB_HEADERS:=$(SAIL_LIB_DIR)/flow.sail diff --git a/mips_new_tc/Makefile b/mips/Makefile index fb926c6e..55d8e986 100644 --- a/mips_new_tc/Makefile +++ b/mips/Makefile @@ -2,7 +2,7 @@ THIS_MAKEFILE := $(realpath $(lastword $(MAKEFILE_LIST))) SAIL_DIR:=$(realpath $(dir $(THIS_MAKEFILE))..) export SAIL_DIR SAIL_LIB_DIR:=$(SAIL_DIR)/lib -MIPS_SAIL_DIR:=$(SAIL_DIR)/mips_new_tc +MIPS_SAIL_DIR:=$(SAIL_DIR)/mips SAIL:=$(SAIL_DIR)/sail diff --git a/mips_new_tc/main.sail b/mips/main.sail index 2df5c0f8..2df5c0f8 100644 --- a/mips_new_tc/main.sail +++ b/mips/main.sail diff --git a/mips_new_tc/mips_ast_decl.sail b/mips/mips_ast_decl.sail index e39bc270..e39bc270 100644 --- a/mips_new_tc/mips_ast_decl.sail +++ b/mips/mips_ast_decl.sail diff --git a/mips_new_tc/mips_epilogue.sail b/mips/mips_epilogue.sail index c7477a50..c7477a50 100644 --- a/mips_new_tc/mips_epilogue.sail +++ b/mips/mips_epilogue.sail diff --git a/mips_new_tc/mips_extras.lem b/mips/mips_extras.lem index 920277f6..920277f6 100644 --- a/mips_new_tc/mips_extras.lem +++ b/mips/mips_extras.lem diff --git a/mips_new_tc/mips_insts.sail b/mips/mips_insts.sail index e8f9a0f7..e8f9a0f7 100644 --- a/mips_new_tc/mips_insts.sail +++ b/mips/mips_insts.sail diff --git a/mips_new_tc/mips_prelude.sail b/mips/mips_prelude.sail index b4f09548..b4f09548 100644 --- a/mips_new_tc/mips_prelude.sail +++ b/mips/mips_prelude.sail diff --git a/mips_new_tc/mips_regfp.sail b/mips/mips_regfp.sail index 4bf96022..4bf96022 100644 --- a/mips_new_tc/mips_regfp.sail +++ b/mips/mips_regfp.sail diff --git a/mips_new_tc/mips_ri.sail b/mips/mips_ri.sail index edce0657..edce0657 100644 --- a/mips_new_tc/mips_ri.sail +++ b/mips/mips_ri.sail diff --git a/mips_new_tc/mips_tlb.sail b/mips/mips_tlb.sail index 741eb84c..741eb84c 100644 --- a/mips_new_tc/mips_tlb.sail +++ b/mips/mips_tlb.sail diff --git a/mips_new_tc/mips_tlb_stub.sail b/mips/mips_tlb_stub.sail index f0ffb9dd..f0ffb9dd 100644 --- a/mips_new_tc/mips_tlb_stub.sail +++ b/mips/mips_tlb_stub.sail diff --git a/mips_new_tc/mips_wrappers.sail b/mips/mips_wrappers.sail index 70e6fa83..70e6fa83 100644 --- a/mips_new_tc/mips_wrappers.sail +++ b/mips/mips_wrappers.sail diff --git a/mips_new_tc/prelude.sail b/mips/prelude.sail index 5b89521f..5b89521f 100644 --- a/mips_new_tc/prelude.sail +++ b/mips/prelude.sail diff --git a/src/Makefile b/src/Makefile index 3e0b9841..9446a693 100644 --- a/src/Makefile +++ b/src/Makefile @@ -115,7 +115,7 @@ LEM = $(PROJECT_ROOT)/lem/lem ELFDIR= $(PROJECT_ROOT)/linksem SAIL_LIB_DIR:=$(SAIL_DIR)/lib -MIPS_SAIL_DIR:=$(SAIL_DIR)/mips_new_tc +MIPS_SAIL_DIR:=$(SAIL_DIR)/mips MIPS_SAILS_PRE:=$(SAIL_LIB_DIR)/flow.sail $(MIPS_SAIL_DIR)/prelude.sail $(MIPS_SAIL_DIR)/mips_prelude.sail $(MIPS_SAIL_DIR)/mips_tlb.sail $(MIPS_SAIL_DIR)/mips_wrappers.sail $(MIPS_SAIL_DIR)/mips_ast_decl.sail $(MIPS_SAIL_DIR)/mips_insts.sail $(MIPS_SAIL_DIR)/mips_ri.sail $(MIPS_SAIL_DIR)/mips_epilogue.sail |