diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 8 |
1 files changed, 6 insertions, 2 deletions
@@ -1,11 +1,15 @@ .PHONY: all sail language clean archs isabelle-lib apply_header -all: sail interpreter +all: sail sail: - $(MAKE) -C src + $(MAKE) -C src sail ln -f -s src/sail.native sail +isail: + $(MAKE) -C src isail + ln -f -s src/isail.native sail + language: $(MAKE) -C language |