[gecode-users] GecodeJ

Luis Quesada l.quesada at 4c.ucc.ie
Wed Apr 4 18:04:49 CEST 2007


Guido Tack wrote:
> Hi!
>
> Luis Quesada wrote:
>
>> I have not installed Gecode in the standard place. In order to tell 
>> GecodeJ's configure where to find the libs I am using GECODE_LIBS.
>>
>>    ./configure GECODE_LIBS=/home/luque/sources/gecode/gecode-1.3.0
>>
>> However, configure is still not finding the libraries...
>
> What exactly is the error message that you get? I think configure 
> currently only checks whether pkg-config finds gecode, and if it 
> doesn't, it fails. So you'll have to at least make sure that the 
> pkg-config files for gecode (which are called gecode.pc, 
> gecode-search.pc and gecode-minimodel.pc) are on the PKG_CONFIG_PATH. 
> If the installation directory is different from what the pkg-config 
> files say, you can still use GECODE_LIBS in order to specify the new 
> location.
Hi Guido,

I am specifying this location:

root at titanic:/home/luque/GecodeJ/release-1.0.1# ls -l 
/home/luque/sources/gecode/gecode-1.3.0/misc/*.pc
-rw-r--r-- 1 luque luque 323 2006-10-23 11:59 
/home/luque/sources/gecode/gecode-1.3.0/misc/gecode-minimodel.pc
-rw-r--r-- 1 luque luque 309 2006-10-23 11:59 
/home/luque/sources/gecode/gecode-1.3.0/misc/gecode.pc
-rw-r--r-- 1 luque luque 330 2006-10-23 11:59 
/home/luque/sources/gecode/gecode-1.3.0/misc/gecode-search.pc


The message I am getting is the  following:

root at titanic:/home/luque/GecodeJ/release-1.0.1# ./configure 
GECODE_LIBS=/home/luque/sources/gecode/gecode-1.3.0/misc/
checking for g++... g++
checking for C++ compiler default output file name... a.out
checking whether the C++ compiler works... yes
checking whether we are cross compiling... no
checking for suffix of executables...
checking for suffix of object files... o
checking whether we are using the GNU C++ compiler... yes
checking whether g++ accepts -g... yes
checking for ranlib... ranlib
checking for swig... no
checking if swig version 1.3.29 is available... swig not found
checking for pkg-config... pkg-config
checking whether we have the pkg-config tool... yes
checking for the host operating system... Linux
checking how to run the C++ preprocessor... g++ -E
checking for gcc... gcc
checking whether we are using the GNU C compiler... yes
checking whether gcc accepts -g... yes
checking for gcc option to accept ANSI C... none needed
checking the C++ compiler vendor... gnu
checking whether to build static instead of shared libraries... no
checking whether to build with debug symbols and assertions... no
checking whether to build with profiling information... no
checking for javac... /usr/bin/javac
checking symlink for /usr/bin/javac... /etc/alternatives/javac
checking symlink for /etc/alternatives/javac... 
/usr/lib/j2sdk1.5-sun/bin/javac
checking for javac... (cached) /usr/bin/javac
checking symlink for /usr/bin/javac... /etc/alternatives/javac
checking symlink for /etc/alternatives/javac... 
/usr/lib/j2sdk1.5-sun/bin/javac
checking for Java extensions directory... /usr/lib/j2sdk1.5-sun/jre/lib/ext
checking for pkg-config... /usr/bin/pkg-config
checking pkg-config is at least version 0.9.0... yes
checking for GECODE... configure: error:
The pkg-config configuration files for Gecode were not found.

Please make sure that Gecode is installed, and that the directory
<prefix>/lib/pkgconfig is on the default path for pkg-config.
Otherwise, extend the PKG_CONFIG_PATH environment variable accordingly.

root at titanic:/home/luque/GecodeJ/release-1.0.1#

Luis




More information about the gecode-users mailing list