From 36e95d3af78bf8b6e11b1939e605a735285e3183 Mon Sep 17 00:00:00 2001
From: Brian Campbell
Date: Fri, 26 Jan 2018 17:22:12 +0000
Subject: Missing -ocamlfind

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

(limited to 'src/Makefile')

diff --git a/src/Makefile b/src/Makefile
index 325cbec6..85c5abba 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -270,4 +270,4 @@ doc:
 	ocamlbuild -use-ocamlfind sail.docdir/index.html
 
 lib:
-	ocamlbuild pretty_print.cmxa pretty_print.cma
+	ocamlbuild -use-ocamlfind pretty_print.cmxa pretty_print.cma
-- 
cgit v1.2.3