search

niklasso / minisat

A minimalistic and high-performance SAT solver
minisat.se
Other
1.01k stars 382 forks source link

--soname linker error #37

Open karthik-titech opened 4 years ago

karthik-titech commented 4 years ago

Hello Niklas.

I am an undergraduate student at Tokyo Institute of Technology. I have been trying to run the code for a week now. I have fixed most of the compilation errors. But there is one error which I am not able to fix.

Every time I try to run the make install command, I keep getting a linker error. Kindly address this issue.

mbparis commented 4 years ago

Are you by chance on Mac ?

I had to replace "-soname" on line 165 of the Makefile with "-install_name".

Unfortunately I dont understand the underlying reason well enough yet to make a PR addressing this.