search

sukrutrao / Timetabler

A customizable timetabling software for educational institutions that encodes timetabling constraints as a SAT formula and solves them using a MaxSAT solver
https://timetabler.readthedocs.io
MIT License
38 stars 9 forks source link

error: /usr/bin/ld: cannot find -lopen-wbo #2

Closed marcosandreao closed 6 years ago

marcosandreao commented 6 years ago

What am I doing wrong? error: /usr/bin/ld: cannot find -lopen-wbo

marcos@dev-pc:~/Developer/timetable-projects/GoodDeeds$ make 
Compiling src/fields/course.cpp...
Compiling src/fields/classroom.cpp...
Compiling src/fields/is_minor.cpp...
Compiling src/fields/instructor.cpp...
Compiling src/fields/program.cpp...
Compiling src/fields/segment.cpp...
Compiling src/fields/slot.cpp...
Compiling src/cclause.cpp...
Compiling src/clauses.cpp...
Compiling src/constraint_adder.cpp...
Compiling src/constraint_encoder.cpp...
Compiling src/parser.cpp...
Compiling src/time_tabler.cpp...
Compiling src/tsolver.cpp...
Compiling ../GoodDeeds-include-CSVparser/CSVparser.cpp...
Compiling src/utils.cpp...
Compiling src/custom_parser.cpp...
Compiling src/data.cpp...
Compiling src/main.cpp...
Building executable...
/usr/bin/ld: cannot find -lopen-wbo
collect2: error: ld returned 1 exit status
Makefile:58: recipe for target 'bin/Timetabler' failed
make: *** [bin/Timetabler] Error 1

successful - make open-wbo

marcos@dev-pc:~/Developer/timetable-projects/open-wbo$ make
..
..
..
..
Linking: open-wbo ( /home/marcos/Developer/timetable-projects/open-wbo/MaxSAT.o /home/marcos/Developer/timetable-projects/open-wbo/Encoder.o /home/marcos/Developer/timetable-projects/open-wbo/MaxSAT_Partition.o /home/marcos/Developer/timetable-projects/open-wbo/ParserPB.o /home/marcos/Developer/timetable-projects/open-wbo/MaxSATFormula.o /home/marcos/Developer/timetable-projects/open-wbo/Main.o utils/System.o utils/Options.o core/Solver.o ../../encodings/Enc_CNetworks.o ../../encodings/Enc_Ladder.o ../../encodings/Enc_MTotalizer.o ../../encodings/Enc_GTE.o ../../encodings/Enc_Totalizer.o ../../encodings/Enc_SWC.o ../../encodings/Encodings.o ../../algorithms/Alg_PartMSU3.o ../../algorithms/Alg_OLL.o ../../algorithms/Alg_LinearSU.o ../../algorithms/Alg_MSU3.o ../../algorithms/Alg_WBO.o ../../graph/Graph.o ../../graph/Graph_Algorithms.o ../../graph/Graph_Communities.o )

in open-wbo/Makefile, I added VERSION = core SATSOLVER = "MiniSAT 2.2" SOLVERDIR = minisat2.2 NSPACE = Minisat

prateekkumarweb commented 6 years ago

Use make libr instead of make while compiling open-wbo. Rename generated lib_release.a to libopen-wbo.a.

prateekkumarweb commented 6 years ago

TODO: Add the above details to README.md

marcosoliveirafpf commented 6 years ago

The script (install_dependencies.sh) have worked to me. Thanks.