diff options
| author | Marco Perone <pasafama@gmail.com> | 2019-07-31 16:46:47 +0200 |
|---|---|---|
| committer | Marco Perone <pasafama@gmail.com> | 2019-08-06 09:10:46 +0200 |
| commit | 8a02fa477f7ae58061f5d53060dc9f36f1e53d2a (patch) | |
| tree | d1c59f5c047d723b0fd016562c2359b269ba4e46 /pkgs/development/idris-modules | |
| parent | c0a8580822b89b88e72c530cb706b28d08ee6cbb (diff) | |
build-idris-package: add options for idris commands
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 c67d53f8d9c2..2ae1d55258b8 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) |