diff --git a/pkgs/development/ocaml-modules/apron/default.nix b/pkgs/development/ocaml-modules/apron/default.nix index fddf128d0d9b..fd8ae197887f 100644 --- a/pkgs/development/ocaml-modules/apron/default.nix +++ b/pkgs/development/ocaml-modules/apron/default.nix @@ -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 = {