This is an automated email from the git hooks/post-receive script.

bengen pushed a commit to branch master
in repository bin-prot.

commit 00245ef4e83d239f6559e13816d80624e274625e
Author: Hilko Bengen <>
Date:   Sat Jan 2 17:54:13 2016 +0100

    Generate API documentation using dh_ocamldoc(1)
 debian/libbin-prot-camlp4-dev.ocamldoc | 6 ++++++
 1 file changed, 6 insertions(+)

diff --git a/debian/libbin-prot-camlp4-dev.ocamldoc 
new file mode 100644
index 0000000..6c60302
--- /dev/null
+++ b/debian/libbin-prot-camlp4-dev.ocamldoc
@@ -0,0 +1,6 @@
+# Not all *.cmi files are installed into the package, the following
+# lines avoid "Unbound module" errors. FIXME: Is there a better way?
+-I _build/lib/
+# Some files contain C preprocessor statements
+-pp "gcc -O -fno-defer-pop -Wall -D_FILE_OFFSET_BITS=64 -D_REENTRANT -O -fPIC 
-E -xc -undef -w -DJSC_ARCH_SIXTYFOUR"

Alioth's /usr/local/bin/git-commit-notice on 

Pkg-ocaml-maint-commits mailing list

Reply via email to