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 108867EE89 for ; Wed, 25 Oct 2017 10:04:16 +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.131; 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.131; 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.131; 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=3AsV7efBamyIlpSlNKynE1I3f/LSx+4OfEezUN459i?= =?us-ascii?q?sYplN5qZpcy5bnLW6fgltlLVR4KTs6sC0LWG9f24EUU7or+/81k6OKRWUBEEjc?= =?us-ascii?q?hE1ycBO+WiTXPBEfjxciYhF95DXlI2t1uyMExSBdqsLwaK+i76xXcoFx7+LQt4?= =?us-ascii?q?IPjuUs6X1pzvlrP6x5qGSglShTe7KZV7IBis5VHYutMXjI1KLKEtyV3OuHQeKM?= =?us-ascii?q?pMwmY9DlKJng3g4d+w8YQrwSVVvv878sdGV+2udKQiTKdECywmPnod68jmrx3C?= =?us-ascii?q?S02D6y1PAS0tjhNUDl2dv1nBVZDrv36/77Il1Q=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0BAAAD6RPBZhoN+49RaGgEBAQECAQEBA?= =?us-ascii?q?QgBAQEBFAEBAQEBAQEBAQEBBwEBAQEBhBhuJ4N6mVaBeg2YPgofhRwChGdDFAE?= =?us-ascii?q?BAQEBAQEBAQEBEgEBAQgLCwgoL4I4BQEeAQWCOwEBAQECASNWBQsLGAICBRMOA?= =?us-ascii?q?gIPSAYTihgMAQupGoInixIBAQgCASWBD4IfggeGY4UFgxSCYQWYc4h6gQmGXI0?= =?us-ascii?q?DgQCBf4h1hz6Vf4E5NoF8e12CZAmCY4F1dIpPgVUBAQE?= X-IPAS-Result: =?us-ascii?q?A0BAAAD6RPBZhoN+49RaGgEBAQECAQEBAQgBAQEBFAEBAQE?= =?us-ascii?q?BAQEBAQEBBwEBAQEBhBhuJ4N6mVaBeg2YPgofhRwChGdDFAEBAQEBAQEBAQEBE?= =?us-ascii?q?gEBAQgLCwgoL4I4BQEeAQWCOwEBAQECASNWBQsLGAICBRMOAgIPSAYTihgMAQu?= =?us-ascii?q?pGoInixIBAQgCASWBD4IfggeGY4UFgxSCYQWYc4h6gQmGXI0DgQCBf4h1hz6Vf?= =?us-ascii?q?4E5NoF8e12CZAmCY4F1dIpPgVUBAQE?= X-IronPort-AV: E=Sophos;i="5.43,431,1503352800"; d="scan'208";a="297795998" Received: from mout.kundenserver.de ([212.227.126.131]) by mail2-smtp-roc.national.inria.fr with ESMTP/TLS/DHE-RSA-AES128-GCM-SHA256; 25 Oct 2017 10:04:15 +0200 Received: from mortimer.gmerlin.de ([77.2.167.232]) by mrelayeu.kundenserver.de (mreue002 [212.227.15.167]) with ESMTPSA (Nemesis) id 0LnGP8-1dXgKO1cXG-00hicc; Wed, 25 Oct 2017 10:04:14 +0200 Date: Wed, 25 Oct 2017 10:04:12 +0200 From: Christopher Zimmermann To: Adrien Nader Cc: caml users Message-ID: <20171025100412.08d393e1@mortimer.gmerlin.de> In-Reply-To: <20171025065201.GA24593@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> X-Mailer: Claws Mail 3.15.0-dirty (GTK+ 2.24.31; x86_64-unknown-openbsd6.2) MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: quoted-printable X-Provags-ID: V03:K0:XRtyrNf8COt6JsB2vXaIcv+7otyVtORKQylY0oeU3hQKCjU3iyM UoQ1AK8Oz0gzuf3gIPypX6HGZD9kyi1Ki/idnts8E1M53+xgn2XqMEh7moSd+HvtI1W9IHH OvtL7ImEOPtyHConnbl9aMWy9dxO+GTaicT767RixiuX7VHS9Y2dbArSumNjtqXUjiujwpv BPQ47bsvf9bzWCttoe+uw== X-UI-Out-Filterresults: notjunk:1;V01:K0:d2/KjAuhnCY=:rahPmbV1Q6XfGRVPy7mU0w bVZXgLKwYz1s052EPaId/x8RUPOPyc04gLP/Mpye0YtMXvM0BisKDVLLxMtkrff+q+bo9gPgi aj3ubH8e030rOga2R8gnyIBUpZShkKt9TTazPEmtBDfObUsfXpUzu3Edy5yL3aNkkmI0Gr+3r P+GLyOZhftxQHwYu4uLN8cpXs1LYV0rvPywSakJg9wz9m25Cv74qK3Vu7d4DJa5bq0ys+BLVc rhIdK1oQ55iAoq81l5sgx5Nc3hGopi7sf08m9tTC7yrnX3Z0QMkI56vw+PZSype34Ob4dKaX4 xbYhWHZlsifVWDfULtwZ1pdF0a5rvjLVGVyFI54+a80unm1tk7ssP/u6E1R5ydn8hR4ixLnPw kwVFzErR98e2bblKRbwj2aBCecB25TmdcxtnN+LdoQ/YGqGfJsjbZ/oS35chocMnvDfzee20G 2Iz26sTfAM9AvlstrWeadRdef6hzJ+YtsbF6U4V3zpGsG/I88j906mDYyKa4XKjcQpnVSUwV0 dCwN0xcscZF8pjh9vjp0lfrd/qmJ8mW9VMCsFrCWDTTncV7Pj5J2wjafTOi4pvJB0iiCDchDl 0e+6i4QvfNHheM1BrK2xB2ZTUz+6p/bGi5LkTpLwYCstl8gOJj6z+DjbAfh7ay4abTFWXFRkG Djt2bKkNScjnv+i+YUVe/JcXR12xG+hvAcaH7V3ZfpfGRoJjQ/ARGZPbaBBDWt5TSCjfE76za 3E0dpF1S+AU3xdseYLJTBacpd/XNL74134dnN5bLtJ59CIF58DCyPN9eqn0= Subject: Re: [Caml-list] use cc instead of gcc as default C compiler? On 2017-10-25 Adrien Nader wrote: > Hi, >=20 > On Wed, Oct 25, 2017, Christopher Zimmermann wrote: > > >> My Problem is that custom OCaml builds, especially the ones done=20= =20 > > >through opam will use gcc and therefore fail to build projects with not > > >so modest requirements. At the moment I'm just wondering at which level > > >in the toolchain this neuds fixing. OCaml configure, opam-repository or > > >opam source? > > > > > >Could you elaborate on that =C2=AB therefore fail to build projects wi= th not > > >so modest requirements =C2=BB ?=20=20 > >=20 > > In my case it is core_kernel v0.9 which fails on OpenBSD gcc 4.2.1 beca= use it uses -mpopcnt, while it compiles just fine with OpenBSD cc clang 4.0= .0.=20=20 >=20 > I believe there are several things to change. I outline my thoughts > below; I've sorted them by due date: >=20 > 1- (overdue): Openbsd should stop shipping GCC 4.2: it's ten years old > and unmaintained. *TEN* years. It shouldn't be a surprise it starts > causing issues. The very reason 'gcc' has been used by ocaml instead of > 'cc' was to avoid bad compilers on old systems and now openbsd is > re-creating similar issues, only with a different twist. OpenBSD, FreeBSD, darwin all switched to clang because of licensing issues. They won't integrate gcc >4.2.1 into the base system because it is GPLv3. They do however ship a recent clang, called 'cc'. 'gcc' 4.2.1 is only included for a transition period on OpenBSD base system. recent gcc compilers are installable from ports. They are called 'egcc'. > 2- (easy, compatible): OCaml's configure script should probably fallback > to clang if GCC isn't found. It already does that. > That way, with openbsd not shipping GCC 4.2 anymore This may happen some time, but you might install a recent gcc from ports then, which would confuse the build script. > clang would be automatically selected. I assumue ports ship a > modern GCC and installing this one would still result in a working > setup. Unsurprisingly, this is the step where you're invited to > contribute: it should really be a small change. My only concern is that > I seem to recall past discussions related to detecting clang but not > their outcome. As I wrote above this is already the current behaviour. > 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. Still I would pledge to use 'cc' as default in such a new configure script. --=20 http://gmerlin.de OpenPGP: http://gmerlin.de/christopher.pub 2779 7F73 44FD 0736 B67A C410 69EC 7922 34B4 2566