From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 28622 invoked by alias); 12 Aug 2010 19:43:31 -0000 Received: (qmail 28611 invoked by uid 22791); 12 Aug 2010 19:43:31 -0000 X-SWARE-Spam-Status: No, hits=-2.0 required=5.0 tests=AWL,BAYES_00,DKIM_SIGNED,DKIM_VALID,DKIM_VALID_AU,FREEMAIL_FROM X-Spam-Check-By: sourceware.org Received: from mail-ey0-f175.google.com (HELO mail-ey0-f175.google.com) (209.85.215.175) by sourceware.org (qpsmtpd/0.43rc1) with ESMTP; Thu, 12 Aug 2010 19:43:26 +0000 Received: by eyx24 with SMTP id 24so961484eyx.20 for ; Thu, 12 Aug 2010 12:43:23 -0700 (PDT) Received: by 10.213.109.9 with SMTP id h9mr7629284ebp.33.1281642203614; Thu, 12 Aug 2010 12:43:23 -0700 (PDT) Received: from [192.168.2.101] (dslb-088-075-091-197.pools.arcor-ip.net [88.75.91.197]) by mx.google.com with ESMTPS id v59sm2726198eeh.10.2010.08.12.12.43.22 (version=SSLv3 cipher=RC4-MD5); Thu, 12 Aug 2010 12:43:22 -0700 (PDT) Message-ID: <4C644ED4.8050506@googlemail.com> Date: Thu, 12 Aug 2010 20:25:00 -0000 From: Andreas Simbuerger User-Agent: Mozilla/5.0 (X11; U; Linux x86_64; en-US; rv:1.9.2.7) Gecko/20100803 Lightning/1.0b2pre Thunderbird/3.1.1 MIME-Version: 1.0 To: "Joseph S. Myers" CC: gcc-graphite@googlegroups.com, gcc-patches@gcc.gnu.org Subject: Re: [PATCH 0/3] Configure support for official CLooG versions. References: <1281551412-9101-1-git-send-email-simbuerg@googlemail.com> <4C632351.7050905@googlemail.com> <4C63A445.50502@googlemail.com> In-Reply-To: Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit X-IsSubscribed: yes Mailing-List: contact gcc-patches-help@gcc.gnu.org; run by ezmlm Precedence: bulk List-Id: List-Archive: List-Post: List-Help: Sender: gcc-patches-owner@gcc.gnu.org X-SW-Source: 2010-08/txt/msg00947.txt.bz2 On 08/12/2010 11:56 AM, Joseph S. Myers wrote: > On Thu, 12 Aug 2010, Andreas Simbuerger wrote: > >>> * Is ISL source part of the CLooG tarball or a separate tarball? If a >>> separate tarball, install.texi needs to explain this. >>> >> The ISL is in fact a separate library, but the CLooG tarball is bundled >> with a working release of it. You can configure CLooG with an out-of-tree >> ISL version, but the default setting is to use the bundled ISL. >> By default CLooG's ISL gets installed into CLooG's install dir and is >> covered >> by CLooG's library path. > What do you mean by "covered by CLooG's library path"? Do you mean that > libisl.a is in the same directory as libcloog-isl.a, so that a single -L > option suffices to find both? Or do you mean that all objects in libisl.a > that are required to use libcloog-isl.a are also included in > libcloog-isl.a so there is no need to link against any other library? > Sorry I was unprecise with that. You're right, libcloog-isl.a and libisl.a share the install directory when using the bundled ISL version. >>> * Is ISL included in the libcloog-isl library binary or is it a separate >>> library binary? If a separate binary, the configure code needs to link >>> against it explicitly. >> As mentioned above, it is a separate library. I don't fully understand why >> it is required to link to unused code? The ISL is never required by GCC. > This is not about unused code, it is about dependencies. If you use the > ISL-independent interfaces from libcloog-isl.a, will the object files used > from that library have unresolved references to symbols in libisl.a or > some other library? If the CLooG library depends on symbols defined in a > separate library, it is necessary to link against that separate library > explicitly, since static libraries do not carry dependency information. > If the CLooG library is self-contained - only depends on libraries that > GCC always links with anyway, such as libc and libgmp, and includes all > relevant ISL objects within libcloog-isl.a - then this is not necssary. Thanks for explaining this, i will have to read more on that topic + check. Never had a problem with compiling/linking and didn't bother any further ;-) I will have to update the configure patch to support all scenarios for the ISL. Andreas