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 | |
parent | a5ebd913f3f07e7504e29eafd19cd02a551fdd93 (diff) | |
download | nixpkgs-63c8ccf84c6b50299b8df94cf709f08b057d06e4.tar nixpkgs-63c8ccf84c6b50299b8df94cf709f08b057d06e4.tar.gz nixpkgs-63c8ccf84c6b50299b8df94cf709f08b057d06e4.tar.bz2 nixpkgs-63c8ccf84c6b50299b8df94cf709f08b057d06e4.tar.lz nixpkgs-63c8ccf84c6b50299b8df94cf709f08b057d06e4.tar.xz nixpkgs-63c8ccf84c6b50299b8df94cf709f08b057d06e4.tar.zst nixpkgs-63c8ccf84c6b50299b8df94cf709f08b057d06e4.zip |
Adding spin
svn path=/nixpkgs/trunk/; revision=15433
Diffstat (limited to 'pkgs')
-rw-r--r-- | pkgs/development/tools/analysis/spin/default.nix | 27 | ||||
-rw-r--r-- | pkgs/top-level/all-packages.nix | 4 |
2 files changed, 31 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 00000000000..6bfc6fe7de0 --- /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"; + }; +} diff --git a/pkgs/top-level/all-packages.nix b/pkgs/top-level/all-packages.nix index d08c0824071..dd02204b087 100644 --- a/pkgs/top-level/all-packages.nix +++ b/pkgs/top-level/all-packages.nix @@ -2588,6 +2588,10 @@ let inherit fetchurl stdenv pkgconfig; }; + spin = import ../development/tools/analysis/spin { + inherit fetchurl stdenv flex yacc tk; + }; + splint = import ../development/tools/analysis/splint { inherit fetchurl stdenv flex; }; |