why3: 1.4.1 → 1.5.0

easycrypt: fix build with why3-1.5.0
frama-c: build with why3 1.4.1
This commit is contained in:
Vincent Laporte 2022-04-30 15:53:28 +02:00
parent 6e3a86f2f7
commit 4a87fcbc86
No known key found for this signature in database
GPG Key ID: EBD582ADDDB1F81F
3 changed files with 18 additions and 3 deletions

View File

@ -1,4 +1,4 @@
{ lib, stdenv, fetchFromGitHub, ocamlPackages, why3 }:
{ lib, stdenv, fetchFromGitHub, fetchpatch, ocamlPackages, why3 }:
stdenv.mkDerivation rec {
pname = "easycrypt";
@ -11,6 +11,12 @@ stdenv.mkDerivation rec {
sha256 = "sha256:09rdwcj70lkamkhd895p284rfpz4bcnsf55mcimhiqncd2a21ml7";
};
# Fix build with Why3 1.5
patches = fetchpatch {
url = "https://github.com/EasyCrypt/easycrypt/commit/d226387432deb7f22738e1d5579346a2cbc9be7a.patch";
sha256 = "sha256:1zvxij35fnr3h9b5wdl8ml17aqfx3a39rd4mgwmdvkapbg3pa4lm";
};
nativeBuildInputs = with ocamlPackages; [
dune_3
findlib

View File

@ -3,11 +3,11 @@
stdenv.mkDerivation rec {
pname = "why3";
version = "1.4.1";
version = "1.5.0";
src = fetchurl {
url = "https://why3.gitlabpages.inria.fr/releases/${pname}-${version}.tar.gz";
sha256 = "sha256:1rqyypzlvagrn43ykl0c5wxyvnry5fl1ykn3xcvlzgghk96yq3jq";
sha256 = "sha256:0qjh49pyqmg3xi09fn4lyzz23i6h18y9sgc8ayscvx3bwr3vcqhr";
};
buildInputs = with ocamlPackages; [

View File

@ -4,6 +4,15 @@
, gdk-pixbuf, wrapGAppsHook
}:
let why3_1_5 = why3; in
let why3 = why3_1_5.overrideAttrs (o: rec {
version = "1.4.1";
src = fetchurl {
url = "https://why3.gitlabpages.inria.fr/releases/${o.pname}-${version}.tar.gz";
sha256 = "sha256:1rqyypzlvagrn43ykl0c5wxyvnry5fl1ykn3xcvlzgghk96yq3jq";
};
}); in
let
mkocamlpath = p: "${p}/lib/ocaml/${ocamlPackages.ocaml.version}/site-lib";
runtimeDeps = with ocamlPackages; [