Linking CXX executable bin/fzn-gecode
[ 59%] Building CXX object CMakeFiles/gecode-test.dir/test/int/arithmetic.cpp.o
libgecodefloat.so: undefined reference to `Gecode::Float::Rounding::cos_up(double)'
libgecodefloat.so: undefined reference to `Gecode::Float::Rounding::sin_down(double)'
libgecodefloat.so: undefined reference to `Gecode::Float::Rounding::atan_down(double)'
libgecodefloat.so: undefined reference to `Gecode::Float::Rounding::exp_down(double)'
libgecodefloat.so: undefined reference to `Gecode::Float::Rounding::exp_up(double)'
libgecodefloat.so: undefined reference to `Gecode::Float::Rounding::tan_up(double)'
libgecodefloat.so: undefined reference to `Gecode::Float::Rounding::asin_up(double)'
libgecodefloat.so: undefined reference to `Gecode::Float::Rounding::sin_up(double)'
libgecodefloat.so: undefined reference to `Gecode::Float::Rounding::acos_up(double)'
libgecodefloat.so: undefined reference to `Gecode::Float::Rounding::tan_down(double)'
libgecodefloat.so: undefined reference to `Gecode::Float::Rounding::log_down(double)'
libgecodefloat.so: undefined reference to `Gecode::Float::Rounding::log_up(double)'
libgecodefloat.so: undefined reference to `Gecode::Float::Rounding::atan_up(double)'
libgecodefloat.so: undefined reference to `Gecode::Float::Rounding::acos_down(double)'
libgecodefloat.so: undefined reference to `Gecode::Float::Rounding::cos_down(double)'
libgecodefloat.so: undefined reference to `Gecode::Float::Rounding::asin_down(double)'
collect2: error: ld returned 1 exit status