pkgs/development/tools/analysis/spin/default.nix

   1 { stdenv, lib, fetchFromGitHub, makeWrapper, bison, gcc, tk, swarm, graphviz }:
   2
   3 let
   4   binPath = lib.makeBinPath [ gcc graphviz tk swarm ];
   5 in
   6
   7 stdenv.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 }