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.
This commit is contained in:
parent
6742bdc845
commit
0266996a8d
|
@ -3,7 +3,7 @@
|
||||||
# Contact: stdenv.lib.maintainers.fuuzetsu
|
# Contact: stdenv.lib.maintainers.fuuzetsu
|
||||||
|
|
||||||
{ stdenv, Agda, glibcLocales
|
{ stdenv, Agda, glibcLocales
|
||||||
, writeScriptBin
|
, writeShellScriptBin
|
||||||
, extension ? (self: super: {})
|
, extension ? (self: super: {})
|
||||||
}:
|
}:
|
||||||
|
|
||||||
|
@ -77,7 +77,7 @@ let
|
||||||
buildInputs = let
|
buildInputs = let
|
||||||
# Makes a wrapper available to the user. Very useful in
|
# Makes a wrapper available to the user. Very useful in
|
||||||
# nix-shell where all dependencies are -i'd.
|
# nix-shell where all dependencies are -i'd.
|
||||||
agdaWrapper = writeScriptBin "agda" ''
|
agdaWrapper = writeShellScriptBin "agda" ''
|
||||||
${self.agdaWithArgs} "$@"
|
${self.agdaWithArgs} "$@"
|
||||||
'';
|
'';
|
||||||
in [agdaWrapper] ++ self.buildDepends;
|
in [agdaWrapper] ++ self.buildDepends;
|
||||||
|
|
Loading…
Reference in a new issue