coding error

[damahou66826]

when I run make, come on the following error:

maxhs/core/Wcnf.cc: 在成员函数‘void Wcnf::_addSoftClause(std::vector<Minisat::Lit>&, Weight)’中: maxhs/core/Wcnf.cc:157:25: 错误：不能将‘double modf(double, double*)’的实参‘2’从‘Weight* {aka long double*}’转换到‘double*’ if (modf(w, &intPart) > 0) intWts = false;

[fbacchus]

I can't understand the compiler message (unfortunately I don't read Mandarin). When I compile on ubuntu 20.04 using and gcc (g++) 9.3.0. there is no error. I also tried g++ 8.4.0 again no errors or compiler messages.

a) what is the message you are getting in English?
b) what compiler version and system are you using?
c) what version of MaxHS are you trying to compile?

[damahou66826]

• my system: Centos 7
• MaxHs version: 3.2
• g++ version: 5.4
• the error:
  maxhs/core/Wcnf.cc: 在成员函数‘void Wcnf::_addSoftClause(std::vector<Minisat::Lit>&, Weight)’中: maxhs/core/Wcnf.cc:157:25: 错误：不能将‘double modf(double, double*)’的实参‘2’从‘Weight* {aka long double*}’转换到‘double*’ if (modf(w, &intPart) > 0) intWts = false;

[damahou66826]

I can't understand the compiler message (unfortunately I don't read Mandarin). When I compile on ubuntu 20.04 using and gcc (g++) 9.3.0. there is no error. I also tried g++ 8.4.0 again no errors or compiler messages.

a) what is the message you are getting in English? b) what compiler version and system are you using? c) what version of MaxHS are you trying to compile?

• my system: Centos 7
• MaxHs version: 3.2
• g++ version: 5.4
• the error:
  maxhs/core/Wcnf.cc: 在成员函数‘void Wcnf::_addSoftClause(std::vectorMinisat::Lit&, Weight)’中: maxhs/core/Wcnf.cc:157:25: 错误：不能将‘double modf(double, double*)’的实参‘2’从‘Weight* {aka long double*}’转换到‘double*’ if (modf(w, &intPart) > 0) intWts = false;

[fbacchus]

Your g++ compiler is ancient and does not support
long double modf(long double, long double)
added to C++ a long time ago.

Upgrade to a more recent version of g++