From mboxrd@z Thu Jan 1 00:00:00 1970 Return-Path: X-Original-To: caml-list@yquem.inria.fr Delivered-To: caml-list@yquem.inria.fr Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by yquem.inria.fr (Postfix) with ESMTP id 4B4BCBB81 for ; Thu, 1 Dec 2005 18:31:19 +0100 (CET) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id jB1HVIFU016079 for ; Thu, 1 Dec 2005 18:31:19 +0100 Received: from nez-perce.inria.fr (nez-perce.inria.fr [192.93.2.78]) by pauillac.inria.fr (8.7.6/8.7.3) with ESMTP id SAA07783 for ; Thu, 1 Dec 2005 18:31:18 +0100 (MET) Received: from ux9.sp.cs.cmu.edu (UX9.SP.CS.CMU.EDU [128.2.220.166]) by nez-perce.inria.fr (8.13.0/8.13.0) with SMTP id jB1HVHrh016074 for ; Thu, 1 Dec 2005 18:31:17 +0100 Received: from c-24-3-154-200.hsd1.pa.comcast.net ([24.3.154.200]) by ux9.sp.cs.cmu.edu id aa28792; 1 Dec 2005 12:31 EST Received: from ecc by stratocaster.home with local (Exim 4.54) id 1EhsH5-0004Ke-88; Thu, 01 Dec 2005 12:31:15 -0500 Date: Thu, 1 Dec 2005 12:31:15 -0500 To: caml-list@yquem.inria.fr, caml-list Subject: Re: [Caml-list] Best way to choose an implementation of a lib ? Message-ID: <20051201173115.GD16247@localhost> Mail-Followup-To: caml-list@yquem.inria.fr, caml-list References: <438D6B4D.1070004@univ-savoie.fr> <20051130.211930.102965761.garrigue@math.nagoya-u.ac.jp> <20051130194851.GB14312@localhost> <438F2D48.7030105@univ-savoie.fr> Mime-Version: 1.0 Content-Type: text/plain; charset=iso-8859-1 Content-Disposition: inline Content-Transfer-Encoding: 8bit In-Reply-To: <438F2D48.7030105@univ-savoie.fr> User-Agent: Mutt/1.5.9i From: Eric Cooper X-Miltered: at nez-perce with ID 438F3366.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 438F3365.001 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; caml-list:01 lib:01 christophe:01 raffalli:01 symbolic:01 impl:01 impl:01 symbolic:01 usr:01 lib:01 ocaml:01 mli:01 wrote:01 binaries:01 library:03 X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.0 required=5.0 tests=none autolearn=disabled version=3.0.3 On Thu, Dec 01, 2005 at 06:05:12PM +0100, Christophe Raffalli wrote: > Eric Cooper a crit : > > And yet another is to use symbolic links, for example > > a.ml -> a_optimized_impl.ml > > or > > a.ml -> a_reference_impl.ml > > > > This is not reasonable for a library. You can not ask the user to > change symbolic link in /usr/lib/ocaml ... The original poster said he wanted to distribute two versions of a library with the same interface (.mli). This is just a way of *building* those two different library versions, only the binaries of which would get distributed. -- Eric Cooper e c c @ c m u . e d u