diff --git a/pkgs/development/tools/analysis/spin/default.nix b/pkgs/development/tools/analysis/spin/default.nix index 1be5655b1e5..a59b452b432 100644 --- a/pkgs/development/tools/analysis/spin/default.nix +++ b/pkgs/development/tools/analysis/spin/default.nix @@ -1,4 +1,4 @@ -{ stdenv, lib, requireFile, makeWrapper, yacc, gcc +{ stdenv, lib, fetchurl, makeWrapper, yacc, gcc , withISpin ? true, tk, swarm, graphviz }: let @@ -10,14 +10,12 @@ in stdenv.mkDerivation rec { version = "6.4.8"; url-version = stdenv.lib.replaceChars ["."] [""] version; - 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. - ''; + src = fetchurl { + # The homepage is behind CloudFlare anti-DDoS protection, which blocks cURL. + # Dropbox mirror from developers: + # https://www.dropbox.com/sh/fgzipzp4wpo3qc1/AADZPqS4aoR-pjNF6OQXRLQHa + url = "https://www.dropbox.com/sh/fgzipzp4wpo3qc1/AADya1lOBJZDbgWGrUSq-dfHa/spin${url-version}.tar.gz?raw=1"; + sha256 = "1rvamdsf0igzpndlr4ck7004jw9x1bg4xyf78zh5k9sp848vnd80"; }; nativeBuildInputs = [ makeWrapper ]; @@ -25,12 +23,6 @@ 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 \