From 80fd65368f2769a29ce657aaffef50f3c8f0455f Mon Sep 17 00:00:00 2001
From: Kathy Gray
Date: Wed, 17 Jul 2013 13:16:44 +0100
Subject: Separated ott file for parsable AST and parser changes

---
 language/Makefile | 8 ++++++--
 1 file changed, 6 insertions(+), 2 deletions(-)

(limited to 'language/Makefile')

diff --git a/language/Makefile b/language/Makefile
index dcadaff2..2c3d2512 100644
--- a/language/Makefile
+++ b/language/Makefile
@@ -1,6 +1,6 @@
 OTTLIB=$(dir $(shell which ott))../hol
 
-all: l2.pdf
+all: l2.pdf parse_ast.ml
 
 l2.pdf: l2.tex
 	pdflatex l2.tex
@@ -12,7 +12,11 @@ l2.tex ../src/ast.ml l2Script.sml: l2.ott
 	ott -sort false -generate_aux_rules false -o l2.tex  -picky_multiple_parses true l2.ott
 	ott -sort false -generate_aux_rules true -ocaml_include_terminals true -o ../src/ast.ml -o l2Script.sml -picky_multiple_parses true l2.ott
 
-	#rm -f ../src/ast.ml
+parse_ast.ml ../src/parse_ast.ml: l2_parse.ott
+	ott -sort false -generate_aux_rules true -ocaml_include_terminals true -o ../src/parse_ast.ml -picky_multiple_parses true l2_parse.ott
+  
+
+#	rm -f ../src/ast.ml
 #	chmod a-w ../src/ast.ml
 
 l2.lem: l2.ott
-- 
cgit v1.2.3