···

       
1
       
1
       
+
       
diff --git a/tools/configure/configure.ml b/tools/configure/configure.ml

     

       
2
       
2
       
+
       
index 6f4787269b..ff83872f5e 100644

     

       
3
       
3
       
+
       
--- a/tools/configure/configure.ml

     

       
4
       
4
       
+
       
+++ b/tools/configure/configure.ml

     

       
5
       
5
       
+
       
@@ -616,7 +616,7 @@ let camltag = match caml_version_list with

     

       
6
       
6
       
+
       
     67: "unused functor parameter" seems totally bogus

     

       
7
       
7
       
+
       
     68: "This pattern depends on mutable state" no idea what it means, dune builds don't display it

     

       
8
       
8
       
+
       
 *)

     

       
9
       
9
       
+
       
-let coq_warnings = "-w +a-4-9-27-41-42-44-45-48-58-67-68"

     

       
10
       
10
       
+
       
+let coq_warnings = "-w +a-4-9-27-41-42-44-45-48-58-67-68-70"

     

       
11
       
11
       
+
       
 let coq_warn_error =

     

       
12
       
12
       
+
       
     if !prefs.warn_error

     

       
13
       
13
       
+
       
     then "-warn-error +a"

     

···

       
49
       
49
       
 
       
  [ make "COQ_USE_DUNE=" "install" ]

     

       
50
       
50
       
 
       
]

     

       
51
       
51
       
 
       


     

       
52
       
52
       
-
       
patches: [ "dune-install-set-root.patch" "ld_stricter.patch" ]

     

       
52
       
52
       
+
       
patches: [ "dune-install-set-root.patch" "ld_stricter.patch" "disable_warn_70.patch" ]

     

       
53
       
53
       
 
       
extra-files:

     

       
54
       
54
       
 
       
  [ [ "dune-install-set-root.patch" "sha256=e3071578fdddc45873fdc78446b1044c3ba8b1031bd05bbc901234cc1ebcceba" ]

     

       
55
       
55
       
-
       
    [ "ld_stricter.patch" "sha256=a5cd1fe65889bb908e1194c37de428266b422f6040b5d729611eb100f054b591" ] ]

     

       
55
       
55
       
+
       
    [ "ld_stricter.patch" "sha256=a5cd1fe65889bb908e1194c37de428266b422f6040b5d729611eb100f054b591" ]

     

       
56
       
56
       
+
       
    [ "disable_warn_70.patch" "sha256=b305336e5103be6540519e6e6b67178e825f998c0f691553c2be1b5abb5a507d" ] ]

     

       
56
       
57
       
 
       


     

       
57
       
58
       
 
       
url {

     

       
58
       
59
       
 
       
  src: "https://github.com/coq/coq/archive/refs/tags/V8.14.0.tar.gz"