retitle 516085 please add ocamldoc (et al.) to ocaml-native-compilers.conf
thanks
On Thu, Feb 19, 2009 at 10:22:14AM +0100, Samuel Mimram wrote:
> It would be nice to add
>
> ocamlopt = "ocamlopt.opt"
> etc.
>
> in /etc/ocamlfind.conf on native archs (especially for ocamldoc which
> takes time on progs with lots of .mli). This would also save time for
> our buildds on packages using ocamlfind...
Note that you cannot do that, unless you have installed
ocaml-native-compilers, because the .opt compilers are not shipped
with standard ocaml.
Nevertheless, what you ask for is already implemented. If you install
ocaml-native-compilers, you will notice that it ships
/usr/share/ocaml-findlib/ocaml-native-compilers.conf , that dir is
looked up by findlib which loads all the .conf files found there. That
file precisely do what you want.
Still, that .conf snippet only mention ocamlc and ocamlopt, I'm
retitling the bug report to add conf snippets for ocamldoc and
possibly the other .opt binaries it ships.
Cheers.
--
Stefano Zacchiroli -o- PhD in Computer Science \ PostDoc @ Univ. Paris 7
zack@{upsilon.cc,pps.jussieu.fr,debian.org} -<>- http://upsilon.cc/zack/
Dietro un grande uomo c'è ..| . |. Et ne m'en veux pas si je te tutoie
sempre uno zaino ...........| ..: |.... Je dis tu à tous ceux que j'aime
Attachment:
signature.asc
Description: Digital signature