diff options
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 |