Fix conflict

1 files changed, 3 insertions, 1 deletions

diff --git a/PKGBUILD b/PKGBUILD
index 3fce54051626..f0d6e6e94bc9 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -28,7 +28,9 @@ build() {
   # -clightgen: builds and installs the clightgen tool
   # -install-coqdev: also installs the Coq development, implied by -clightgen, useful
   #   if you will use tools such as the Princeton VST)
-  ./configure -prefix /usr $CARCH-linux
+  #
+  # Current latest Coq version is 8.9.1, not officially supported but works, so ignoring Coq version
+  ./configure -ignore-coq-version -prefix /usr $CARCH-linux
 
   make all
 }