[PPL-devel] Loading the SWI-Prolog interface of the PPL under Mac OS X

Fred Mesnard Frederic.Mesnard at univ-reunion.fr
Mon Oct 8 12:01:06 CEST 2007


Le 8 oct. 07 à 09:50, Roberto Bagnara a écrit :

> Fred Mesnard wrote:
>> Roberto:
>> Le 7 oct. 07 à 19:28, Roberto Bagnara a écrit :
>>> The command `libtool --version' should report at least version  
>>> 1.5.22.
>> % libtool  --version
>> libtool: unknown option character `-' in: --version
>
> ROTFL: this is not the real thing.  The real libtool would do  
> something like:
>
> $ libtool --version
> ltmain.sh (GNU libtool) 1.5.22 (1.1220.2.365 2005/12/18 22:14:06)
>
> Copyright (C) 2005  Free Software Foundation, Inc.
> This is free software; see the source for copying conditions.   
> There is NO
> warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR  
> PURPOSE.
>
> Is this all you can obtain from that `libtool' command?  Doesn't it  
> have
> a -h option?
>

% libtool -h
libtool: unknown option character `h' in: -h

!!!

>>> Please send me the generated `config.log' file.
>> Attached
>
> It looks like you have more than one versions of GMP installed on your
> system and they conflict with one another.  Get rid of all of them
> but one.

thank you Roberto. I propose we forget my own Mac for now.

Ciao,
Fred



More information about the PPL-devel mailing list