Ok thanks a lot for the help, everything seems to work for my main source install as I already said. What I did to solve my issue was essentially the same as the workaround you just mentioned. There were some interferences with my system version of brial (brial-1.2.8) it appears. And, again, congratulations for the great job you're all doing !!!
Olivier. Le mar. 14 avr. 2020 à 12:39, Dima Pasechnik <dimp...@gmail.com> a écrit : > 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? > -- 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/CAJJbjsDnL9pFHcSjM6d60WEv0EVwYra%3DMYcriyyBkewK1A230Q%40mail.gmail.com.
