From: Joel Reymont <joelr1@gmail.com>
To: caml-list <caml-list@inria.fr>
Subject: [Caml-list] Re: [PATCH] tremendously speeding up oasis builds with many executables
Date: Fri, 27 May 2011 09:53:42 +0200 [thread overview]
Message-ID: <9FC9F99D-9CE5-4981-9C94-DA2DCC4E4428@gmail.com> (raw)
In-Reply-To: <95CA84D2-5086-4459-B987-4C1DF825AE41@gmail.com>
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.
--------------------------------------------------------------------------
- for hire: mac osx device driver ninja, kernel extensions and usb drivers
---------------------+------------+---------------------------------------
http://wagerlabs.com | @wagerlabs | http://www.linkedin.com/in/joelreymont
---------------------+------------+---------------------------------------
next prev parent reply other threads:[~2011-05-27 7:53 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 ` Joel Reymont [this message]
2011-05-27 23:30 ` [Caml-list] " Sylvain Le Gall
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=9FC9F99D-9CE5-4981-9C94-DA2DCC4E4428@gmail.com \
--to=joelr1@gmail.com \
--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;
as well as URLs for NNTP newsgroup(s).