From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <info@gerd-stolpmann.de>
X-Original-To: caml-list@sympa.inria.fr
Delivered-To: caml-list@sympa.inria.fr
Received: from mail1-relais-roc.national.inria.fr (mail1-relais-roc.national.inria.fr [192.134.164.82])
	by sympa.inria.fr (Postfix) with ESMTPS id A4F4D7F2AA
	for <caml-list@sympa.inria.fr>; Fri, 21 Dec 2012 21:41:13 +0100 (CET)
Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  info@gerd-stolpmann.de) identity=pra;
  client-ip=212.227.126.186;
  receiver=mail1-smtp-roc.national.inria.fr;
  envelope-from="info@gerd-stolpmann.de";
  x-sender="info@gerd-stolpmann.de";
  x-conformance=sidf_compatible
Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  info@gerd-stolpmann.de) identity=mailfrom;
  client-ip=212.227.126.186;
  receiver=mail1-smtp-roc.national.inria.fr;
  envelope-from="info@gerd-stolpmann.de";
  x-sender="info@gerd-stolpmann.de";
  x-conformance=sidf_compatible
Received-SPF: Pass (mail1-smtp-roc.national.inria.fr: domain of
  postmaster@moutng.kundenserver.de designates 212.227.126.186
  as permitted sender) identity=helo;
  client-ip=212.227.126.186;
  receiver=mail1-smtp-roc.national.inria.fr;
  envelope-from="info@gerd-stolpmann.de";
  x-sender="postmaster@moutng.kundenserver.de";
  x-conformance=sidf_compatible; x-record-type="v=spf1"
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AvwAAJPI1FDU4366k2dsb2JhbABFqyaSVBYOAQEBAQkJCwkUAySCHgEBBAE6NAsFCxkKDSE8CRIGEwkJh28DCQoIrFgDiV8UjEOEQwONZ4lAkiE
X-IronPort-AV: E=Sophos;i="4.84,331,1355094000"; 
   d="scan'208";a="187300074"
Received: from moutng.kundenserver.de ([212.227.126.186])
  by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 21 Dec 2012 21:41:13 +0100
Received: from office1.lan.sumadev.de (dslb-094-219-216-236.pools.arcor-ip.net [94.219.216.236])
	by mrelayeu.kundenserver.de (node=mrbap0) with ESMTP (Nemesis)
	id 0Lp8ey-1T7L0m0OLU-00eiNR; Fri, 21 Dec 2012 21:41:12 +0100
Received: from samsung (546BF816.cm-12-4d.dynamic.ziggo.nl [84.107.248.22])
	by office1.lan.sumadev.de (Postfix) with ESMTPSA id 8C1D4C00CF;
	Fri, 21 Dec 2012 21:41:11 +0100 (CET)
Date: Fri, 21 Dec 2012 21:41:10 +0100
From: Gerd Stolpmann <info@gerd-stolpmann.de>
To: Edgar Friendly <thelema314@gmail.com>
Cc: caml-list@inria.fr
References: <1356122094.22153.12@samsung> <50D4C86E.2010202@gmail.com>
In-Reply-To: <50D4C86E.2010202@gmail.com> (from thelema314@gmail.com on Fri
	Dec 21 21:37:02 2012)
X-Mailer: Balsa 2.4.11
Message-Id: <1356122470.22153.13@samsung>
MIME-Version: 1.0
Content-Type: text/plain; charset=us-ascii; DelSp=Yes; Format=Flowed
Content-Disposition: inline
Content-Transfer-Encoding: quoted-printable
X-Provags-ID: V02:K0:tPLdDVgzxD5jJoTGPnW7c9Aramuf4DF561P4WCzK0He
 MiwSrB4WaoTfMQMOoHVE8fXkhbsE/5i35R5FyVYmNS1BpOI3Mc
 KP3iYky6JjHGInfA0RVmV7kx4KMhfobknD2q7O2ezDx/S9FkYe
 uGERYBCiAXt50/j5TtJ1AI/hGsmq0wbx8r7xUh+mHlEWhPohU4
 V9HaWc249Spy5FmFfyjAzrj2W1Ihi6sVVX7uPPI0uFeUNQ98W4
 0R+bVtwQNSN+f2vTqxpSdcKhxtLgs5iymrmxEDRMsfMj2I/L5C
 goyitQi/6SkXTmn7vUN3OacCklf15f1JctK6s7Xo0LcFpSySaX
 hf1TSTTl9UQSZXuwT4BLnaq1UAdUynvmiOximnT19
Subject: AW: AW: AW: [Caml-list] OCaml search into libraries for ocaml.org

Am 21.12.2012 21:37:02 schrieb(en) Edgar Friendly:
> On 12/21/2012 3:34 PM, Gerd Stolpmann wrote:
>> Yes. I just need to figure out how to smuggle -bin-annot into all=20=20
>> builds. The rest seems to be a relatively moderate extension of the=20=
=20
>> existing code. Maybe when Xmas gets too boring...
>>=20
> As a library author, should I install .cmt files for all my modules?=20=
=20=20
> Should we make this the default in oasis?

I guess wrappers for all the ocaml* commands would be enough. Or maybe=20=
=20
a patch for ocaml. It would be painful if we had to change all the=20=20
existing builds.

Gerd

> E.
>=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
>=20


--=20
------------------------------------------------------------
Gerd Stolpmann, Darmstadt, Germany    gerd@gerd-stolpmann.de
Creator of GODI and camlcity.org.
Contact details:        http://www.camlcity.org/contact.html
Company homepage:       http://www.gerd-stolpmann.de
------------------------------------------------------------=