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

ocamlPackages.notty: 0.1.1 -> 0.1.1a (53f5946)

Browse Source
This commit is contained in:
Vincent Laporte 2016-12-04 10:55:13 +00:00
parent 6636dfa845
commit 5d309cc834
1 changed files with 14 additions and 9 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

23
pkgs/development/ocaml-modules/notty/default.nix
View File

@ -1,4 +1,4 @@
{ stdenv, buildOcaml, fetchFromGitHub, findlib { stdenv, buildOcaml, fetchpatch, fetchFromGitHub, findlib, topkg, opam, ocb-stubblr
, result, uucp, uuseg, uutf , result, uucp, uuseg, uutf
, lwt ? null }: , lwt ? null }:
@ -7,7 +7,7 @@ with stdenv.lib;
let withLwt = lwt != null; in let withLwt = lwt != null; in
buildOcaml rec { buildOcaml rec {
version = "0.1.1"; version = "0.1.1a";
name = "notty"; name = "notty";
minimumSupportedOcamlVersion = "4.02"; minimumSupportedOcamlVersion = "4.02";
@ -15,18 +15,23 @@ buildOcaml rec {
src = fetchFromGitHub { src = fetchFromGitHub {
owner = "pqwy"; owner = "pqwy";
repo = "notty"; repo = "notty";
rev = "v${version}"; rev = "53f5946653490fce980dc5d8cadf8b122cff4f19";
sha256 = "0bw3bq8z2y1rhc20zn13s78sazywyzpg8nmyjch33p7ypxfglf01"; sha256 = "0qmwb1hrp04py2i5spy0yd6c5jqxyss3wzvlkgxyl9r07kvsx6xf";
}; };
buildInputs = [ findlib ]; patches = [ (fetchpatch {
url = https://github.com/dbuenzli/notty/commit/b0e12930acc26d030a74d6d63d622ae220b12c92.patch;
sha256 = "0pklplbnjbsjriqj73pc8fsadg404px534w7zknz2617zb44m6x6";
})];
buildInputs = [ findlib opam topkg ocb-stubblr ];
propagatedBuildInputs = [ result uucp uuseg uutf ] ++ propagatedBuildInputs = [ result uucp uuseg uutf ] ++
optional withLwt [ lwt ]; optional withLwt lwt;
configureFlags = [ "--enable-unix" ] ++ buildPhase = topkg.buildPhase
(if withLwt then ["--enable-lwt"] else ["--disable-lwt"]); + " --with-lwt ${if withLwt then "true" else "false"}";
configurePhase = "./configure --prefix $out $configureFlags"; inherit (topkg) installPhase;
meta = { meta = {
inherit (src.meta) homepage; inherit (src.meta) homepage;