Skip to content
Snippets Groups Projects
Commit 9d236f82 authored by Allan Blanchard's avatar Allan Blanchard
Browse files

[nix] upgrade camlp5 for OCaml 5.2

parent fc8a5141
No related branches found
No related tags found
No related merge requests found
{ lib, stdenv, fetchFromGitHub, ocaml, findlib, perl, makeWrapper
, rresult, bos, re, camlp-streams
, legacy ? false
}:
if lib.versionOlder ocaml.version "4.02"
then throw "camlp5 is not available for OCaml ${ocaml.version}"
else
let params =
if lib.versionAtLeast ocaml.version "4.12" && !legacy
then rec {
version = "8.03.00";
src = fetchFromGitHub {
owner = "camlp5";
repo = "camlp5";
rev = version;
hash = "sha256-hu/279gBvUc7Z4jM6EHiar6Wm4vjkGXl+7bxowj+vlM=";
};
nativeBuildInputs = [ makeWrapper ocaml findlib perl ];
buildInputs = [ bos re rresult ];
propagatedBuildInputs = [ camlp-streams ];
} else rec {
version = "7.14";
src = fetchFromGitHub {
owner = "camlp5";
repo = "camlp5";
rev = "rel${builtins.replaceStrings [ "." ] [ "" ] version}";
sha256 = "1dd68bisbpqn5lq2pslm582hxglcxnbkgfkwhdz67z4w9d5nvr7w";
};
nativeBuildInputs = [ ocaml perl ];
}
; in
stdenv.mkDerivation (params // {
pname = "ocaml${ocaml.version}-camlp5";
strictDeps = true;
prefixKey = "-prefix ";
preConfigure = ''
configureFlagsArray=(--strict --libdir $out/lib/ocaml/${ocaml.version}/site-lib)
patchShebangs ./config/find_stuffversion.pl etc/META.pl
'';
buildFlags = [ "world.opt" ];
dontStrip = true;
meta = with lib; {
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 = "https://camlp5.github.io/";
license = licenses.bsd3;
platforms = ocaml.meta.platforms or [];
maintainers = with maintainers; [
maggesi vbgl
];
};
})
...@@ -3,6 +3,7 @@ let ...@@ -3,6 +3,7 @@ let
ocamlOverlay = oself: osuper: { ocamlOverlay = oself: osuper: {
# External Packages # External Packages
alt-ergo = oself.callPackage ./alt-ergo.nix {}; alt-ergo = oself.callPackage ./alt-ergo.nix {};
camlp5 = oself.callPackage ./camlp5.nix {};
combinetura = oself.callPackage ./combinetura.nix {}; combinetura = oself.callPackage ./combinetura.nix {};
mlmpfr = oself.callPackage ./mlmpfr.nix {}; mlmpfr = oself.callPackage ./mlmpfr.nix {};
why3 = oself.callPackage ./why3.nix {}; why3 = oself.callPackage ./why3.nix {};
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment