From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 32043 invoked by alias); 1 Aug 2009 06:28:11 -0000 Received: (qmail 32035 invoked by uid 22791); 1 Aug 2009 06:28:10 -0000 X-SWARE-Spam-Status: No, hits=-2.5 required=5.0 tests=AWL,BAYES_00,SPF_PASS X-Spam-Check-By: sourceware.org Received: from mail-ew0-f212.google.com (HELO mail-ew0-f212.google.com) (209.85.219.212) by sourceware.org (qpsmtpd/0.43rc1) with ESMTP; Sat, 01 Aug 2009 06:28:04 +0000 Received: by ewy8 with SMTP id 8so890026ewy.8 for ; Fri, 31 Jul 2009 23:28:01 -0700 (PDT) Received: by 10.210.18.8 with SMTP id 8mr4215087ebr.48.1249108081577; Fri, 31 Jul 2009 23:28:01 -0700 (PDT) Received: from ?192.168.2.99? (cpc2-cmbg8-0-0-cust61.cmbg.cable.ntl.com [82.6.108.62]) by mx.google.com with ESMTPS id 28sm5134531eyg.20.2009.07.31.23.28.00 (version=SSLv3 cipher=RC4-MD5); Fri, 31 Jul 2009 23:28:01 -0700 (PDT) Message-ID: <4A73E386.3080508@gmail.com> Date: Sat, 01 Aug 2009 06:28:00 -0000 From: Dave Korn User-Agent: Thunderbird 2.0.0.17 (Windows/20080914) MIME-Version: 1.0 To: tromey@redhat.com CC: Basile STARYNKEVITCH , GCC Mailing List Subject: Re: MELT tutorial on the wiki References: <4A707003.8060103@starynkevitch.net> <4A728EE2.2050401@starynkevitch.net> In-Reply-To: Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit 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/msg00003.txt.bz2 Tom Tromey wrote: > I looked into this a little. It looks like the PPL checks don't work > properly in the case where PPL is a system library. I guess I need > --with-ppl=/usr ... I will try that later. Were you using a --prefix? The PPL checks (by design I think) only look for PPL in your prefix. cheers, DaveK