blob: a40215592f455cb24fea0d5aa00bb536dbb89381 (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
|
{stdenv, fetchurl, yacc }:
stdenv.mkDerivation rec {
version = "6.3.2";
name = "spin-${version}";
src = fetchurl {
url = http://spinroot.com/spin/Src/spin632.tar.gz;
curlOpts = "--user-agent 'Mozilla/5.0'";
sha256 = "1llsv1mnwr99hvsm052i3wwpa3dm5j12s5p10hizi6i9hlp00b5y";
};
buildInputs = [ yacc ];
sourceRoot = "Spin/Src${version}";
installPhase = "install -D spin $out/bin/spin";
meta = {
description = "Formal verification tool for distributed software systems";
homepage = http://spinroot.com/;
license = "free";
maintainers = [ stdenv.lib.maintainers.mornfall ];
};
}
|