diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2017-11-07 01:12:31 +0000 |
---|---|---|
committer | Vincent Laporte <vbgl@users.noreply.github.com> | 2017-12-07 07:21:32 +0100 |
commit | d946af46016804d9c3e59e905c833e27292f863f (patch) | |
tree | 783973c8a7283905875bbea6d5510d0da50d638a /pkgs/development/ocaml-modules/lambda-term | |
parent | cc20d402d4a4a9d1879fc2b4c39901798e1a64ed (diff) | |
download | nixpkgs-d946af46016804d9c3e59e905c833e27292f863f.tar nixpkgs-d946af46016804d9c3e59e905c833e27292f863f.tar.gz nixpkgs-d946af46016804d9c3e59e905c833e27292f863f.tar.bz2 nixpkgs-d946af46016804d9c3e59e905c833e27292f863f.tar.lz nixpkgs-d946af46016804d9c3e59e905c833e27292f863f.tar.xz nixpkgs-d946af46016804d9c3e59e905c833e27292f863f.tar.zst nixpkgs-d946af46016804d9c3e59e905c833e27292f863f.zip |
ocamlPackages.lambdaTerm: 1.11 -> 1.12.0
Diffstat (limited to 'pkgs/development/ocaml-modules/lambda-term')
-rw-r--r-- | pkgs/development/ocaml-modules/lambda-term/default.nix | 10 |
1 files changed, 6 insertions, 4 deletions
diff --git a/pkgs/development/ocaml-modules/lambda-term/default.nix b/pkgs/development/ocaml-modules/lambda-term/default.nix index 86d03896ab1..769b80ecddc 100644 --- a/pkgs/development/ocaml-modules/lambda-term/default.nix +++ b/pkgs/development/ocaml-modules/lambda-term/default.nix @@ -1,20 +1,22 @@ -{ stdenv, buildOcaml, fetchurl, libev, ocaml, findlib, jbuilder, opam, zed, lwt_react }: +{ stdenv, buildOcaml, fetchurl, libev, ocaml, findlib, jbuilder, zed, lwt_react }: assert stdenv.lib.versionAtLeast ocaml.version "4.02"; buildOcaml rec { - version = "1.11"; + version = "1.12.0"; name = "lambda-term"; src = fetchurl { url = "https://github.com/diml/lambda-term/archive/${version}.tar.gz"; - sha256 = "10lx1jqgmmfwwlv64di4a8nia9l53v7179z70n9fx6aq5l7r8nba"; + sha256 = "129m5jb015rqm6k3k25m1i2217vhz26n8sa7z113vjv4gs0bcd3d"; }; - buildInputs = [ libev ocaml findlib jbuilder opam ]; + buildInputs = [ libev ocaml findlib jbuilder ]; propagatedBuildInputs = [ zed lwt_react ]; + buildPhase = "jbuilder build -p lambda-term"; + installPhase = '' ${jbuilder.installPhase} mv $out/lib/ocaml/${ocaml.version}/site-lib/{stubslibs,lambda-term}/dlllambda_term_stubs.so |