diff options
Diffstat (limited to 'pkgs/development/tools/analysis/spin/default.nix')
-rw-r--r-- | pkgs/development/tools/analysis/spin/default.nix | 10 |
1 files changed, 8 insertions, 2 deletions
diff --git a/pkgs/development/tools/analysis/spin/default.nix b/pkgs/development/tools/analysis/spin/default.nix index ab9954735f3..6da6bd4b4f9 100644 --- a/pkgs/development/tools/analysis/spin/default.nix +++ b/pkgs/development/tools/analysis/spin/default.nix @@ -1,7 +1,9 @@ -{ stdenv, fetchurl, makeWrapper, yacc, gcc }: +{ stdenv, lib, fetchurl, makeWrapper, yacc, gcc +, withISpin ? true, tk, swarm, graphviz }: let binPath = stdenv.lib.makeBinPath [ gcc ]; + ibinPath = stdenv.lib.makeBinPath [ gcc tk swarm graphviz tk ]; in stdenv.mkDerivation rec { name = "spin-${version}"; @@ -22,9 +24,13 @@ in stdenv.mkDerivation rec { sourceRoot = "Spin/Src${version}"; installPhase = '' - install -D spin $out/bin/spin + install -Dm755 spin $out/bin/spin wrapProgram $out/bin/spin \ --prefix PATH : ${binPath} + '' + lib.optionalString withISpin '' + install -Dm755 ../iSpin/ispin.tcl $out/bin/ispin + wrapProgram $out/bin/ispin \ + --prefix PATH ':' "$out/bin:${ibinPath}" ''; meta = with stdenv.lib; { |