Clone of https://github.com/NixOS/nixpkgs.git (to stress-test knotserver)
at devShellTools-shell 35 lines 481 B view raw
1{ 2 lib, 3 buildDunePackage, 4 alcotest, 5 lwt, 6 logs, 7 mirage-clock, 8 duration, 9}: 10 11buildDunePackage { 12 pname = "alcotest-mirage"; 13 14 inherit (alcotest) version src; 15 16 duneVersion = "3"; 17 18 propagatedBuildInputs = [ 19 alcotest 20 lwt 21 logs 22 mirage-clock 23 duration 24 ]; 25 26 doCheck = true; 27 28 meta = alcotest.meta // { 29 description = "Mirage implementation for Alcotest"; 30 maintainers = with lib.maintainers; [ 31 ulrikstrid 32 anmonteiro 33 ]; 34 }; 35}