From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@sympa.inria.fr Delivered-To: caml-list@sympa.inria.fr 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 2019A7EE89 for ; Wed, 25 Oct 2017 09:14:32 +0200 (CEST) X-IronPort-AV: E=Sophos;i="5.43,430,1503352800"; d="scan'208";a="242268468" 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:14:31 +0200 Received: from shindere by pl-59055.rocqadm.inria.fr with local (Exim 4.89) (envelope-from ) id 1e7FtX-00026D-GN for caml-list@inria.fr; Wed, 25 Oct 2017 09:14:31 +0200 Date: Wed, 25 Oct 2017 09:14:31 +0200 From: =?utf-8?Q?S=C3=A9bastien?= Hinderer To: caml users Message-ID: <20171025071431.tvupcly3o2if5wcn@pl-59055.rocqadm.inria.fr> Mail-Followup-To: caml users 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: Subject: Re: [Caml-list] use cc instead of gcc as default C compiler? Unless it is really required, my suggestion would be not to touch the current configure and re-examine whether the detection of the C compiler is as we want it to be once we have the autoconf-generated script. But of course in case of emergency the current configure can always be patched. Sébastien.