Re: Cloog needs (/usr/include)polylib/missing.h *on trunk*

[Toon Moene <toon at moene dot org>]

David Edelsohn wrote:

> Toon,
>
> Graphite uses PPL, not PolyLib.  PPL should be installed and the
> polylib include path will be avoided.

Thanks, that's what I expected; what I have installed is:

$ apt-cache show libppl0.10-dev
Package: libppl0.10-dev
Priority: optional
Section: libdevel
Installed-Size: 13916
Maintainer: Debian GCC Maintainers <debian-gcc@lists.debian.org>
Architecture: amd64
Source: ppl
Version: 0.10.2-2
Replaces: libppl6, libppl7 (<< 0.10~pre27-4)
Provides: libppl-c-dev, libppl-dev
Depends: libppl7 (= 0.10.2-2), libppl-c2 (= 0.10.2-2), libc6 (>= 2.2.5), 
libgcc1 (>= 1:4.1.1), libgmp3c2, libgmpxx4ldbl, libstdc++6 (>= 4.2.1)
Recommends: libgmp3-dev (>= 4.1.3)
Suggests: libppl-doc
Filename: pool/main/p/ppl/libppl0.10-dev_0.10.2-2_amd64.deb
Size: 2856878
MD5sum: b7ac47d71877cc2ec92de13df7654fad
SHA1: 93796e1f42cea727f51056ca220398a8fa8ba52b
SHA256: 7f57e31e6f485db1033517c590156087aa3120350c635e1092f90442076f2fab
Description: Parma Polyhedra Library (development)
 The Parma Polyhedra Library (PPL) is a C++ library for the
 manipulation of (not necessarily closed) convex polyhedra and other
 numerical abstractions.  The applications of convex polyhedra include
 program analysis, optimized compilation, integer and combinatorial
 optimization and statistical data-editing.  The Parma Polyhedra
 Library is user friendly (you write `x + 2*y + 5*z <= 7' when you
 mean it), fully dynamic (available virtual memory is the only
 limitation to the dimension of anything), written in standard C++,
 exception-safe, rather efficient and thoroughly documented.
 .
 This package provides the header files and static libraries for the
 C and C++ interfaces.
Homepage: http://www.cs.unipr.it/ppl/
Tag: devel::lang:c++, devel::library, implemented-in::c++, role::devel-lib

Note how it says: "This package provides the header files and static 
libraries for the C and C++ interfaces."

Note that I was trying this on the trunk (forgot to add this quite 
important detail the first time around - sorry).

--
Toon Moene - e-mail: toon@moene.org - phone: +31 346 214290
Saturnushof 14, 3738 XG  Maartensdijk, The Netherlands
At home: http://moene.org/~toon/
Progress of GNU Fortran: http://gcc.gnu.org/gcc-4.5/changes.html