diff options
| author | Shaked Flur | 2019-04-17 14:25:16 +0100 |
|---|---|---|
| committer | Shaked Flur | 2019-04-17 14:25:16 +0100 |
| commit | f091479ccfbe7861cd0620cef414887ccfe65090 (patch) | |
| tree | 869673a07535fc0bbf9fea8ee2aaede7afba577d | |
| parent | a6b9e85997879845d1317270696ceffff1c00127 (diff) | |
Build libsail again (removed Bytcode and Share_directory)
| -rw-r--r-- | src/Makefile | 2 | ||||
| -rw-r--r-- | src/libsail.mllib | 2 |
2 files changed, 1 insertions, 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 |