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 mail4-relais-sop.national.inria.fr (mail4-relais-sop.national.inria.fr [192.134.164.105]) by sympa.inria.fr (Postfix) with ESMTPS id 99F1B7F2AA for ; Sat, 22 Dec 2012 00:47:09 +0100 (CET) Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of info@gerd-stolpmann.de) identity=pra; client-ip=212.227.126.186; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="info@gerd-stolpmann.de"; x-conformance=sidf_compatible Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of info@gerd-stolpmann.de) identity=mailfrom; client-ip=212.227.126.186; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="info@gerd-stolpmann.de"; x-sender="info@gerd-stolpmann.de"; x-conformance=sidf_compatible Received-SPF: Pass (mail4-smtp-sop.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=mail4-smtp-sop.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: AoABANzz1FDU4366k2dsb2JhbABFqzWSVBYOAQEBAQkJCwkUAySCHgEBBAEMYgsQIw0hPAkSBhMJCYdvAwkKCKx5A4lfFIxDhEMDjWeJQJIh X-IronPort-AV: E=Sophos;i="4.84,332,1355094000"; d="scan'208";a="166586568" Received: from moutng.kundenserver.de ([212.227.126.186]) by mail4-smtp-sop.national.inria.fr with ESMTP/TLS/RC4-SHA; 22 Dec 2012 00:47:08 +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=mreu2) with ESMTP (Nemesis) id 0M2HoW-1Su5cN37BM-00sSMn; Sat, 22 Dec 2012 00:47:07 +0100 Received: from samsung (546BF816.cm-12-4d.dynamic.ziggo.nl [84.107.248.22]) by office1.lan.sumadev.de (Postfix) with ESMTPSA id 468ACC00CF; Sat, 22 Dec 2012 00:47:06 +0100 (CET) Date: Sat, 22 Dec 2012 00:47:05 +0100 From: Gerd Stolpmann To: =?iso-8859-1?b?VPZy9ms=?= Edwin Cc: caml-list@inria.fr References: <50D4CB13.3020600@gmail.com> <50D4CDCF.9080507@etorok.net> In-Reply-To: <50D4CDCF.9080507@etorok.net> (from edwin+ml-ocaml@etorok.net on Fri Dec 21 21:59:59 2012) X-Mailer: Balsa 2.4.11 Message-Id: <1356133625.22153.14@samsung> MIME-Version: 1.0 Content-Type: text/plain; charset=ISO-8859-15; DelSp=Yes; Format=Flowed Content-Disposition: inline Content-Transfer-Encoding: quoted-printable X-Provags-ID: V02:K0:et71H+5g/WdUKpy8VEka7ZKuF9Its3EKFssiCY1aSIA fja4HkAMhPrOPUDHayBIS36mEYQycObCoM6set5BNCFQKcnhzz Kihz22aDvZ1PIk1eLJN04M/FO8pw/YzLKf9r1shOZ90QhMBjeN cTiEhzLcBPcWIoFCJ/1nKOI7t8se+1PVC8HyORPvVOmGL9f8nI acPBr3ffokoRPu+gJ4B1MP8lZ3ppnyzeovmcfmjPsoxqBKjqoI rUprvcJ/GlpHiYyNHzPs4IhHurs/DbOV0P6bb6BtHvro/FjERA hYdRu+sifwYt0qXxXwk0BBLpJ54FO3TZB0Z+Xmi56K2AKBqqfH aEWoRmvBJJ6y9KIcRp8c= Subject: AW: [Caml-list] Re: Library install standards Am 21.12.2012 21:59:59 schrieb(en) T=F6r=F6k Edwin: > On 12/21/2012 10:48 PM, Edgar Friendly wrote: > > On 12/21/2012 3:41 PM, Gerd Stolpmann wrote: > >> Am 21.12.2012 21:37:02 schrieb(en) Edgar Friendly: > >>> As a library author, should I install .cmt files for all my=20=20 > modules? Should we make this the default in oasis? > >> > >> I guess wrappers for all the ocaml* commands would be enough. Or=20=20 > maybe a patch for ocaml. It would be painful if we had to change all=20= =20 > the existing builds. > > Wrapping the ocaml* commands seems reasonable, but I was asking a=20=20 > more general question about what files should be installed for=20=20 > libraries. > > > > 1) .cma and .cmxa files clearly need to be installed for linking >=20 > .a and .so too. >=20 > > 2) .cmi files need to be installed for compiling (?) > > 3) .cmx files should be installed for cross-module inlining /=20=20 > optimization >=20 > are .cmx files needed when .cmxa is available? No, they aren't. However, the presence of .cmx files enables=20=20 cross-module inlining, so at least for select modules it is reasonable=20= =20 to install them. > > 4) .cmt files for compiler tools > > 5) .mli files for users to read directly (optional) > > 6) Any .cmo files not put into .cma libraries > > What am I forgetting? >=20 > .cmxs, but oasis handles that already. > And of course a META file, but thats implied. IMHO, the question of compiler switches is also important. I recommend=20= =20 to build all modules with -g, because this enables debugging. For some libraries I also install .p.cmxa, i.e. the same library=20=20 compiled with -p for profiling. I don't know how to do that with oasis,=20= =20 though. Gerd >=20 > Best regards, > --Edwin >=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 --=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 ------------------------------------------------------------=