[Pkg-ocaml-maint-commits] [xmlm] 01/01: dont forget to build and install cmi

[Johannes Schauer]

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.schauer at 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