From 1fc69968a831305f2db43544b503fffc9b4106cc Mon Sep 17 00:00:00 2001
From: Jon French
Date: Wed, 13 Mar 2019 16:14:06 +0000
Subject: package and install Sail as an ocamlfind library

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

(limited to 'src/Makefile')

diff --git a/src/Makefile b/src/Makefile
index abf49423..146addbe 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -103,7 +103,8 @@ sail: ast.ml bytecode.ml manifest.ml
 	ocamlbuild -use-ocamlfind sail.native sail_lib.cma sail_lib.cmxa
 
 isail: ast.ml bytecode.ml manifest.ml
-	ocamlbuild -use-ocamlfind isail.native
+	ocamlbuild -use-ocamlfind isail.native sail_lib.cma sail_lib.cmxa libsail.cma libsail.cmxa
+
 
 coverage: ast.ml bytecode.ml manifest.ml
 	BISECT_COVERAGE=YES ocamlbuild -use-ocamlfind -plugin-tag 'package(bisect_ppx-ocamlbuild)' isail.native
-- 
cgit v1.2.3