From f091479ccfbe7861cd0620cef414887ccfe65090 Mon Sep 17 00:00:00 2001
From: Shaked Flur
Date: Wed, 17 Apr 2019 14:25:16 +0100
Subject: Build libsail again (removed Bytcode and Share_directory)

---
 src/Makefile | 2 +-
 1 file changed, 1 insertion(+), 1 deletion(-)

(limited to 'src/Makefile')

diff --git a/src/Makefile b/src/Makefile
index 5ff56330..a002d4f3 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -103,7 +103,7 @@ sail: ast.ml jib.ml manifest.ml
 	ocamlbuild -use-ocamlfind sail.native sail_lib.cma sail_lib.cmxa
 
 isail: ast.ml jib.ml manifest.ml
-	ocamlbuild -use-ocamlfind isail.native sail_lib.cma sail_lib.cmxa
+	ocamlbuild -use-ocamlfind isail.native sail_lib.cma sail_lib.cmxa libsail.cma libsail.cmxa
 
 
 coverage: ast.ml jib.ml manifest.ml
-- 
cgit v1.2.3