Cross-Compiled Linux From Scratch - Version 2.0.0-MIPS64-Multilib

Chapter 10. Installing Basic System Software

10.21. PPL-0.12.1 N32 Libraries

The Parma Polyhedra Library (PPL) provides numerical abstractions especially targeted at applications in the field of analysis and verification of complex systems. CLooG-PPL requires this library.

10.21.1. Installation of PPL

Prepare PPL for compilation: 

CPPFLAGS=-fexceptions CC="gcc -isystem /usr/include ${BUILDN32}" \
CXX="g++ -isystem /usr/include ${BUILDN32}" \
LDFLAGS="-Wl,-rpath-link,/usr/lib32:/lib32 ${BUILDN32}" \
  ./configure --prefix=/usr --libdir=/usr/lib32 \
    --enable-shared --disable-optimization

Compile the package: 

make
[Important]

Important

The test suite for PPL is considered critical. Do not skip it under any circumstance.

Test the results: 

make check

Install the package: 

make install

Prepare ppl-config to be wrapped by the multiarch wrapper: 

mv -v /usr/bin/ppl-config{,-n32}

Create the N32 header file: 

mv -v /usr/include/ppl{,-n32}.hh

Details on this package are located in Section 10.22.2, “Contents of PPL.”