You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
24 lines
337 B
24 lines
337 B
![]()
3 years ago
|
{ lib, buildDunePackage, reason }:
|
||
|
|
||
|
buildDunePackage rec {
|
||
|
pname = "helloreason";
|
||
|
version = "0.0.1";
|
||
|
|
||
|
src = ./.;
|
||
|
|
||
|
useDune2 = true;
|
||
|
|
||
|
buildInputs = [
|
||
|
reason
|
||
|
];
|
||
|
|
||
|
doCheck = true;
|
||
|
|
||
|
doInstallCheck = true;
|
||
|
postInstallCheck = ''
|
||
|
$out/bin/${pname} | grep -q "Hello From Reason" > /dev/null
|
||
|
'';
|
||
|
|
||
|
meta.timeout = 60;
|
||
|
}
|