[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