From 8ebc761142699dfea3835a3fcc05e548d700eeea Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Wed, 23 Nov 2016 17:58:30 +0000
Subject: Make type checker not run to fix point on resolving case-split type
 variables; modern implementation of nexp unification seems not to need it

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

(limited to 'src/Makefile')

diff --git a/src/Makefile b/src/Makefile
index 740ebd90..4f16f2b9 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -9,6 +9,9 @@ sail:
 
 sail.native: sail
 
+sail.byte: 
+	ocamlbuild -cflag -g sail.byte
+
 interpreter: 
 	ocamlbuild lem_interp/extract.cmxa
 	ocamlbuild lem_interp/extract.cma
-- 
cgit v1.2.3