From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: 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 144A07F02D for ; Mon, 20 Oct 2014 20:28:35 +0200 (CEST) Received-SPF: None (mail3-smtp-sop.national.inria.fr: no sender authenticity information available from domain of edwin+ml-ocaml@etorok.net) identity=pra; client-ip=62.113.205.31; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="edwin+ml-ocaml@etorok.net"; x-sender="edwin+ml-ocaml@etorok.net"; x-conformance=sidf_compatible Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of edwin+ml-ocaml@etorok.net designates 62.113.205.31 as permitted sender) identity=mailfrom; client-ip=62.113.205.31; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="edwin+ml-ocaml@etorok.net"; x-sender="edwin+ml-ocaml@etorok.net"; x-conformance=sidf_compatible; x-record-type="v=spf1" Received-SPF: Pass (mail3-smtp-sop.national.inria.fr: domain of postmaster@mx.etorok.net designates 62.113.205.31 as permitted sender) identity=helo; client-ip=62.113.205.31; receiver=mail3-smtp-sop.national.inria.fr; envelope-from="edwin+ml-ocaml@etorok.net"; x-sender="postmaster@mx.etorok.net"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: At0HAMRTRVQ+cc0f/2dsb2JhbABcgw5TWIs8wHOHTQKBExYBfYQDAQEEQDgCDwsYCRMDDwkDAgECAUUTCAKIPwmwCYYAj1cCBJBYFoQ1i2GKa4cTliKCNIFGOi+CSwEBAQ X-IPAS-Result: At0HAMRTRVQ+cc0f/2dsb2JhbABcgw5TWIs8wHOHTQKBExYBfYQDAQEEQDgCDwsYCRMDDwkDAgECAUUTCAKIPwmwCYYAj1cCBJBYFoQ1i2GKa4cTliKCNIFGOi+CSwEBAQ X-IronPort-AV: E=Sophos;i="5.04,757,1406584800"; d="scan'208";a="83986341" Received: from mx.etorok.net ([62.113.205.31]) by mail3-smtp-sop.national.inria.fr with ESMTP/TLS/DHE-RSA-AES256-SHA; 20 Oct 2014 20:28:34 +0200 Received: by mx.etorok.net (OpenSMTPD) with ESMTP id 3ea02c79; for ; Mon, 20 Oct 2014 21:28:32 +0300 (EEST) DKIM-Signature: v=1; a=rsa-sha1; c=relaxed/relaxed; d=etorok.net; h= message-id:date:from:mime-version:to:references:in-reply-to :content-type:content-transfer-encoding; s=ml; l=1806; bh=7PUyx0 OeP5R2hC7PUn/WQncGREI=; b=UtTmtYns2EiMYxtUPT4HGvd5V4jZ+x+deYQQ6M 8Aimhj2+XNcdvbhu7PIbDC9Rqi49a6LSqGClIRig2VV6HT8GIVRhN3ArXXbnyj/0 1KD5Sw4xWUzXlGgUxI0XYuqACqQMlHYgXQ1e/0jtKaSV0LXe2aoQ2ATWdUCkxbjL dYF5Y= Received: by mx.etorok.net (OpenSMTPD) with ESMTPSA id b974b91e; TLS version=TLSv1/SSLv3 cipher=ECDHE-RSA-AES128-GCM-SHA256 bits=128 verify=NO; for ; Mon, 20 Oct 2014 21:28:31 +0300 (EEST) Message-ID: <54455450.7080508@etorok.net> Date: Mon, 20 Oct 2014 21:28:32 +0300 From: =?windows-1252?Q?T=F6r=F6k_Edwin?= User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:31.0) Gecko/20100101 Icedove/31.1.2 MIME-Version: 1.0 To: caml-list@inria.fr References: <5443FCE6.50206@coherentgraphics.co.uk> <11999655bb7ce7053f90d1409045ba91@whitequark.org> <5444F76D.20904@coherentgraphics.co.uk> <98bddccae44b9764b252efd7ad3614c5@whitequark.org> <5444FCD9.2090704@inria.fr> In-Reply-To: <5444FCD9.2090704@inria.fr> Content-Type: text/plain; charset=windows-1252 Content-Transfer-Encoding: 7bit Subject: Re: [Caml-list] ANN: exn-source - exception backtraces with source code printing On 10/20/2014 03:15 PM, Francois Berenger wrote: > On 10/20/2014 02:06 PM, Peter Zotov wrote: >> On 2014-10-20 15:52, John Whitington wrote: >>> Noted. I'd like to add functionality like this. The first thing I'm >>> going to add is automatic finding of the stdlib, since this just >>> requires parsing the output of "ocamlc -config". >> >> I would take this directly from OCaml configuration (module Config, >> -package compiler-libs.common). No shelling out needed. >> >>> Unfortunately, I don't believe most OPAM packages install their >>> source, just the .mli files. I wonder how much extra space installing >>> source would take on average, and if people think it's worth it, for >>> this or other reasons. Other reasons for wanting things from the build directory are 'cmt/cmti' files for merlin/ocamlspot/ocp-index (or their equivalent file that only stores documentation used by opam-doc). Do these require the original source files to extract&format the documentation strings? >> >> I think it's mainly due to lack of infrastructure that could install >> sources (eg OASIS couldn't easily be coerced into doing that). You could >> probably make opam do the grunt work for you; no need to have the sources >> installed in the same places as mli or binaries! > > Isn't opam -b or --keep-build-dir supposed to keep the sources? > It does, but it also requires more disk space by keeping all the binaries and intermediate files around. Perhaps this tool could be extended to install the source files too, or something equivalent provided at the opam level: https://bitbucket.org/camlspotter/spotinstall Then you wouldn't need to modify the build system of every package to install its sources / its documentation /its annotation files. Best regards, --Edwin