From 78979a0b2aade430f90c9ef116bb684a30d8d0a8 Mon Sep 17 00:00:00 2001
From: Peter Sewell
Date: Fri, 13 Dec 2019 17:33:48 +0000
Subject: move ott pp to different Makefile rule

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

(limited to 'src')

diff --git a/src/Makefile b/src/Makefile
index ee50797b..00475654 100644
--- a/src/Makefile
+++ b/src/Makefile
@@ -71,8 +71,12 @@ all: sail lib doc
 
 full: sail lib doc
 
-ast.lem sail_pp.ml: ../language/sail.ott
-	ott -sort false -generate_aux_rules true -o ast.lem -picky_multiple_parses true -ocaml_pp sail_pp.ml ../language/sail.ott
+ast.lem: ../language/sail.ott
+	ott -sort false -generate_aux_rules true -o ast.lem -picky_multiple_parses true  ../language/sail.ott
+
+sail_pp.ml: ../language/sail.ott
+	ott -sort false -generate_aux_rules true  -picky_multiple_parses true -ocaml_pp sail_pp.ml ../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
-- 
cgit v1.2.3