Andrey, actually could you try if installing "cmake" from the system package manager (and doing "make cmake-clean") fixes this problem? We ship an ancient version of cmake in sage.
On Wednesday, July 15, 2020 at 9:26:39 AM UTC-7, Matthias Koeppe wrote: > > 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/b704692f-8efd-40c3-b4ff-f40b16ffc159o%40googlegroups.com.