On Tue, Dec 19 2017, Ori Bernstein <o...@eigenstate.org> wrote:
> I was pinged recently by na...@mips.inka.de, and informed that he
> was getting 403s when building the lang/spin port:
>
> $ ftp https://spinroot.com/spin/Src/spin647.tar.gz
> Trying 2400:cb00:2048:1::681c:a15...
> Requesting https://spinroot.com/spin/Src/spin647.tar.gz
> ftp: Error retrieving file: 403 Forbidden
> $ ftp -4 https://spinroot.com/spin/Src/spin647.tar.gz
> Trying 104.28.10.21...
> Requesting https://spinroot.com/spin/Src/spin647.tar.gz
> ftp: Error retrieving file: 403 Forbidden
>
>
> It turns out that spinroot.com has overzealous Cloudflare checks,
> and seems to block some people in Europe from downloading the
> tarball automatically.
>
> Therefore, I'm mirroring the tarball on a server that I maintain.
> I'm leaving upstream in the makefile for now, as a fallback for
> those upon whom the favor of Cloudflare doth shine. Not sure if
> that's a good idea, so I can remove it if anyone has an opinion.
Leaving upstream's master sites is better, if only because portroach can
then scan it for newer releases, and in case your website is down.
> I've also tried to ping the people who host the upstream version,
> so that hopefully we we can use them as the canonical host again
> in the future, without random people getting blocked.
That would be better indeed.
> Also removed a stray newline and bumped the revision.
Committed, thanks. Note that I had to apply your diff by hand since
tabs had been replaced with spaces.
> Index: Makefile
> ===================================================================
> RCS file: /cvs/ports/lang/spin/Makefile,v
> retrieving revision 1.1.1.1
> diff -u -p -r1.1.1.1 Makefile
> --- Makefile 17 Dec 2017 23:38:19 -0000 1.1.1.1
> +++ Makefile 20 Dec 2017 05:37:03 -0000
> @@ -1,6 +1,7 @@
> # $OpenBSD: Makefile,v 1.1.1.1 2017/12/17 23:38:19 akoshibe Exp $
>
> V = 6.4.7
> +REVISION = 0
> COMMENT = tool for formal verification of parallel software
> DISTNAME = spin${V:S/.//g}
> PKGNAME = spin-${V}
> @@ -14,7 +15,8 @@ PERMIT_PACKAGE_CDROM = Yes
>
> WANTLIB += c
>
> -MASTER_SITES = https://spinroot.com/spin/Src/
> +MASTER_SITES = https://eigenstate.org/distfiles/ \
> + https://spinroot.com/spin/Src/
>
> ALL_TARGET = spin
> MAKE_FILE = makefile
> cvs server: Diffing patches
> cvs server: Diffing pkg
> Index: pkg/DESCR
> ===================================================================
> RCS file: /cvs/ports/lang/spin/pkg/DESCR,v
> retrieving revision 1.1.1.1
> diff -u -p -r1.1.1.1 DESCR
> --- pkg/DESCR 17 Dec 2017 23:38:19 -0000 1.1.1.1
> +++ pkg/DESCR 20 Dec 2017 05:37:03 -0000
> @@ -5,4 +5,3 @@ system model specified in Promela (the P
> a specifciation of the requirements for logical correctness, and allows both
> interactive and exhaustive simulations of the system for verifying these
> properties.
> -
--
jca | PGP : 0x1524E7EE / 5135 92C1 AD36 5293 2BDF DDCC 0DFA 74AE 1524 E7EE
