search

sfalkner / SpySMAC

A tool for automatic SAT solver configuration using SMAC combined with extensive analysis.
GNU General Public License v2.0
6 stars 4 forks source link

Compiling minisat needs further dependencies #8

Open gothma opened 8 years ago

gothma commented 8 years ago

Steps to recreate:

  1. Use a clean Ubuntu
  2. Follow mini example instructions
  3. During execution of make
    Compiling: core/Solver.o
    In file included from /home/osboxes/SpySMAC/examples/minisat/utils/Options.h:30:0,
                     from /home/osboxes/SpySMAC/examples/minisat/core/Solver.h:27,
                     from /home/osboxes/SpySMAC/examples/minisat/core/Solver.cc:24:
    /home/osboxes/SpySMAC/examples/minisat/utils/ParseUtils.h:27:18: fatal error: zlib.h: No such file or directory
    compilation terminated.

Possible fix:

apt-get install zlib1g-dev

zhangysh1995 commented 7 years ago

apt-get install zlib1g-dev

After install this dependency, the problem is solved. Thanks!