2022-09-15 06:34:29 +02:00
|
|
|
{ buildDunePackage
|
|
|
|
|
, happy-eyeballs
|
2022-05-31 21:34:09 +02:00
|
|
|
, duration
|
2023-03-02 10:31:29 +01:00
|
|
|
, dns-client-mirage
|
2022-05-31 21:34:09 +02:00
|
|
|
, domain-name
|
|
|
|
|
, ipaddr
|
|
|
|
|
, fmt
|
2022-09-15 06:34:29 +02:00
|
|
|
, logs
|
|
|
|
|
, lwt
|
2022-05-31 21:34:09 +02:00
|
|
|
, mirage-clock
|
|
|
|
|
, mirage-random
|
|
|
|
|
, mirage-time
|
2022-09-15 06:34:29 +02:00
|
|
|
, tcpip
|
|
|
|
|
}:
|
|
|
|
|
|
|
|
|
|
buildDunePackage {
|
|
|
|
|
pname = "happy-eyeballs-mirage";
|
2022-05-31 21:34:09 +02:00
|
|
|
|
2022-09-15 06:34:29 +02:00
|
|
|
inherit (happy-eyeballs) src version;
|
|
|
|
|
|
2022-05-31 21:34:09 +02:00
|
|
|
minimalOCamlVersion = "4.08";
|
2023-01-09 10:34:41 +01:00
|
|
|
duneVersion = "3";
|
2022-05-31 21:34:09 +02:00
|
|
|
|
|
|
|
|
buildInputs = [
|
|
|
|
|
duration
|
|
|
|
|
ipaddr
|
|
|
|
|
domain-name
|
|
|
|
|
fmt
|
|
|
|
|
mirage-clock
|
|
|
|
|
mirage-random
|
|
|
|
|
mirage-time
|
|
|
|
|
];
|
|
|
|
|
|
2022-09-15 06:34:29 +02:00
|
|
|
propagatedBuildInputs = [
|
2023-03-02 10:31:29 +01:00
|
|
|
dns-client-mirage
|
2022-09-15 06:34:29 +02:00
|
|
|
happy-eyeballs
|
|
|
|
|
logs
|
|
|
|
|
lwt
|
|
|
|
|
tcpip
|
|
|
|
|
];
|
|
|
|
|
|
2022-05-31 21:34:09 +02:00
|
|
|
doCheck = true;
|
|
|
|
|
|
2022-09-15 06:34:29 +02:00
|
|
|
meta = happy-eyeballs.meta // {
|
|
|
|
|
description = "Connecting to a remote host via IP version 4 or 6 using Mirage";
|
|
|
|
|
};
|
|
|
|
|
}
|
