diff options
| author | Shaked Flur | 2018-02-08 12:06:00 +0000 |
|---|---|---|
| committer | Shaked Flur | 2018-02-08 12:06:00 +0000 |
| commit | 043ea8ec3faecadf34ef9010bdd539f595f9c6da (patch) | |
| tree | eb44af3b9dec8e1a222872f56d4e32781596fa9e /Makefile | |
| parent | 151d86b911c9a266465638ee3514156dfb178e92 (diff) | |
replaced NIA_LR/CTR/register with NIA_indirect;
removed IK_cond_branch, and added IK_branch
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 25 |
1 files changed, 22 insertions, 3 deletions
@@ -1,24 +1,35 @@ -.PHONY: all sail language clean archs isabelle-lib apply_header +ARCHS += power +ARCHS += arm +ARCHS += risc-v +# ARCHS += mips +# ARCHS += cheri +ARCHS += x86 all: sail interpreter +.PHONY: all sail: $(MAKE) -C src ln -f -s src/sail.native sail +.PHONY: sail language: $(MAKE) -C language +.PHONY: language -interpreter: +interpreter: $(MAKE) -C src interpreter +.PHONY: interpreter archs: - for arch in arm mips cheri; do\ + for arch in $(ARCHS); do\ $(MAKE) -C "$$arch" || exit;\ done +.PHONY: archs isabelle-lib: $(MAKE) -C isabelle-lib +.PHONY: isabelle-lib apply_header: $(MAKE) clean @@ -29,9 +40,17 @@ apply_header: headache -c etc/headache_config -h src/LICENCE `ls src/lem_interp/*.ml` headache -c etc/headache_config -h src/LICENCE `ls src/lem_interp/*.lem` $(MAKE) -C arm apply_header +.PHONY: apply_header clean: for subdir in src arm ; do\ $(MAKE) -C "$$subdir" clean;\ done -rm sail +.PHONY: clean + +clean_archs: + for arch in $(ARCHS); do\ + $(MAKE) -C "$$arch" clean;\ + done +.PHONY: clean_archs |