tjh.dev
Merge pull request #54298 from dtzWill/update/spin-6.4.9
spin: 6.4.8 -> 6.4.9
authored by
Pascal Wittmann
and committed by
GitHub
b71ed9c8
105ffa44
+6
-3
pkgs/development/tools/analysis/spin/default.nix
+6
-3
pkgs/development/tools/analysis/spin/default.nix
···
7
7
8
8
in stdenv.mkDerivation rec {
9
9
name = "spin-${version}";
10
-
version = "6.4.8";
10
+
version = "6.4.9";
11
11
url-version = stdenv.lib.replaceChars ["."] [""] version;
12
12
13
13
src = fetchurl {
14
14
# The homepage is behind CloudFlare anti-DDoS protection, which blocks cURL.
15
15
# Dropbox mirror from developers:
16
16
# https://www.dropbox.com/sh/fgzipzp4wpo3qc1/AADZPqS4aoR-pjNF6OQXRLQHa
17
-
url = "https://www.dropbox.com/sh/fgzipzp4wpo3qc1/AADya1lOBJZDbgWGrUSq-dfHa/spin${url-version}.tar.gz?raw=1";
18
-
sha256 = "1rvamdsf0igzpndlr4ck7004jw9x1bg4xyf78zh5k9sp848vnd80";
17
+
# (note that this URL doesn't work aross versions and hash should come from official site)
18
+
url = "https://www.dropbox.com/sh/fgzipzp4wpo3qc1/AABtxFePMJmPxsxSvU5cpxh8a/spin${url-version}.tar.gz?raw=1";
19
+
sha256 = "07b7wk3qyfnp4pgwicqd33l7i1krzyihx0cf9zkv81ywaklf5vll";
19
20
};
20
21
21
22
nativeBuildInputs = [ makeWrapper ];
···
24
25
sourceRoot = "Spin/Src${version}";
25
26
26
27
installPhase = ''
28
+
install -Dm644 ../Man/spin.1 $out/share/man/man1/spin.1
29
+
27
30
install -Dm755 spin $out/bin/spin
28
31
wrapProgram $out/bin/spin \
29
32
--prefix PATH : ${binPath}