diff options
author | Marco Maggesi <maggesi@math.unifi.it> | 2009-11-02 10:47:24 +0000 |
---|---|---|
committer | Marco Maggesi <maggesi@math.unifi.it> | 2009-11-02 10:47:24 +0000 |
commit | c4533b8d2487cdb501fa28649b84affb6d659105 (patch) | |
tree | 9c30e8e44af3d1969b760f86772817c8f2a2a199 /pkgs/development/tools/ocaml | |
parent | 3296f78ca9002571e1899859da8a665323491e34 (diff) |
Added camlp5 the preprocessor-pretty-printer for OCaml
svn path=/nixpkgs/trunk/; revision=18068
Diffstat (limited to 'pkgs/development/tools/ocaml')
-rw-r--r-- | pkgs/development/tools/ocaml/camlp5/default.nix | 35 |
1 files changed, 35 insertions, 0 deletions
diff --git a/pkgs/development/tools/ocaml/camlp5/default.nix b/pkgs/development/tools/ocaml/camlp5/default.nix new file mode 100644 index 0000000000000..b630c05fe53fb --- /dev/null +++ b/pkgs/development/tools/ocaml/camlp5/default.nix @@ -0,0 +1,35 @@ +{stdenv, fetchurl, ocaml, transitional ? false}: + +let + pname = "camlp5"; + version = "5.12"; + webpage = http://pauillac.inria.fr/~ddr/camlp5/; +in + +stdenv.mkDerivation { + + name = "${pname}${if transitional then "_transitional" else ""}-${version}"; + + src = fetchurl { + url = "${webpage}/distrib/src/${pname}-${version}.tgz"; + sha256 = "985a5e373ea75f89667e71bc857c868c395769fce664cba88aa76f93b0ad8461"; + }; + + buildInputs = [ ocaml ]; + + prefixKey = "-prefix "; + + configureFlags = if transitional then "--transitional" else "--strict"; + + buildFlags = "world.opt"; + + meta = { + description = "Preprocessor-pretty-printer for OCaml."; + longDescription = '' + Camlp5 is a preprocessor and pretty-printer for OCaml programs. + It also provides parsing and printing tools. + ''; + homepage = "${webpage}"; + license = "BSD"; + }; +} |