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

Guido Tack tack at ps.uni-sb.de
Tue Nov 3 10:30:24 CET 2009


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.
>>
>

-------------- next part --------------
An HTML attachment was scrubbed...
URL: <http://www.ps.uni-sb.de/pipermail/users/attachments/20091103/316d76aa/attachment.htm>


More information about the gecode-users mailing list