PPL 0.11

Parma Polyhedra Library provides functions for numerical abstractions. I don't know exactly what that is. GCC can use it for certain optimizations, but it's not necessary. See http://www.cs.unipr.it/ppl/ .

Prerequisites

Install MSYS + MinGW.

Install 7zip.

Download source

http://www.cs.unipr.it/ppl/Download/ftp/releases/0.11/ppl-0.11.tar.bz2

• • Extract ppl-0.11 to your MSYS $HOME/

Build

• • Start the MinGW Shell

• mkdir ppl

• cd ppl

• configure ../ppl-0.11

• make

Install

• make install

What was installed?

• • /usr/local/include/

    • ppl_c.h

  • /usr/local/lib

    • libppl.a

    • libppl_c.a

  • /usr/local/bin

    • libppl-9.dll

    • libppl_c-4.dll

    • ppl-config.exe

    • ppl_lcdd.exe

    • ppl_pips.exe