blob: e21ae8e927385b9577b97781b81ec0a4bb37861c (
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
26
|
{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 ];
};
}
|