2023-07-31 14:13:23 +00:00
|
|
|
{ stdenv
|
|
|
|
, lib
|
|
|
|
, fetchurl
|
|
|
|
, ocaml
|
|
|
|
, findlib
|
|
|
|
, ocamlbuild
|
|
|
|
, topkg
|
2020-12-20 18:32:00 +00:00
|
|
|
}:
|
2016-11-02 13:35:40 +00:00
|
|
|
|
2023-09-25 04:55:23 +00:00
|
|
|
lib.throwIfNot (lib.versionAtLeast ocaml.version "4.08")
|
|
|
|
"ptime is not available for OCaml ${ocaml.version}"
|
|
|
|
|
2023-07-31 14:13:23 +00:00
|
|
|
stdenv.mkDerivation (finalAttrs: {
|
2023-07-31 05:20:35 +00:00
|
|
|
version = "1.1.0";
|
2022-02-06 22:35:27 +00:00
|
|
|
pname = "ocaml${ocaml.version}-ptime";
|
2016-11-02 13:35:40 +00:00
|
|
|
|
|
|
|
src = fetchurl {
|
2023-07-31 14:13:23 +00:00
|
|
|
url = "https://erratique.ch/software/ptime/releases/ptime-${finalAttrs.version}.tbz";
|
|
|
|
hash = "sha256-y/WxVFT7JxBeLDNAI+HhHY+TnXF4hw9cvo7SbfcBPrE=";
|
2016-11-02 13:35:40 +00:00
|
|
|
};
|
|
|
|
|
2023-07-31 14:13:23 +00:00
|
|
|
nativeBuildInputs = [
|
|
|
|
findlib
|
|
|
|
ocaml
|
|
|
|
ocamlbuild
|
|
|
|
topkg
|
|
|
|
];
|
|
|
|
|
|
|
|
buildInputs = [
|
|
|
|
topkg
|
|
|
|
];
|
2022-02-22 09:59:04 +00:00
|
|
|
|
|
|
|
strictDeps = true;
|
2016-11-02 13:35:40 +00:00
|
|
|
|
2022-11-19 06:21:55 +00:00
|
|
|
inherit (topkg) buildPhase installPhase;
|
2016-11-02 13:35:40 +00:00
|
|
|
|
|
|
|
meta = {
|
|
|
|
description = "POSIX time for OCaml";
|
2023-07-31 14:13:23 +00:00
|
|
|
homepage = "https://erratique.ch/software/ptime";
|
|
|
|
license = lib.licenses.isc;
|
2016-11-02 13:35:40 +00:00
|
|
|
longDescription = ''
|
|
|
|
Ptime has platform independent POSIX time support in pure OCaml.
|
|
|
|
It provides a type to represent a well-defined range of POSIX timestamps
|
|
|
|
with picosecond precision, conversion with date-time values, conversion
|
|
|
|
with RFC 3339 timestamps and pretty printing to a human-readable,
|
|
|
|
locale-independent representation.
|
|
|
|
|
|
|
|
The additional Ptime_clock library provides access to a system POSIX clock
|
|
|
|
and to the system's current time zone offset.
|
|
|
|
|
|
|
|
Ptime is not a calendar library.
|
|
|
|
'';
|
2021-01-11 12:49:15 +00:00
|
|
|
maintainers = with lib.maintainers; [ sternenseemann ];
|
2016-11-02 13:35:40 +00:00
|
|
|
};
|
2023-07-31 14:13:23 +00:00
|
|
|
})
|