diff options
| author | Thomas Bauereiss | 2017-08-24 20:38:38 +0100 |
|---|---|---|
| committer | Thomas Bauereiss | 2017-08-24 20:38:38 +0100 |
| commit | beb2279dcab654d6e7c6ff16247dd93c743a27ba (patch) | |
| tree | 2e0c6bcebef9452079861f4f14e7e3c7f0bfb791 | |
| parent | a42684821d6c0487c248900a89e1f464737da771 (diff) | |
Use relative path in Makefile
| -rw-r--r-- | src/Makefile | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/src/Makefile b/src/Makefile index 297069d3..53acec6a 100644 --- a/src/Makefile +++ b/src/Makefile @@ -66,6 +66,7 @@ test: sail interpreter ./run_tests.native THIS_MAKEFILE := $(realpath $(lastword $(MAKEFILE_LIST))) +SAIL_DIR:=$(realpath $(dir $(THIS_MAKEFILE))..) BITBUCKET_ROOT=$(realpath $(dir $(THIS_MAKEFILE))../..) LEM = $(BITBUCKET_ROOT)/lem/lem @@ -74,9 +75,8 @@ ELFDIR= $(BITBUCKET_ROOT)/linksem ZARITH_DIR=$(LEMLIBOCAML)/dependencies/zarith ZARITH_LIB=$(ZARITH_DIR)/zarith.cmxa -SAIL_DIR:=$(BITBUCKET_ROOT)/sail SAIL_LIB_DIR:=$(SAIL_DIR)/lib -MIPS_SAIL_DIR:=$(SAIL_DIR)/mips +MIPS_SAIL_DIR:=$(SAIL_DIR)/mips_new_tc MIPS_SAILS_PRE:=$(SAIL_LIB_DIR)/prelude.sail $(SAIL_LIB_DIR)/prelude_wrappers.sail $(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 |