diff options
author | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-10-08 21:09:59 +0200 |
---|---|---|
committer | Théo Zimmermann <theo.zimmermann@univ-paris-diderot.fr> | 2018-10-08 21:09:59 +0200 |
commit | cf1f8b2d0492d21a04aa0b2832be352ea9480b46 (patch) | |
tree | 552c99d8db3ae088dee70f58ae8c37de6fad0a4a /pkgs/development/tools/ocaml | |
parent | 15aa8caf57c31b8d8c817dce13209f7d4378d1da (diff) | |
download | nixlib-cf1f8b2d0492d21a04aa0b2832be352ea9480b46.tar nixlib-cf1f8b2d0492d21a04aa0b2832be352ea9480b46.tar.gz nixlib-cf1f8b2d0492d21a04aa0b2832be352ea9480b46.tar.bz2 nixlib-cf1f8b2d0492d21a04aa0b2832be352ea9480b46.tar.lz nixlib-cf1f8b2d0492d21a04aa0b2832be352ea9480b46.tar.xz nixlib-cf1f8b2d0492d21a04aa0b2832be352ea9480b46.tar.zst nixlib-cf1f8b2d0492d21a04aa0b2832be352ea9480b46.zip |
camlp5: remove old version 5.15
Diffstat (limited to 'pkgs/development/tools/ocaml')
-rw-r--r-- | pkgs/development/tools/ocaml/camlp5/5.15.nix | 46 |
1 files changed, 0 insertions, 46 deletions
diff --git a/pkgs/development/tools/ocaml/camlp5/5.15.nix b/pkgs/development/tools/ocaml/camlp5/5.15.nix deleted file mode 100644 index 2e03bb8025ef..000000000000 --- a/pkgs/development/tools/ocaml/camlp5/5.15.nix +++ /dev/null @@ -1,46 +0,0 @@ -{stdenv, fetchurl, ocaml, transitional ? false}: - -let - pname = "camlp5"; - webpage = http://pauillac.inria.fr/~ddr/camlp5/; - metafile = ./META; -in - -assert !stdenv.lib.versionOlder "4.00" ocaml.version; - -stdenv.mkDerivation rec { - - name = "${pname}${if transitional then "_transitional" else ""}-${version}"; - version = "5.15"; - - src = fetchurl { - url = "${webpage}/distrib/src/${pname}-${version}.tgz"; - sha256 = "1sx5wlfpydqskm97gp7887p3avbl3vanlmrwj35wx5mbzj6kn9nq"; - }; - - buildInputs = [ ocaml ]; - - prefixKey = "-prefix "; - - preConfigure = "configureFlagsArray=(" + (if transitional then "--transitional" else "--strict") + - " --libdir $out/lib/ocaml/${ocaml.version}/site-lib)"; - - buildFlags = "world.opt"; - - postInstall = "cp ${metafile} $out/lib/ocaml/${ocaml.version}/site-lib/camlp5/META"; - - 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 = stdenv.lib.licenses.bsd3; - branch = "5"; - platforms = ocaml.meta.platforms or []; - maintainers = [ - stdenv.lib.maintainers.z77z - ]; - }; -} |