diff options
| author | Nikolay Amiantov <ab@fmap.me> | 2016-03-12 14:12:44 +0300 |
|---|---|---|
| committer | Nikolay Amiantov <ab@fmap.me> | 2016-03-12 14:13:42 +0300 |
| commit | 2a288ad435be06b68ff90bc768bc512b9094d29a (patch) | |
| tree | 261f59e760cd5348eaa70d7c38058154eb111f3a /pkgs/development | |
| parent | 39ed265c808cb42476b3a7da310472d79c414055 (diff) | |
| download | nixlib-2a288ad435be06b68ff90bc768bc512b9094d29a.tar nixlib-2a288ad435be06b68ff90bc768bc512b9094d29a.tar.gz nixlib-2a288ad435be06b68ff90bc768bc512b9094d29a.tar.bz2 nixlib-2a288ad435be06b68ff90bc768bc512b9094d29a.tar.lz nixlib-2a288ad435be06b68ff90bc768bc512b9094d29a.tar.xz nixlib-2a288ad435be06b68ff90bc768bc512b9094d29a.tar.zst nixlib-2a288ad435be06b68ff90bc768bc512b9094d29a.zip | |
spin: add gcc to path
Diffstat (limited to 'pkgs/development')
| -rw-r--r-- | pkgs/development/tools/analysis/spin/default.nix | 14 |
1 files changed, 11 insertions, 3 deletions
diff --git a/pkgs/development/tools/analysis/spin/default.nix b/pkgs/development/tools/analysis/spin/default.nix index 29559bf8b0ef..ab9954735f35 100644 --- a/pkgs/development/tools/analysis/spin/default.nix +++ b/pkgs/development/tools/analysis/spin/default.nix @@ -1,6 +1,9 @@ -{stdenv, fetchurl, yacc }: +{ stdenv, fetchurl, makeWrapper, yacc, gcc }: -stdenv.mkDerivation rec { +let + binPath = stdenv.lib.makeBinPath [ gcc ]; + +in stdenv.mkDerivation rec { name = "spin-${version}"; version = "6.4.5"; url-version = stdenv.lib.replaceChars ["."] [""] version; @@ -13,11 +16,16 @@ stdenv.mkDerivation rec { sha256 = "0x8qnwm2xa8f176c52mzpvnfzglxs6xgig7bcgvrvkb3xf114224"; }; + nativeBuildInputs = [ makeWrapper ]; buildInputs = [ yacc ]; sourceRoot = "Spin/Src${version}"; - installPhase = "install -D spin $out/bin/spin"; + installPhase = '' + install -D spin $out/bin/spin + wrapProgram $out/bin/spin \ + --prefix PATH : ${binPath} + ''; meta = with stdenv.lib; { description = "Formal verification tool for distributed software systems"; |