From: Sylvain Le Gall <sylvain@le-gall.net>
To: caml-list@inria.fr
Subject: [Caml-list] Re: [PATCH] tremendously speeding up oasis builds with many executables
Date: Fri, 27 May 2011 23:30:48 +0000 (UTC) [thread overview]
Message-ID: <slrniu0d18.ks.sylvain@gallu.homelinux.org> (raw)
In-Reply-To: <9FC9F99D-9CE5-4981-9C94-DA2DCC4E4428@gmail.com>
Hello,
On 27-05-2011, Joel Reymont <joelr1@gmail.com> wrote:
> To add some color...
>
> We have 13 executables in _oasis and some libraries. That's 14
> invocations of ocamlbuild, loading of the dependency graph.
>
> That's also 14 checks to see if the target binary has changed by
> manually reading and comparing both binaries, plus 14 copies if source
> (built by ocamlbuild) changed.
>
> Our top-level project makefile runs 'make' to build and then 'make
> test' to run the unit tests. This is 28 invocations of ocamlbuild and
> a pain in the rear during development.
>
> After applying the patch and making sure that 'Executable foo' matches
> 'MainIs: foo.ml', we now have 1 and 2 invocations of ocamlbuild
> respectively. Needless to say, we are very happy.
>
I just release oasis 0.2.1~alpha1:
https://forge.ocamlcore.org/frs/download.php/626/oasis-0.2.1~alpha1.tar.gz
It contains quite a few bug fixes, especially a version of the speed up
you describe.
Cheers,
Sylvain Le Gall
--
My company: http://www.ocamlcore.com
Linkedin: http://fr.linkedin.com/in/sylvainlegall
Start an OCaml project here: http://forge.ocamlcore.org
OCaml blogs: http://planet.ocamlcore.org
prev parent reply other threads:[~2011-05-27 23:31 UTC|newest]
Thread overview: 3+ messages / expand[flat|nested] mbox.gz Atom feed top
2011-05-27 7:27 [Caml-list] " Joel Reymont
2011-05-27 7:53 ` [Caml-list] " Joel Reymont
2011-05-27 23:30 ` Sylvain Le Gall [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=slrniu0d18.ks.sylvain@gallu.homelinux.org \
--to=sylvain@le-gall.net \
--cc=caml-list@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