diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 11 |
1 files changed, 7 insertions, 4 deletions
@@ -12,11 +12,17 @@ isail: $(MAKE) -C src isail ln -f -s src/isail.native sail +coverage: + $(MAKE) -C src coverage + ln -f -s src/isail.native sail + install: if [ -z "$(SHARE_DIR)" ]; then echo SHARE_DIR is unset; false; fi mkdir -p $(INSTALL_DIR)/bin cp src/isail.native $(INSTALL_DIR)/bin/sail mkdir -p $(SHARE_DIR) + make -C lib/isabelle all + make -C lib/hol all-scripts cp -r lib $(SHARE_DIR) mkdir -p $(SHARE_DIR)/src cp src/elf_loader.ml $(SHARE_DIR)/src @@ -40,9 +46,6 @@ archs: $(MAKE) -C "$$arch" || exit;\ done -isabelle-lib: - $(MAKE) -C isabelle-lib - apply_header: $(MAKE) clean headache -c etc/headache_config -h etc/mips_header `ls mips/*.sail` @@ -73,4 +76,4 @@ clean: for subdir in src arm ; do\ $(MAKE) -C "$$subdir" clean;\ done - -rm sail + rm -f sail |