On Tue, Jul 14, 2020 at 2:47 PM Andrey Novoseltsev <novos...@gmail.com> wrote: > > The way I was trying to do it: > > - create Ubuntu 20.04 LXC container (host is the same OS on a fresh GCE > instance) > - update & install programs suggested by ./configure > - build Sage > > Everything works apart from cryptominisat and whatever the problem is, it is > not due to me not updating the system or doing something strange to break it > ;-)
You apparently got a copy of an old boost library, in /home/sc_serv/sage/ causing linking problems. > > Andrey > > On Monday, 13 July 2020 23:26:06 UTC-6, Zachary Scherr wrote: >> >> I was able to successfully build cryptominisat using an Ubuntu 20.04 docker >> image. Some weird things I noticed from your log files: >> >> config log says you have boost lib >= 1.66 yet your cryptominisat log file >> says "Boost 1.46 found". On the next line it says: >> >> "-- Found Boost components: program_options" >> >> which seems to be related to all of the errors. >> >> I'll let a more experienced person chime in, but I imagine that if you get >> the latest version of libboost-dev and cmake from apt and let sage find it >> via ./configure then maybe cyrptominisat will build. >> >> On Monday, July 13, 2020 at 11:26:06 PM UTC-4 Andrey Novoseltsev wrote: >>> >>> On Monday, 13 July 2020 21:11:11 UTC-6, Matthias Koeppe wrote: >>>> >>>> Please also send the top-level config.log >>> >>> >>> Attached! >>> >>>> >>>> Lots of optional and experimental packages are broken. See >>>> https://trac.sagemath.org/ticket/29900 - which needs help. >>> >>> >>> Thank you for working on this! Can't commit to more help than supplying >>> logs... >>> > -- > 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/5298591f-0961-4aa1-a887-60b5109b9688o%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/CAAWYfq2dbqRv_ZX4h%2BczCJsH2v8a2OmCOK6_sbM9hG0YW1Et%3Dw%40mail.gmail.com.
