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