pyrox.dev
fork
Configure Feed
Select the types of activity you want to include in your feed.
lol
fork
Configure Feed
Select the types of activity you want to include in your feed.
1{ stdenv, lib, fetchFromGitHub, makeWrapper, bison, gcc, tk, swarm, graphviz }:
2
3let
4 binPath = lib.makeBinPath [ gcc graphviz tk swarm ];
5in
6
7stdenv.mkDerivation rec {
8 pname = "spin";
9 version = "6.5.2";
10
11 src = fetchFromGitHub {
12 owner = "nimble-code";
13 repo = "Spin";
14 rev = "version-${version}";
15 sha256 = "sha256-drvQXfDZCZRycBZt/VNngy8zs4XVJg+d1b4dQXVcyFU=";
16 };
17
18 nativeBuildInputs = [ makeWrapper ];
19 buildInputs = [ bison ];
20
21 sourceRoot = "${src.name}/Src";
22
23 preBuild = ''
24 mkdir -p $out/bin
25 mkdir -p $out/share/man/man1
26 '';
27
28 enableParallelBuilding = true;
29 makeFlags = [ "DESTDIR=$(out)" ];
30
31 postInstall = ''
32 wrapProgram $out/bin/spin --prefix PATH : ${binPath}
33
34 mkdir -p $out/share/spin
35 cp $src/optional_gui/ispin.tcl $out/share/spin
36 makeWrapper $out/share/spin/ispin.tcl $out/bin/ispin \
37 --prefix PATH : $out/bin:${binPath}
38 '';
39
40 meta = with lib; {
41 description = "Formal verification tool for distributed software systems";
42 homepage = "https://spinroot.com/";
43 license = licenses.bsd3;
44 platforms = platforms.unix;
45 maintainers = with maintainers; [ pSub siraben ];
46 };
47}