search

fbacchus / MaxHS

MaxHS: a hybrid Maxsat solver developed by Jessica Davies and Fahiem Bacchus
Other
23 stars 7 forks source link

Required to Link dynamic library in CPLEX 12.8 #2

Open LorenzoCiampiconi opened 6 years ago

LorenzoCiampiconi commented 6 years ago

Hi,

i'm a Italian Graduate student and i'm in exchange in Singapore at NUS and i'm working with professor Kuldeep Meel.

I've encountered a problem while compiling Max_HS with IBM CPLEX 12.8. From this version you have to link with the dynamic linker library, that is not specified in the Readme. You need to change this line of code in the Makefile:

MAXHS_LDFLAGS = -Wall -lz -L$(CPLEXLIBDIR) -lcplex -lpthread to MAXHS_LDFLAGS = -Wall -lz -L$(CPLEXLIBDIR) -lcplex -lpthread -ldl

after this everything gone smoothly.

Thank you

Lorenzo Ciampiconi

fbacchus commented 6 years ago

I had not moved as yet to 12.8. So thanks for letting me know. Glad that it works with just that simple change.

Fahiem

On Thu, Mar 8, 2018 at 3:04 AM, LorenzoCiampiconi notifications@github.com wrote:

Hi,

i'm a Italian Graduate student and i'm in exchange in Singapore at NUS and i'm working with professor Kuldeep Meel.

I've encountered a problem while compiling Max_HS with IBM CPLEX 12.8. From this version you have to link with the dynamic linker library, that is not specified in the Readme. You need to change this line of code in the Makefile:

MAXHS_LDFLAGS = -Wall -lz -L$(CPLEXLIBDIR) -lcplex -lpthread to MAXHS_LDFLAGS = -Wall -lz -L$(CPLEXLIBDIR) -lcplex -lpthread -ldl

after this everything gone smoothly.

Thank you

Lorenzo Ciampiconi

— You are receiving this because you are subscribed to this thread. Reply to this email directly, view it on GitHub https://github.com/fbacchus/MaxHS/issues/2, or mute the thread https://github.com/notifications/unsubscribe-auth/AEsbo9yzulPnMwrG_jp_-QYjAPRNTX3Tks5tcOYbgaJpZM4SiSTt .

-- Fahiem Bacchus Professor of Computer Science University of Toronto