27 lines
733 B
Nix
27 lines
733 B
Nix
{stdenv, fetchurl, yacc }:
|
|
|
|
stdenv.mkDerivation rec {
|
|
name = "spin-${version}";
|
|
version = "6.4.1";
|
|
url-version = stdenv.lib.replaceChars ["."] [""] version;
|
|
|
|
src = fetchurl {
|
|
url = "http://spinroot.com/spin/Src/spin${url-version}.tar.gz";
|
|
curlOpts = "--user-agent 'Mozilla/5.0'";
|
|
sha256 = "02r2jazb2hnhcqcjnmlj6sjd9dvyfalgi99bzncwfadixf3hmpvn";
|
|
};
|
|
|
|
buildInputs = [ yacc ];
|
|
|
|
sourceRoot = "Spin/Src${version}";
|
|
|
|
installPhase = "install -D spin $out/bin/spin";
|
|
|
|
meta = with stdenv.lib; {
|
|
description = "Formal verification tool for distributed software systems";
|
|
homepage = http://spinroot.com/;
|
|
license = stdenv.lib.licenses.free;
|
|
maintainers = with maintainers; [ mornfall pSub ];
|
|
};
|
|
}
|