046f091e0d
This commits needs a MAJOR audit as I oftentimes just guessed which of `$hostOffset`, `$targetOffset`, or a fixed offset should be used.
43 lines
923 B
Nix
43 lines
923 B
Nix
# Build an idris package
|
|
#
|
|
# args: Additional arguments to pass to mkDerivation. Generally should include at least
|
|
# name and src.
|
|
{ stdenv, idris, gmp }: args: stdenv.mkDerivation ({
|
|
preHook = ''
|
|
# Library import path
|
|
export IDRIS_LIBRARY_PATH=$PWD/idris-libs
|
|
mkdir -p $IDRIS_LIBRARY_PATH
|
|
|
|
# Library install path
|
|
export IBCSUBDIR=$out/lib/${idris.name}
|
|
mkdir -p $IBCSUBDIR
|
|
|
|
addIdrisLibs () {
|
|
if [ -d $1/lib/${idris.name} ]; then
|
|
ln -sv $1/lib/${idris.name}/* $IDRIS_LIBRARY_PATH
|
|
fi
|
|
}
|
|
|
|
# All run-time deps
|
|
addEnvHooks 0 addIdrisLibs
|
|
'';
|
|
|
|
buildPhase = ''
|
|
${idris}/bin/idris --build *.ipkg
|
|
'';
|
|
|
|
doCheck = true;
|
|
|
|
checkPhase = ''
|
|
if grep -q test *.ipkg; then
|
|
${idris}/bin/idris --testpkg *.ipkg
|
|
fi
|
|
'';
|
|
|
|
installPhase = ''
|
|
${idris}/bin/idris --install *.ipkg --ibcsubdir $IBCSUBDIR
|
|
'';
|
|
|
|
buildInputs = [ gmp ];
|
|
} // args)
|