[Pkg-ocaml-maint-commits] [bin-prot] 04/05: Generate API documentation using dh_ocamldoc(1)

Hilko Bengen bengen at moszumanska.debian.org
Sat Jan 2 16:58:16 UTC 2016


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 <bengen at debian.org>
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 b/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 /srv/git.debian.org/git/pkg-ocaml-maint/packages/bin-prot.git



More information about the Pkg-ocaml-maint-commits mailing list