ocamlPackages.bitv: 1.3 -> 2.0
Changelog: https://github.com/backtracking/bitv/releases/tag/2.0 Diff: https://github.com/backtracking/bitv/compare/1.3...2.0
This commit is contained in:
parent
a2fc8c89f3
commit
a2b85d4ef5
@ -1,42 +1,26 @@
|
|||||||
{
|
{
|
||||||
stdenv,
|
|
||||||
lib,
|
lib,
|
||||||
fetchFromGitHub,
|
fetchFromGitHub,
|
||||||
autoreconfHook,
|
buildDunePackage,
|
||||||
which,
|
|
||||||
ocaml,
|
|
||||||
findlib,
|
|
||||||
}:
|
}:
|
||||||
|
|
||||||
if lib.versionOlder ocaml.version "4.02" then
|
buildDunePackage rec {
|
||||||
throw "bitv is not available for OCaml ${ocaml.version}"
|
pname = "bitv";
|
||||||
else
|
version = "2.0";
|
||||||
|
minimalOCamlVersion = "4.08";
|
||||||
|
|
||||||
stdenv.mkDerivation rec {
|
src = fetchFromGitHub {
|
||||||
pname = "ocaml${ocaml.version}-bitv";
|
owner = "backtracking";
|
||||||
version = "1.3";
|
repo = "bitv";
|
||||||
|
tag = version;
|
||||||
|
hash = "sha256-llfbdrvxrz6323G2LBAtKaXOrHQriFzaz3ulvFVhH6s=";
|
||||||
|
};
|
||||||
|
|
||||||
src = fetchFromGitHub {
|
meta = {
|
||||||
owner = "backtracking";
|
description = "Bit vector library for OCaml";
|
||||||
repo = "bitv";
|
license = lib.licenses.lgpl21;
|
||||||
rev = version;
|
homepage = "https://github.com/backtracking/bitv";
|
||||||
sha256 = "sha256-sZwq6c10hBBS9tGvKlWD9GE3JBrZPByfDrXE6xIPcG4=";
|
changelog = "https://github.com/backtracking/bitv/releases/tag/${version}";
|
||||||
};
|
maintainers = [ lib.maintainers.vbgl ];
|
||||||
|
};
|
||||||
nativeBuildInputs = [
|
}
|
||||||
autoreconfHook
|
|
||||||
which
|
|
||||||
ocaml
|
|
||||||
findlib
|
|
||||||
];
|
|
||||||
|
|
||||||
createFindlibDestdir = true;
|
|
||||||
|
|
||||||
meta = {
|
|
||||||
description = "Bit vector library for OCaml";
|
|
||||||
license = lib.licenses.lgpl21;
|
|
||||||
homepage = "https://github.com/backtracking/bitv";
|
|
||||||
maintainers = [ lib.maintainers.vbgl ];
|
|
||||||
inherit (ocaml.meta) platforms;
|
|
||||||
};
|
|
||||||
}
|
|
||||||
|
|||||||
Loading…
x
Reference in New Issue
Block a user