[gecode-users] Problem with Flatzinc 1.0 on Gecode 2.0

Christian Schulte cschulte at kth.se
Wed Feb 6 18:30:25 CET 2008


Did you set the path for dynamic libraries (LD_LIBRARY_PATH) as described in
the doc? 

Christian

--
Christian Schulte, www.ict.kth.se/~cschulte/


-----Original Message-----
From: users-bounces at gecode.org [mailto:users-bounces at gecode.org] On Behalf
Of Raffaele Cipriano
Sent: Wednesday, February 06, 2008 5:51 PM
To: gecode user list
Subject: [gecode-users] Problem with Flatzinc 1.0 on Gecode 2.0

Dear gecode developers and users,
I have installed gecode 2.0 and the flatzinc parser on a cluster with 
these characteristics:

Architecture: x86_64
SO: Linux CentOS v.4.3
Kernel: 2.6.9-34.ELsmp CentOS Kernel

installing gecode 2.0 is ok; I used

$ ./configure --prefix=/home/cipriano/gecode2.0       
$ make
$ make install

also installing flatzinc is (seems) ok; I used

$ ./configure --prefix=/home/cipriano/flatzinc1.0
$ make
$ make install

But when I try to invoke   "fz", the exacutable for flatzinc parser e 
get thie error:

fz: error while loading shared libraries: libgecodecpltset.so.9: cannot 
open shared object file: No such file or directory

What can I do?

Thank you very much

Raffaele Cipriano


_______________________________________________
Gecode users mailing list
users at gecode.org
https://www.gecode.org/mailman/listinfo/gecode-users





More information about the gecode-users mailing list