[ieee/coq] add a _CoqProject & a Makefile

.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

src_common/ieee/coq/Makefile

+include CoqMakefile
+
+CoqMakefile:
+	coq_makefile -f _CoqProject -o CoqMakefile
\ No newline at end of file

src_common/ieee/coq/_CoqProject

+-R ./ Finterval
+./Finterval.v
+./Fauto.v
+./Futils.v
\ No newline at end of file