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 mail2-relais-roc.national.inria.fr (mail2-relais-roc.national.inria.fr [192.134.164.83]) by sympa.inria.fr (Postfix) with ESMTPS id 7B76A801D7 for ; Mon, 23 Oct 2017 21:41:26 +0200 (CEST) Authentication-Results: mail2-smtp-roc.national.inria.fr; spf=None smtp.pra=christopher@gmerlin.de; spf=None smtp.mailfrom=christopher@gmerlin.de; spf=None smtp.helo=postmaster@mout.kundenserver.de Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of christopher@gmerlin.de) identity=pra; client-ip=212.227.126.134; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="christopher@gmerlin.de"; x-sender="christopher@gmerlin.de"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of christopher@gmerlin.de) identity=mailfrom; client-ip=212.227.126.134; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="christopher@gmerlin.de"; x-sender="christopher@gmerlin.de"; x-conformance=sidf_compatible Received-SPF: None (mail2-smtp-roc.national.inria.fr: no sender authenticity information available from domain of postmaster@mout.kundenserver.de) identity=helo; client-ip=212.227.126.134; receiver=mail2-smtp-roc.national.inria.fr; envelope-from="christopher@gmerlin.de"; x-sender="postmaster@mout.kundenserver.de"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3Ajk0O6xdO1g6szYQGNQ2PMjkLlGMj4u6mDksu8pMi?= =?us-ascii?q?zoh2WeGdxc67Yh7h7PlgxGXEQZ/co6odzbGJ4+a9ASQp2tWojjMrSNR0TRgLiM?= =?us-ascii?q?EbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpRZbIBj0NBJ0?= =?us-ascii?q?K+LpAcaSyp3vj6Hhs6HUNipBjiC8bLc6Fx62oB/crIFCjoJoMKc8zl3SqXtFYe?= =?us-ascii?q?lM7WxtLFOX2R3745Hj0oRk9nF7u+gg7NJHSaX3ZewKTLldAS4jOmYzrJngtQPC?= =?us-ascii?q?VheI/nsRSE0ZlxdSBwnDqh33CMSi+hDmv/ZwjXHJdfb9Sqo5DHH7t/9m?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BvAQD2RO5ZhoZ+49RbHAEBBAEBCgEBF?= =?us-ascii?q?QEBAQECAQEBAQgBAQEBhBgDayeDeplkgVQmDYg+j38KH4UcAoRUQxQBAQEBAQE?= =?us-ascii?q?BAQEBARIBAQEICwsIKC+COAUBHgEFgjwBBSNWEAsYAgImAgIhNgYOBYoIAxkBC?= =?us-ascii?q?6gDgieHRA2DUwEBAQEBAQEDAQEBAQEBAQEBAQEdgQ+CH4IHg2ILgU6BKIJegie?= =?us-ascii?q?DFC+CMgWhKjyBCYZbiBeFbIF/iHUFhzWNDIhwgTk2gXx7XS0BgjYJgmOBdXSKW?= =?us-ascii?q?oFVAQEB?= X-IPAS-Result: =?us-ascii?q?A0BvAQD2RO5ZhoZ+49RbHAEBBAEBCgEBFQEBAQECAQEBAQg?= =?us-ascii?q?BAQEBhBgDayeDeplkgVQmDYg+j38KH4UcAoRUQxQBAQEBAQEBAQEBARIBAQEIC?= =?us-ascii?q?wsIKC+COAUBHgEFgjwBBSNWEAsYAgImAgIhNgYOBYoIAxkBC6gDgieHRA2DUwE?= =?us-ascii?q?BAQEBAQEDAQEBAQEBAQEBAQEdgQ+CH4IHg2ILgU6BKIJegieDFC+CMgWhKjyBC?= =?us-ascii?q?YZbiBeFbIF/iHUFhzWNDIhwgTk2gXx7XS0BgjYJgmOBdXSKWoFVAQEB?= X-IronPort-AV: E=Sophos;i="5.43,424,1503352800"; d="scan'208";a="297521129" Received: from mout.kundenserver.de ([212.227.126.134]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES128-GCM-SHA256; 23 Oct 2017 21:41:25 +0200 Received: from [172.24.224.9] ([77.2.168.29]) by mrelayeu.kundenserver.de (mreue004 [212.227.15.167]) with ESMTPSA (Nemesis) id 0MbtgI-1dnOlO1y1W-00JNti; Mon, 23 Oct 2017 21:41:24 +0200 Date: Mon, 23 Oct 2017 21:41:21 +0200 User-Agent: K-9 Mail for Android In-Reply-To: References: <20171019170538.73d6473c@mortimer.gmerlin.de> MIME-Version: 1.0 Content-Type: text/plain; charset=utf-8 Content-Transfer-Encoding: quoted-printable To: Gabriel Scherer CC: caml users From: Christopher Zimmermann Message-ID: <441EA0D0-D075-4407-B50D-8CAEDD6039DF@gmerlin.de> X-Provags-ID: V03:K0:YBfOOczkcqvIBNhFnIi6jjk29PQfQAeS6Ax/K63/VEA2SuBVWjp 3p9AzQoogdV2r4FVud8b5CD6QvEz7aQ2h4gxdDevpF3Sqk7VhwpQisg7lRzR72f/rUQzTuZ vk778SOaO5deNphSBtKCl0e9yLZgS27S9iQxM0iUNm6INaNNZMZeMOrSUATvTwtdykb+9Tl te6mPh12C9qkx6xwRTfvg== X-UI-Out-Filterresults: notjunk:1;V01:K0:pL0i+JuTJ6Q=:y6dMZCHKNRltGKNMBjYlC5 y/fTz9wEqxiSNHiZTcfLhQXFMSN1dMRt6wbBQU4wZS2ve0UMVqczktg4M5t6RS1bK1ah8hxUu DXOE5arcEbWILurhtt9Ozd4UphNNS/oDGrnu2tvckBWR/rsuccP0qZ3PeWFQBoyFhYpgaehab 7mZty3zLdoyNFVwd3mxwWddk/WtJtHQQhB0rtN4XlmS3KyhMNRaM5t/w3DPiivNZsdYek+otX YGsrguRQTvEMvz0U+4ZqiO5Y7tdnQTWs6/Vk9zNTRpZZKTh538Qswk+tstPY3vPvzIDXQIrxe 8t9cH/vVUgntn9B7pzNbHkuZJc8WKJgDWv3XxqR6pVBgGIP/BpbHCEW2YWy05AEC/7NSsYVUg FYcYhSgM3LyaWz7yh6n8NA/fQN4g4dhoDRpUmpdqWdnXfBFMr7LEC/4L2hXShAmAQG0eOFFBS DXjeqHTFlHsC3izKZ7jhbcPjNe7haWVbeBoks2Su4HzEHzf0K7vqSgQ0ap1HggclyX5HAiXTV +IH0vcvawfJHfSpOgtD7W8a5Bnt3BTDBPAwwgJP9ctOaqsyeNojX/YKZqlk6+S4gtAmuBE8Ga t68zWiHULzfr0NTN6j+ZD/yofzM7w7HXmgl3hBuMXcz+LtmSh0jrh3PDkre2bou0zWTmnG8Zu LY9DLpeuIG2YNJvOArT38JeXs24mWf3zRTFkt+mKE9DxkZafBYh2hUs6kkgzaUU21kDaEhlNx yyj0A+hQYw+v5S8f5lPPW3iE2U48VdL1WtpaZrKND37PEEBXfewDAV0W0vI= Subject: Re: [Caml-list] use cc instead of gcc as default C compiler? On October 23, 2017 9:57:07 AM CEST, Gabriel Scherer wrote: >My guess is that cc is a broken compiler on many exotic operating >system >(or at least was when the ./configure was first written in the >nineties), >and in particular does not support the (modest) gcc extensions that the >runtime relies on. Using a standardized (yet portable) compiler was >deemed >an easier path to configure the OCaml distribution build system than >trying >to support the oddities of every Unix's C compiler under the sun. > >Note that the compiler distribution builds just fine under MacOS, which >now >uses Clang (llvm) instead of GCC -- and that you can configure the C >compiler you want to use with (./configure -cc ...). I don't see what >is >the problem here; and I would think that opting to choose GCC by >default is >still a perfectly reasonable choice today. My Problem is that custom OCaml builds, especially the ones done through op= am will use gcc and therefore fail to build projects with not so modest req= uirements. At the moment I'm just wondering at which level in the toolchain= this neuds fixing. OCaml configure, opam-repository or opam source? >On Thu, Oct 19, 2017 at 5:05 PM, Christopher Zimmermann < >christopher@gmerlin.de> wrote: > >> Hi, >> >> the Ocaml configure script uses gcc as default compiler. I wonder >> whether this is still a sensible default with llvm being a viable >> alternative. >> A more portable default would be to use plain `cc`, which will >usually >> be the system-wide default compiler. >> This is relevant because this compiler will also be hardcoded into >> ocamlopt as default c compiler. >> >> Christopher >> >> >> -- >> http://gmerlin.de >> OpenPGP: http://gmerlin.de/christopher.pub >> 2779 7F73 44FD 0736 B67A C410 69EC 7922 34B4 2566 >> -- http://gmerlin.de OpenPGP: http://gmerlin.de/christopher.pub F190 D013 8F01 AA53 E080 3F3C F17F B0A1 D44E 4FEE