On Tue, Apr 14, 2020 at 8:55 PM Olivier Guillon <olivier.guil...@gmail.com> wrote: > > 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.
I far as I understand, your setup is using brial the C++ library from your system, (and sage_brial, aka Sage interface to brial the C++ library, is built), so that's not "interference", it's by design. > 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. -- 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/CAAWYfq0OYLhChSK9f2M5DAi39LV3haANCfPgSpEAS_HTJ6%3DmBw%40mail.gmail.com.
