From: Fabrice Le Fessant <lefessan@prof.inria.fr>
To: caml-list@pauillac.inria.fr
Subject: ocamlc compiled in native code
Date: Fri, 25 Jul 1997 18:39:52 +0200 [thread overview]
Message-ID: <199707251639.SAA10073@hobbes.inria.fr> (raw)
In-Reply-To: <199707251356.PAA06115@hobbes.inria.fr> (message from Fabrice Le Fessant on Fri, 25 Jul 1997 15:56:25 +0200)
I have just make a new little patch to ocaml-1.05 to compile ocamlc in
native code (ocamlopt could already be compiled to native code by
«make ocamlopt.opt» in the standard distribution).
The patch is located in http://www-sor.inria.fr/~lefessan/src/
(http://www-sor.inria.fr/~lefessan/src/patch.ocamlc.opt.gz)
Just apply the patch to the ocaml-1.05 distribution.
Then configure it, «make world», «make opt», «make ocamlopt.opt» and
«make ocamlc.opt».
The new ocamlc compiler in native code is called «ocamlc.opt». You can
rename it to «ocamlc» if you want. Don't forget to copy «ocamlc.opt»
and «ocamlopt.opt» with other binaries as «make install» will not do
it.
prev parent reply other threads:[~1997-07-25 17:32 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
1997-07-24 5:21 Managing module names Frank Christoph
1997-07-25 13:56 ` Fabrice Le Fessant
1997-07-25 16:39 ` Fabrice Le Fessant [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=199707251639.SAA10073@hobbes.inria.fr \
--to=lefessan@prof.inria.fr \
--cc=caml-list@pauillac.inria.fr \
/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