This is an automated email from the git hooks/post-receive script.
josch-guest pushed a commit to branch master
in repository xmlm.
commit 920d7573084e82bed8a96bb8c38007442f049f01
Author: josch <j.scha...@email.de>
Date: Thu Mar 27 06:10:36 2014 +0100
dont forget to build and install cmi
---
debian/rules | 4 ++--
1 file changed, 2 insertions(+), 2 deletions(-)
diff --git a/debian/rules b/debian/rules
index 47e07c4..006f4b3 100755
--- a/debian/rules
+++ b/debian/rules
@@ -5,10 +5,10 @@ DESTDIR=$(CURDIR)/debian/tmp
include /usr/share/ocaml/ocamlvars.mk
OCAMLFIND_DESTDIR=$(DESTDIR)/$(OCAML_STDLIB_DIR)
-libtarget = xmlm.cma
+libtarget = xmlm.cma xmlm.cmi
ifeq ($(OCAML_HAVE_OCAMLOPT),yes)
xmltrip = ./xmltrip.native
- libtarget += xmlm.a xmlm.cmi xmlm.cmxa xmlm.cmx xmlm.cmxs
+ libtarget += xmlm.a xmlm.cmxa xmlm.cmx xmlm.cmxs
else
xmltrip = ./xmltrip.byte
endif
--
Alioth's /usr/local/bin/git-commit-notice on
/srv/git.debian.org/git/pkg-ocaml-maint/packages/xmlm.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
