From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 30932 invoked by alias); 11 Aug 2010 22:34:05 -0000 Received: (qmail 30919 invoked by uid 22791); 11 Aug 2010 22:34:04 -0000 X-SWARE-Spam-Status: No, hits=-1.7 required=5.0 tests=AWL,BAYES_00,TW_CX,TW_DC,TW_PX,T_RP_MATCHES_RCVD X-Spam-Check-By: sourceware.org Received: from mail.codesourcery.com (HELO mail.codesourcery.com) (38.113.113.100) by sourceware.org (qpsmtpd/0.43rc1) with ESMTP; Wed, 11 Aug 2010 22:33:58 +0000 Received: (qmail 22968 invoked from network); 11 Aug 2010 22:33:57 -0000 Received: from unknown (HELO digraph.polyomino.org.uk) (joseph@127.0.0.2) by mail.codesourcery.com with ESMTPA; 11 Aug 2010 22:33:57 -0000 Received: from jsm28 (helo=localhost) by digraph.polyomino.org.uk with local-esmtp (Exim 4.69) (envelope-from ) id 1OjJrv-0004Wx-KF; Wed, 11 Aug 2010 22:33:55 +0000 Date: Wed, 11 Aug 2010 23:39:00 -0000 From: "Joseph S. Myers" To: Andreas Simbuerger cc: gcc-graphite@googlegroups.com, gcc-patches@gcc.gnu.org Subject: Re: [PATCH 0/3] Configure support for official CLooG versions. In-Reply-To: <4C632351.7050905@googlemail.com> Message-ID: References: <1281551412-9101-1-git-send-email-simbuerg@googlemail.com> <4C632351.7050905@googlemail.com> MIME-Version: 1.0 Content-Type: TEXT/PLAIN; charset=US-ASCII 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/msg00865.txt.bz2 On Thu, 12 Aug 2010, Andreas Simbuerger wrote: > The Integer Set Library (ISL) is used within CLooG's backend instead > of the PPL (Another backend using the PolyLib is available too). > The official CLooG version provides it's own ISL bundle which > get's installed alongside CLooG itself. The ISL is exclusively used by > CLooG for now. Do you mean that ISL is a part of the libcloog-isl library, so that no separate -lisl option is ever going to be needed when linking anything (in particular, when using static libraries so shared library dependencies are not available)? There are several questions: * Is ISL source part of the CLooG tarball or a separate tarball? If a separate tarball, install.texi needs to explain this. * 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. * Does ISL depend on other libraries, like PPL depends on -lgmp -lgmpxx -lstdc++? If so, then the configure code needs to know about these and if libstdc++ is involved then the documentation of --with-host-libstdcxx may need updating as well. -- Joseph S. Myers joseph@codesourcery.com