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 637777EE89 for ; Wed, 25 Oct 2017 09:20:01 +0200 (CEST) Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=adrien@notk.org; spf=Pass smtp.mailfrom=adrien@notk.org; spf=None smtp.helo=postmaster@nautica.notk.org Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of adrien@notk.org) identity=pra; client-ip=91.121.71.147; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="adrien@notk.org"; x-sender="adrien@notk.org"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of adrien@notk.org designates 91.121.71.147 as permitted sender) identity=mailfrom; client-ip=91.121.71.147; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="adrien@notk.org"; x-sender="adrien@notk.org"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@nautica.notk.org) identity=helo; client-ip=91.121.71.147; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="adrien@notk.org"; x-sender="postmaster@nautica.notk.org"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3A5Nkt4xWKvCeN2W+YKhr2r/TNmjbV8LGtZVwlr6E/?= =?us-ascii?q?grcLSJyIuqrYZRKCt8tkgFKBZ4jH8fUM07OQ6P+wHzFYqb+681k8M7V0Hycfjs?= =?us-ascii?q?sXmwFySOWkMmbcaMDQUiohAc5ZX0Vk9XzoeWJcGcL5ekGA6ibqtW1aSV3DMl9+?= =?us-ascii?q?L+HxUpPJgt6sn7S58pjXJgFJnyaVYLVoLRzwox+H5ecMho43A6oryxbP6l1Bd+?= =?us-ascii?q?lMjTdhKUiSkhDU4MCs/9hk6SsG6KFpzNJJTaivJ/dwdrdfFjlza20=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0AiBACaOvBZ/5NHeVtbHAEBBAEBCgEBF?= =?us-ascii?q?wEBBAEBCgEBgzSBUoQhmWiBehKWKIIRCoU7AoRnQBcBAQEBAQEBAQEBAWoogjg?= =?us-ascii?q?igkQBBSMPAVYLGAICBRMOAgIPBRgxijepJYInixIygQ+CH4IHgVCFE4gZL4IyB?= =?us-ascii?q?aFtlGgNc4EJkSmVf4E5IQMzgVs0IQgqCEmCZYJbHIFpPoxaAQEB?= X-IPAS-Result: =?us-ascii?q?A0AiBACaOvBZ/5NHeVtbHAEBBAEBCgEBFwEBBAEBCgEBgzS?= =?us-ascii?q?BUoQhmWiBehKWKIIRCoU7AoRnQBcBAQEBAQEBAQEBAWoogjgigkQBBSMPAVYLG?= =?us-ascii?q?AICBRMOAgIPBRgxijepJYInixIygQ+CH4IHgVCFE4gZL4IyBaFtlGgNc4EJkSm?= =?us-ascii?q?Vf4E5IQMzgVs0IQgqCEmCZYJbHIFpPoxaAQEB?= X-IronPort-AV: E=Sophos;i="5.43,430,1503352800"; d="scan'208";a="242269326" Received: from nautica.notk.org ([91.121.71.147]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-GCM-SHA384; 25 Oct 2017 09:20:00 +0200 Received: by nautica.notk.org (Postfix, from userid 1003) id 375D1C009; Wed, 25 Oct 2017 09:20:00 +0200 (CEST) Date: Wed, 25 Oct 2017 09:20:00 +0200 From: Adrien Nader To: caml users Message-ID: <20171025072000.GA2824@notk.org> 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> <20171025071431.tvupcly3o2if5wcn@pl-59055.rocqadm.inria.fr> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: <20171025071431.tvupcly3o2if5wcn@pl-59055.rocqadm.inria.fr> User-Agent: Mutt/1.5.21 (2010-09-15) Subject: Re: [Caml-list] use cc instead of gcc as default C compiler? On Wed, Oct 25, 2017, Sébastien Hinderer wrote: > 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. According to what Gabriel has said, the current situation is very close to what I was proposing and the effect should be the same. As such, I see no need for changes. :) -- Adrien