diff options
Diffstat (limited to 'Makefile')
| -rw-r--r-- | Makefile | 15 |
1 files changed, 15 insertions, 0 deletions
@@ -1,5 +1,7 @@ .PHONY: all sail language clean archs isabelle-lib apply_header +INSTALL_DIR ?= . + all: sail sail: @@ -10,6 +12,19 @@ isail: $(MAKE) -C src isail ln -f -s src/isail.native sail +install: + mkdir -p $(INSTALL_DIR)/bin + cp src/isail.native $(INSTALL_DIR)/bin/sail + mkdir -p $(INSTALL_DIR)/share/sail + cp -r lib $(INSTALL_DIR)/share/sail + mkdir -p $(INSTALL_DIR)/share/sail/src + cp src/elf_loader.ml $(INSTALL_DIR)/share/sail/src + cp src/sail_lib.ml $(INSTALL_DIR)/share/sail/src + +uninstall: + rm -f $(INSTALL_DIR)/bin/sail + rm -rf $(INSTALL_DIR)/share/sail + language: $(MAKE) -C language |