9a01024b3e
- use /etc/findlib.conf instead of /usr/local/share/examples/findlib.conf. - add commented out option to enable ocamldoc.opt by default to findlib.conf OK jasper@, anil@ (maintainer)
15 lines
517 B
Plaintext
15 lines
517 B
Plaintext
$OpenBSD: patch-Makefile,v 1.3 2013/01/03 14:30:57 chrisz Exp $
|
|
--- Makefile.orig Mon Dec 31 12:38:03 2012
|
|
+++ Makefile Mon Dec 31 12:38:58 2012
|
|
@@ -63,6 +63,10 @@ findlib.conf: findlib.conf.in
|
|
if ocamldep.opt >/dev/null 2>&1; then \
|
|
echo 'ocamldep="ocamldep.opt"' >>findlib.conf; \
|
|
fi
|
|
+ if ocamldoc.opt >/dev/null 2>&1; then \
|
|
+ echo '#Please consider that ocamldoc plugins depend on dynlink"' >>findlib.conf; \
|
|
+ echo '#ocamldoc="ocamldoc.opt"' >>findlib.conf; \
|
|
+ fi
|
|
|
|
.PHONY: install-doc
|
|
install-doc:
|