Pass the content of the COQEXTRAFLAGS variable to coqc.

validsdp · May 30, 2020 · e16e66c · e16e66c
1 parent dcdad98
commit e16e66c
Show file tree

Hide file tree

Showing 2 changed files with 3 additions and 1 deletion.
diff --git a/Remakefile.in b/Remakefile.in
@@ -71,7 +71,7 @@ configure config.status: configure.in
 
 %.vo: %.v | src/IEEE754/SpecFloat.v
 	@COQDEP@ -R src Flocq $< | @REMAKE@ -r $@
-	@COQC@ -R src Flocq $<
+	@COQC@ @COQEXTRAFLAGS@ -R src Flocq $<
 
 examples/%.vo: examples/%.v
 	@COQDEP@ -R src Flocq -R examples FlocqEx $< | @REMAKE@ -r $@

diff --git a/configure.in b/configure.in
@@ -68,6 +68,8 @@ if test ! "$COQDOC"; then
 fi
 AC_MSG_RESULT([$COQDOC])
 
+AC_ARG_VAR(COQEXTRAFLAGS, [extra flags passed to Coq compiler [empty]])
+
 if test "$libdir" = '${exec_prefix}/lib'; then
   libdir="`$COQC -where | tr -d '\r' | tr '\\\\' '/'`/user-contrib/Flocq"
 fi