diff options
| author | Robin Gloster <mail@glob.in> | 2016-03-15 01:44:24 +0000 |
|---|---|---|
| committer | Robin Gloster <mail@glob.in> | 2016-03-15 01:44:24 +0000 |
| commit | 3f45f0948d6fe158bed063adb66850ded0ba4861 (patch) | |
| tree | ac717689d391d3f5333132fc34e4b2aed829414c /pkgs/development/tools/analysis/spin/default.nix | |
| parent | a9b942c0617b1cd5f0732d05eadad0114a178f37 (diff) | |
| parent | d227d9a70e41d65e4e6f4ac75a9d243c5a19fa85 (diff) | |
| download | nixlib-3f45f0948d6fe158bed063adb66850ded0ba4861.tar nixlib-3f45f0948d6fe158bed063adb66850ded0ba4861.tar.gz nixlib-3f45f0948d6fe158bed063adb66850ded0ba4861.tar.bz2 nixlib-3f45f0948d6fe158bed063adb66850ded0ba4861.tar.lz nixlib-3f45f0948d6fe158bed063adb66850ded0ba4861.tar.xz nixlib-3f45f0948d6fe158bed063adb66850ded0ba4861.tar.zst nixlib-3f45f0948d6fe158bed063adb66850ded0ba4861.zip | |
Merge remote-tracking branch 'upstream/master' into hardened-stdenv
Diffstat (limited to 'pkgs/development/tools/analysis/spin/default.nix')
| -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"; |