Compiling problem on manyglucose branch
Ubuntu および FreeBSDでリンク時にエラーが起こる
gcc (Ubuntu 7.3.0-27ubuntu1~18.04) 7.3.0 での make d のログ
sakai@may:~/program/naps$ make d
Building naps (debug)
Linking naps_debug
manyglucose/parallel/MultiSolvers.od: 関数 `Glucose::MultiSolvers::solve_(bool, bool)' 内:
/home/sakai/program/naps/manyglucose/parallel/MultiSolvers.cc:1120: `pthread_create' に対する定義されていない参照です
/home/sakai/program/naps/manyglucose/parallel/MultiSolvers.cc:1165: `pthread_join' に対する定義されていない参照です
manyglucose/parallel/SharedCompanion.od: 関数 `Glucose::SharedCompanion::SharedCompanion(int)' 内:
/home/sakai/program/naps/manyglucose/parallel/SharedCompanion.cc:73: `pthread_barrier_init' に対する定義されていない参照です
manyglucose/parallel/SharedCompanion.od: 関数 `Glucose::SharedCompanion::setNbThreads(int)' 内:
/home/sakai/program/naps/manyglucose/parallel/SharedCompanion.cc:93: `pthread_barrier_init' に対する定義されていない参照です
/home/sakai/program/naps/manyglucose/parallel/SharedCompanion.cc:96: `pthread_rwlock_init' に対する定義されていない参照です
manyglucose/parallel/ParallelSolver.od: 関数 `Glucose::SharedCompanion::completeAdditionToCurrPeriod(int, unsigned long)' 内:
/home/sakai/program/naps/manyglucose/parallel/../parallel/../parallel/SharedCompanion.h:97: `pthread_rwlock_wrlock' に対する定義されていない参照です
/home/sakai/program/naps/manyglucose/parallel/../parallel/../parallel/SharedCompanion.h:99: `pthread_rwlock_unlock' に対する定義されていない参照です
manyglucose/parallel/ParallelSolver.od: 関数 `Glucose::SharedCompanion::getLastPropagations(int)' 内:
/home/sakai/program/naps/manyglucose/parallel/../parallel/../parallel/SharedCompanion.h:105: `pthread_rwlock_rdlock' に対する定義されていない参照です
/home/sakai/program/naps/manyglucose/parallel/../parallel/../parallel/SharedCompanion.h:107: `pthread_rwlock_unlock' に対する定義されていない参照です
manyglucose/parallel/PrdClausesQueue.od: 関数 `Glucose::PrdClausesQueue::PrdClausesQueue(int, int)' 内:
/home/sakai/program/naps/manyglucose/parallel/PrdClausesQueue.cc:33: `pthread_rwlock_init' に対する定義されていない参照です
manyglucose/parallel/PrdClausesQueue.od: 関数 `Glucose::PrdClausesQueue::completeAddtion()' 内:
/home/sakai/program/naps/manyglucose/parallel/PrdClausesQueue.cc:54: `pthread_rwlock_wrlock' に対する定義されていない参照です
/home/sakai/program/naps/manyglucose/parallel/PrdClausesQueue.cc:80: `pthread_rwlock_unlock' に対する定義されていない参照です
manyglucose/parallel/PrdClausesQueue.od: 関数 `Glucose::PrdClausesQueue::get(int, int)' 内:
/home/sakai/program/naps/manyglucose/parallel/PrdClausesQueue.cc:97: `pthread_rwlock_rdlock' に対する定義されていない参照です
/home/sakai/program/naps/manyglucose/parallel/PrdClausesQueue.cc:109: `pthread_rwlock_unlock' に対する定義されていない参照です
collect2: error: ld returned 1 exit status
Makefile:188: recipe for target 'naps_debug' failed
make: *** [naps_debug] Error 1