diff options
author | Tuomas Tynkkynen <tuomas@tuxera.com> | 2016-08-23 01:13:49 +0300 |
---|---|---|
committer | Tuomas Tynkkynen <tuomas@tuxera.com> | 2016-08-23 01:18:10 +0300 |
commit | 282277dbc8770552e69ae3f2938ff4a01b750993 (patch) | |
tree | 2807246bc6d7cd0be44d03932542a5ff97b9886c /pkgs/applications/science/logic/satallax | |
parent | 74a3a2cd7e409062ad3efa61e84d366a8f67c853 (diff) |
treewide: Use more makeBinPath
Diffstat (limited to 'pkgs/applications/science/logic/satallax')
-rw-r--r-- | pkgs/applications/science/logic/satallax/default.nix | 2 |
1 files changed, 1 insertions, 1 deletions
diff --git a/pkgs/applications/science/logic/satallax/default.nix b/pkgs/applications/science/logic/satallax/default.nix index 7935be11926da..6f42ff15a2270 100644 --- a/pkgs/applications/science/logic/satallax/default.nix +++ b/pkgs/applications/science/logic/satallax/default.nix @@ -41,7 +41,7 @@ stdenv.mkDerivation rec { mkdir -p "$out/share/doc/satallax" "$out/bin" "$out/lib" "$out/lib/satallax" cp bin/satallax.opt "$out/bin/satallax" wrapProgram "$out/bin/satallax" \ - --suffix PATH : "${coq}/bin:${eprover}/bin:$out/libexec/satallax" \ + --suffix PATH : "${stdenv.lib.makeBinPath [ coq eprover ]}:$out/libexec/satallax" \ --add-flags "-M" --add-flags "$out/lib/satallax/modes" cp LICENSE README "$out/share/doc/satallax" |