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