From: Xavier Leroy <Xavier.Leroy@inria.fr>
To: Hongwei Xi <hwxi@ececs.uc.edu>, caml-list@inria.fr
Subject: Re: assembly
Date: Tue, 26 Oct 1999 19:31:36 +0200 [thread overview]
Message-ID: <19991026193136.02746@pauillac.inria.fr> (raw)
In-Reply-To: <Pine.LNX.4.04.9910241541200.12868-100000@decaml.ececs.uc.edu>; from Hongwei Xi on Sun, Oct 24, 1999 at 03:45:59PM -0400
> Could someone tell me how to compile assembly code
> generated by ocamlopt?
>
> I am doing some experiment. I have generated some
> assembly code using ocamlopt and modified it. Now
> I'd like to compile the modified code. What object
> files are needed for doing this?
If you run ocamlopt with the -verbose option, it will display all the
calls to the assembler and the linker that it performs. In
particular, you'll see what assembler flags are used on your platform.
I'd guess that something like the below should work:
ocamlopt -S -c foo.ml
<transform foo.s>
as <machine-dependent options> -o foo.o foo.s
ocamlopt -o myprog foo.cmx
Hope this helps,
- Xavier Leroy
next prev parent reply other threads:[~1999-10-28 17:08 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
1999-10-24 19:45 assembly Hongwei Xi
1999-10-26 17:31 ` Xavier Leroy [this message]
1999-10-29 4:21 ` GC time Hongwei Xi
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=19991026193136.02746@pauillac.inria.fr \
--to=xavier.leroy@inria.fr \
--cc=caml-list@inria.fr \
--cc=hwxi@ececs.uc.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).