Gustavo,
I tried a few different ways:
i) ./configure --prefix=/usr --disable-contrib-micq
ii) ./configure --prefix=/usr/geoz --disable-contrib-micq
iii) ./configure
iv) ./configure --prefix=/usr/geoz --disable-contrib-micq
--with-incl-dirs=/usr/local/include --with-lib-dirs=/usr/local/lib
.... and a few combinations of above!
My environment variables are set to: $LD_LIBRARY_PATH=/usr/local/gecode2/lib
$PKG_CONFIG_PATH=/usr/local/gecode2/pkgconfig
But all of them fail exactly at same point as mentioned in the previous mail.
My gmp libs are installed at /usr/local/lib (I tried moving them to
/usr/local/gecode2/lib also -- didn't help). Here is a little more debug info
from platform/emulator/config.log
....
configure:6228: checking for --with-gmp
configure:6257: checking for gmp.h
configure:6295: g++ -E -DWINDOWS_EMULATOR -DDSS_STATIC_LINK -fno-implicit-templ
ates conftest.C >/dev/null 2>conftest.out
configure:6448: checking for __gmpz_init in -lgmp (default)
configure:6464: c++ -mno-cygwin -o conftest -fexceptions -fno-implicit-templ
ates -DWINDOWS_EMULATOR -DDSS_STATIC_LINK -fno-implicit-templates conftest.C
-lmingwex -lwsock32 -lkernel32 1>&5
/cygdrive/c/DOCUME~1/amaity/LOCALS~1/Temp/ccmUV5LQ.o:conftest.C:(.text+0x2b): un
defined reference to `___gmpz_init'
collect2: ld returned 1 exit status
configure: failed program was:
#line 6453 "configure"
#include "confdefs.h"
#ifdef __cplusplus
extern "C"
#endif
char __gmpz_init();
int main() {
__gmpz_init()
; return 0; }
configure:6663: c++ -mno-cygwin -o conftest -fexceptions -fno-implicit-templ
ates -DWINDOWS_EMULATOR -DDSS_STATIC_LINK -fno-implicit-templates conftest.C
-lgmp -lmingwex -lwsock32 -lkernel32 1>&5
/usr/local/lib/libgmp.a(memory.o):memory.c:(.text+0x21): undefined reference to
`___getreent'
/usr/local/lib/libgmp.a(memory.o):memory.c:(.text+0x72): undefined reference to
`___getreent'
collect2: ld returned 1 exit status
configure: failed program was:
#line 6652 "configure"
#include "confdefs.h"
#ifdef __cplusplus
extern "C"
#endif
Ashis
-----Original Message-----
From: [email protected] [mailto:[email protected]] On
Behalf Of Gustavo A. Gómez Farhat
Sent: Tuesday, January 12, 2010 9:12 PM
To: Mozart users
Subject: Re: Mozart-gecode installation
Can you post how are you calling the configure script?
On 12 January 2010 17:07, Maity, Ashis K <[email protected]> wrote:
> Thanks Gustavo! I did progress a bit more! Apparently there were something
> wrong with my gecode-2.2.0 download. After I got a new load, it worked okay
> and I can move further in my installation. However, I get stuck at the
> following in my Mozart-gecode installation. I did download the GMP (version
> 4.3.2) and installed properly.
>
> ....
> ....
> checking for --with-gmp... yes
> checking for gmp.h... yes
> checking for __gmpz_init in -lgmp (default)... no
> checking for mpz_init in -lgmp (default)... no
> checking for mpz_init in -lgmp2 (default)... no
> configure: warning: required GNU MP lib not found
> configure: error:
> The GNU Multiple Precision Arithmetic Library (gmp)
> version 2 or higher is required
> to build the system. It can be retrieved from:
>
> ftp://ftp.gnu.org/pub/gnu/gmp/
>
> The latest version at this time is 4.1.2 and is available
> packaged as the following archive:
>
> ftp://ftp.gnu.org/pub/gnu/gmp/gmp-4.1.2.tar.gz
>
> You may find a mirror archive closer to you by consulting:
>
> http://www.gnu.org/order/ftp.html
>
> configure: error:
> /cygdrive/d/data/amaity/workspace/GeOz/platform/emulator/confi
> gure failed for emulator
> configure: error: /cygdrive/d/data/amaity/workspace/GeOz/platform/configure
> fail
> ed for platform
>
>
>
> In Mozart mailing list I do see that another user had the same issue before,
> but did not find the resolution of his problem. However, this seems to be a
> very old post.
> http://www.mozart-oz.org/lists/oz-users/4066.html
>
> Any help is appreciated.
>
> Ashis
>
>
> -----Original Message-----
> From: [email protected] [mailto:[email protected]] On
> Behalf Of Gustavo A. Gómez Farhat
> Sent: Monday, January 11, 2010 7:28 PM
> To: Mozart users
> Subject: Re: Mozart-gecode installation
>
> Hello,
>
> 2010/1/11 Maity, Ashis K <[email protected]>:
>> Hello group,
>>
>> I am trying to install Mozart-gecode interface from here
>> (https://gforge.info.ucl.ac.be/svn/mozart/branches/mozart-gecode) and facing
>> some issues. First, do I absolutely have to have Gecode 2.2.0 for this to
>> work? Previously, I had installed Gecode 3.1.0 in my computer and I am
>> getting the following error while trying to run the config file for
>> Mozart-gecode interface:
>> ....
>> ....
>> checking for pkg-config... pkg-config
>> checking for pkg-config... yes
>> checking for gecode 2.2.0... no
>> configure: error:
>> The Generic Constraint Development Environment version 2.2.0 is required to
>> build the system. It can be retrieved from:
>>
>> http://www.gecode.org/
>>
>> configure: error:
>> /cygdrive/d/data/amaity/workspace/MozartGecode/platform/emulat
>> or/configure failed for emulator
>> configure: error:
>> /cygdrive/d/data/amaity/workspace/MozartGecode/platform/config
>> ure failed for platform
>>
>> So the question is do I need to remove Gecode 3.1.0 and install Gecode 2.2.0
>> for a proper GeOz installation? Actually I already tried to install Gecode
>> 2.2.0 and getting the following error (though I did install pkg-config and
>> put it in proper path -- I think):
>>
>> ....
>> ....
>> checking for pkg-config... /usr/local/bin/pkg-config
>> checking pkg-config is at least version 0.9.0... yes
>> configure: error:
>> The pkg-config configuration files for Gecode 2.2.0 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.
>>
>> Please let me know if there are some work around.
>>
>
> Currently GeOz supports Gecode 2.2.0, so you need to install it first.
> If you install Gecode in a non-standard PATH as /usr/local/ you need
> to export the PKG_CONFIG_PATH variable to point to the directory where
> the pkgconfig directory is, for example
> /usr/local/gecode-2.2.0/lib/pkgconfig
>
> You can have many Gecode installations on your system, but you need to
> make sure that you are compiling and linking GeOz against Gecode
> 2.2.0; this is achieved with the pkgconfig stuff.
>
> To succesfuly build GeOz you can follow the steps at
> http://cic.puj.edu.co/wiki/doku.php?id=grupos:avispa:geoz. It is
> recommended to test it on GNU/Linux or Mac OS X because the
> development happens on those platforms.
>
>> Thanks in advance,
>>
>> Ashis
>>
>>
>> _________________________________________________________________________________
>> mozart-users mailing list
>> [email protected]
>> http://www.mozart-oz.org/mailman/listinfo/mozart-users
>>
>
> Best regards,
>
>
> --
> Gustavo Andrés Gómez Farhat
> Laboratorista
> Departamento de Ciencias e Ingeniería de la Computación
> Pontificia Universidad Javeriana
> Cali
> _________________________________________________________________________________
> mozart-users mailing list
> [email protected]
> http://www.mozart-oz.org/mailman/listinfo/mozart-users
> _________________________________________________________________________________
> mozart-users mailing list
> [email protected]
> http://www.mozart-oz.org/mailman/listinfo/mozart-users
>
--
Gustavo Andrés Gómez Farhat
Laboratorista
Departamento de Ciencias e Ingeniería de la Computación
Pontificia Universidad Javeriana
Cali
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
_________________________________________________________________________________
mozart-users mailing list
[email protected]
http://www.mozart-oz.org/mailman/listinfo/mozart-users
