Thanks. Could you push it to the branch please? We should do this upgrade anyway.
I'll look into the spkg-configure business. On Wednesday, July 15, 2020 at 8:32:12 AM UTC-7, Andrey Novoseltsev wrote: > > > 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/0b8f365f-de59-4515-8854-74f80ba3f276o%40googlegroups.com.
