Michael Tautschnig wrote:
Michael Tautschnig wrote:
In our Debian package we'd like to get rid of the ocaml depencency which crept in because of the use of ocamldoc, even though we use --enable-interfaces=c,cxx. Could you fix the Makefiles to also take care of that while building the documentation?
Dear Michael,
I think that your problem is due to the fact thatyou are doing `make world' in the `doc' subdirectory. I have already advised against this in
http://www.cs.unipr.it/pipermail/ppl-devel/2008-September/012829.html
The point is that `make world' really means "make world" and the world includes the documentation of the OCaml interface. In case this is not the source of the problem you are observing, please give me more information to reproduce it. All the best,
Oh, yes, I see. So I guess we should build devref-configured and user-configured instead.
user-configured would be enough: devref-configured makes only sense to the PPL developers... inclusion in a binary package is pointless IMHO. Cheers,
Sorry, there still is an issue here: make user-configured is indeed fine and that stuff is handled nicely in the Makefile, but running make install (in the top-level directory, actually) is troublesome. This causes builds of all the other documents as well, disregarding all the configure stuff. Could you fix that? It might be an option to make the install: target a no-op as well, just as all: is!?
Thanks, Michael