Updated Coq to version 8.2pl1
[nixpkgs-libre.git] / pkgs / development / tools / ocaml / camlp5 / default.nix
blob7c87243054bd794d357e3f7c881f028ac750450d
1 {stdenv, fetchurl, ocaml, transitional ? false}:
3 let
4   pname = "camlp5";
5   version = "5.12";
6   webpage = http://pauillac.inria.fr/~ddr/camlp5/;
7 in
9 stdenv.mkDerivation {
11   name = "${pname}${if transitional then "_transitional" else ""}-${version}";
13   src = fetchurl {
14     url = "${webpage}/distrib/src/${pname}-${version}.tgz";
15     sha256 = "985a5e373ea75f89667e71bc857c868c395769fce664cba88aa76f93b0ad8461";
16   };
18   buildInputs = [ ocaml ];
20   prefixKey = "-prefix ";
22   configureFlags = if transitional then "--transitional" else "--strict";
24   buildFlags = "world.opt";
26   meta = {
27     description = "Preprocessor-pretty-printer for OCaml";
28     longDescription = ''
29       Camlp5 is a preprocessor and pretty-printer for OCaml programs.
30       It also provides parsing and printing tools.
31     '';
32     homepage = "${webpage}";
33     license = "BSD";
34   };