Cannot compile

[jameswalmsley]

gcc -Wall -Wextra -ggdb -I"/home/james/develop/yosys" -MD -D_YOSYS_ -  fPIC -stdgnu++0x -march=native -O3 -DNDEBUG -I/usr/include/tcl8.5 -DYOSYS_ENABLE_TCL -DYOSYS_ENABLE_MINISAT   -c -o libs/ezsat/ezminisat.o    libs/ezsat/ezminisat.cc
libs/ezsat/ezminisat.cc:29:33: fatal error: minisat/core/Solver.h: No such file or directory
 #include "minisat/core/Solver.h"
                             ^
compilation terminated.
make: *** [libs/ezsat/ezminisat.o] Error 1

I assume somethings not checked-in.

Also had problems compiling with clang, but that was not finding <stddef.h> so must be something wrong with my library headers.

mfg

James

[cliffordwolf]

Hi James,

that #include should have used <...> instead of "...". I've fixed and pushed that now.

On Ubuntu, run "apt-get install minisat" to install the minisat library and headers. Then it should compile fine.

[cliffordwolf]

I've now added a complete list of all prerequisites to the README file (tested on a fresh Ubuntu 12.04 LTS install; virtual machines are awesome).