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 <st...@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 <lifong...@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

_______________________________________________
Pkg-ocaml-maint-commits mailing list
Pkg-ocaml-maint-commits@lists.alioth.debian.org
http://lists.alioth.debian.org/cgi-bin/mailman/listinfo/pkg-ocaml-maint-commits

Reply via email to