From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: Received: from mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 2119080211 for ; Sun, 22 Oct 2017 11:20:56 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=sp@orbitalfox.com; spf=None smtp.mailfrom=sp@orbitalfox.com; spf=None smtp.helo=postmaster@orbitalfox.com Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of sp@orbitalfox.com) identity=pra; client-ip=95.172.232.202; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="sp@orbitalfox.com"; x-sender="sp@orbitalfox.com"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of sp@orbitalfox.com) identity=mailfrom; client-ip=95.172.232.202; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="sp@orbitalfox.com"; x-sender="sp@orbitalfox.com"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@orbitalfox.com) identity=helo; client-ip=95.172.232.202; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="sp@orbitalfox.com"; x-sender="postmaster@orbitalfox.com"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3ALz3znRT7WUg8CDvxbPE+Q5sKndpsv+yvbD5Q0YIu?= =?us-ascii?q?jvd0So/mwa67YhKN2/xhgRfzUJnB7Loc0qyN7PCmBDRIyK3CmU5BWaQEbwUCh8?= =?us-ascii?q?QSkl5oK+++Imq/EsTXaTcnFt9JTl5v8iLzG0FUHMHjew+a+SXqvnY/BBjlCgp0?= =?us-ascii?q?OumwX6eaz4Huj7jzqNXvZFBDjT+5JLdzNwmerAPLt8BQj5ExBLw2z07ymjMcYP?= =?us-ascii?q?x+wnliJE6amxj79oG7+5s1oHcYgO4o68MVCfayRK8/V7ENSW1+a20=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0DSBgDkYexZ/8rorF9cHAEBBAEBCgEBF?= =?us-ascii?q?wEBBAEBCgEBgzNnayeOPY8ZgVQmljmCEQeFPgIMhDBAFwEBAQEBAQEBAQEBaii?= =?us-ascii?q?COCQBgkEBBUABATgPCxguVxMIAQGKIKpIgxKDCAEBBYgFIwcIgy6CB4NiC4J2h?= =?us-ascii?q?VGFKaFWFYRBgiKQDQGJb4c1lzUhAjSBW3oVSYJkgk2CEz82imMBAQE?= X-IPAS-Result: =?us-ascii?q?A0DSBgDkYexZ/8rorF9cHAEBBAEBCgEBFwEBBAEBCgEBgzN?= =?us-ascii?q?nayeOPY8ZgVQmljmCEQeFPgIMhDBAFwEBAQEBAQEBAQEBaiiCOCQBgkEBBUABA?= =?us-ascii?q?TgPCxguVxMIAQGKIKpIgxKDCAEBBYgFIwcIgy6CB4NiC4J2hVGFKaFWFYRBgiK?= =?us-ascii?q?QDQGJb4c1lzUhAjSBW3oVSYJkgk2CEz82imMBAQE?= X-IronPort-AV: E=Sophos;i="5.43,416,1503352800"; d="asc'?scan'208";a="297320744" Received: from orbitalfox.com ([95.172.232.202]) by mail2-smtp-roc.national.inria.fr with ESMTP; 22 Oct 2017 11:20:55 +0200 Received: from [192.168.88.5] (unknown [192.168.88.5]) by orbitalfox.com (Postfix) with ESMTPSA id 7CB43AA006A for ; Sun, 22 Oct 2017 09:20:54 +0000 (UTC) DKIM-Signature: v=1; a=rsa-sha256; c=simple/simple; d=orbitalfox.com; s=orbitalfox; t=1508664054; bh=hv1IU1Qvqzo7PF61TZFbN46DNG2tUPLN44XA0EhNBmM=; h=Subject:To:References:From:Date:In-Reply-To; b=g3EhgQULk52nWw9kHq3htJKAd5v09tHpjrzE2yH2Wr7K5Vu/am77QouK0BWT1tAwg bJ0alunhcZwXBFB0OCu0YK3kWzzIGN+ZfrzOK5pedwksnE6ofDq4zLFPA1rTgmaosr 089sOEm1EVHr9dxNwF2Rhaq4280QJVinRH6puDpc= To: caml-list@inria.fr References: <20171019170538.73d6473c@mortimer.gmerlin.de> From: SP Message-ID: <15a4e8c1-6304-fda5-de3c-bc0d99b38656@orbitalfox.com> Date: Sun, 22 Oct 2017 10:20:46 +0100 User-Agent: Mozilla/5.0 (Macintosh; Intel Mac OS X 10.12; rv:52.0) Gecko/20100101 Thunderbird/52.4.0 MIME-Version: 1.0 In-Reply-To: <20171019170538.73d6473c@mortimer.gmerlin.de> Content-Type: multipart/signed; micalg=pgp-sha256; protocol="application/pgp-signature"; boundary="ntTNJj7RLsqSA6OnO7osgFJF3huPAIRwu" Subject: Re: [Caml-list] use cc instead of gcc as default C compiler? This is an OpenPGP/MIME signed message (RFC 4880 and 3156) --ntTNJj7RLsqSA6OnO7osgFJF3huPAIRwu Content-Type: multipart/mixed; boundary="EehHcfwG2SdgBtxfIbc6Xn86mg4w4xPBs"; protected-headers="v1" From: SP To: caml-list@inria.fr Message-ID: <15a4e8c1-6304-fda5-de3c-bc0d99b38656@orbitalfox.com> Subject: Re: [Caml-list] use cc instead of gcc as default C compiler? References: <20171019170538.73d6473c@mortimer.gmerlin.de> In-Reply-To: <20171019170538.73d6473c@mortimer.gmerlin.de> --EehHcfwG2SdgBtxfIbc6Xn86mg4w4xPBs Content-Type: text/plain; charset=windows-1252 Content-Language: en-US Content-Transfer-Encoding: quoted-printable On 19/10/2017 16:05, Christopher Zimmermann wrote: > A more portable default would be to use plain `cc`, which will usually > be the system-wide default compiler. A sensible idea. Wonder what the devs have to say? Maybe if you made a pull request for this they would accept it. --=20 SP --EehHcfwG2SdgBtxfIbc6Xn86mg4w4xPBs-- --ntTNJj7RLsqSA6OnO7osgFJF3huPAIRwu Content-Type: application/pgp-signature; name="signature.asc" Content-Description: OpenPGP digital signature Content-Disposition: attachment; filename="signature.asc" -----BEGIN PGP SIGNATURE----- iQEzBAEBCAAdFiEEf+7oRtikDlVhcOQ1VH8vgPRywzsFAlnsYvYACgkQVH8vgPRy wzviJgf+O1o9YwopCXldYAj973kBEgPgdfnyiyDKbCfcd1el+rhZal5IitKio6wN DkVlqKknBxYTWRsQfrMLv+w8Ij6oaRfpS8LfpW/zhUW7jo0guVNY63QYpH3SQdHj nNsagrogGGofsv79nOxNVTIfv0E+1uVsIlLZifES5+hcppruusFfcvxHzBIr4WqP HNB1MTH93LP9lpiN3Q1lrct25yTI/VPMRXIT78qK9qW85MOZJAOheIlAdlhQf+xC JVAcw6jpZqzzQhwps2C1iFmunKN+3LwFSA6+TDXjrP0TWgNU6F5eyE8kTeOmKd5e 5zdNZ35ckAG++mT+75KQ96e+LiRaCQ== =byKJ -----END PGP SIGNATURE----- --ntTNJj7RLsqSA6OnO7osgFJF3huPAIRwu--