Compile in compatibility mode for Coq 8.4

clarus · clarus · commit 7a6e32042b70 · 2016-09-06T20:15:00.000+02:00
diff --git a/configure.sh b/configure.sh
@@ -1,3 +1,3 @@
 #!/bin/sh
 
-coq_makefile -f Make -o Makefile
+coq_makefile -f Make -o Makefile -arg "-compat 8.4"

Original file line number	Diff line number	Diff line change
`@@ -1,3 +1,3 @@`
`1`	`1`	`#!/bin/sh`
`2`	`2`
`3`		`-coq_makefile -f Make -o Makefile`
	`3`	`+coq_makefile -f Make -o Makefile -arg "-compat 8.4"`