2021-09-21 10:42:21 +02:00
|
|
|
{ lib
|
|
|
|
, fetchFromGitLab
|
|
|
|
, buildDunePackage
|
|
|
|
, lwt
|
|
|
|
, ptime
|
|
|
|
}:
|
|
|
|
|
|
|
|
buildDunePackage rec {
|
|
|
|
pname = "lwt-exit";
|
|
|
|
version = "1.0";
|
|
|
|
src = fetchFromGitLab {
|
|
|
|
owner = "nomadic-labs";
|
|
|
|
repo = pname;
|
2023-07-02 20:45:38 +02:00
|
|
|
rev = version;
|
2021-09-21 10:42:21 +02:00
|
|
|
sha256 = "1k763bmj1asj9ijar39rh3h1d59rckmsf21h2y8966lgglsf42bd";
|
|
|
|
};
|
|
|
|
|
|
|
|
useDune2 = true;
|
|
|
|
|
|
|
|
minimalOCamlVersion = "4.08";
|
|
|
|
|
|
|
|
propagatedBuildInputs = [
|
|
|
|
lwt
|
|
|
|
ptime
|
|
|
|
];
|
|
|
|
|
2022-02-22 10:59:04 +01:00
|
|
|
# for some reason this never exits
|
|
|
|
doCheck = false;
|
2021-09-21 10:42:21 +02:00
|
|
|
|
|
|
|
meta = {
|
|
|
|
description = "An opinionated clean-exit and signal-handling library for Lwt programs";
|
|
|
|
license = lib.licenses.mit;
|
|
|
|
maintainers = [ lib.maintainers.ulrikstrid ];
|
|
|
|
};
|
|
|
|
}
|