この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
Readmeファイルにあります。 –
READMEのように、CPLEXをインストールしましたか? 「必要な変数設定」(つまり、 'LINUX_CPLEXLIBDIR'と' LINUX_CPLEXINCDIR'または 'DARWIN_CPLEXLIBDIR'と' DARWIN_CPLEXINCDIR')を設定しましたか?さて、私は間違っている可能性がありますが、Windowsはサポートされていないようです。 – rkersh