pyrox.dev
lol
spin: add gcc to path
+11
-3
pkgs/development/tools/analysis/spin/default.nix
+11
-3
pkgs/development/tools/analysis/spin/default.nix
···
1
-
{stdenv, fetchurl, yacc }:
2
3
-
stdenv.mkDerivation rec {
4
name = "spin-${version}";
5
version = "6.4.5";
6
url-version = stdenv.lib.replaceChars ["."] [""] version;
···
13
sha256 = "0x8qnwm2xa8f176c52mzpvnfzglxs6xgig7bcgvrvkb3xf114224";
14
};
15
16
buildInputs = [ yacc ];
17
18
sourceRoot = "Spin/Src${version}";
19
20
-
installPhase = "install -D spin $out/bin/spin";
21
22
meta = with stdenv.lib; {
23
description = "Formal verification tool for distributed software systems";
···
1
+
{ stdenv, fetchurl, makeWrapper, yacc, gcc }:
2
+
3
+
let
4
+
binPath = stdenv.lib.makeBinPath [ gcc ];
5
6
+
in stdenv.mkDerivation rec {
7
name = "spin-${version}";
8
version = "6.4.5";
9
url-version = stdenv.lib.replaceChars ["."] [""] version;
···
16
sha256 = "0x8qnwm2xa8f176c52mzpvnfzglxs6xgig7bcgvrvkb3xf114224";
17
};
18
19
+
nativeBuildInputs = [ makeWrapper ];
20
buildInputs = [ yacc ];
21
22
sourceRoot = "Spin/Src${version}";
23
24
+
installPhase = ''
25
+
install -D spin $out/bin/spin
26
+
wrapProgram $out/bin/spin \
27
+
--prefix PATH : ${binPath}
28
+
'';
29
30
meta = with stdenv.lib; {
31
description = "Formal verification tool for distributed software systems";