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 ;-) 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.
