From d946af46016804d9c3e59e905c833e27292f863f Mon Sep 17 00:00:00 2001 From: Vincent Laporte Date: Tue, 7 Nov 2017 01:12:31 +0000 Subject: [PATCH] ocamlPackages.lambdaTerm: 1.11 -> 1.12.0 --- pkgs/development/ocaml-modules/lambda-term/default.nix | 10 ++++++---- 1 file 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