caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: Markus Mottl <markus@mail4.ai.univie.ac.at>
To: Xavier Leroy <Xavier.Leroy@inria.fr>
Cc: Michael Hicks <mhicks@cs.cornell.edu>, caml-list@inria.fr
Subject: Re: [Caml-list] merging .cmxa files?
Date: Tue, 18 Sep 2001 16:32:12 +0200	[thread overview]
Message-ID: <20010918163212.A24456@chopin.ai.univie.ac.at> (raw)
In-Reply-To: <20010918155033.B23689@pauillac.inria.fr>; from Xavier.Leroy@inria.fr on Tue, Sep 18, 2001 at 15:50:33 +0200

On Tue, 18 Sep 2001, Xavier Leroy wrote:
> So, currently, I don't see how this can be done, save by significant
> hacking in / around "ar".

The usual workaround is to extract the "ar"-archive into a directory of
object files. Then make any relevant changes there, e.g. remove object
files, add them, extract another archive into the directory. Now you can
put all the objects you need into a new "ar"-archive.  I really don't
understand why functionality for merging isn't directly provided by
"ar"...

Regards,
Markus Mottl

-- 
Markus Mottl                                             markus@oefai.at
Austrian Research Institute
for Artificial Intelligence                  http://www.oefai.at/~markus
-------------------
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


      reply	other threads:[~2001-09-18 14:32 UTC|newest]

Thread overview: 3+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2001-09-02 19:55 Michael Hicks
2001-09-18 13:50 ` Xavier Leroy
2001-09-18 14:32   ` Markus Mottl [this message]

Reply instructions:

You may reply publicly to this message via plain-text email
using any one of the following methods:

* Save the following mbox file, import it into your mail client,
  and reply-to-all from there: mbox

  Avoid top-posting and favor interleaved quoting:
  https://en.wikipedia.org/wiki/Posting_style#Interleaved_style

* Reply using the --to, --cc, and --in-reply-to
  switches of git-send-email(1):

  git send-email \
    --in-reply-to=20010918163212.A24456@chopin.ai.univie.ac.at \
    --to=markus@mail4.ai.univie.ac.at \
    --cc=Xavier.Leroy@inria.fr \
    --cc=caml-list@inria.fr \
    --cc=mhicks@cs.cornell.edu \
    /path/to/YOUR_REPLY

  https://kernel.org/pub/software/scm/git/docs/git-send-email.html

* If your mail client supports setting the In-Reply-To header
  via mailto: links, try the mailto: link
Be sure your reply has a Subject: header at the top and a blank line before the message body.
This is a public inbox, see mirroring instructions
for how to clone and mirror all data and code used for this inbox;
as well as URLs for NNTP newsgroup(s).