[gecode-users] version 3.2: problem compiling examples in Xcode

Mauricio Toro mauriciotorob at gmail.com
Tue Nov 3 11:46:07 CET 2009


I have the libstdc++.6.0.4

btw, recently I also installed gcc-4.5. Although I am using gcc 4.2,
I don't know gcc-4.5 that updated libstdc.

cheers,

Mauricio

2009/11/3 Guido Tack <tack at ps.uni-sb.de>

> Hi Serge,
>
> apparently Apple has changed the libstdc++ in Snow Leopard.  I've built a
> new package, linked against the 10.5 SDK.  It's available here:
>
> http://www.ps.uni-sb.de/~tack/Gecode-3.2.0.dmg
>
> I would be grateful if you could test it and let me know if it works for
> you!  If it does work, I'll put it up on our download page.
>
> Mauricio: It's strange that the binary framework works for you on 10.5.8.
>  Could you please let me know which version of libstdc++ you have (i.e., the
> ? in /usr/lib/libstdc++.6.0.?.dylib)?
>
> Cheers,
> Guido
>
> serge lemouton wrote:
>
> Hello,
>
> I still have troubles with the framework installed with Gecode 3.2.0. (Mac
> OS 10.5.8)
> For an example, when I use the following command line to compile the
> hamming example
> g++-4.2  -I.  -fvisibility=hidden -fPIC -Wextra -Wall -pipe -O3
> -fno-strict-aliasing -finline-limit=3000 -ffast-math -framework gecode -o
> examples/hamming  examples/hamming.cpp
>
> when I launch the example I always get this 2 errors :
>
> -------------
> dyld: lazy symbol binding failed: Symbol not found:
> __ZSt16__ostream_insertIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_PKS3_i
>   Referenced from: /Library/Frameworks/gecode.framework/Versions/18/gecode
>   Expected in: /usr/lib/libstdc++.6.dylib
>
> dyld: Symbol not found:
> __ZSt16__ostream_insertIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_PKS3_i
>   Referenced from: /Library/Frameworks/gecode.framework/Versions/18/gecode
>   Expected in: /usr/lib/libstdc++.6.dylib
>
> Trace/BPT trap
> -------------
>
> If it runs well for you, Mauricio, what can be wrong in my setup ?
>
> Serge
>
> On 30 oct. 09, at 13:32, Mauricio Toro wrote:
>
> I am using the framework.
> I compile like this
>
> g++  -I.  -fvisibility=hidden -fPIC -Wextra -Wall -pipe -O3
> -fno-strict-aliasing -finline-limit=3000 -ffast-math    \
>  -o examples/anExample  examples/anExample.cpp -framework gecode
>
> Btw, I also tried with g++ 4.5; it also works, but it is slower.
>
> 2009/10/30 serge lemouton <serge.lemouton at ircam.fr>
>
>> Hello Mauricio,
>>
>> It works also for me when compiling directly with gcc, but in this case i
>> guess that you are not linking your object with "-framework gecode", but
>> rather with the dynamic libraries (-lgecodekernel, etc ...)
>> Right ?
>>
>> Serge
>>
>> On 30 oct. 09, at 09:52, Mauricio Toro wrote:
>>
>> Hello,
>>
>> I am using Mac OS X 10.5.8, the Gecode 3.2.0 framework and gcc 4.2 and it
>> works perfectly.
>> Perhaps there is a problem when using Xcode; I am compiling without Xcode.
>>
>> 2009/10/30 Guido Tack <tack at ps.uni-sb.de>
>>
>>> serge lemouton wrote:
>>> > I am on MacOs X (10.5.8) and using Xcode.
>>> > When the examples are compiled (with gcc 4.2) and linked against the
>>> > gecode framework, I get the following error:
>>> >
>>> > dyld: lazy symbol binding failed: Symbol not found:
>>> >
>>> __ZSt16__ostream_insertIcSt11char_traitsIcEERSt13basic_ostreamIT_T0_ES6_PKS3_i
>>> >   Referenced from: /Library/Frameworks/gecode.framework/Versions/18/
>>> > gecode
>>> >   Expected in: /usr/lib/libstdc++.6.dylib
>>> >
>>> > If I switch back to the previous (3.1) gecode framework, it works
>>> > perfectly ...
>>> > What's new there ?
>>>
>>> The 3.2.0 binaries have been built on Mac OS 10.6.  I thought it
>>> should be backwards-compatible, but maybe it isn't.  When exactly did
>>> you download the package?  I uploaded a new 3.2.0 package yesterday
>>> afternoon, it would be interesting to know whether you got the new
>>> package or the old one (another way to find out is to see whether the
>>> command
>>> file /Library/Frameworks/gecode.framework/gecode
>>> reports x86_64 as an architecture - if yes, it's the new package).
>>>
>>> Cheers,
>>>         Guido
>>>
>>>
>>> _______________________________________________
>>> Gecode users mailing list
>>> users at gecode.org
>>> https://www.gecode.org/mailman/listinfo/gecode-users
>>>
>>
>>
>>
>> --
>> Mauricio TORO BERMUDEZ
>>
>> Research Postgraduate Student (Ph.D)
>> Computer Science Research Laboratory of Bordeaux (LABRI)
>> University of Bordeaux 1: Science and Technology
>>
>> http://cic.javerianacali.edu.co/~mauriciotoro/
>>
>> 351, cours de la Libération
>> F-33405 Talence Cedex. France.
>> Phone: (+33) 5 4000 24 85
>> Fax: (+33) 5 4000 66 69
>>
>> Please don't print this e-mail unless you really need to.
>>
>>
>>
>
>
> --
> Mauricio TORO BERMUDEZ
>
> Research Postgraduate Student (Ph.D)
> Computer Science Research Laboratory of Bordeaux (LABRI)
> University of Bordeaux 1: Science and Technology
>
> http://cic.javerianacali.edu.co/~mauriciotoro/
>
> 351, cours de la Libération
> F-33405 Talence Cedex. France.
> Phone: (+33) 5 4000 24 85
> Fax: (+33) 5 4000 66 69
>
> Please don't print this e-mail unless you really need to.
>
>
>
>


-- 
Mauricio TORO BERMUDEZ

Research Postgraduate Student (Ph.D)
Computer Science Research Laboratory of Bordeaux (LABRI)
University of Bordeaux 1: Science and Technology

http://cic.javerianacali.edu.co/~mauriciotoro/

351, cours de la Libération
F-33405 Talence Cedex. France.
Phone: (+33) 5 4000 24 85
Fax: (+33) 5 4000 66 69

Please don't print this e-mail unless you really need to.
-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.ps.uni-sb.de/pipermail/users/attachments/20091103/4d390d2c/attachment.htm>


More information about the gecode-users mailing list