diff --git a/Remakefile.in b/Remakefile.in
index 9e97e06..5af899b 100644
--- 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
index 1302264..daadd5b 100644
--- 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