diff options
author | Moritz Kiefer <moritz.kiefer@purelyfunctional.org> | 2018-10-10 21:03:45 +0200 |
---|---|---|
committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2018-10-13 17:45:45 +0000 |
commit | 6738033727ca7945f1465ad76492891489e133ce (patch) | |
tree | 45bc71a263e979fc82ab7b9300ceadafff96d20e /pkgs/development/ocaml-modules/ocplib-simplex/default.nix | |
parent | 0ba1f0aa727bb76aa4ebc76a42ee3fb78844b932 (diff) |
alt-ergo: 1.30->2.2.0, ocplib-simplex: 0.3->0.4
Diffstat (limited to 'pkgs/development/ocaml-modules/ocplib-simplex/default.nix')
-rw-r--r-- | pkgs/development/ocaml-modules/ocplib-simplex/default.nix | 8 |
1 files changed, 5 insertions, 3 deletions
diff --git a/pkgs/development/ocaml-modules/ocplib-simplex/default.nix b/pkgs/development/ocaml-modules/ocplib-simplex/default.nix index eb25982a69b35..1c09edf3a7eaf 100644 --- a/pkgs/development/ocaml-modules/ocplib-simplex/default.nix +++ b/pkgs/development/ocaml-modules/ocplib-simplex/default.nix @@ -2,7 +2,7 @@ let pname = "ocplib-simplex"; - version = "0.3"; + version = "0.4"; in stdenv.mkDerivation { @@ -11,13 +11,15 @@ stdenv.mkDerivation { src = fetchFromGitHub { owner = "OCamlPro-Iguernlala"; repo = pname; - rev = version; - sha256 = "1fmz38w2cj9fny4adqqyil59dvndqkr59s7wk2gqs47r72b6sisa"; + rev = "v${version}"; + sha256 = "09niyidrjzrj8g1qwx4wgsdf5m6cwrnzg7zsgala36jliic4di60"; }; nativeBuildInputs = [ autoreconfHook ]; buildInputs = [ ocaml findlib ]; + installFlags = "LIBDIR=$(OCAMLFIND_DESTDIR)"; + createFindlibDestdir = true; meta = { |