From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 13513 invoked by alias); 6 May 2009 08:11:45 -0000 Received: (qmail 13337 invoked by uid 22791); 6 May 2009 08:11:43 -0000 X-SWARE-Spam-Status: No, hits=-1.1 required=5.0 tests=BAYES_05 X-Spam-Check-By: sourceware.org Received: from spartacus.cs.unipr.it (HELO spartacus.cs.unipr.it) (160.78.167.140) by sourceware.org (qpsmtpd/0.43rc1) with ESMTP; Wed, 06 May 2009 08:11:11 +0000 Received: from [192.168.1.212] (host231-162-dynamic.59-82-r.retail.telecomitalia.it [82.59.162.231]) (authenticated bits=0) by spartacus.cs.unipr.it (8.14.3/8.14.3) with ESMTP id n468Abpl019141 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO); Wed, 6 May 2009 10:10:38 +0200 Message-ID: <4A0145FD.6080301@cs.unipr.it> Date: Wed, 06 May 2009 08:11:00 -0000 From: Roberto Bagnara User-Agent: Mozilla/5.0 (X11; U; Linux i686; en-US; rv:1.7.12) Gecko/20050929 Thunderbird/1.0.7 Fedora/1.0.7-1.1.fc4 Mnenhy/0.7.3.0 MIME-Version: 1.0 To: "Kaveh R. GHAZI" CC: Anthony Green , gcc@gcc.gnu.org, "The Parma Polyhedra Library developers' list" Subject: Re: Problems with in-tree host libraries (gmp, ppl, etc) References: <1241274289.21584.6.camel@dev.moxielogic.com> In-Reply-To: Content-Type: text/plain; charset=US-ASCII; format=flowed 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-05/txt/msg00105.txt.bz2 Kaveh R. GHAZI wrote: > On Sat, 2 May 2009, Anthony Green wrote: > >> The top level configury suggests that you can simply drop gmp, ppl, etc >> into the top level source dir and they will get configured and used. >> Does this really work? > > It is supposed to. I haven't worked on or tested the ppl machinery so I > don't know what shape it is in. > > >> Index: Makefile.def >> =================================================================== >> --- Makefile.def (revision 146995) >> +++ Makefile.def (working copy) >> @@ -60,7 +60,7 @@ >> host_modules= { module= gawk; }; >> host_modules= { module= gettext; }; >> host_modules= { module= gmp; lib_path=.libs; bootstrap=true; >> - extra_configure_flags='--disable-shared'; >> + extra_configure_flags='--disable-shared --enable-cxx'; >> no_install= true; >> host="none-${host_vendor}-${host_os}"; >> target="none-${host_vendor}-${host_os}"; }; > > > I would only pass in this flag if ppl is being used. Look at what I did > with extra_mpfr_configure_flags in the top level directory. You can use a > similar mechanism to have a flag passed in to the gmp build conditionally. > > >> Even then, the ppl configury isn't detecting the gmp we just built. It >> seems as though we should install gmp in a local temporary install tree >> and point ppl at that. See below for a trace of the ppl configury as it >> attempts to detect an in-tree gmp (after applying the patch above). >> AG > > I don't know if ppl was ever setup to detect/use an in-tree gmp. It would > need to be able to specify --with-gmp-build= or something equivalent to > get the header and library from a build tree rather than an install tree. > They're laid out slightly differently. The PPL configure script offers the following options: --with-libgmp-prefix[=DIR] search for libgmp in DIR/include and DIR/lib --without-libgmp-prefix don't search for libgmp in includedir and libdir --with-libgmpxx-prefix[=DIR] search for libgmpxx in DIR/include and DIR/lib --without-libgmpxx-prefix don't search for libgmpxx in includedir and libdir If the C and the C++ interface of GMP have been installed in the same places, specifying --with-libgmp-prefix[=DIR] is enough. If you think that being able to use a non-installed GMP build tree is important, we can add an option to that effect. -- Prof. Roberto Bagnara Computer Science Group Department of Mathematics, University of Parma, Italy http://www.cs.unipr.it/~bagnara/ mailto:bagnara@cs.unipr.it