The following commit has been merged in the master branch: commit bad76762ce2c83a90f285742437fba89aa628ec7 Author: Mehdi Dogguy <me...@debian.org> Date: Wed Jan 4 17:43:52 2012 +0100
Provide a .cmxs plugin in libxml-light-ocaml-dev (Closes: #647299). Thanks to Benjamin Sigonneau for the patch. diff --git a/debian/changelog b/debian/changelog index edccf57..2e2ca8e 100644 --- a/debian/changelog +++ b/debian/changelog @@ -1,3 +1,10 @@ +xml-light (2.2-13) unstable; urgency=low + + * Provide a .cmxs plugin in libxml-light-ocaml-dev (Closes: #647299). + Thanks to Benjamin Sigonneau for the patch. + + -- Mehdi Dogguy <me...@debian.org> Wed, 04 Jan 2012 17:42:38 +0100 + xml-light (2.2-12) unstable; urgency=low [ Sylvain Le Gall ] diff --git a/debian/patches/00list b/debian/patches/00list index f1171ce..ddfab54 100644 --- a/debian/patches/00list +++ b/debian/patches/00list @@ -2,3 +2,4 @@ 02_cmi_depends 03_cflags 04_dtd_trace +05_cmxs_plugin diff --git a/debian/patches/05_cmxs_plugin.dpatch b/debian/patches/05_cmxs_plugin.dpatch new file mode 100644 index 0000000..600bbd4 --- /dev/null +++ b/debian/patches/05_cmxs_plugin.dpatch @@ -0,0 +1,36 @@ +#! /bin/sh /usr/share/dpatch/dpatch-run +## 05_cmxs_plugin.dpatch by <be...@touseg.insa-rennes.fr> +## +## All lines beginning with `## DP:' are a description of the patch. +## DP: No description. + +@DPATCH@ +diff -urNad '--exclude=CVS' '--exclude=.svn' '--exclude=.git' '--exclude=.arch' '--exclude=.hg' '--exclude=_darcs' '--exclude=.bzr' xml-light~/Makefile xml-light/Makefile +--- xml-light~/Makefile 2011-11-01 16:05:08.000000000 +0100 ++++ xml-light/Makefile 2011-11-01 16:06:34.905241750 +0100 +@@ -9,13 +9,13 @@ + + all: xml-light.cma test.exe doc + +-opt: xml-light.cmxa test_opt.exe ++opt: xml-light.cmxs test_opt.exe + + install: all + cp xml-light.cma xml.mli xmlParser.mli dtd.mli xml.cmi xmlParser.cmi dtd.cmi $(INSTALLDIR) + + installopt: opt all +- cp xml-light.a xml-light.cmxa xml.cmx dtd.cmx xmlParser.cmx $(INSTALLDIR) ++ cp xml-light.a xml-light.cmxa xml-light.cmxs xml.cmx dtd.cmx xmlParser.cmx $(INSTALLDIR) + + doc: + mkdir doc +@@ -33,6 +33,9 @@ + xml-light.cmxa: xml_parser.cmx xml_lexer.cmx dtd.cmx xmlParser.cmx xml.cmx + ocamlopt -o xml-light.cmxa $(XML_LIGHT_OCAML_LFLAGS) $(LIBS) xml_parser.cmx xml_lexer.cmx dtd.cmx xmlParser.cmx xml.cmx + ++xml-light.cmxs: xml-light.cmxa ++ ocamlopt -o xml-light.cmxs -shared -linkall xml-light.cmxa ++ + dtd.cmo: xml.cmi xml_lexer.cmi dtd.cmi + + dtd.cmx: xml.cmi xml_lexer.cmi dtd.cmi -- xml-light packaging _______________________________________________ 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