diff options
author | Vincent Laporte <Vincent.Laporte@gmail.com> | 2014-09-12 09:45:38 +0200 |
---|---|---|
committer | Vincent Laporte <Vincent.Laporte@gmail.com> | 2014-09-13 12:26:07 +0200 |
commit | ed7259000440c4a809349a69e34b600cce0abbbf (patch) | |
tree | cde1625fd495528acc7d86512381bd2c3eecca1d /pkgs/development | |
parent | 2f0994010ab75d209240b882cec80a7376d686e3 (diff) | |
download | nixlib-ed7259000440c4a809349a69e34b600cce0abbbf.tar nixlib-ed7259000440c4a809349a69e34b600cce0abbbf.tar.gz nixlib-ed7259000440c4a809349a69e34b600cce0abbbf.tar.bz2 nixlib-ed7259000440c4a809349a69e34b600cce0abbbf.tar.lz nixlib-ed7259000440c4a809349a69e34b600cce0abbbf.tar.xz nixlib-ed7259000440c4a809349a69e34b600cce0abbbf.tar.zst nixlib-ed7259000440c4a809349a69e34b600cce0abbbf.zip |
Adds ocaml-pprint
Pprint is an OCaml adaptation of Wadler’s and Leijen’s prettier printer. Homepage: http://gallium.inria.fr/~fpottier/pprint/
Diffstat (limited to 'pkgs/development')
-rw-r--r-- | pkgs/development/ocaml-modules/pprint/default.nix | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/pkgs/development/ocaml-modules/pprint/default.nix b/pkgs/development/ocaml-modules/pprint/default.nix new file mode 100644 index 000000000000..e025801bb21c --- /dev/null +++ b/pkgs/development/ocaml-modules/pprint/default.nix @@ -0,0 +1,27 @@ +{stdenv, fetchurl, ocaml, findlib}: + +stdenv.mkDerivation { + + name = "ocaml-pprint-20140424"; + + src = fetchurl { + url = http://gallium.inria.fr/~fpottier/pprint/pprint-20140424.tar.gz; + sha256 = "0sc9q89dnyarcg24czyhr6ams0ylqvia3745s6rfwd2nldpygsdk"; + }; + + buildInputs = [ ocaml findlib ]; + + createFindlibDestdir = true; + + dontBuild = true; + installFlags = "-C src"; + + meta = with stdenv.lib; { + homepage = http://gallium.inria.fr/~fpottier/pprint/; + description = "An OCaml adaptation of Wadler’s and Leijen’s prettier printer"; + license = licenses.cecill-c; + platforms = ocaml.meta.platforms; + }; +} + + |