diff options
Diffstat (limited to 'pkgs/development/ocaml-modules/apron/default.nix')
-rw-r--r-- | pkgs/development/ocaml-modules/apron/default.nix | 14 |
1 files changed, 8 insertions, 6 deletions
diff --git a/pkgs/development/ocaml-modules/apron/default.nix b/pkgs/development/ocaml-modules/apron/default.nix index 0e73c6a73d3..b462e10979a 100644 --- a/pkgs/development/ocaml-modules/apron/default.nix +++ b/pkgs/development/ocaml-modules/apron/default.nix @@ -1,18 +1,20 @@ -{ stdenv, fetchzip, perl, gmp, mpfr, ppl, ocaml, findlib, camlidl, mlgmpidl }: +{ stdenv, fetchFromGitHub, perl, gmp, mpfr, ppl, ocaml, findlib, camlidl, mlgmpidl }: stdenv.mkDerivation rec { name = "ocaml${ocaml.version}-apron-${version}"; - version = "20160125"; - src = fetchzip { - url = "http://apron.gforge.inria.fr/apron-${version}.tar.gz"; - sha256 = "1a7b7b9wsd0gdvm41lgg6ayb85wxc2a3ggcrghy4qiphs4b9v4m4"; + version = "0.9.12"; + src = fetchFromGitHub { + owner = "antoinemine"; + repo = "apron"; + rev = "v${version}"; + sha256 = "0bciv4wz52p57q0aggmvixvqrsd1slflfyrm1z6fy5c44f4fmjjn"; }; buildInputs = [ perl gmp mpfr ppl ocaml findlib camlidl ]; propagatedBuildInputs = [ mlgmpidl ]; prefixKey = "-prefix "; - createFindlibDestdir = true; + preBuild = "mkdir -p $out/lib/ocaml/${ocaml.version}/site-lib/stublibs"; meta = { license = stdenv.lib.licenses.lgpl21; |