Unverified Commit 092ff7a6 authored by Vincent Laporte's avatar Vincent Laporte
Browse files

compcert: enable for Coq 9.0.1

parent 2e62a597

pkgs/development/coq-modules/compcert/default.nix

+13 −0
Original line number Diff line number Diff line
@@ -303,6 +303,19 @@ let 
              })

            ];

          }

          {

            cases = [

              (isEq "9.0")

              (isEq "3.16")

            ];

            out = [

              # Support for Coq 9.0.1

              (fetchpatch {

                url = "https://github.com/AbsInt/CompCert/commit/a962ef9da0fb4ef2a4314ccedd111eb248e42cf2.patch";

                hash = "sha256-ipYqcfcgz3cKyI1NGSgfOgiVdV1WUwlv6DVB1S1hJvw=";

              })

            ];

          }

        ]

        [ ];

  });