Menu

#2 Unable to build yap-6.2.2 with gcc-7 on Mac osx 10.9.5

v1.0 (example)
open
nobody
None
5
2018-03-25
2018-03-25
No

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

Discussion


Log in to post a comment.