diff options
| author | Shaked Flur | 2018-01-31 16:22:12 +0000 |
|---|---|---|
| committer | Shaked Flur | 2018-01-31 16:22:12 +0000 |
| commit | 151d86b911c9a266465638ee3514156dfb178e92 (patch) | |
| tree | 4959b09d470c260b851a3e3f36d5384224c974df /src | |
| parent | ef5eee97618d226249281bb0d2ad47c02d8f364c (diff) | |
minor rename
Diffstat (limited to 'src')
| -rw-r--r-- | src/Makefile | 8 |
1 files changed, 4 insertions, 4 deletions
diff --git a/src/Makefile b/src/Makefile index 44d1b8b2..2bd31c14 100644 --- a/src/Makefile +++ b/src/Makefile @@ -88,12 +88,12 @@ test: sail interpreter ./run_tests.native THIS_MAKEFILE := $(realpath $(lastword $(MAKEFILE_LIST))) -BITBUCKET_ROOT=$(realpath $(dir $(THIS_MAKEFILE))../..) +PROJECT_ROOT=$(realpath $(dir $(THIS_MAKEFILE))../..) -LEM = $(BITBUCKET_ROOT)/lem/lem -ELFDIR= $(BITBUCKET_ROOT)/linksem +LEM = $(PROJECT_ROOT)/lem/lem +ELFDIR= $(PROJECT_ROOT)/linksem -SAIL_DIR:=$(BITBUCKET_ROOT)/sail +SAIL_DIR:=$(PROJECT_ROOT)/sail MIPS_SAIL_DIR:=$(SAIL_DIR)/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 |