From mboxrd@z Thu Jan  1 00:00:00 1970
Return-Path: <thelema314@gmail.com>
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 07CF27F2AA
	for <caml-list@sympa.inria.fr>; Fri, 21 Dec 2012 21:48:11 +0100 (CET)
Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  thelema314@gmail.com) identity=pra; client-ip=209.85.210.172;
  receiver=mail1-smtp-roc.national.inria.fr;
  envelope-from="thelema314@gmail.com";
  x-sender="thelema314@gmail.com";
  x-conformance=sidf_compatible
Received-SPF: Pass (mail1-smtp-roc.national.inria.fr: domain of
  thelema314@gmail.com designates 209.85.210.172 as permitted
  sender) identity=mailfrom; client-ip=209.85.210.172;
  receiver=mail1-smtp-roc.national.inria.fr;
  envelope-from="thelema314@gmail.com";
  x-sender="thelema314@gmail.com";
  x-conformance=sidf_compatible; x-record-type="v=spf1"
Received-SPF: None (mail1-smtp-roc.national.inria.fr: no sender
  authenticity information available from domain of
  postmaster@mail-ia0-f172.google.com) identity=helo;
  client-ip=209.85.210.172;
  receiver=mail1-smtp-roc.national.inria.fr;
  envelope-from="thelema314@gmail.com";
  x-sender="postmaster@mail-ia0-f172.google.com";
  x-conformance=sidf_compatible
X-IronPort-Anti-Spam-Filtered: true
X-IronPort-Anti-Spam-Result: AoQCAPnJ1FDRVdKsm2dsb2JhbABFg0iCK7YIgX8WDgEBAQEBCAkLCRQngh4BAQU4CAEbHAEBAwwGEAMKCRYECwkDAgECARERAQUBHAYNAQcBAYd8AQMPA5dtjDOCe4R9ChknDVmIdgEFDIxLhEMDiGKNKYVriH0/hDM
X-IronPort-AV: E=Sophos;i="4.84,331,1355094000"; 
   d="scan'208";a="187300628"
Received: from mail-ia0-f172.google.com ([209.85.210.172])
  by mail1-smtp-roc.national.inria.fr with ESMTP/TLS/RC4-SHA; 21 Dec 2012 21:48:10 +0100
Received: by mail-ia0-f172.google.com with SMTP id z13so4397418iaz.31
        for <caml-list@inria.fr>; Fri, 21 Dec 2012 12:48:09 -0800 (PST)
DKIM-Signature: v=1; a=rsa-sha256; c=relaxed/relaxed;
        d=gmail.com; s=20120113;
        h=x-received:message-id:date:from:user-agent:mime-version:to:cc
         :subject:references:in-reply-to:content-type
         :content-transfer-encoding;
        bh=BZEfMguWRmOToMEXM8n2JFqRCnRt+I5SXRbg2xkfcX8=;
        b=cHxrJGEf5UEbKawWy/IkFDPoaqsDzryFe8jLGxEwGFKxXSZTmc8xcCQ8ejqQXd42Fn
         AxYPy5VjU0STUmDdRE0dv7ypgmxM4Vd7LJG4ML8AO9ViGimlI/Ko2KdHHqeCzzqyvCk+
         0ibZXg19ovHxD0PJlFAsPbOQ+U23pMfmz/N/fg4ULUlK6zA+eY1riEKcDysNpBsiepJi
         fiS4OulofYIcv6A4tInyizjJSkb9FLyU+rWrg5qTiq/P0yBj/k2yBAMws6OTKcRYUyLj
         ul4ZIlQlcarR7/L7oL6LBUJ621ERcD36WGEeVVhApZX4CBLNzta8vt/wfKaSJEM4oZ+5
         4LIQ==
X-Received: by 10.50.7.234 with SMTP id m10mr14483641iga.43.1356122889247;
        Fri, 21 Dec 2012 12:48:09 -0800 (PST)
Received: from [35.9.141.165] ([35.9.141.165])
        by mx.google.com with ESMTPS id yf6sm10355822igb.0.2012.12.21.12.48.08
        (version=SSLv3 cipher=OTHER);
        Fri, 21 Dec 2012 12:48:08 -0800 (PST)
Message-ID: <50D4CB13.3020600@gmail.com>
Date: Fri, 21 Dec 2012 15:48:19 -0500
From: Edgar Friendly <thelema314@gmail.com>
User-Agent: Mozilla/5.0 (Windows NT 6.1; WOW64; rv:17.0) Gecko/17.0 Thunderbird/17.0
MIME-Version: 1.0
To: Gerd Stolpmann <info@gerd-stolpmann.de>
CC: caml-list@inria.fr
References: <1356122094.22153.12@samsung> <50D4C86E.2010202@gmail.com> <1356122470.22153.13@samsung>
In-Reply-To: <1356122470.22153.13@samsung>
Content-Type: text/plain; charset=ISO-8859-1; format=flowed
Content-Transfer-Encoding: 7bit
Subject: Library install standards (was: Re: AW: AW: AW: [Caml-list] OCaml
 search into libraries for ocaml.org)

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
2) .cmi files need to be installed for compiling (?)
3) .cmx files should be installed for cross-module inlining / optimization
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?

E.