2015-11-27 19:17:17 +01:00
|
|
|
# Build an idris package
|
2017-11-06 19:18:59 +01:00
|
|
|
{ stdenv, idrisPackages, gmp }:
|
|
|
|
{ idrisDeps ? []
|
|
|
|
, name
|
|
|
|
, version
|
|
|
|
, src
|
|
|
|
, meta
|
|
|
|
, extraBuildInputs ? []
|
|
|
|
, postUnpack ? ""
|
|
|
|
, doCheck ? true
|
|
|
|
}:
|
|
|
|
let
|
|
|
|
idris-with-packages = idrisPackages.with-packages idrisDeps;
|
|
|
|
in
|
|
|
|
stdenv.mkDerivation ({
|
|
|
|
|
|
|
|
name = "${name}-${version}";
|
|
|
|
|
|
|
|
inherit postUnpack src doCheck meta;
|
|
|
|
|
|
|
|
|
|
|
|
# Some packages use the style
|
|
|
|
# opts = -i ../../path/to/package
|
|
|
|
# rather than the declarative pkgs attribute so we have to rewrite the path.
|
|
|
|
postPatch = ''
|
|
|
|
sed -i *.ipkg -e "/^opts/ s|-i \\.\\./|-i ${idris-with-packages}/libs/|g"
|
2018-02-03 11:12:43 +01:00
|
|
|
'';
|
|
|
|
|
2015-11-27 15:35:59 +01:00
|
|
|
buildPhase = ''
|
2017-11-06 19:18:59 +01:00
|
|
|
${idris-with-packages}/bin/idris --build *.ipkg
|
2015-11-27 15:35:59 +01:00
|
|
|
'';
|
|
|
|
|
|
|
|
checkPhase = ''
|
|
|
|
if grep -q test *.ipkg; then
|
2017-11-06 19:18:59 +01:00
|
|
|
${idris-with-packages}/bin/idris --testpkg *.ipkg
|
2015-11-27 15:35:59 +01:00
|
|
|
fi
|
|
|
|
'';
|
|
|
|
|
|
|
|
installPhase = ''
|
2017-11-06 19:18:59 +01:00
|
|
|
${idris-with-packages}/bin/idris --install *.ipkg --ibcsubdir $out/libs
|
2015-11-27 15:35:59 +01:00
|
|
|
'';
|
2015-11-27 17:03:04 +01:00
|
|
|
|
2017-11-06 19:18:59 +01:00
|
|
|
buildInputs = [ gmp ] ++ extraBuildInputs;
|
|
|
|
|
|
|
|
propagatedBuildInputs = idrisDeps;
|
|
|
|
})
|