agdaPackages: Don't build broken packages on hydra

This commit is contained in:
Manuel Bärenz 2021-07-22 16:28:09 +02:00 committed by sterni
parent 9546f2332e
commit af84eacb05

View file

@ -46,6 +46,7 @@ let
defaults = defaults =
{ pname { pname
, meta
, buildInputs ? [] , buildInputs ? []
, everythingFile ? "./Everything.agda" , everythingFile ? "./Everything.agda"
, libraryName ? pname , libraryName ? pname
@ -76,6 +77,7 @@ let
find -not \( -path ${everythingFile} -or -path ${lib.interfaceFile everythingFile} \) -and \( ${concatMapStringsSep " -or " (p: "-name '*.${p}'") (extensions ++ extraExtensions)} \) -exec cp -p --parents -t "$out" {} + find -not \( -path ${everythingFile} -or -path ${lib.interfaceFile everythingFile} \) -and \( ${concatMapStringsSep " -or " (p: "-name '*.${p}'") (extensions ++ extraExtensions)} \) -exec cp -p --parents -t "$out" {} +
runHook postInstall runHook postInstall
''; '';
meta = if meta.broken or false then meta // { hydraPlatforms = lib.platforms.none; } else meta;
}; };
in in
{ {