From da209f9f4bb1772a0b37327fc8d949e240602484 Mon Sep 17 00:00:00 2001
From: Alasdair Armstrong
Date: Mon, 28 Oct 2019 15:46:40 +0000
Subject: Fix jib.ott and SMT regressions

SMT seems sensitive to gensym counter being reset between definitions,
but it shouldn't care due to unique_per_function_ids... need to
investigate further. Only causes a single test to fail so must be
subtle. Diffing between the bad/good versions reveals a few lines of
generated SMT go missing when the gensym counter is reset.
---
 src/Makefile | 4 ++++
 1 file changed, 4 insertions(+)

(limited to 'src/Makefile')

diff --git a/src/Makefile b/src/Makefile
index 020d6813..a002d4f3 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -74,6 +74,9 @@ full: sail lib doc
 ast.lem: ../language/sail.ott
 	ott -sort false -generate_aux_rules true -o ast.lem -picky_multiple_parses true ../language/sail.ott
 
+jib.lem: ../language/jib.ott ast.lem
+	ott -sort false -generate_aux_rules true -o jib.lem -picky_multiple_parses true ../language/jib.ott
+
 ast.ml: ast.lem
 	lem -ocaml ast.lem
 	sed -i.bak -f ast.sed ast.ml
@@ -134,6 +137,7 @@ clean:
 	-rm -f ast.lem
 	-rm -f ast.ml.bak
 	-rm -f jib.ml
+	-rm -f jib.lem
 	-rm -f jib.ml.bak
 	-rm -f manifest.ml
 
-- 
cgit v1.2.3