ocamlPackages.apron: 0.9.13 → 0.9.14
This commit is contained in:
parent
c7e822d38f
commit
86f5431801
|
@ -1,26 +1,24 @@
|
|||
{ stdenv, lib, fetchFromGitHub, perl, gmp, mpfr, ppl, ocaml, findlib, camlidl, mlgmpidl
|
||||
, gnumake42
|
||||
}:
|
||||
|
||||
stdenv.mkDerivation rec {
|
||||
pname = "ocaml${ocaml.version}-apron";
|
||||
version = "0.9.13";
|
||||
version = "0.9.14";
|
||||
src = fetchFromGitHub {
|
||||
owner = "antoinemine";
|
||||
repo = "apron";
|
||||
rev = "v${version}";
|
||||
sha256 = "14ymjahqdxj26da8wik9d5dzlxn81b3z1iggdl7rn2nn06jy7lvy";
|
||||
hash = "sha256-e8bSf0FPB6E3MFHHoSrE0x/6nrUStO+gOKxJ4LDHBi0=";
|
||||
};
|
||||
|
||||
# fails with make 4.4
|
||||
nativeBuildInputs = [ ocaml findlib perl gnumake42 ];
|
||||
nativeBuildInputs = [ ocaml findlib perl ];
|
||||
buildInputs = [ gmp mpfr ppl camlidl ];
|
||||
propagatedBuildInputs = [ mlgmpidl ];
|
||||
|
||||
# TODO: Doesn't produce the library correctly if true
|
||||
strictDeps = false;
|
||||
|
||||
outputs = [ "out" "bin" "dev" ];
|
||||
outputs = [ "out" "dev" ];
|
||||
|
||||
configurePhase = ''
|
||||
runHook preConfigure
|
||||
|
@ -32,8 +30,6 @@ stdenv.mkDerivation rec {
|
|||
postInstall = ''
|
||||
mkdir -p $dev/lib
|
||||
mv $out/lib/ocaml $dev/lib/
|
||||
mkdir -p $bin
|
||||
mv $out/bin $bin/
|
||||
'';
|
||||
|
||||
meta = {
|
||||
|
|
Loading…
Reference in a new issue