From 3e13e7c319815493a6925a1e5d5bd18e10e99f95 Mon Sep 17 00:00:00 2001
From: David Monniaux <David.Monniaux@univ-grenoble-alpes.fr>
Date: Tue, 14 Dec 2021 21:41:41 +0100
Subject: command line for Flocq (temporarily)

---
 flocq.sh | 2 ++
 1 file changed, 2 insertions(+)
 create mode 100644 flocq.sh

(limited to 'flocq.sh')

diff --git a/flocq.sh b/flocq.sh
new file mode 100644
index 00000000..64b7534e
--- /dev/null
+++ b/flocq.sh
@@ -0,0 +1,2 @@
+COQINCLUDES="-R /home/monniaux/.opam/4.12.0+flambda/lib/coq/user-contrib/Flocq flocq"
+export COQINCLUDES
-- 
cgit