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.
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.
Also removed a stray newline and bumped the revision.
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.
-
--
Ori Bernstein
