It is possible to configure findlib so that when invoking "ocamlfind
ocamlc/ocamlopt" the .opt versions of the compilers are used. Doing so
will noticeably speed up compilation of all non-trivial ocaml programs
(no, not only coq-sized application benefit of the speed up).
I'm thus thinking of changing debian packages so that when
ocaml-native-compilers package is installed .opt versions of the
compilers will be used per default. What do you think of this?
I would go for this behaviour, leaving local sysadm and users the
possibility of change this behaviour. Local sysadm can change a
configuration file while users could set environment variables to
override findlib defaults.
From a practial point of view the change will require the
ocaml-native-compilers package to install a configuration file in
/etc/ocamlfind.d/ containing the following two lines:
ocamlc="ocamlc.opt"
ocamlopt="ocamlopt.opt"
and findlib to be patched so that it supports an entry like
include="/etc/ocamlfind.d/"
in its configuration file causing all files in that directory to be read
on startup. I've already written such a patch for findlib.
Comments are welcome.
Cheers.
--
Stefano Zacchiroli -*- Computer Science PhD student @ Uny Bologna, Italy
zack@{cs.unibo.it,debian.org,bononia.it} -%- http://www.bononia.it/zack/
If there's any real truth it's that the entire multidimensional infinity
of the Universe is almost certainly being run by a bunch of maniacs. -!-
Attachment:
signature.asc
Description: Digital signature