From 2b05d4e7657a0d838e1003ababf19dca43029b64 Mon Sep 17 00:00:00 2001
From: David Monniaux <David.Monniaux@univ-grenoble-alpes.fr>
Date: Wed, 2 Feb 2022 15:53:13 +0100
Subject: attempts at dealing with gappa

---
 Makefile | 9 ++++++++-
 1 file changed, 8 insertions(+), 1 deletion(-)

(limited to 'Makefile')

diff --git a/Makefile b/Makefile
index 8b50375f..5ed2c580 100644
--- a/Makefile
+++ b/Makefile
@@ -77,7 +77,7 @@ COQCOPTS ?= \
 
 cparser/Parser.vo: COQCOPTS += -w -deprecated-instance-without-locality
 
-COQC="$(COQBIN)coqc" -q $(COQINCLUDES) $(COQCOPTS)
+COQC=PATH=tools:$$PATH "$(COQBIN)coqc" -q $(COQINCLUDES) $(COQCOPTS)
 COQDEP="$(COQBIN)coqdep" $(COQINCLUDES)
 COQDOC="$(COQBIN)coqdoc"
 COQEXEC="$(COQBIN)coqtop" $(COQINCLUDES) -batch -load-vernac-source
@@ -297,6 +297,13 @@ else
 	ocamlc -o tools/modorder str.cma tools/modorder.ml
 endif
 
+tools/gappa:
+	echo "#!/bin/sh" > $@
+	echo -n "exec " >> $@
+	which gappa | tr -d '\n' >> $@
+	echo ' -Eprecision=100 "$$@"' >> $@
+	chmod a+rx $@
+
 latexdoc:
 	cd doc; $(COQDOC) --latex -o doc/doc.tex -g $(FILES)
 
-- 
cgit