[Pkg-ocaml-maint-commits] [SCM] xml-light packaging branch, master, updated. debian/2.2-12-4-g44fcbad

Mehdi Dogguy mehdi at debian.org
Wed Jan 4 17:06:51 UTC 2012


The following commit has been merged in the master branch:
commit bad76762ce2c83a90f285742437fba89aa628ec7
Author: Mehdi Dogguy <mehdi at 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 <mehdi at 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  <benny at touseg.insa-rennes.fr>
+##
+## All lines beginning with `## DP:' are a description of the patch.
+## DP: No description.
+
+ at 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



More information about the Pkg-ocaml-maint-commits mailing list