[Pkg-ocaml-maint-commits] [extlib] 06/07: Update packaging

Stéphane Glondu glondu at moszumanska.debian.org
Thu Aug 7 08:27:01 UTC 2014


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

glondu pushed a commit to branch master
in repository extlib.

commit d0548d92aba20d98341fdba88a6590bc063e7ea2
Author: Stephane Glondu <steph at glondu.net>
Date:   Thu Aug 7 10:14:00 2014 +0200

    Update packaging
---
 debian/control | 1 +
 debian/rules   | 4 ++--
 2 files changed, 3 insertions(+), 2 deletions(-)

diff --git a/debian/control b/debian/control
index a0f1a42..3a770bf 100644
--- a/debian/control
+++ b/debian/control
@@ -7,6 +7,7 @@ Uploaders:
  Lifeng Sun <lifongsun at gmail.com>
 Build-Depends:
  ocaml-nox (>= 4.00.1),
+ camlp4-extra,
  ocaml-findlib (>= 1.3.2),
  debhelper (>= 8),
  cdbs,
diff --git a/debian/rules b/debian/rules
index e7219fb..eb1d69a 100755
--- a/debian/rules
+++ b/debian/rules
@@ -11,10 +11,10 @@ DOCDIR = $(PKGDIR)/usr/share/doc/$(PKGNAME)/
 common-build-arch::
 	mkdir -p $(DESTDIR)/ $(DOCDIR)/
 	if [ -x /usr/bin/ocamlopt ]; then \
-		ocaml install.ml -d $(DESTDIR)/ -b -n -nodoc; \
+		ocaml install.ml -d $(DESTDIR)/ -b -n -nodoc -full; \
 		ocamlopt -shared -linkall -o $(DESTDIR)/extLib.cmxs -I $(DESTDIR) $(DESTDIR)/extLib.cmxa; \
 	else \
-		ocaml install.ml -d $(DESTDIR)/ -b -nodoc; \
+		ocaml install.ml -d $(DESTDIR)/ -b -nodoc -full; \
 	fi
 	cp -a extLib.ml *.mli $(DESTDIR)/
 	cp -a META $(DESTDIR)/META

-- 
Alioth's /usr/local/bin/git-commit-notice on /srv/git.debian.org/git/pkg-ocaml-maint/packages/extlib.git



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