summary refs log tree commit diff
path: root/pkgs/development/coq-modules
diff options
context:
space:
mode:
authorVincent Laporte <Vincent.Laporte@gmail.com>2021-12-01 14:21:39 +0100
committerVincent Laporte <vbgl@users.noreply.github.com>2021-12-01 15:43:53 +0100
commit3b1c4a732f9d8f4961153a087d86e66ca704ac55 (patch)
treebb4687d88cc7abc591b748ddffe91210374e2254 /pkgs/development/coq-modules
parent1fbcb733eb9daf23ab9e70e58e76fa0b767dc033 (diff)
downloadnixpkgs-3b1c4a732f9d8f4961153a087d86e66ca704ac55.tar
nixpkgs-3b1c4a732f9d8f4961153a087d86e66ca704ac55.tar.gz
nixpkgs-3b1c4a732f9d8f4961153a087d86e66ca704ac55.tar.bz2
nixpkgs-3b1c4a732f9d8f4961153a087d86e66ca704ac55.tar.lz
nixpkgs-3b1c4a732f9d8f4961153a087d86e66ca704ac55.tar.xz
nixpkgs-3b1c4a732f9d8f4961153a087d86e66ca704ac55.tar.zst
nixpkgs-3b1c4a732f9d8f4961153a087d86e66ca704ac55.zip
compcert: fix for Coq 8.14.1
Diffstat (limited to 'pkgs/development/coq-modules')
-rw-r--r--pkgs/development/coq-modules/compcert/default.nix9
1 files changed, 9 insertions, 0 deletions
diff --git a/pkgs/development/coq-modules/compcert/default.nix b/pkgs/development/coq-modules/compcert/default.nix
index 253b710048d..9757b3e43c8 100644
--- a/pkgs/development/coq-modules/compcert/default.nix
+++ b/pkgs/development/coq-modules/compcert/default.nix
@@ -106,6 +106,15 @@ compcert.overrideAttrs (o:
           })
         ];
       }
+      { cases = [ (isEq "8.14") "3.10" ];
+        out = [
+          # Support for Coq 8.14.1
+          (fetchpatch {
+            url = "https://github.com/AbsInt/CompCert/commit/a79f0f99831aa0b0742bf7cce459cc9353bd7cd0.patch";
+            sha256 = "sha256:0g20x8gfzvplpad9y9vr1p33k6qv6rsp691x6687v9ffvz7zsz94";
+          })
+        ];
+      }
     ] [];
   }
 )