Cloog needs (/usr/include)polylib/missing.h

Cloog needs (/usr/include)polylib/missing.h

[Toon Moene]

As is pointed out in this config.log:

In file included from conftest.c:12:
/usr/include/cloog/cloog.h:47:30: error: polylib/missing.h: No such file 
or directory

What package (source distribution) is this file supposed to come from ?

Relevant lines of /usr/include/cloog/cloog.h (Debian testing as of 
yesterday):

#ifdef CLOOG_PPL_BACKEND
# define GNUMP
# include<cloog/ppl_backend.h>
#else
# include <polylib/missing.h>
# include<cloog/polylib_backend.h>
#endif

Thanks for any advice,

-- 
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

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

[David Edelsohn]

Toon,

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

David

On Mon, Aug 17, 2009 at 3:39 PM, Toon Moene<toon@moene.org> wrote:
> As is pointed out in this config.log:
>
> In file included from conftest.c:12:
> /usr/include/cloog/cloog.h:47:30: error: polylib/missing.h: No such file or
> directory
>
> What package (source distribution) is this file supposed to come from ?
>
> Relevant lines of /usr/include/cloog/cloog.h (Debian testing as of
> yesterday):
>
> #ifdef CLOOG_PPL_BACKEND
> # define GNUMP
> # include<cloog/ppl_backend.h>
> #else
> # include <polylib/missing.h>
> # include<cloog/polylib_backend.h>
> #endif
>
> Thanks for any advice,
>
> --
> 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
>

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

[Toon Moene]

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

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

[Toon Moene]

Toon Moene wrote:

> Relevant lines of /usr/include/cloog/cloog.h (Debian testing as of 
> yesterday):
> 
> #ifdef CLOOG_PPL_BACKEND

Dang !  The answer *is* the obvious - this symbol isn't defined *unless* 
you specify --with-cloog=bla on the configure line (I assumed it would 
just find the installed cloog/ppl libraries and proceed from there).

Sigh, OK, that's one for another day (it's 10 PM over here).

Sorry for the noise.

-- 
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