From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 16841 invoked by alias); 17 Aug 2009 19:54:17 -0000 Received: (qmail 16832 invoked by uid 22791); 17 Aug 2009 19:54:16 -0000 X-SWARE-Spam-Status: No, hits=-2.3 required=5.0 tests=AWL,BAYES_00,J_CHICKENPOX_84 X-Spam-Check-By: sourceware.org Received: from moene.org (HELO moene.org) (82.95.66.103) by sourceware.org (qpsmtpd/0.43rc1) with ESMTP; Mon, 17 Aug 2009 19:54:10 +0000 Received: from [127.0.0.1] (ident=toon) by moene.org with esmtp (Exim 4.69) (envelope-from ) id 1Md8HP-0001NX-QQ; Mon, 17 Aug 2009 21:54:07 +0200 Message-ID: <4A89B55F.9000904@moene.org> Date: Mon, 17 Aug 2009 20:58:00 -0000 From: Toon Moene User-Agent: Mozilla-Thunderbird 2.0.0.19 (X11/20090103) MIME-Version: 1.0 To: David Edelsohn CC: Sebastian Pop , gcc mailing list Subject: Re: Cloog needs (/usr/include)polylib/missing.h *on trunk* References: <4A89B1E9.701@moene.org> <303e1d290908171242q162122eam9bb55764c19a5168@mail.gmail.com> In-Reply-To: <303e1d290908171242q162122eam9bb55764c19a5168@mail.gmail.com> Content-Type: text/plain; charset=ISO-8859-1; format=flowed Content-Transfer-Encoding: 7bit X-IsSubscribed: yes Mailing-List: contact gcc-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-owner@gcc.gnu.org X-SW-Source: 2009-08/txt/msg00301.txt.bz2 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 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