Merge pull request #278855 from vbgl/ocaml-uunf-15.1.0

ocamlPackages.uunf: 15.0.0 → 15.1.0
This commit is contained in:
Ulrik Strid 2024-01-11 13:28:06 +01:00 committed by GitHub
commit 0389a68680
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23

View File

@ -1,11 +1,15 @@
{ lib, stdenv, fetchurl, ocaml, findlib, ocamlbuild, topkg, uchar, uutf, cmdliner
{ lib, stdenv, fetchurl, ocaml, findlib, ocamlbuild, topkg, uutf, cmdliner
, cmdlinerSupport ? lib.versionAtLeast cmdliner.version "1.1"
, version ? if lib.versionAtLeast ocaml.version "4.14" then "15.1.0" else "15.0.0"
}:
let
pname = "uunf";
webpage = "https://erratique.ch/software/${pname}";
version = "15.0.0";
hash = {
"15.0.0" = "sha256-B/prPAwfqS8ZPS3fyDDIzXWRbKofwOCyCfwvh9veuug=";
"15.1.0" = "sha256-D8yvb7hVWaYxMqMZ5089/5tWDfvyGXKUOjhfU/4zSeQ=";
}."${version}";
in
if lib.versionOlder ocaml.version "4.03"
@ -18,15 +22,13 @@ stdenv.mkDerivation {
src = fetchurl {
url = "${webpage}/releases/${pname}-${version}.tbz";
sha256 = "sha256-B/prPAwfqS8ZPS3fyDDIzXWRbKofwOCyCfwvh9veuug=";
inherit hash;
};
nativeBuildInputs = [ ocaml findlib ocamlbuild topkg ];
buildInputs = [ topkg uutf ]
++ lib.optional cmdlinerSupport cmdliner;
propagatedBuildInputs = [ uchar ];
strictDeps = true;
prePatch = lib.optionalString stdenv.isAarch64 "ulimit -s 16384";