From 2776bf6b8541d95077ca23abc6239bfbd62977fa Mon Sep 17 00:00:00 2001
From: Brian Campbell
Date: Tue, 23 Jan 2018 15:54:01 +0000
Subject: Fix building bytecode sail

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

(limited to 'src')

diff --git a/src/Makefile b/src/Makefile
index 3539088e..325cbec6 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -76,7 +76,7 @@ isail: ast.ml
 sail.native: sail
 
 sail.byte:
-	ocamlbuild -cflag -g sail.byte
+	ocamlbuild -use-ocamlfind -cflag -g sail.byte
 
 interpreter: lem_interp/interp_ast.lem
 	ocamlbuild lem_interp/extract.cmxa
-- 
cgit v1.2.3