From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail3-relais-sop.national.inria.fr (mail3-relais-sop.national.inria.fr [192.134.164.104]) by sympa.inria.fr (Postfix) with ESMTPS id B7A847EE89 for ; Wed, 25 Oct 2017 09:10:19 +0200 (CEST) X-IronPort-AV: E=Sophos;i="5.43,430,1503352800"; d="scan'208";a="242267702" Received: from pl-59055.paris.inria.fr (HELO pl-59055.rocqadm.inria.fr) ([128.93.64.92]) by mail3-relais-sop.national.inria.fr with ESMTP/TLS/AES256-GCM-SHA384; 25 Oct 2017 09:10:19 +0200 Received: from shindere by pl-59055.rocqadm.inria.fr with local (Exim 4.89) (envelope-from ) id 1e7FpS-000261-O3 for caml-list@inria.fr; Wed, 25 Oct 2017 09:10:18 +0200 Date: Wed, 25 Oct 2017 09:10:18 +0200 From: =?utf-8?Q?S=C3=A9bastien?= Hinderer To: caml-list@inria.fr Message-ID: <20171025071018.tduw37n5awgqakru@pl-59055.rocqadm.inria.fr> Mail-Followup-To: caml-list@inria.fr References: <20171019170538.73d6473c@mortimer.gmerlin.de> <441EA0D0-D075-4407-B50D-8CAEDD6039DF@gmerlin.de> <20171023194954.GA13292@notk.org> <152B8F33-A053-42AA-AF57-160FF3C897D0@gmerlin.de> <20171025065201.GA24593@notk.org> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: <20171025065201.GA24593@notk.org> Subject: Re: [Caml-list] use cc instead of gcc as default C compiler? Hello Adrien, thanks for your contribution, Adrien Nader (2017/10/25 08:52 +0200): > 3- (longer term): I know that there has been some work on a replacement > of the configure script with something autoconf-based (and before anyone > complains, this doesn't include automake nor libtool). I don't know the > current status of this work however. There is a wish to have this in 4.07. I just need to find the time to work on it once Inria's CI is fully working again and given that ocamltest also needs some work both to be extended and to migrate more tests. Sébastien.