Please also send the top-level config.log Lots of optional and experimental packages are broken. See https://trac.sagemath.org/ticket/29900 - which needs help.
On Monday, July 13, 2020 at 1:16:44 PM UTC-7, Andrey Novoseltsev wrote: > > Hello, > > While switching SageMathCell to Ubuntu 20.04 I am having problems with > cryptominisat installation into Sage-9.1. Any ideas what is going on? > > Thank you! > Andrey > > Tail of the log, full one attached: > > ... > /usr/bin/ld: > CMakeFiles/cryptominisat5-bin.dir/main.cpp.o:(.data.rel.ro._ZTVN5boost16exception_detail10clone_implINS0_19error_info_injectorINS_15program_options20invalid_option_valueEEEEE[_ZTVN5boost16exception_detail10clone_implINS0_19error_info_injectorINS_15program_options20invalid_option_valueEEEEE]+0x28): > > undefined reference to > `boost::program_options::error_with_option_name::what() const' > /usr/bin/ld: > CMakeFiles/cryptominisat5-bin.dir/main.cpp.o:(.data.rel.ro._ZTVN5boost16exception_detail10clone_implINS0_19error_info_injectorINS_15program_options20invalid_option_valueEEEEE[_ZTVN5boost16exception_detail10clone_implINS0_19error_info_injectorINS_15program_options20invalid_option_valueEEEEE]+0x38): > > undefined reference to > `boost::program_options::error_with_option_name::substitute_placeholders(std::__cxx11::basic_string<char, > > std::char_traits<char>, std::allocator<char> > const&) const' > /usr/bin/ld: CMakeFiles/cryptominisat5-bin.dir/main_exe.cpp.o: in function > `boost::program_options::variables_map::~variables_map()': > /usr/include/boost/program_options/variables_map.hpp:146: undefined > reference to `vtable for boost::program_options::variables_map' > collect2: error: ld returned 1 exit status > make[4]: *** [cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/build.make:117: > cryptominisat5] Error 1 > make[4]: Leaving directory > '/home/sc_serv/sage/local/var/tmp/sage/build/cryptominisat-5.6.8/src' > make[3]: *** [CMakeFiles/Makefile2:161: > cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/all] Error 2 > make[3]: Leaving directory > '/home/sc_serv/sage/local/var/tmp/sage/build/cryptominisat-5.6.8/src' > make[2]: *** [Makefile:130: all] Error 2 > make[2]: Leaving directory > '/home/sc_serv/sage/local/var/tmp/sage/build/cryptominisat-5.6.8/src' > > ******************************************************************************** > Error building cryptominisat-5.6.8 > > ******************************************************************************** > > -- 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/f7d3288e-a893-4225-b20a-437aa9e80f6do%40googlegroups.com.