From: David Allsopp <dra-news@metastack.com>
To: Joel Reymont <joelr1@gmail.com>,
"caml-list@inria.fr" <caml-list@inria.fr>
Subject: RE: [Caml-list] Re: dllunix.so not installed
Date: Wed, 29 Dec 2010 09:04:22 +0000 [thread overview]
Message-ID: <E51C5B015DBD1348A1D85763337FB6D949067F74@Remus.metastack.local> (raw)
In-Reply-To: <83F75E8D-FC49-45FB-8EE8-645FD0281FA5@gmail.com>
Joel Reymont wrote:
> Mea culpa, build/install.sh is only supposed to be used in the ocamlbuild
> setting.
>
> This is the only mention of ocamlbuild in the INSTALL file, though. Should
> it be removed?
Yes - the paragraph explaining fastworld.sh (which is the first step before using install.sh) was removed between RC1 and the release of 3.12.0 so presumably that should have been removed too.
There have been various calls in the past for there to be one officially supported build system rather than two - perhaps the reference has been removed to discourage general use and make it clear that "make world" is the "official" build mechanism (at least for now)...
David
next prev parent reply other threads:[~2010-12-29 9:07 UTC|newest]
Thread overview: 9+ messages / expand[flat|nested] mbox.gz Atom feed top
2010-12-28 23:22 [Caml-list] " Joel Reymont
2010-12-28 23:32 ` [Caml-list] " Joel Reymont
2010-12-28 23:42 ` Joel Reymont
2010-12-29 9:04 ` David Allsopp [this message]
2010-12-29 12:23 ` [Caml-list] " Nicolas Pouillard
2010-12-29 13:10 ` xclerc
2010-12-29 13:16 ` Joel Reymont
2010-12-29 13:21 ` xclerc
2010-12-29 13:22 ` Joel Reymont
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=E51C5B015DBD1348A1D85763337FB6D949067F74@Remus.metastack.local \
--to=dra-news@metastack.com \
--cc=caml-list@inria.fr \
--cc=joelr1@gmail.com \
/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).