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 9F5A07EE35 for ; Wed, 23 Mar 2016 11:02:51 +0100 (CET) IronPort-PHdr: 9a23:/37BwRDGjKC1uGN/RHP0UyQJP3N1i/DPJgcQr6AfoPdwSP7yp8bcNUDSrc9gkEXOFd2CrakU26yP7eu4BSQp2tWojjMrSNR0TRgLiMEbzUQLIfWuLgnFFsPsdDEwB89YVVVorDmROElRH9viNRWJ+iXhpQAbFhi3DwdpPOO9QteU1JTnkbnssMWPKyxzxxODIppKZC2sqgvQssREyaBDEY0WjiXzn31TZu5NznlpL1/A1zz158O34YIxu38I46Fp34d6XK77Z6U1S6BDRHRjajhtpZ6jiR6WYQKJ53YYZU+ClAhMAkCR4Bj8X5r19CHnu+xv3CiyMNfsRKw1QCmvqaxrHkzGkiACYgI592TekYRfhbBSrxSopgZyi9rIYIaQPeFWcarPdNwcTGtbU4BWTSMXUdD0VJcGE+dUZbUQlIL6vVZb6ELmXQQ= Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=thomas.gazagnaire@gmail.com; spf=Pass smtp.mailfrom=thomas.gazagnaire@gmail.com; spf=None smtp.helo=postmaster@mail-wm0-f42.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of thomas.gazagnaire@gmail.com) identity=pra; client-ip=74.125.82.42; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="thomas.gazagnaire@gmail.com"; x-sender="thomas.gazagnaire@gmail.com"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of thomas.gazagnaire@gmail.com designates 74.125.82.42 as permitted sender) identity=mailfrom; client-ip=74.125.82.42; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="thomas.gazagnaire@gmail.com"; x-sender="thomas.gazagnaire@gmail.com"; 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@mail-wm0-f42.google.com) identity=helo; client-ip=74.125.82.42; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="thomas.gazagnaire@gmail.com"; x-sender="postmaster@mail-wm0-f42.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CNAQAqafJWiypSfUpehQHCbYFBPBABAQEBAQEBARABAQEICwsJHzGCLYIVAQEDARIoBgE4AQMBCwEFBS0ZNAEFARwGNYdwAwoIBKFkgTE+MY93hxknDYRxAQoBAQEWAQUKBYgCglGEOkGCbIIrBZdZiGQFhgCIQw6FVI1JL4EPN2CBQYFvaooLAQEB X-IPAS-Result: A0CNAQAqafJWiypSfUpehQHCbYFBPBABAQEBAQEBARABAQEICwsJHzGCLYIVAQEDARIoBgE4AQMBCwEFBS0ZNAEFARwGNYdwAwoIBKFkgTE+MY93hxknDYRxAQoBAQEWAQUKBYgCglGEOkGCbIIrBZdZiGQFhgCIQw6FVI1JL4EPN2CBQYFvaooLAQEB X-IronPort-AV: E=Sophos;i="5.24,382,1454972400"; d="scan'208";a="170351330" Received: from mail-wm0-f42.google.com ([74.125.82.42]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 23 Mar 2016 11:02:50 +0100 Received: by mail-wm0-f42.google.com with SMTP id r129so128433747wmr.1 for ; Wed, 23 Mar 2016 03:02:50 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=gmail.com; s=20120113; h=sender:mime-version:subject:from:in-reply-to:date:cc :content-transfer-encoding:message-id:references:to; bh=bQ3p3sgcnwzJWsiqEyIkw77GqOcSb5+Dx2mg8Wcy0+Y=; b=OV3ivoiUJdEqF/6O2r/QVdJF2DLw0JBv+7zm+f8kRLx/lIoAwnsXoWtd2pedhofRTI GBFDKKpQ4ny7OeuDO2U2ReMigAHcDAuEGUhEEvb7uj4FjokLL3gOV7ipWPBOMgHD7bxT 5HVpnYBIFldz+RCxX4G852dVE52qqn6zXUqac5tONLzcE0IPJ1PaloZ3ljFU3rl1DTaJ Tn9OXJ8aBKmlXG3eMXFhc5wTyjornKCWBATvHxkw7fHMY9uIylb2mJIh162hIBXkLAso Y9fzl26EPmtbY7S92kbjRgiYntq6ePmEbvCUMsACs3qLMz2Z3hJNGo6/GmdYxt9W+Led Z8rg== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:sender:mime-version:subject:from:in-reply-to :date:cc:content-transfer-encoding:message-id:references:to; bh=bQ3p3sgcnwzJWsiqEyIkw77GqOcSb5+Dx2mg8Wcy0+Y=; b=kmx86rckw0g85Wl9qlzegBRiUhTsDXkqd4UAoBrsFM6fH4m0fLqnmx5Ndbp//JKsYx zzNu1zPr3QriOeYmP2YWmDocKofNC1mJSweq+UsGBvzj9DmjkO8uECZeLCKcwvR/0lPd Uz7udLqSfMTM4c0DJKjnsFQrU55xO1S6KbDDPOPd8CGXSijuM4hdvyFnMDX9quFLUUcc XBUGt85JqeEzua9qu8Ew5WlrGT+NSClGYqQlv3Jb9TgXFZInj29nLTYTMzwSrIP/0WZl +SbBrDIVT0VtGE7KNck4DZlxbFHstlUfr3Fxr1eiAg69QOjH0Htk+NUM3wNRiAhlOhTd 5gcg== X-Gm-Message-State: AD7BkJJITpo3jOULcMpA3+3bFhY71MdSfYZtvg3taNUG99Zwv2QlXaWQqi81ADq2zQIXpA== X-Received: by 10.194.115.35 with SMTP id jl3mr2374139wjb.76.1458727370648; Wed, 23 Mar 2016 03:02:50 -0700 (PDT) Received: from [192.168.0.2] (cpc91206-cmbg18-2-0-cust57.5-4.cable.virginm.net. [81.101.26.58]) by smtp.gmail.com with ESMTPSA id v188sm21333378wmv.3.2016.03.23.03.02.49 (version=TLS1 cipher=ECDHE-RSA-AES128-SHA bits=128/128); Wed, 23 Mar 2016 03:02:49 -0700 (PDT) Sender: Thomas Gazagnaire Content-Type: text/plain; charset=us-ascii Mime-Version: 1.0 (Mac OS X Mail 8.2 \(2104\)) From: Thomas Gazagnaire In-Reply-To: <30AF5A7CB977477A9BF094F3BC19C58C@erratique.ch> Date: Wed, 23 Mar 2016 10:02:47 +0000 Cc: platform , OCaml List Content-Transfer-Encoding: quoted-printable Message-Id: References: <30AF5A7CB977477A9BF094F3BC19C58C@erratique.ch> To: =?utf-8?Q?Daniel_B=C3=BCnzli?= X-Mailer: Apple Mail (2.2104) Subject: Re: [Caml-list] Package compilation and debug mode > By default all my packages are released with -g disabled. It seems easy e= nough to have an opam switch (even the official one) that automatically ena= bles the flag. How do you envision such a global debug flag? As far as I know, there is no= configuration-time option to enable that option in the compiler (which wou= ld be the cleaner option IMHO). I'd rather avoid using OCAMLPARAM for this.= A new opam variable can be created and used in the opam file to pass the d= ebug command (or not) explicitly to the build system, but this will require= adapting all the build systems (and ideally a new release of opam, but we = can work-around that by setting OPAMVAR_debug in the .comp file). > So I think OCaml's opam repository should have a policy here. The answer = should also take system package managers into account since those pull dire= ctly from the tarballs (if this document [3] is still in use for debian it = seems they do require compilation with debug mode). >=20 > Personally I don't have an opinion about it, I'm rather seeking an answer= here. I don't have a strong opinion either. I like when packages come with -g by = default, but I can understand that the (small) runtime cost can be a proble= m for deployment scenarios. Thomas=