/usr/bin/ld : -lcplex를 찾을 수 없습니다.

이 git repo에서 MaxHS SAT 솔버를 설정하려고합니다. - https://github.com/fbacchus/MaxHS입니다./usr/bin/ld : -lcplex를 찾을 수 없습니다.

'/ usr/bin/ld : -lcplex를 찾을 수 없습니다.'라는 오류 메시지가 나타납니다. 누구나 lcplex 라이브러리 란 무엇이며 어떻게 해결할 수 있습니까? 내 콘솔은 다음과 같습니다 ..

install -d /mnt/c/Akhil/Abhyas/CQA/maxhs_installation/include/maxhs 
install -d /mnt/c/Akhil/Abhyas/CQA/maxhs_installation/include/minisat 
for dir in maxhs/core maxhs/ifaces maxhs/ds maxhs/utils; do \ 
install -d /mnt/c/Akhil/Abhyas/CQA/maxhs_installation/include/$dir ; \ 
done 
for dir in minisat/mtl minisat/utils minisat/core minisat/simp; do \ 
install -d /mnt/c/Akhil/Abhyas/CQA/maxhs_installation/include/$dir ; \ 
done 
for h in minisat/mtl/Alg.h minisat/mtl/Map.h minisat/mtl/Alloc.h 
minisat/mtl/Vec.h minisat/mtl/Rnd.h minisat/mtl/Sort.h minisat/mtl/IntMap.h 
minisat/mtl/Queue.h minisat/mtl/IntTypes.h minisat/mtl/Heap.h 
minisat/mtl/XAlloc.h minisat/core/SolverTypes.h minisat/core/Dimacs.h 
minisat/core/Solver.h minisat/utils/System.h minisat/utils/ParseUtils.h 
minisat/utils/Options.h minisat/simp/SimpSolver.h ; do \ 
install -m 644 $h /mnt/c/Akhil/Abhyas/CQA/maxhs_installation/include/$h ; \ 
done 
for h in maxhs/core/Bvars.h maxhs/core/Dimacs.h maxhs/core/MaxSolverTypes.h 
maxhs/core/Assumptions.h maxhs/core/Wcnf.h maxhs/core/MaxSolver.h 
maxhs/ifaces/miniSatSolver.h maxhs/ifaces/GreedySolver.h 
maxhs/ifaces/Cplex.h maxhs/ifaces/greedySatSolver.h maxhs/ifaces/muser.h 
maxhs/ifaces/SatSolver.h maxhs/ds/Packed.h maxhs/utils/io.h 
maxhs/utils/Params.h maxhs/utils/hash.h ; do \ 
install -m 644 $h /mnt/c/Akhil/Abhyas/CQA/maxhs_installation/include/$h ; \ 
done 
install -d /mnt/c/Akhil/Abhyas/CQA/maxhs_installation/lib 
install -m 644 build/release/lib/libmaxhs.a 
/mnt/c/Akhil/Abhyas/CQA/maxhs_installation/lib 
Linking Binary: build/release/bin/maxhs 
/usr/bin/ld: cannot find -lcplex 
collect2: error: ld returned 1 exit status 
Makefile:155: recipe for target 'build/release/bin/maxhs' failed 
make: *** [build/release/bin/maxhs] Error 1

출처

2017-10-13 Akhil Dixit

Readme 파일에 있습니다. –

README에서와 같이 CPLEX를 설치 했습니까? "필수 변수 설정"(즉,'LINUX_CPLEXLIBDIR'과'LINUX_CPLEXINCDIR' 또는'DARWIN_CPLEXLIBDIR'과'DARWIN_CPLEXINCDIR')을 설정 했습니까? 제쳐두고, 나는 틀릴 수도 있지만 Windows가 지원되지 않는 것처럼 보입니다. – rkersh

진 링크 :/해제/빈/maxhs 는/usr/빈/LD를 구축 : 이것은 링커가 libcplex 찾을 수없는 것을 말한다 -lcplex

찾을 수 없습니다 .so

-L/pathtolibrary와 같은 경로를 지정해야합니다.

출처

2017-10-13 05:39:13 Owais

MaxHS README에서는 링커가 정적 라이브러리와 링크되어 링커가 실제로'libcplex.a'를 찾고 있다고 말합니다. – rkersh

/usr/bin/ld : -lcplex를 찾을 수 없습니다.

답변

관련 문제