diff options
author | Lluís Batlle i Rossell <viric@vicerveza.homeunix.net> | 2009-05-03 14:35:43 +0000 |
---|---|---|
committer | Lluís Batlle i Rossell <viric@vicerveza.homeunix.net> | 2009-05-03 14:35:43 +0000 |
commit | 63c8ccf84c6b50299b8df94cf709f08b057d06e4 (patch) | |
tree | 96cf0ee569d11b65a70537e3aa868e27a2aa84d2 /pkgs/development/tools/analysis | |
parent | a5ebd913f3f07e7504e29eafd19cd02a551fdd93 (diff) |
Adding spin
svn path=/nixpkgs/trunk/; revision=15433
Diffstat (limited to 'pkgs/development/tools/analysis')
-rw-r--r-- | pkgs/development/tools/analysis/spin/default.nix | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/pkgs/development/tools/analysis/spin/default.nix b/pkgs/development/tools/analysis/spin/default.nix new file mode 100644 index 0000000000000..6bfc6fe7de029 --- /dev/null +++ b/pkgs/development/tools/analysis/spin/default.nix @@ -0,0 +1,27 @@ +{stdenv, fetchurl, flex, yacc, tk }: + +stdenv.mkDerivation { + name = "spin-5.1.7"; + + src = fetchurl { + url = http://spinroot.com/spin/Src/spin517.tar.gz; + sha256 = "03c6bmar4z13jx7dddb029f0qnmgl8x4hyfwn3qijjyd4dbliiw6"; + }; + + preConfigure = "cd Src*"; + buildInputs = [ flex yacc tk ]; + + installPhase = '' + ensureDir $out/bin + cp ../Xspin*/xsp* $out/bin/xspin + sed -i -e '1s@^#!/bin/sh@#!${tk}/bin/wish8.4@' \ + -e '/exec wish/d' $out/bin/xspin + cp spin $out/bin + ''; + + meta = { + description = "Formal verification tool for distributed software systems"; + homepage = http://spinroot.com/; + license = "free"; + }; +} |