From d53cc13b6e47843ebaf4b23c8b03dcef34f331f1 Mon Sep 17 00:00:00 2001
From: Cyril SIX <cyril.six@kalray.eu>
Date: Tue, 13 Apr 2021 15:04:34 +0200
Subject: Adding distinction between kvx-cos and kvx-mbr (for trapping loads)

---
 configure | 1 +
 1 file changed, 1 insertion(+)

(limited to 'configure')

diff --git a/configure b/configure
index 812ad6f7..e8ebb6f8 100755
--- a/configure
+++ b/configure
@@ -710,6 +710,7 @@ HAS_STANDARD_HEADERS=$has_standard_headers
 INSTALL_COQDEV=$install_coqdev
 LIBMATH=$libmath
 MODEL=$model
+OS=${os:-unspecified}
 SYSTEM=$system
 RESPONSEFILE=$responsefile
 LIBRARY_FLOCQ=$library_Flocq
-- 
cgit 


From d4c173175bbff3c172bf530e6e09f0ff843015bf Mon Sep 17 00:00:00 2001
From: Cyril SIX <cyril.six@kalray.eu>
Date: Tue, 4 May 2021 10:42:38 +0200
Subject: Increasing required OCaml version (Pervasives <-> Stdlib module
 renaming)

---
 configure | 4 ++--
 1 file changed, 2 insertions(+), 2 deletions(-)

(limited to 'configure')

diff --git a/configure b/configure
index e8ebb6f8..7805ef02 100755
--- a/configure
+++ b/configure
@@ -584,9 +584,9 @@ esac
 echo "Testing OCaml... " | tr -d '\n'
 ocaml_ver=`ocamlc -version 2>/dev/null`
 case "$ocaml_ver" in
-  4.00.*|4.01.*| 4.02.*|4.03.*|4.04.*)
+  4.00.*|4.01.*| 4.02.*|4.03.*|4.04.*|4.05.*)
         echo "version $ocaml_ver -- UNSUPPORTED"
-        echo "Error: CompCert requires OCaml version 4.05 or later."
+        echo "Error: CompCert requires OCaml version 4.06 or later."
         missingtools=true;;
   4.*)
         echo "version $ocaml_ver -- good!";;
-- 
cgit