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.guil...@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+unsubscr...@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. -- 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+unsubscr...@googlegroups.com. To view this discussion on the web visit https://groups.google.com/d/msgid/sage-devel/CAAWYfq3q_e4SCPgxyDr1OcH6s7SfVNnHia6hRZWSy1Mw0hJsGQ%40mail.gmail.com.
