dev/nixpkgs
1
0
Fork 0
Code Issues Pull Requests Actions 2 Packages Projects Releases Wiki Activity

spin: 6.4.7 -> 6.4.8

Browse Source
This commit is contained in:
Pascal Wittmann 2018-03-09 17:19:51 +01:00
parent 342743c903
commit ed3ad74a48
No known key found for this signature in database
GPG Key ID: C899ACE7E2322852
1 changed files with 16 additions and 5 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

21
pkgs/development/tools/analysis/spin/default.nix
View File

@ -1,4 +1,4 @@
{ stdenv, lib, fetchurl, makeWrapper, yacc, gcc { stdenv, lib, requireFile, makeWrapper, yacc, gcc
, withISpin ? true, tk, swarm, graphviz }: , withISpin ? true, tk, swarm, graphviz }:
let let
@ -7,12 +7,17 @@ let
in stdenv.mkDerivation rec { in stdenv.mkDerivation rec {
name = "spin-${version}"; name = "spin-${version}";
version = "6.4.7"; version = "6.4.8";
url-version = stdenv.lib.replaceChars ["."] [""] version; url-version = stdenv.lib.replaceChars ["."] [""] version;
src = fetchurl { src = requireFile {
url = "http://spinroot.com/spin/Src/spin${url-version}.tar.gz"; name = "spin${url-version}.tar.gz";
sha256 = "17m2xaag0jns8hsa4466zxq35ylg9fnzynzvjjmx4ympbiil6mqv"; sha256 = "1rpazi5fj772121cn7r85fxypmaiv0x6x2l82b5y1xqzyf0fi4ph";
message = ''
reCAPTCHA is preventing us to download the file for you.
Please download it at http://spinroot.com/spin/Src/index.html
and add it to the nix-store using nix-prefetch-url.
'';
}; };
nativeBuildInputs = [ makeWrapper ]; nativeBuildInputs = [ makeWrapper ];
@ -20,6 +25,12 @@ in stdenv.mkDerivation rec {
sourceRoot = "Spin/Src${version}"; sourceRoot = "Spin/Src${version}";
unpackPhase = ''
# The archive is compressed twice
gunzip -c $src > spin.tar.gz
tar -xzf spin.tar.gz
'';
installPhase = '' installPhase = ''
install -Dm755 spin $out/bin/spin install -Dm755 spin $out/bin/spin
wrapProgram $out/bin/spin \ wrapProgram $out/bin/spin \