Note that brial and sage_brial are built off the same tarball
dimpase@penguin:~/sage$ cat build/pkgs/brial/package-version.txt
1.2.5
dimpase@penguin:~/sage$ cat build/pkgs/sage_brial/package-version.txt
1.2.5
dimpase@penguin:~/sage$ cat build/pkgs/sage_brial/checksums.ini
tarball=brial-VERSION.tar.bz2
sha1=5795c0d73b63e9daa5318b0f22514b7797c59823
md5=fddbc0cebfbac161de110acf30a6b89d
cksum=
2578889224
upstream_url=
https://github.com/BRiAl/BRiAl/releases/download/VERSION/brial-VERSION.tar.bz2
dimpase@penguin:~/sage$ cat build/pkgs/brial/checksums.ini
tarball=brial-VERSION.tar.bz2
sha1=5795c0d73b63e9daa5318b0f22514b7797c59823
md5=fddbc0cebfbac161de110acf30a6b89d
cksum=
2578889224
upstream_url=
https://github.com/BRiAl/BRiAl/releases/download/VERSION/brial-VERSION.tar.bz2
Thus, if you have upstream/
brial-1.2.5.tar.bz present and matching md5
etc checksums,
you should be all set.
But if you have brial from the system, you're in trouble as brial is
not built, so upstream/
brial-1.2.5.tar.bz
does not get downloaded, sage_brial can't be built, as here is no
tarball on the mirrors at the URL is tries to use.
For some reason, upstream_url= is not helping here, and mirrors shoud
be fixed to have the tarball at the URL in question too.
As a workaround:
in upstream/, do
wget
https://github.com/BRiAl/BRiAl/releases/download/1.2.5/brial-1.2.5.tar.bz2
and re-run the build.
HTH
Dima
PS. Volker - is it easy to create these URLs for sage_brial/ to point
to brial/ on the mirrors?
On Tue, Apr 14, 2020 at 6:07 PM Olivier Guillon
<
olivier...@gmail.com> wrote:
>
> I ran in the same issue on a separate build, you'll find the log in the attachment.
>
> --
> You received this message because you are subscribed to the Google Groups "sage-devel" group.
> To unsubscribe from this group and stop receiving emails from it, send an email to
sage-devel+...@googlegroups.com.
> To view this discussion on the web visit
https://groups.google.com/d/msgid/sage-devel/38f740f5-8596-4a74-b718-898624c55947%40googlegroups.com.