diff --git a/pkgs/development/tools/analysis/spin/default.nix b/pkgs/development/tools/analysis/spin/default.nix index 284bf26782fe..1be5655b1e53 100644 --- a/pkgs/development/tools/analysis/spin/default.nix +++ b/pkgs/development/tools/analysis/spin/default.nix @@ -1,4 +1,4 @@ -{ stdenv, lib, fetchurl, makeWrapper, yacc, gcc +{ stdenv, lib, requireFile, makeWrapper, yacc, gcc , withISpin ? true, tk, swarm, graphviz }: let @@ -7,12 +7,17 @@ let in stdenv.mkDerivation rec { name = "spin-${version}"; - version = "6.4.7"; + version = "6.4.8"; url-version = stdenv.lib.replaceChars ["."] [""] version; - src = fetchurl { - url = "http://spinroot.com/spin/Src/spin${url-version}.tar.gz"; - sha256 = "17m2xaag0jns8hsa4466zxq35ylg9fnzynzvjjmx4ympbiil6mqv"; + src = requireFile { + name = "spin${url-version}.tar.gz"; + 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 ]; @@ -20,6 +25,12 @@ in stdenv.mkDerivation rec { sourceRoot = "Spin/Src${version}"; + unpackPhase = '' + # The archive is compressed twice + gunzip -c $src > spin.tar.gz + tar -xzf spin.tar.gz + ''; + installPhase = '' install -Dm755 spin $out/bin/spin wrapProgram $out/bin/spin \