Where is this used?

[Paolo Carlini]

Sergi Blanch i Torné wrote:

>Hi,
>
>I have a link error compiling one code. The linker say me that I have no 
>reference either:
>.../libISL.so: undefined reference to `std::__default_alloc_template<true, 
>0>::allocate(unsigned int)'
>.../libISL.so: undefined reference to `std::__default_alloc_template<true, 
>0>::deallocate(void*, unsigned int)'
>  
>
The only possible explanation is that the library has been built vs a 
very old C++ library, dating  back to the gcc3.3.x times. Either you 
manage to make available an old compatibility-type libstdc++.so.5.0.x or 
you have to rebuild that libISL too for your system...

Paolo.