diff options
author | Nikolay Amiantov <ab@fmap.me> | 2016-03-26 11:44:09 +0300 |
---|---|---|
committer | Nikolay Amiantov <ab@fmap.me> | 2016-03-26 17:05:29 +0300 |
commit | ef06c7db8f0f64d856c6cc641344036a1fcd7952 (patch) | |
tree | 2cc1e017856c1a9ab4c4016cd89797e73db7dd9d /pkgs/development/tools/analysis | |
parent | f273dd226c89027cf4c04aaa1bd90ddea9573c89 (diff) | |
download | nixlib-ef06c7db8f0f64d856c6cc641344036a1fcd7952.tar nixlib-ef06c7db8f0f64d856c6cc641344036a1fcd7952.tar.gz nixlib-ef06c7db8f0f64d856c6cc641344036a1fcd7952.tar.bz2 nixlib-ef06c7db8f0f64d856c6cc641344036a1fcd7952.tar.lz nixlib-ef06c7db8f0f64d856c6cc641344036a1fcd7952.tar.xz nixlib-ef06c7db8f0f64d856c6cc641344036a1fcd7952.tar.zst nixlib-ef06c7db8f0f64d856c6cc641344036a1fcd7952.zip |
spin: add ispin with tools
Diffstat (limited to 'pkgs/development/tools/analysis')
-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 ab9954735f35..6da6bd4b4f92 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; { |