From 8aba92039318a5ed0e929136b2327789022bba08 Mon Sep 17 00:00:00 2001
From: Arthur Correnson <arthur.correnson@gmail.com>
Date: Fri, 18 Jun 2021 06:47:18 +0200
Subject: [PATCH] [ieee/coq] add a _CoqProject & a Makefile

---
 .gitignore                      | 13 +++++++++++++
 src_common/ieee/coq/Fauto.v     |  0
 src_common/ieee/coq/Futils.v    |  0
 src_common/ieee/coq/Makefile    |  4 ++++
 src_common/ieee/coq/_CoqProject |  4 ++++
 5 files changed, 21 insertions(+)
 create mode 100644 src_common/ieee/coq/Fauto.v
 create mode 100644 src_common/ieee/coq/Futils.v
 create mode 100644 src_common/ieee/coq/Makefile
 create mode 100644 src_common/ieee/coq/_CoqProject

diff --git a/.gitignore b/.gitignore
index 664bfb8a3..3f6a86c1c 100644
--- a/.gitignore
+++ b/.gitignore
@@ -15,3 +15,16 @@ why3shapes.gz
 # dependencies (remove it later & use submodules instead ?)
 dolmen/
 farith/
+
+# coq artifacts
+
+**/*.vo
+**/*.vok
+**/*.glob
+**/*.lia.cache
+**/*.aux
+**/*.vk
+**/.CoqMakefile.d
+**/*.vos
+**/CoqMakefile
+**/CoqMakefile.conf
diff --git a/src_common/ieee/coq/Fauto.v b/src_common/ieee/coq/Fauto.v
new file mode 100644
index 000000000..e69de29bb
diff --git a/src_common/ieee/coq/Futils.v b/src_common/ieee/coq/Futils.v
new file mode 100644
index 000000000..e69de29bb
diff --git a/src_common/ieee/coq/Makefile b/src_common/ieee/coq/Makefile
new file mode 100644
index 000000000..5d5d85934
--- /dev/null
+++ b/src_common/ieee/coq/Makefile
@@ -0,0 +1,4 @@
+include CoqMakefile
+
+CoqMakefile:
+	coq_makefile -f _CoqProject -o CoqMakefile
\ No newline at end of file
diff --git a/src_common/ieee/coq/_CoqProject b/src_common/ieee/coq/_CoqProject
new file mode 100644
index 000000000..02869ee06
--- /dev/null
+++ b/src_common/ieee/coq/_CoqProject
@@ -0,0 +1,4 @@
+-R ./ Finterval
+./Finterval.v
+./Fauto.v
+./Futils.v
\ No newline at end of file
-- 
GitLab