From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: (qmail 129773 invoked by alias); 5 Sep 2015 12:37:17 -0000 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 Received: (qmail 129760 invoked by uid 89); 5 Sep 2015 12:37:16 -0000 Authentication-Results: sourceware.org; auth=none X-Virus-Found: No X-Spam-SWARE-Status: No, score=-2.2 required=5.0 tests=AWL,BAYES_00,FREEMAIL_FROM,RCVD_IN_DNSWL_LOW,SPF_PASS autolearn=ham version=3.3.2 X-HELO: mail-ig0-f177.google.com Received: from mail-ig0-f177.google.com (HELO mail-ig0-f177.google.com) (209.85.213.177) by sourceware.org (qpsmtpd/0.93/v0.84-503-g423c35a) with (AES128-GCM-SHA256 encrypted) ESMTPS; Sat, 05 Sep 2015 12:37:15 +0000 Received: by igcpb10 with SMTP id pb10so33468778igc.1 for ; Sat, 05 Sep 2015 05:37:13 -0700 (PDT) X-Received: by 10.50.46.65 with SMTP id t1mr15687982igm.25.1441456633130; Sat, 05 Sep 2015 05:37:13 -0700 (PDT) MIME-Version: 1.0 Received: by 10.107.137.95 with HTTP; Sat, 5 Sep 2015 05:36:33 -0700 (PDT) In-Reply-To: <908103EDB4893A42920B21D3568BFD933895F9C9@MBX23.d.ethz.ch> References: <908103EDB4893A42920B21D3568BFD933895F9C9@MBX23.d.ethz.ch> From: Sebastian Pop Date: Sat, 05 Sep 2015 12:53:00 -0000 Message-ID: Subject: Re: [PATCH] select isl-0.15 in download_prerequisites To: VandeVondele Joost Cc: "gcc-patches@gcc.gnu.org" Content-Type: text/plain; charset=UTF-8 X-IsSubscribed: yes X-SW-Source: 2015-09/txt/msg00390.txt.bz2 On Fri, Sep 4, 2015 at 12:42 AM, VandeVondele Joost wrote: > For the recent fix of PR53852, isl-0.15 is needed, I just went to the documentation of isl-0.14 and I see that it also provides the functionality to count the number of isl operations: isl_ctx_get_max_operations(). isl-0.12.2 does not provide this functionality. > which is already available at ftp://gcc.gnu.org/pub/gcc/infrastructure/ . Thus, it seems to make sense to update the download_prerequisites script, as done with the attached patch. > > OK for trunk ? I think it is fine to bump the default version of isl to be downloaded by default. Are there other reviewers who would oppose committing this patch? Thanks, Sebastian