diff options
| author | Moritz Kiefer <moritz.kiefer@purelyfunctional.org> | 2018-11-08 17:53:29 +0100 |
|---|---|---|
| committer | Moritz Kiefer <moritz.kiefer@purelyfunctional.org> | 2018-11-08 17:53:29 +0100 |
| commit | 0266996a8db7cc41c7951fda993fe8eb7c386695 (patch) | |
| tree | 1b060ad19fc553175d014f2f5f990c3cc688be9e /pkgs/build-support/agda | |
| parent | 6742bdc84595525f8aedc11553493fef70621c31 (diff) | |
| download | nixpkgs-0266996a8db7cc41c7951fda993fe8eb7c386695.tar nixpkgs-0266996a8db7cc41c7951fda993fe8eb7c386695.tar.gz nixpkgs-0266996a8db7cc41c7951fda993fe8eb7c386695.tar.bz2 nixpkgs-0266996a8db7cc41c7951fda993fe8eb7c386695.tar.lz nixpkgs-0266996a8db7cc41c7951fda993fe8eb7c386695.tar.xz nixpkgs-0266996a8db7cc41c7951fda993fe8eb7c386695.tar.zst nixpkgs-0266996a8db7cc41c7951fda993fe8eb7c386695.zip | |
agda: use writeShellScriptbin instead of writeScriptBin
This adds the shell shebang to the wrapper script. Without this, emacs and in particular agda2-mode (but probably other applications as well) return a format error when trying to execute agda.
Diffstat (limited to 'pkgs/build-support/agda')
| -rw-r--r-- | pkgs/build-support/agda/default.nix | 4 |
1 files changed, 2 insertions, 2 deletions
diff --git a/pkgs/build-support/agda/default.nix b/pkgs/build-support/agda/default.nix index 8a871cfeb51..356fd058cac 100644 --- a/pkgs/build-support/agda/default.nix +++ b/pkgs/build-support/agda/default.nix @@ -3,7 +3,7 @@ # Contact: stdenv.lib.maintainers.fuuzetsu { stdenv, Agda, glibcLocales -, writeScriptBin +, writeShellScriptBin , extension ? (self: super: {}) }: @@ -77,7 +77,7 @@ let buildInputs = let # Makes a wrapper available to the user. Very useful in # nix-shell where all dependencies are -i'd. - agdaWrapper = writeScriptBin "agda" '' + agdaWrapper = writeShellScriptBin "agda" '' ${self.agdaWithArgs} "$@" ''; in [agdaWrapper] ++ self.buildDepends; |