From c432deec5454a073c645352d9dec674be28fa568 Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Wed, 25 Oct 2017 14:12:50 +0100
Subject: Generate ast.ml from ott file and update makefile.

Fix until loop not being counted as sugar
---
 src/Makefile | 10 +++++++---
 1 file changed, 7 insertions(+), 3 deletions(-)

(limited to 'src/Makefile')

diff --git a/src/Makefile b/src/Makefile
index d0001868..d1e29d06 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -49,15 +49,18 @@ all: sail lib doc
 
 full: sail lib power doc test
 
-sail:
+ast.ml: ast.ott
+	ott -sort false -generate_aux_rules true -o ast.ml -picky_multiple_parses true ast.ott
+
+sail: ast.ml
 	ocamlbuild sail.native
 
 sail.native: sail
 
-sail.byte: 
+sail.byte:
 	ocamlbuild -cflag -g sail.byte
 
-interpreter: 
+interpreter:
 	ocamlbuild lem_interp/extract.cmxa
 	ocamlbuild lem_interp/extract.cma
 
@@ -238,6 +241,7 @@ clean:
 	-rm -rf tex-doc
 	-rm -rf lem lib
 	-rm -rf sail.docdir
+	-rm -f ast.ml
 
 doc:
 	ocamlbuild sail.docdir/index.html
-- 
cgit v1.2.3