Use big_nums from Lem

1 files changed, 6 insertions, 2 deletions

diff --git a/src/Makefile b/src/Makefile
index 403dcca1..34560a5a 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -57,8 +57,12 @@ all: sail lib doc
 
 full: sail lib power doc test
 
-ast.ml: ../language/l2.ott
-	ott -sort false -generate_aux_rules true -o ast.ml -picky_multiple_parses true ../language/l2.ott
+ast.lem: ../language/l2.ott
+	ott -sort false -generate_aux_rules true -o ast.lem -picky_multiple_parses true ../language/l2.ott
+
+ast.ml: ast.lem
+	lem -ocaml ast.lem
+	sed -i -f ast.sed ast.ml
 
 lem_interp/interp_ast.lem: ../language/l2.ott
 	ott -sort false -generate_aux_rules true -o lem_interp/interp_ast.lem -picky_multiple_parses true ../language/l2.ott