Closed jakobkroeker closed 9 years ago
workaround on buchberger:
hand-edit configure: search for libcdd and replace in check command CC by CXX
fixed with https://github.com/Singular/Sources/commit/52a01d339a6b3235b8c72306c4bbd4079100a4a9
workaround on buchberger:
hand-edit configure: search for libcdd and replace in check command CC by CXX