caml-list - the Caml user's mailing list
 help / color / mirror / Atom feed
From: Pierre-Etienne Meunier <pierreetienne.meunier@gmail.com>
To: O Caml <caml-list@inria.fr>
Subject: [Caml-list] About ocamlbuild
Date: Thu, 15 Nov 2012 13:05:26 +0100	[thread overview]
Message-ID: <380C67D0-AFB8-471F-84EB-8ED1E92798E7@gmail.com> (raw)

Hi,

Several ocamlbuild-related questions:

1 - Is there a simple reason why ocamlbuild is a tool with plugins and not a library ? It would be much easier to adapt it to other contexts than ocaml compiling, and to larger projects. In my projects, a myocamlbuild.ml file must be written most of the time, so I do not understand the point.
Another point I see is that I usually spend a non-negligible part of my time writing makefiles and myocamlbuild files. Since I must do it anyway, I'd like to write all that in pure ocaml, doing argument parsing as I want, adding arguments if I want, and even doing some configure steps in ocaml before starting to compile anything. Using output_value to do this (as I did for http://lama.univ-savoie.fr/~meunier/camlimages for instance) is much easier than outputing _tags and .mlpack in subdirectories.
Also, it would be nice to allow it to depend on other modules, even of some files of the project you are compiling. Examples of uses include configuration options, versions, etc.

2 - Also, I do not understand why I get the following message:

Failure: Included or excluded directories must be implicit (not "../_build").

Is it a technical restriction to avoid copying entire filesystems to _build if the _tags are ill-written, or is there another reason ?

3 - Finally, I find the idea of tags good, for backward compatibility reasons (you do not have to change your code), but not enough. For instance, in haskell (and some compilers written in ocaml), you can add "tags" at the beginning of your files. You would start your ocaml files with comments such as:

(* #OPTIONS -rectypes *)


Thanks,
Pierre


             reply	other threads:[~2012-11-15 12:05 UTC|newest]

Thread overview: 11+ messages / expand[flat|nested]  mbox.gz  Atom feed  top
2012-11-15 12:05 Pierre-Etienne Meunier [this message]
2012-11-15 21:48 ` Xavier Clerc
2012-11-15 22:04   ` Edgar Friendly
2012-11-15 22:36     ` Xavier Clerc
2012-11-16 10:33       ` Arnaud Spiwack
2012-11-16 10:53         ` Gabriel Scherer
2012-11-16 11:43           ` Pierre-Etienne Meunier
2012-11-16 19:05             ` [Caml-list] " Hongbo Zhang
2012-11-16 19:33               ` [Caml-list] " Wojciech Meyer
2012-11-17 17:21             ` Fabrice Le Fessant
2012-11-16 11:01         ` Daniel Bünzli

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=380C67D0-AFB8-471F-84EB-8ED1E92798E7@gmail.com \
    --to=pierreetienne.meunier@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).