diff options
| author | Shaked Flur | 2016-06-03 14:32:16 +0100 |
|---|---|---|
| committer | Shaked Flur | 2016-06-03 14:32:16 +0100 |
| commit | d64d254a0150330d79c73e1f8aaab0618b79a649 (patch) | |
| tree | cbd6aad8dfd7dc89f65ec5ff25c3656f007696d3 /Makefile | |
| parent | ed8a71b26bd969105f5f1359004444be1a76df0e (diff) | |
added ARMv8
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 12 |
1 files changed, 10 insertions, 2 deletions
@@ -1,10 +1,11 @@ -.PHONY: all sail language clean power test +.PHONY: all sail language clean archs all: sail apply_header: headache -c etc/headache_config -h etc/mips_header `ls mips/*.sail` headache -c etc/headache_config -h etc/mips_header `ls cheri/*.sail` + $(MAKE) -C arm apply_header sail: $(MAKE) -C src @@ -17,5 +18,12 @@ interpreter: $(MAKE) -C src interpreter clean: - $(MAKE) -C src clean + for subdir in src arm ; do\ + $(MAKE) -C "$$subdir" clean;\ + done rm sail + +archs: + for arch in arm mips cheri; do\ + $(MAKE) -C "$$arch" || exit;\ + done |