JakeHillion/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions Packages Projects Releases Wiki Activity

ocamlPackages.lambdaTerm: 1.11 -> 1.12.0

Browse Source
This commit is contained in:
Vincent Laporte 2017-11-07 01:12:31 +00:00 committed by Vincent Laporte
parent cc20d402d4
commit d946af4601
1 changed files with 6 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

10
pkgs/development/ocaml-modules/lambda-term/default.nix
View File

@ -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"; assert stdenv.lib.versionAtLeast ocaml.version "4.02";
buildOcaml rec { buildOcaml rec {
version = "1.11"; version = "1.12.0";
name = "lambda-term"; name = "lambda-term";
src = fetchurl { src = fetchurl {
url = "https://github.com/diml/lambda-term/archive/${version}.tar.gz"; 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 ]; propagatedBuildInputs = [ zed lwt_react ];
buildPhase = "jbuilder build -p lambda-term";
installPhase = '' installPhase = ''
${jbuilder.installPhase} ${jbuilder.installPhase}
mv $out/lib/ocaml/${ocaml.version}/site-lib/{stubslibs,lambda-term}/dlllambda_term_stubs.so mv $out/lib/ocaml/${ocaml.version}/site-lib/{stubslibs,lambda-term}/dlllambda_term_stubs.so