26 lines
625 B
Nix
26 lines
625 B
Nix
{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 ];
|
|
};
|
|
}
|