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 B1DDF7F0AF for ; Sun, 13 Mar 2016 20:16:27 +0100 (CET) IronPort-PHdr: 9a23:1knz8BUwxtjxfd31qJsgW3e93wLV8LGtZVwlr6E/grcLSJyIuqrYZxSHt8tkgFKBZ4jH8fUM07OQ6PC/Hz1cqs/b7DgrS99laVwssY0uhQsuAcqIWwXQDcXBSGgEJvlET0Jv5HqhMEJYS47UblzWpWCuv3ZJQk2sfTR8Kum9IIPOlcP/j7n0oM2MJVQUz2PnPftbF1afk0b4joEum4xsK6I8mFPig0BjXKBo/15uPk+ZhB3m5829r9ZJ+iVUvO89pYYbCf2pN4xxd7FTDSwnPmYp/4Wr8ECbFUrc0EABSX0bmQZkBA3M7ReyHsug83iyiu0o9CCcPMDyepqgXyam7u8/RBbuiSoDcTQk/WfFjs1YgbhBqQ6gvgFyhYXUNtK7Lv17K4LDdNVSam1dWdhaVy1dGcvobpUAJ+sMMOseqJPy8Qhd5SCiDBWhUbu8ggRDgWX7iOhniuk= Authentication-Results: mail3-smtp-sop.national.inria.fr; spf=None smtp.pra=ivg@ieee.org; spf=Pass smtp.mailfrom=ivg@ieee.org; spf=None smtp.helo=postmaster@mail-qg0-f48.google.com Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of ivg@ieee.org) identity=pra; client-ip=209.85.192.48; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="ivg@ieee.org"; x-sender="ivg@ieee.org"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of ivg@ieee.org designates 209.85.192.48 as permitted sender) identity=mailfrom; client-ip=209.85.192.48; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="ivg@ieee.org"; x-sender="ivg@ieee.org"; 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-qg0-f48.google.com) identity=helo; client-ip=209.85.192.48; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="ivg@ieee.org"; x-sender="postmaster@mail-qg0-f48.google.com"; x-conformance=sidf_compatible X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: A0CRAQDOu+VWkzDAVdFDGoQQbalzj0eBBIFtI4VqAoEeOhIBAQEBAQEBARABAQEBBw0JCSEvgi2CFAEBAQMBEhEdAQEsCwEECwsYAgIJCBUCAjQBBQEKEgYTEhCHbQMKCA4snwaBMT4xik9nhEEBBIVJA4ROAQEBAQEBAQEBAQEBAQEBAQEBAQEBDwYKcoUcgXOCT4Q4QYJBK4EPhiUMkR+FboJzBYUagjCGcw6FVI0/L4EPJwKCLx6BbE4BAQGKYAEBAQ X-IPAS-Result: A0CRAQDOu+VWkzDAVdFDGoQQbalzj0eBBIFtI4VqAoEeOhIBAQEBAQEBARABAQEBBw0JCSEvgi2CFAEBAQMBEhEdAQEsCwEECwsYAgIJCBUCAjQBBQEKEgYTEhCHbQMKCA4snwaBMT4xik9nhEEBBIVJA4ROAQEBAQEBAQEBAQEBAQEBAQEBAQEBDwYKcoUcgXOCT4Q4QYJBK4EPhiUMkR+FboJzBYUagjCGcw6FVI0/L4EPJwKCLx6BbE4BAQGKYAEBAQ X-IronPort-AV: E=Sophos;i="5.24,332,1454972400"; d="scan'208";a="168445236" Received: from mail-qg0-f48.google.com ([209.85.192.48]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/AES128-GCM-SHA256; 13 Mar 2016 20:16:25 +0100 Received: by mail-qg0-f48.google.com with SMTP id y89so138024672qge.2 for ; Sun, 13 Mar 2016 12:16:25 -0700 (PDT) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=ieee-org.20150623.gappssmtp.com; s=20150623; h=mime-version:subject:from:in-reply-to:date:cc :content-transfer-encoding:message-id:references:to; bh=GzXv+LPAsmFtx8/Pt8GQQEnepvDUslS/w6fOQxsztxg=; b=CcCy2QtzMCPcEG64shu0OKiIPZPnxOPs5d0nQXB6XLFQK7RFRXPH/EEvo8kkZNLduh 5Jo2Zs7m7OLMSCP2WwfxB7BWzuLSHDArTGccbroGblhT9HDtuaa0SuheVM6lEdZl8w6i a371WE8+gxBfd2yXhaPV06g3316JAu8+DR0vyzXMvURapBtqA39O7VrAWWUvUUlRs5kG AydbMYrTVw1t9NagdKv+GEm6k/HUBLrOu+PYnkVYuIlSJrFLmgFdYRUF2L0yAA6U8Dop m4w8p8fD6PMvliL38bFKm5VZW6HeDF+cq76J7OuRmyVApohLc3/sb83KDAJTF0C9G3Ah n5Ew== X-Google-DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed; d=1e100.net; s=20130820; h=x-gm-message-state:mime-version:subject:from:in-reply-to:date:cc :content-transfer-encoding:message-id:references:to; bh=GzXv+LPAsmFtx8/Pt8GQQEnepvDUslS/w6fOQxsztxg=; b=d6Xq9zZCy2jxxR1Nfuxs6BF2+IxWMmDD4ZDM4vWgiCxYph08+Tkv7+HUXTbLTi7Cmh wC9sz3uYZwSI/SsXFhETbmE4qdK4gI6hFSci2lXf/3Ylro2jvuk3VoQSZ7fP5fFe6IJm nlwBlCUcCpViVmfp9TnvYOTCx8RKf6DguaBadtBVZnj7epXxMeJmsP+xkMyL4qEFynMD SrCiy///l/nmDvhR13+gmIli61/XYJL8iyZ2uosxgaxXWCyzBp8UfbdNY6HJlxC2XGq7 f7K8avZ8BwkAO5gtG+avAY/WLCGi9DjKwwpKPhewEbIkeFnkxAfTPRz7DUahnG5zYFVF hbyQ== X-Gm-Message-State: AD7BkJIxfb1pABzHFggex+T+OYJmmepwRi+n6YXH8lFkYE1SXo31ofmtSHxe1q5leCnIRURY X-Received: by 10.140.42.106 with SMTP id b97mr25660197qga.6.1457896584042; Sun, 13 Mar 2016 12:16:24 -0700 (PDT) Received: from [192.168.1.3] (c-73-154-254-29.hsd1.pa.comcast.net. [73.154.254.29]) by smtp.gmail.com with ESMTPSA id a66sm8718407qkb.20.2016.03.13.12.16.22 (version=TLS1 cipher=ECDHE-RSA-AES128-SHA bits=128/128); Sun, 13 Mar 2016 12:16:23 -0700 (PDT) Content-Type: text/plain; charset=utf-8 Mime-Version: 1.0 (Mac OS X Mail 9.2 \(3112\)) From: Ivan Gotovchits In-Reply-To: <30AF5A7CB977477A9BF094F3BC19C58C@erratique.ch> Date: Sun, 13 Mar 2016 15:16:22 -0400 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.3112) Subject: Re: [Caml-list] Package compilation and debug mode It looks like, that currently the `-g` option has no performance cost at al= l (correct me if I=E2=80=99m wrong). Presumably, there is some increase in = the package size, but who cares. With these premises, I think it would be a= good policy to distribute packages with `-g` flag enabled.=20=20 > On Mar 12, 2016, at 4:35 PM, Daniel B=C3=BCnzli wrote: >=20 > Hello,=20=20 >=20 > I'd like to know what the consensus is about distributing packages that a= lways compile in debug mode. It seems that some persons do want to have deb= ug always enabled [1,2], but the discussion is not clear cut [1].=20 >=20 > 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. >=20 > 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. >=20 > Best, >=20 > Daniel >=20 > [1] http://caml.inria.fr/mantis/view.php?id=3D6728 > [2] http://rgrinberg.com/blog/2016/02/26/opam-package-checklist/ > [3] http://pkg-ocaml-maint.alioth.debian.org/ocaml_packaging_policy.html/= c305.html#AEN307 >=20 >=20 >=20 > --=20 > Caml-list mailing list. Subscription management and archives: > https://sympa.inria.fr/sympa/arc/caml-list > Beginner's list: http://groups.yahoo.com/group/ocaml_beginners > Bug reports: http://caml.inria.fr/bin/caml-bugs