Thanks for spotting this. Andrey: I would suggest to try whether a cryptominisat upgrade ( https://trac.sagemath.org/ticket/25374) has better Boost detection.
If not, we should change the boost spkg-configure so that it passes the found boost library location on to cryptominisat. On Monday, July 13, 2020 at 10:26:06 PM UTC-7, 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/311863a7-72a6-4c76-93a6-99c2589192aco%40googlegroups.com.
