Hello,
I am trying to build yap-6.2.2 with gcc-7 on a mac osx 10.9.5. I compiled the program with
./configure CC="gcc-7"
and it worked fine. However, when executing the make command, I get the following errors:
g++ -c -shared -fPIC -DBP_FREE -O3 -fomit-frame-pointer -Wall -g -O2 -DHAVE_CONFIG_H -D_YAP_NOT_INSTALLED_=1 -I. -I../../.. -I./../../../include ./Solver.C -o Solver.o
clang: warning: argument unused during compilation: '-shared'
./Solver.C:123:21: error: use of undeclared identifier 'Clause_new'
Clause c = Clause_new(ps, false);
^
./Solver.C:602:29: error: use of undeclared identifier 'Clause_new'
Clause c = Clause_new(learnt_clause, true);
^
2 errors generated.
make[1]: [Solver.o] Error 1
make: [all] Error 2
Any ideas on how this can be fixed? The help is very much apprecaited.
Best,
Haimonti Dutta