dev/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity

ocamlPackages.apron: 0.9.14 → 0.9.15

Browse Source
This commit is contained in:
Vincent Laporte 2024-06-07 21:20:30 +02:00 committed by Vincent Laporte
parent 367e70d546
commit a6a37c22b3
1 changed files with 3 additions and 6 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

9
pkgs/development/ocaml-modules/apron/default.nix
View File

@ -4,26 +4,23 @@
stdenv.mkDerivation rec {
pname = "ocaml${ocaml.version}-apron";
version = "0.9.14";
version = "0.9.15";
src = fetchFromGitHub {
owner = "antoinemine";
repo = "apron";
rev = "v${version}";
hash = "sha256-e8bSf0FPB6E3MFHHoSrE0x/6nrUStO+gOKxJ4LDHBi0=";
hash = "sha256-gHLCurydxX1pS66DTAWUJGl9Yqu9RWRjkZh6lXzM7YY=";
};
nativeBuildInputs = [ ocaml findlib perl ];
buildInputs = [ gmp mpfr ppl camlidl flint pplite ];
propagatedBuildInputs = [ mlgmpidl ];
# TODO: Doesn't produce the library correctly if true
strictDeps = false;
outputs = [ "out" "dev" ];
configurePhase = ''
runHook preConfigure
./configure -prefix $out ${lib.optionalString stdenv.isDarwin "-no-strip"}
./configure -prefix $out
mkdir -p $out/lib/ocaml/${ocaml.version}/site-lib/stublibs
runHook postConfigure
'';