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  
Edited Aug 01, 2019 by Masahiko Sakai
Assignee Loading
Time tracking Loading