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 E1C07BB81 for ; Thu, 1 Dec 2005 22:33:12 +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 jB1LXBKs032731 for ; Thu, 1 Dec 2005 22:33:11 +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 WAA13423 for ; Thu, 1 Dec 2005 22:33:11 +0100 (MET) Received: from smtp.cegetel.net (mf00.sitadelle.com [212.94.174.67]) by nez-perce.inria.fr (8.13.0/8.13.0) with ESMTP id jB1LXAY1004609 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=FAIL) for ; Thu, 1 Dec 2005 22:33:11 +0100 Received: from [192.168.144.2] (unknown [84.6.181.206]) by smtp.cegetel.net (Postfix) with ESMTP id 92C8D1A5216; Thu, 1 Dec 2005 22:33:08 +0100 (CET) Message-ID: <438F6C0E.6080206@univ-savoie.fr> Date: Thu, 01 Dec 2005 22:33:02 +0100 From: Christophe Raffalli User-Agent: Mozilla Thunderbird 1.0.7 (X11/20051017) X-Accept-Language: fr, en MIME-Version: 1.0 To: skaller Cc: Jacques Garrigue , daniel.buenzli@epfl.ch, caml-list@inria.fr Subject: Re: [Caml-list] How to compile different implementations of the same lib References: <20051130.211930.102965761.garrigue@math.nagoya-u.ac.jp> <4F70401E-AE91-4E5E-AF67-70FBDCC7C353@epfl.ch> <20051201.100719.07647797.garrigue@math.nagoya-u.ac.jp> <438F2CE5.9030105@univ-savoie.fr> <1133459647.9266.20.camel@rosella> In-Reply-To: <1133459647.9266.20.camel@rosella> X-Enigmail-Version: 0.93.0.0 Content-Type: multipart/signed; micalg=pgp-sha1; protocol="application/pgp-signature"; boundary="------------enig6750CA3FFD0CE77BCA0CED10" X-Miltered: at concorde with ID 438F6C17.000 by Joe's j-chkmail (http://j-chkmail.ensmp.fr)! X-Miltered: at nez-perce with ID 438F6C16.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 caml-list:01 lib:01 ocaml:01 cmx:01 cmi:01 cmx:01 ocaml:01 cmi:01 usr:01 lib:01 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) --------------enig6750CA3FFD0CE77BCA0CED10 Content-Type: text/plain; charset=ISO-8859-1 Content-Transfer-Encoding: quoted-printable skaller a =E9crit : > On Thu, 2005-12-01 at 18:03 +0100, Christophe Raffalli wrote: >=20 >=20 >>May be I still do not get the problem >=20 >=20 > Simple. Ocaml cheats. When you *compile* against a cmx > or cmi/cmx pair, Ocaml 'cheats' and lifts non-interface > information out of the cmx. This allows it to, for > example, inline functions by cheating and grabbing their > implementations from the cmx. >=20 Yes, I knew that but .. if I have toto.cmi in /usr/lib/ocaml toto.cmx and toto.o in /usr/lib/ocaml/totov1/ compiled from totov1.ml toto.cmx and toto.o in /usr/lib/ocaml/totov2/ compiled from totov1.ml tata.ml that does "open Toto" then use either ocamlopt -I +totov1 toto.cmx tata.ml ocamlopt -I +totov2 toto.cmx tata.ml shouldn't this work ? Indeed, I tried using "the ln -s" trick for compilation as suggested ... and it seems to work ? It is a bit painfull both for compilation and usage ... BTW: I can not miss inlinig for bindlib, since there will be many calls to small functions (even 1 line ones) in code using bindlib (I guess, but did not try). --------------enig6750CA3FFD0CE77BCA0CED10 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 iQIVAwUBQ49sEpEBCSatcik9AQJdaQ//ZhoALBwfHpQ2DpUrYs15FJ7lqmQRqJjJ pzXdh/C7tjoBn5WwNW4BBR5hXfC/0PwBgApEI5BjjN+9DuPW82NhLiNoYKkTWERQ WECpd6Ucy+TvOpz6qvGZOrouZxmjIEcbDsIUf1yPs2/zvlKmDt7c60ABB3LRRcpp PGYWSi2ctLz/pC9p7j/Ee92yXzdMnUeMV3vo+nsYPPPAS6t8uo+EQzI9QaYGv9QH /i947gJTv9efLY0RdgxBqLOempv+iS4EbhXLGcauvxlHaZvS4G0MD8yTx21iADKY 0LSUqZfp28Kk4HRiJhefKP87SiIURpp7GplNWL6DsKBFW5xl2G2ewXGYrDzYEiug abhb2MY5URUKskk77/w6fEQefAQN2eQeLhBOVTZu5KvqPnQKy8SxBGMhCeQR9iI1 qZQzqrVZq1TWCWTLnOEqKy0AOhAAl3n6ecBRnw13pJATE8RanNUh6pnSwRR0z6z/ uXFAKGVDaCCdfaRjXbYLhCb/hjkOc02e8fJvXmXGjzcLgqMGK7+FGnbtJfw/ycwR XPqAQMrsNlHLpZai8T8vS9QQbm2js2KyIONggjCPW+IL+LrttnvV5ehr08sf04oj SdlWCrDwr+QUz78zlSyO9GdzyxwdsVNwO0HowEoOh4qmqwzviL7+uf5ZJhVXxBXo +UomNF7M6k0= =zT9x -----END PGP SIGNATURE----- --------------enig6750CA3FFD0CE77BCA0CED10--