On Tuesday, 14 July 2020 10:42:49 UTC-6, Matthias Koeppe wrote: > > 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. > > I've tried following the directions on the ticket in the same installation that fails current version and the result is the same:
... [cryptominisat-5.8.0] /usr/bin/ld: CMakeFiles/cryptominisat5-bin.dir/main.cpp.o:(.data.rel.ro._ZTVN5boost15program_options11typed_valueIbcEE[_ZTVN5boost15program_options11typed_valueIbcEE]+0x38): more undefined references to `boost::program_options::value_semantic_codecvt_helper<char>::parse(boost::any&, std::vector<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> >, std::allocator<std::__cxx11::basic_string<char, std::char_traits<char>, std::allocator<char> > > > const&, bool) const' follow [cryptominisat-5.8.0] /usr/bin/ld: CMakeFiles/cryptominisat5-bin.dir/main.cpp.o:(.data.rel.ro._ZTVN5boost16exception_detail19error_info_injectorINS_15program_options20invalid_option_valueEEE[_ZTVN5boost16exception_detail19error_info_injectorINS_15program_options20invalid_option_valueEEE]+0x20): undefined reference to `boost::program_options::error_with_option_name::what() const' [cryptominisat-5.8.0] /usr/bin/ld: CMakeFiles/cryptominisat5-bin.dir/main.cpp.o:(.data.rel.ro._ZTVN5boost16exception_detail19error_info_injectorINS_15program_options20invalid_option_valueEEE[_ZTVN5boost16exception_detail19error_info_injectorINS_15program_options20invalid_option_valueEEE]+0x30): 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' [cryptominisat-5.8.0] /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' [cryptominisat-5.8.0] /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' [cryptominisat-5.8.0] /usr/bin/ld: CMakeFiles/cryptominisat5-bin.dir/main_exe.cpp.o: in function `boost::program_options::variables_map::~variables_map()': [cryptominisat-5.8.0] /usr/include/boost/program_options/variables_map.hpp:146: undefined reference to `vtable for boost::program_options::variables_map' [cryptominisat-5.8.0] collect2: error: ld returned 1 exit status [cryptominisat-5.8.0] make[4]: *** [cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/build.make:133: cryptominisat5] Error 1 [cryptominisat-5.8.0] make[4]: Leaving directory '/home/sc_serv/sage/local/var/tmp/sage/build/cryptominisat-5.8.0/src' [cryptominisat-5.8.0] make[3]: *** [CMakeFiles/Makefile2:163: cmsat5-src/CMakeFiles/cryptominisat5-bin.dir/all] Error 2 [cryptominisat-5.8.0] make[3]: Leaving directory '/home/sc_serv/sage/local/var/tmp/sage/build/cryptominisat-5.8.0/src' [cryptominisat-5.8.0] make[2]: *** [Makefile:130: all] Error 2 [cryptominisat-5.8.0] make[2]: Leaving directory '/home/sc_serv/sage/local/var/tmp/sage/build/cryptominisat-5.8.0/src' -- 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/0f6e93b7-7f87-41cc-ac96-c8b0a485d5c5o%40googlegroups.com.
