2021-09-21 09:47:59 +01:00
|
|
|
{ lib, fetchFromGitLab, buildDunePackage, uri, crowbar, alcotest }:
|
2021-07-12 10:29:43 +01:00
|
|
|
|
|
|
|
buildDunePackage rec {
|
|
|
|
pname = "json-data-encoding";
|
2021-09-21 09:47:59 +01:00
|
|
|
version = "0.10";
|
|
|
|
minimalOCamlVersion = "4.10";
|
2021-07-12 10:29:43 +01:00
|
|
|
src = fetchFromGitLab {
|
|
|
|
owner = "nomadic-labs";
|
|
|
|
repo = "json-data-encoding";
|
2021-09-21 09:47:59 +01:00
|
|
|
rev = "${version}";
|
|
|
|
sha256 = "0m0xx382wr44wz7gxf7mpfjx2w287pvqhg2lfvzmclfq3y5iy6mx";
|
2021-07-12 10:29:43 +01:00
|
|
|
};
|
|
|
|
useDune2 = true;
|
|
|
|
|
|
|
|
propagatedBuildInputs = [
|
|
|
|
uri
|
|
|
|
];
|
|
|
|
|
|
|
|
checkInputs = [
|
|
|
|
crowbar
|
2021-09-21 09:47:59 +01:00
|
|
|
alcotest
|
2021-07-12 10:29:43 +01:00
|
|
|
];
|
|
|
|
|
|
|
|
doCheck = true;
|
|
|
|
|
|
|
|
meta = {
|
|
|
|
homepage = "https://gitlab.com/nomadic-labs/json-data-encoding";
|
|
|
|
description = "Type-safe encoding to and decoding from JSON";
|
|
|
|
license = lib.licenses.lgpl3;
|
|
|
|
maintainers = [ lib.maintainers.ulrikstrid ];
|
|
|
|
};
|
|
|
|
}
|