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 +-
 src/libsail.mllib | 2 --
 2 files changed, 1 insertion(+), 3 deletions(-)

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
diff --git a/src/libsail.mllib b/src/libsail.mllib
index 734a1381..1a992391 100644
--- a/src/libsail.mllib
+++ b/src/libsail.mllib
@@ -2,7 +2,6 @@ Anf
 Ast
 Ast_util
 Bitfield
-Bytecode
 C_backend
 Cgen_backend
 Constant_fold
@@ -48,7 +47,6 @@ Sail
 Sail2_values
 Sail_lib
 Scattered
-Share_directory
 Spec_analysis
 Specialize
 State
-- 
cgit v1.2.3