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 9F2C980211 for ; Thu, 19 Oct 2017 17:05:47 +0200 (CEST) Authentication-Results: mail3-smtp-sop.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 (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of christopher@gmerlin.de) identity=pra; client-ip=217.72.192.73; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="christopher@gmerlin.de"; x-sender="christopher@gmerlin.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of christopher@gmerlin.de) identity=mailfrom; client-ip=217.72.192.73; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="christopher@gmerlin.de"; x-sender="christopher@gmerlin.de"; x-conformance=sidf_compatible Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of postmaster@mout.kundenserver.de) identity=helo; client-ip=217.72.192.73; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="christopher@gmerlin.de"; x-sender="postmaster@mout.kundenserver.de"; x-conformance=sidf_compatible IronPort-PHdr: =?us-ascii?q?9a23=3AJhpcfB+6zryguv9uRHKM819IXTAuvvDOBiVQ1KB9?= =?us-ascii?q?0+4cTK2v8tzYMVDF4r011RmSAtWdtqoMotGVmp6jcFRI2YyGvnEGfc4EfD4+ou?= =?us-ascii?q?JSoTYdBtWYA1bwNv/gYn9yNs1DUFh44yPzahANS47TeVDInX2z8TNXXzy3dU8s?= =?us-ascii?q?fry0ScbuiJG83uW2s4DIbh9TzG62aLZ2aRG3thn5t88MgIIkJLxnmTXTpX4dUO?= =?us-ascii?q?RMxHh0IkqTkgy01Ma1+ZN59i1Wvbp1/M5aUL7meLw4QKZwAzErKWQ04ovnuE+Q?= =?us-ascii?q?HkO0+nIAXzBOwVJzCA/f4US/B8+pvw=3D=3D?= X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: =?us-ascii?q?A0CYAQAxvuhZgEnASNldSQYMhBhuJ51Ug?= =?us-ascii?q?geYOgcDH4ooQxQBAQEBAQEBAQEBARIBAQkNCQgmMYI4JAGDfBMhToo3AQutIot?= =?us-ascii?q?Ugy+CB4oUh08FoVOBCYZYjQF/gQl2iHCHOJV0gTk2Y4EZe4NBCYIDAQuCSXSKZ?= =?us-ascii?q?gEBAQ?= X-IPAS-Result: =?us-ascii?q?A0CYAQAxvuhZgEnASNldSQYMhBhuJ51UggeYOgcDH4ooQxQ?= =?us-ascii?q?BAQEBAQEBAQEBARIBAQkNCQgmMYI4JAGDfBMhToo3AQutIotUgy+CB4oUh08Fo?= =?us-ascii?q?VOBCYZYjQF/gQl2iHCHOJV0gTk2Y4EZe4NBCYIDAQuCSXSKZgEBAQ?= X-IronPort-AV: E=Sophos;i="5.43,402,1503352800"; d="scan'208";a="241672214" Received: from mout.kundenserver.de ([217.72.192.73]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES128-GCM-SHA256; 19 Oct 2017 17:05:46 +0200 Received: from mortimer.gmerlin.de ([77.2.170.160]) by mrelayeu.kundenserver.de (mreue102 [212.227.15.183]) with ESMTPSA (Nemesis) id 0MORwj-1eAx1b0UVR-005rlQ for ; Thu, 19 Oct 2017 17:05:46 +0200 Date: Thu, 19 Oct 2017 17:05:38 +0200 From: Christopher Zimmermann To: caml users Message-ID: <20171019170538.73d6473c@mortimer.gmerlin.de> X-Mailer: Claws Mail 3.15.0-dirty (GTK+ 2.24.31; x86_64-unknown-openbsd6.2) MIME-Version: 1.0 Content-Type: multipart/signed; micalg=pgp-sha256; boundary="Sig_/sCAPz+hwU_AL70uom//rU3h"; protocol="application/pgp-signature" X-Provags-ID: V03:K0:1Yrro3MmkvTEU8A7a0xmyO9Q8xK1pnE2vnmhdLB//Gfg6HOfOta EI27aA29FDIEFehuW4AgBhn4zXMpvkarchnRqVTW1dgnTDZZiKotHS7ytsPsUU5LiI2LPiI NfpCfL+xijJBLCtTu5XSmC3pfYR+Sxj+KYrpYfDokUE8PJljV+9k1ps/JSWe/YtC87OcD42 awn6LxhOWDWgw8vXzpnAQ== X-UI-Out-Filterresults: notjunk:1;V01:K0:eqHtcPxlvRY=:99qjDytC0Bs6k8Wh+ARttX r2Djoag/KjbTltOCIxJhrVjFtLSdgK0Tig9OawucXvbzNZAiUBT7nPt9rHRB0ivxMcSoYs32B M/jeBNw3ZPDQC4C8os7KvXceW3bTI5XGxxrZcOjlnSa7M4HfBwzetHSUOlGxo8bYp+6tLE8Si CTCACXkfFsxZsbq8uaa3ulycgpG5fPRmQaX3a5pJ2kE4hnOa+wpI/S8WFumQRC34dG1YovXQo xLvv3yCgQldp82oV3HWY9g2jrRuD3IeH6KAx/a22K/fuPoQLgNDPS5y0iAUr6lfpf4P8ol/qP kQzoSpg6y+ST2zPfc33E5ZCmWYynWVi6rVS32shdcp352R2TC0CBFSr1tKv5dR6ar1Vw0kslZ vCUeMEEQDm1z5iqu4o/BoQkEDeWfb25rTo5smh0jCOTZE5DqeLj5A5bVlwiK/YgWRkCS2Zdfy yConI72eHVDPV8+abuytKddCyjJiglgrLlw3o95CTBHjNmpH9qRv9EfGTksByZ6pgaqrwEc2F 635KJkcJ2Q4mQ4y1/mAX9WV1pU+ZKR90ztFI1ZdC4FFk6NbGx/cKJhhNxnt+NnxCeKder6c5F hbod2ojr8Hn+1l5NG7IsGYmexmRXzURTJ7QfBOEDbbLfryTHxhdOVBlfNiDTOswnZjT9DF0D3 Ow1jQW6EWYizx7yw+8bf8YDxmt/tfe26OTujw5gHLOFqD/RILn8tg30tRrsOA+q1DzuwwjDZX bC0KbNGFVwi+KJW5F5UB5FtYLIMtKfWagfDvPA== Subject: [Caml-list] use cc instead of gcc as default C compiler? --Sig_/sCAPz+hwU_AL70uom//rU3h Content-Type: text/plain; charset=US-ASCII Content-Transfer-Encoding: quoted-printable 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 --=20 http://gmerlin.de OpenPGP: http://gmerlin.de/christopher.pub 2779 7F73 44FD 0736 B67A C410 69EC 7922 34B4 2566 --Sig_/sCAPz+hwU_AL70uom//rU3h Content-Type: application/pgp-signature Content-Description: OpenPGP digital signature -----BEGIN PGP SIGNATURE----- iQIzBAEBCAAdFiEEJ3l/c0T9Bza2esQQaex5IjS0JWYFAlnov0MACgkQaex5IjS0 JWbHwg//TDz3wsvc9tBh63gntzZNAGloncTP9WaA6fqflO7B1CdexvkBafwTGthi gE+VsJ3uy3w7vKvHSgveSnuHR8y/SByZsWYXn3ycdbHj55FRGeavVBgNNRtW1OER YQGKVnYiDvVCZyg37aBr00IM/v2JaSRx1S35rmXEV/nWcwGTZnJ2CESl15W0m1Dz IleUdzHycb4RBLb0f1sFmQUCFQ6obPFFd8KuOKTVRmz0Bxc/ymDB8bv1qasF5WKc NQbRfwo2V7hjPMGe/n7tZQFXB4w+HtimZKKxV0ZHkFT+cRT1DeIB2Qb9KwQ6tUcC SMOl2W6WjgbtIAWmdR5eWwH2Ghl/TP2nGfEMRKzj3HnbF94u7eu79qvvJr1NPayo wXV6rkdB3lnhMANHO/4u3BCO9EDn4hMpsMFSyrSETo5VaFB2dIZ51dH29lBkmlVi BLSrtBceRd9Y9/Lhhdhj/imttY5dv5U6OhgxEvyME9kCkz1x2iKlhZb7bm4RwuQc Dpd7IM9ULZoBx+q9XoiF5bTFYxmx4BGYviKmKfkiC7iCxVQKNviDSEzbdDQGAQVB zsf4iHxoHOaV8GF8YZwVPH2C8H3IR1Fh65TjF7SKRLWZyphXEStC2Lbgvybitofg 2pUwwCfgdTGNqTufA1cpoDhO0wphbwU6cxRVwDcETzLmTq1kH/A= =ejTQ -----END PGP SIGNATURE----- --Sig_/sCAPz+hwU_AL70uom//rU3h--