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 concorde.inria.fr (concorde.inria.fr [192.93.2.39]) by yquem.inria.fr (Postfix) with ESMTP id 5A6D4BB9C for ; Wed, 30 Nov 2005 10:05:29 +0100 (CET) Received: from pauillac.inria.fr (pauillac.inria.fr [128.93.11.35]) by concorde.inria.fr (8.13.0/8.13.0) with ESMTP id jAU95Sw7019453 for ; Wed, 30 Nov 2005 10:05:29 +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 KAA01802 for ; Wed, 30 Nov 2005 10:05:28 +0100 (MET) Received: from smtp.cegetel.net (mf01.sitadelle.com [212.94.174.68]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id jAU95RgW001924 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=FAIL) for ; Wed, 30 Nov 2005 10:05:28 +0100 Received: from [192.168.144.2] (unknown [84.6.181.206]) by smtp.cegetel.net (Postfix) with ESMTP id ECB726A0241; Wed, 30 Nov 2005 10:05:26 +0100 (CET) Message-ID: <438D6B4D.1070004@univ-savoie.fr> Date: Wed, 30 Nov 2005 10:05:17 +0100 From: Christophe Raffalli User-Agent: Mozilla Thunderbird 1.0.7 (X11/20051017) X-Accept-Language: fr, en MIME-Version: 1.0 To: caml-list@inria.fr Subject: Best way to choose an implementation of a lib ? X-Enigmail-Version: 0.93.0.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="------------enigEC3594318A883AB378002BC9" X-Miltered: at concorde with ID 438D6B58.003 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 438D6B58.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Spam: no; 0.00; christophe:01 raffalli:01 christophe:01 raffalli:01 univ-savoie:01 lib:01 mli:01 mli:01 cmi:01 cmo:01 cmo:01 dynlink:01 rfc:02 native:02 let:03 X-Attachments: type="application/pgp-signature" name="signature.asc" name="signature.asc" X-Spam-Checker-Version: SpamAssassin 3.0.3 (2005-04-27) on yquem.inria.fr X-Spam-Level: X-Spam-Status: No, score=0.1 required=5.0 tests=FORGED_RCVD_HELO autolearn=disabled version=3.0.3 This is an OpenPGP/MIME signed message (RFC 2440 and 3156) --------------enigEC3594318A883AB378002BC9 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: 7bit Let say I want two distribute two(or more) implementations of a library with the .mli for all ... Is there a way to choose the implementation at link time ? Lets say I have a.mli compiled to a.cmi and a1.ml and a2.ml I think (did not test) that putting the cmos in separate directory as a1/a.cmo and a2/a.cmo should allow the choice using the -I option ... Any better solution (no dynlink, I want also native code) ? Thanks --------------enigEC3594318A883AB378002BC9 Content-Type: application/pgp-signature; name="signature.asc" Content-Description: OpenPGP digital signature Content-Disposition: attachment; filename="signature.asc" -----BEGIN PGP SIGNATURE----- Version: GnuPG v1.4.2 (GNU/Linux) Comment: Using GnuPG with Thunderbird - http://enigmail.mozdev.org iQIVAwUBQ41rVZEBCSatcik9AQLuCRAAjOOch4si+yhNby8w9VDt+6I+x7XPc7T7 bMMkooL5u8yAZJH475qUV+/ZXzspmGKGVYAZ0hWg1U1aHSoCttEzNfgocjvCSAds 8WfG1j3GV186xCiSlmxRDUanrgYkxd13jkpe9V7sZ/LFGVk+dZuV/6x12oqUpwoa jbMXb+QDdCQxGClSJxM8Ff/U6ZaD2GJYYFm8znst7WFgc0F58IdFzLMyJhurFF/E JQwZMmm6MzwPnvDqQlID/4T75UAvZfHsUY2uJSaI1R7ijiPculeX1+qliY1iArQx 3OPenNOqeOeV0qMMStls31mrLMG9rEtOKh0KyptAIQqT6PYS79efJxhGRudQEZaE U2k7ipGwWlD+sHpU4uaA1RNk61BEucZtmcfZ9ysKG8scF1k6rWnfTxzQP9vMKby6 gAAncfe4mYlieQBoEtnXT49hjuXaPMh1BQTZXLPRJlbcB3LQN9m+2aJJJeFWAi3H Brmdc9cQkIVTEAa8qOEfAYIByJUjZ4BT8SkM8b7+52+AFA/z8BRXGTY0UXj5ihFn m+9wMqMiFehKwy3N/ssZXhfH28ufaANQ4o/SZ2dVlcN+24HxBvEKRfBChPIDw58f 0tiBl8HgdLQ+2b9Y9Mx1YBrE88yknKAE8AuQ7CZN5zIAn73KfWfKV96X1emcP2jk Tyi7MlO3eIo= =SV2t -----END PGP SIGNATURE----- --------------enigEC3594318A883AB378002BC9--