2019-06-16 20:59:06 +01:00
|
|
|
{ buildDunePackage, lwt, ppx_tools_versioned }:
|
2018-03-27 21:34:08 +01:00
|
|
|
|
2018-11-05 10:21:46 +00:00
|
|
|
buildDunePackage {
|
|
|
|
pname = "lwt_ppx";
|
2018-03-27 21:34:08 +01:00
|
|
|
|
2018-11-05 10:21:46 +00:00
|
|
|
inherit (lwt) src version;
|
2018-03-27 21:34:08 +01:00
|
|
|
|
2018-11-05 10:21:46 +00:00
|
|
|
buildInputs = [ ppx_tools_versioned ];
|
2018-03-27 21:34:08 +01:00
|
|
|
propagatedBuildInputs = [ lwt ];
|
|
|
|
|
|
|
|
meta = {
|
|
|
|
description = "Ppx syntax extension for Lwt";
|
2018-11-05 10:21:46 +00:00
|
|
|
inherit (lwt.meta) license homepage maintainers;
|
2018-03-27 21:34:08 +01:00
|
|
|
};
|
|
|
|
}
|