public/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Packages Projects Releases Wiki Activity

Merge pull request #60373 from Infinisil/idris-binaries

Browse Source 
idrisPackages.build-idris-package: Install binaries
This commit is contained in:
Silvan Mosberger 2019-05-01 00:28:36 +02:00 committed by GitHub
commit d7d89c5eac
No known key found for this signature in database
GPG Key ID: 4AEE18F83AFDEB23
1 changed files with 12 additions and 0 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

12
pkgs/development/idris-modules/build-idris-package.nix
View File

@ -53,8 +53,20 @@ stdenv.mkDerivation ({
installPhase = '' installPhase = ''
runHook preInstall runHook preInstall
idris --install ${ipkgName}.ipkg --ibcsubdir $out/libs idris --install ${ipkgName}.ipkg --ibcsubdir $out/libs
IDRIS_DOC_PATH=$out/doc idris --installdoc ${ipkgName}.ipkg || true IDRIS_DOC_PATH=$out/doc idris --installdoc ${ipkgName}.ipkg || true
# If the ipkg file defines an executable, install that
executable=$(grep -Po '^executable = \K.*' ${ipkgName}.ipkg || true)
# $executable intentionally not quoted because it must be quoted correctly
# in the ipkg file already
if [ ! -z "$executable" ] && [ -f $executable ]; then
mkdir -p $out/bin
mv $executable $out/bin/$executable
fi
runHook postInstall runHook postInstall
''; '';