From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 16088 invoked by alias); 13 Jan 2010 19:56:12 -0000 Received: (qmail 16077 invoked by uid 22791); 13 Jan 2010 19:56:11 -0000 X-SWARE-Spam-Status: No, hits=-2.5 required=5.0 tests=AWL,BAYES_00,SPF_HELO_PASS X-Spam-Check-By: sourceware.org Received: from moutng.kundenserver.de (HELO moutng.kundenserver.de) (212.227.17.8) by sourceware.org (qpsmtpd/0.43rc1) with ESMTP; Wed, 13 Jan 2010 19:56:03 +0000 Received: from matterhorn.emrich-ebersheim.de (91-67-77-181-dynip.superkabel.de [91.67.77.181]) by mrelayeu.kundenserver.de (node=mrbap2) with ESMTP (Nemesis) id 0LnUdS-1O53hW2WkA-00hXaI; Wed, 13 Jan 2010 20:56:01 +0100 Received: from [192.168.0.13] (kasandra.emrich-ebersheim.de [192.168.0.13]) by matterhorn.emrich-ebersheim.de (8.13.1/8.13.1/SuSE Linux 0.7) with ESMTP id o0DJtrs2007606; Wed, 13 Jan 2010 20:55:56 +0100 Message-ID: <4B4E2549.2020105@emrich-ebersheim.de> Date: Wed, 13 Jan 2010 19:56:00 -0000 From: Rainer Emrich User-Agent: Thunderbird 2.0.0.23 (Windows/20090812) MIME-Version: 1.0 To: gcc@gcc.gnu.org CC: Sebastian Pop Subject: suggestion for ppl and cloog-ppl configure enhancement OpenPGP: url=random.sks.keyserver.penguin.de Content-Type: text/plain; charset=UTF-8 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: 2010-01/txt/msg00288.txt.bz2 -----BEGIN PGP SIGNED MESSAGE----- Hash: SHA1 IMHO it would be a godd idea to add the following two configure options to ppl configure: --with-gmp-include=DIR GMP include directory --with-gmp-lib=DIR GMP lib directory On 64-bit Linux systems you have the libraries in lib64 instead of lib in most cases. With this additional configure options in place you do not need to fiddle with LDFLAFS to find the library. OTOH I think one may drop --with-libgmpxx-prefix because it's very unlikely that libgmpxx is installed in a different place than libgmp. I sent this to the ppl-devel list too. Same holds for cloog-ppl, here --with-ppl-include and --with-ppl-lib is missing. Sebastian what do you think? Cheers Rainer -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.10 (MingW32) Comment: Using GnuPG with Mozilla - http://enigmail.mozdev.org/ iEYEARECAAYFAktOJUkACgkQoUhjsh59BL6+ywCgtTdQ3Ko9iW5nfloG7bcJ+KHU U2MAoIRw20ISm2zQG+uomjDckT9Wzfzq =zndb -----END PGP SIGNATURE-----