[PPL-devel] linking problems on OS X Yosemite

[Roberto Bagnara]

On 06/10/15 19:54, Zanghirati Gaetano wrote:
> I'm trying to compile a software which links your PPL library, but at the linking step I got the error:
> 
> Undefined symbols for architecture x86_64
> ....
> ld: symbol(s) not found for architecture x86_64
> 
> Here is my box configuration:
> 
> MacBook Pro
> OS X Yosemite 10.10.3
> gcc/mp-4.7
> MacPorts 2.3.3
> PPL 1.1 (installed by MacPorts)
> 
> The installed libraries are located in /opt/local/lib:
> 
> 
> libppl.13.dylib
> libppl.a
> libppl.dylib
> libppl_c.4.dylib
> libppl_c.a
> libppl_c.dylib 
> 
> 
> and the link options are
> 
> -L/opt/local/lib -lppl
> 
> I really cannot figure out why the library does not support the x86_64 architecture, because MacPorts had no problems at all in installing your library.

Dear Gaetano,

I was hoping someone more familiar than me with OS X could help you.
Here is how I build the PPL on OS X:

export MACOSX_DEPLOYMENT_TARGET=10.10
export CC="gcc -stdlib=libc++ -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX${MACOSX_DEPLOYMENT_TARGET}.sdk"
export CXX="g++ -stdlib=libc++ -isysroot /Applications/Xcode.app/Contents/Developer/Platforms/MacOSX.platform/Developer/SDKs/MacOSX${MACOSX_DEPLOYMENT_TARGET}.sdk"
cd <gmp-build-dir>
.../configure --prefix=$prefix --enable-fat --enable-cxx --enable-shared --disable-static
make
make install
cd <ppl-build-dir>
.../configure --prefix=$prefix --with-gmp=$prefix ...

Can you please try to reproduce something like this and
see whether it works?

> It would be really nice if you could help me, since the code is for a research project.

Please tell us more about this project.
Kind regards,

    Roberto

-- 
     Prof. Roberto Bagnara

Applied Formal Methods Laboratory - University of Parma, Italy
mailto:bagnara at cs.unipr.it
                              BUGSENG srl - http://bugseng.com
                              mailto:roberto.bagnara at bugseng.com