diff options
| author | Silvan Mosberger <contact@infinisil.com> | 2019-08-07 13:37:36 +0200 |
|---|---|---|
| committer | GitHub <noreply@github.com> | 2019-08-07 13:37:36 +0200 |
| commit | dd7de2d096818ec2ebc1089af0e1a3f09b3288f8 (patch) | |
| tree | 1599c15b1d923d385ae2ec4b78d9a3ae1fcf9902 /pkgs/development/idris-modules | |
| parent | 25e47152b140eb702051c2267e72373b0d735095 (diff) | |
| parent | 349a843ef413f9746ce97625328670451d5574c0 (diff) | |
| download | nixpkgs-dd7de2d096818ec2ebc1089af0e1a3f09b3288f8.tar nixpkgs-dd7de2d096818ec2ebc1089af0e1a3f09b3288f8.tar.gz nixpkgs-dd7de2d096818ec2ebc1089af0e1a3f09b3288f8.tar.bz2 nixpkgs-dd7de2d096818ec2ebc1089af0e1a3f09b3288f8.tar.lz nixpkgs-dd7de2d096818ec2ebc1089af0e1a3f09b3288f8.tar.xz nixpkgs-dd7de2d096818ec2ebc1089af0e1a3f09b3288f8.tar.zst nixpkgs-dd7de2d096818ec2ebc1089af0e1a3f09b3288f8.zip | |
add options for build idris package (#65666)
add options for build idris package
Diffstat (limited to 'pkgs/development/idris-modules')
| -rw-r--r-- | pkgs/development/idris-modules/build-idris-package.nix | 12 |
1 files changed, 8 insertions, 4 deletions
diff --git a/pkgs/development/idris-modules/build-idris-package.nix b/pkgs/development/idris-modules/build-idris-package.nix index 28bac4e981b..ac0555636be 100644 --- a/pkgs/development/idris-modules/build-idris-package.nix +++ b/pkgs/development/idris-modules/build-idris-package.nix @@ -7,6 +7,10 @@ , version , ipkgName ? name , extraBuildInputs ? [] + , idrisBuildOptions ? [] + , idrisTestOptions ? [] + , idrisInstallOptions ? [] + , idrisDocOptions ? [] , ... }@attrs: let @@ -39,14 +43,14 @@ stdenv.mkDerivation ({ buildPhase = '' runHook preBuild - idris --build ${ipkgName}.ipkg + idris --build ${ipkgName}.ipkg ${lib.escapeShellArgs idrisBuildOptions} runHook postBuild ''; checkPhase = '' runHook preCheck if grep -q tests ${ipkgName}.ipkg; then - idris --testpkg ${ipkgName}.ipkg + idris --testpkg ${ipkgName}.ipkg ${lib.escapeShellArgs idrisTestOptions} fi runHook postCheck ''; @@ -54,9 +58,9 @@ stdenv.mkDerivation ({ installPhase = '' runHook preInstall - idris --install ${ipkgName}.ipkg --ibcsubdir $out/libs + idris --install ${ipkgName}.ipkg --ibcsubdir $out/libs ${lib.escapeShellArgs idrisInstallOptions} - IDRIS_DOC_PATH=$out/doc idris --installdoc ${ipkgName}.ipkg || true + IDRIS_DOC_PATH=$out/doc idris --installdoc ${ipkgName}.ipkg ${lib.escapeShellArgs idrisDocOptions} || true # If the ipkg file defines an executable, install that executable=$(grep -Po '^executable = \K.*' ${ipkgName}.ipkg || true) |