NTU-ALComLab / ssatABC

Stochastic SAT solver within ABC
Other
5 stars 2 forks source link

readline/readline.h: No such file or directory #19

Closed mahi045 closed 2 years ago

mahi045 commented 2 years ago

I cannot build ssatABC. I am getting the following errors:

Compiling: /src/base/main/mainUtils.c
src/base/main/mainUtils.c:25:10: fatal error: readline/readline.h: No such file or directory
   25 | #include <readline/readline.h>
      |          ^~~~~~~~~~~~~~~~~~~~~
compilation terminated.
make: *** [Makefile:154: src/base/main/mainUtils.o] Error 1       ^~~~~~~~~~~~~~~~~~~~~

Can lead how to fix this? My gcc version is 9.4.0

nianzelee commented 2 years ago

You need to install the GNU Readline Library.

mahi045 commented 2 years ago

Thanks for the quick response.