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

Guido Tack tack at ps.uni-sb.de
Wed Nov 4 16:13:51 CET 2009


Hello Serge,

glad to hear it works now.  We're currently preparing the release of  
3.2.1 anyway (which includes a number of bug fixes), so I just  
replaced the 3.2.0 package for the time being.  Thanks again for  
pointing this out!

Cheers,
	Guido

serge lemouton wrote:

> Hello Guido
>
> Thanks for your quick answers.
> The problem is solved with the new package.
> You can put the last installer on the download page,
> will you change its version number ?
>
> Yours,
>
> Serge
>
>
>
> On 3 nov. 09, at 10:30, Guido Tack wrote:
>
>> 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/20091104/e8153006/attachment.htm>


More information about the gecode-users mailing list