From mboxrd@z Thu Jan 1 00:00:00 1970 Received: (from majordomo@localhost) by pauillac.inria.fr (8.7.6/8.7.3) id VAA03732; Sun, 2 Sep 2001 21:55:41 +0200 (MET DST) X-Authentication-Warning: pauillac.inria.fr: majordomo set sender to owner-caml-list@pauillac.inria.fr using -f 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 VAA03806 for ; Sun, 2 Sep 2001 21:55:40 +0200 (MET DST) Received: from exchange.cs.cornell.edu (exchange.cs.cornell.edu [128.84.97.8]) by nez-perce.inria.fr (8.11.1/8.10.0) with ESMTP id f82Jtd519186 for ; Sun, 2 Sep 2001 21:55:39 +0200 (MET DST) content-class: urn:content-classes:message MIME-Version: 1.0 Content-Type: text/plain; charset="iso-8859-1" Content-Transfer-Encoding: quoted-printable X-MimeOLE: Produced By Microsoft Exchange V6.0.4712.0 Subject: [Caml-list] merging .cmxa files? Date: Sun, 2 Sep 2001 15:55:37 -0400 Message-ID: <404A3A4758DDCC4C8A5C9A537384F9D6037605@opus.cs.cornell.edu> Thread-Topic: merging .cmxa files? Thread-Index: AcEz6Tx+CMa4HNy2Qt2Px3x8bwLVdg== From: "Michael Hicks" To: Sender: owner-caml-list@pauillac.inria.fr Precedence: bulk I apologize if there is an obvious answer to this question somewhere, but I couldn't find it in the documentation or the archive: Is there a way to merge two .cmxa files into a single .cmxa file? I'd like to combine my library with someone else's to simplify the linking procedure. Mike ------------------- Bug reports: http://caml.inria.fr/bin/caml-bugs FAQ: http://caml.inria.fr/FAQ/ To unsubscribe, mail caml-list-request@inria.fr Archives: http://caml.inria.fr