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 DE99C7F2AB for ; Fri, 21 Dec 2012 22:00:01 +0100 (CET) Received-SPF: None (mail4-smtp-sop.national.inria.fr: no sender authenticity information available from domain of edwin+ml-ocaml@etorok.net) identity=pra; client-ip=176.9.138.55; receiver=mail4-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 (mail4-smtp-sop.national.inria.fr: domain of edwin+ml-ocaml@etorok.net designates 176.9.138.55 as permitted sender) identity=mailfrom; client-ip=176.9.138.55; receiver=mail4-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 (mail4-smtp-sop.national.inria.fr: domain of postmaster@mail.etorok.net designates 176.9.138.55 as permitted sender) identity=helo; client-ip=176.9.138.55; receiver=mail4-smtp-sop.national.inria.fr; envelope-from="edwin+ml-ocaml@etorok.net"; x-sender="postmaster@mail.etorok.net"; x-conformance=sidf_compatible; x-record-type="v=spf1" X-IronPort-Anti-Spam-Filtered: true X-IronPort-Anti-Spam-Result: AloHAD/M1FCwCYo3/2dsb2JhbABFg0i6MxZzgh4BAQQBQAEBNgIECwsYCRYPCQMCAQIBRRMIAogJCqJihDoBBY8bBoxXgRqDKZYOhWuKXYJ2 X-IronPort-AV: E=Sophos;i="4.84,332,1355094000"; d="scan'208";a="166580482" Received: from mail.etorok.net ([176.9.138.55]) by mail4-smtp-sop.national.inria.fr with ESMTP; 21 Dec 2012 22:00:01 +0100 Received: from [172.30.42.2] (unknown [79.114.30.32]) by mail.etorok.net (Postfix) with ESMTPSA id 6728E46B3 for ; Fri, 21 Dec 2012 22:00:00 +0100 (CET) DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/simple; d=etorok.net; s=MAILOUT; t=1356123600; bh=+j01fe0F1cCuDHIXxkKrmMayMET6nZT3r/Z5wDW6PUM=; h=Message-ID:Date:From:MIME-Version:To:Subject:References: In-Reply-To:Content-Type:Content-Transfer-Encoding; b=dNAww/py7VWoCV1X6+5dqX58kEkPnvVYfhrd7A0vfLrt+80TaKiBn4M380LmTxcAS 6VSCDs0mwDGLhTm3v+sn7y97EXG4wfkbzUY2Lv0T31iw966a1YX/MGr+cnv1S0dsj8 IL3xcERN5Hbfd5aMgS3J6pU3oY7amDtf/7wtHwjA= Message-ID: <50D4CDCF.9080507@etorok.net> Date: Fri, 21 Dec 2012 22:59:59 +0200 From: =?ISO-8859-1?Q?T=F6r=F6k_Edwin?= User-Agent: Mozilla/5.0 (X11; Linux x86_64; rv:10.0.11) Gecko/20121122 Icedove/10.0.11 MIME-Version: 1.0 To: caml-list@inria.fr References: <1356122094.22153.12@samsung> <50D4C86E.2010202@gmail.com> <1356122470.22153.13@samsung> <50D4CB13.3020600@gmail.com> In-Reply-To: <50D4CB13.3020600@gmail.com> Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit X-Virus-Scanned: clamav-milter 0.97.6 at mail X-Virus-Status: Clean Subject: [Caml-list] Re: Library install standards 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 modules? Should we make this the default in oasis? >> >> I guess wrappers for all the ocaml* commands would be enough. Or maybe a patch for ocaml. It would be painful if we had to change all the existing builds. > Wrapping the ocaml* commands seems reasonable, but I was asking a more general question about what files should be installed for libraries. > > 1) .cma and .cmxa files clearly need to be installed for linking .a and .so too. > 2) .cmi files need to be installed for compiling (?) > 3) .cmx files should be installed for cross-module inlining / optimization are .cmx files needed when .cmxa is available? > 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? .cmxs, but oasis handles that already. And of course a META file, but thats implied. Best regards, --Edwin