1 files changed, 4 insertions, 0 deletions
diff --git a/Makefile b/Makefile
index 9d3e613e..22d51315 100644
--- a/Makefile
+++ b/Makefile
@@ -6,6 +6,10 @@ sail:
 	$(MAKE) -C src
 	ln -f -s src/sail.native sail
 
+isail:
+	$(MAKE) -C src isail
+	ln -f -s src/isail.native sail
+
 language:
 	$(MAKE) -C language