gentoo resync : 14.07.2018

4 files changed, 0 insertions, 119 deletions

diff --git a/dev-ml/xml-light/files/01_installopt.dpatch b/dev-ml/xml-light/files/01_installopt.dpatch
deleted file mode 100644
index 1dfb50c9e271..000000000000
--- a/dev-ml/xml-light/files/01_installopt.dpatch
+++ /dev/null
@@ -1,24 +0,0 @@
-#! /bin/sh /usr/share/dpatch/dpatch-run
-## 01_installopt.dpatch by Sylvain Le Gall <gildor@debian.org>
-##
-## All lines beginning with `## DP:' are a description of the patch.
-## DP: No description.
-
-@DPATCH@
-diff -urNad xml-light-2.2~/Makefile xml-light-2.2/Makefile
---- xml-light-2.2~/Makefile	2005-10-11 23:26:41.000000000 +0200
-+++ xml-light-2.2/Makefile	2005-10-11 23:28:00.000000000 +0200
-@@ -11,8 +11,11 @@
- 

- opt: xml-light.cmxa test_opt.exe

- 

--install: all opt

--	cp xml-light.cmxa xml-light.a xml-light.cma xml.mli xmlParser.mli dtd.mli xml.cmi xmlParser.cmi dtd.cmi xml.cmx dtd.cmx xmlParser.cmx $(INSTALLDIR)

-+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)

- 

- doc:

- 	mkdir doc

diff --git a/dev-ml/xml-light/files/02_cmi_depends.dpatch b/dev-ml/xml-light/files/02_cmi_depends.dpatch
deleted file mode 100644
index 1fcf17048407..000000000000
--- a/dev-ml/xml-light/files/02_cmi_depends.dpatch
+++ /dev/null
@@ -1,18 +0,0 @@
-#! /bin/sh /usr/share/dpatch/dpatch-run
-## 02_cmi_depends.dpatch by Sylvain Le Gall <gildor@debian.org>
-##
-## All lines beginning with `## DP:' are a description of the patch.
-## DP: No description.
-
-@DPATCH@
-diff -urNad xml-light-2.2~/Makefile xml-light-2.2/Makefile
---- xml-light-2.2~/Makefile	2006-01-03 17:34:23.000000000 +0100
-+++ xml-light-2.2/Makefile	2006-01-03 17:35:04.000000000 +0100
-@@ -82,6 +82,6 @@
- .mll.ml:

- 	ocamllex $<

- 

--.mly.ml:

-+%.mli %.ml: %.mly

- 	ocamlyacc $<

- 

diff --git a/dev-ml/xml-light/files/03_cflags.dpatch b/dev-ml/xml-light/files/03_cflags.dpatch
deleted file mode 100644
index 5dfbffe5da1f..000000000000
--- a/dev-ml/xml-light/files/03_cflags.dpatch
+++ /dev/null
@@ -1,51 +0,0 @@
-#! /bin/sh /usr/share/dpatch/dpatch-run
-## 03_cflags.dpatch by Sylvain Le Gall <gildor@debian.org>
-##
-## All lines beginning with `## DP:' are a description of the patch.
-## DP: No description.
-
-@DPATCH@
-diff -urNad xml-light-2.2~/Makefile xml-light-2.2/Makefile
---- xml-light-2.2~/Makefile	2006-10-26 00:22:41.000000000 +0200
-+++ xml-light-2.2/Makefile	2006-10-26 00:24:45.000000000 +0200
-@@ -3,8 +3,8 @@
- .SUFFIXES : .ml .mli .cmo .cmx .cmi .mll .mly

- 

- INSTALLDIR=`ocamlc -where`

--CFLAGS=

--LFLAGS= -a

-+XML_LIGHT_OCAML_CFLAGS= $(OCAML_CFLAGS)

-+XML_LIGHT_OCAML_LFLAGS= $(OCAML_LFLAGS) -a

- LIBS=

- 

- all: xml-light.cma test.exe doc

-@@ -28,10 +28,10 @@
- 	ocamlopt xml-light.cmxa test.ml -o test_opt.exe

- 

- xml-light.cma: xml_parser.cmo xml_lexer.cmo dtd.cmo xmlParser.cmo xml.cmo 

--	ocamlc -o xml-light.cma $(LFLAGS) $(LIBS) xml_parser.cmo xml_lexer.cmo dtd.cmo xmlParser.cmo xml.cmo

-+	ocamlc -o xml-light.cma $(XML_LIGHT_OCAML_LFLAGS) $(LIBS) xml_parser.cmo xml_lexer.cmo dtd.cmo xmlParser.cmo xml.cmo

- 

- xml-light.cmxa: xml_parser.cmx xml_lexer.cmx dtd.cmx xmlParser.cmx xml.cmx 

--	ocamlopt -o xml-light.cmxa $(LFLAGS) $(LIBS) 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

- 

- dtd.cmo: xml.cmi xml_lexer.cmi dtd.cmi

- 

-@@ -71,13 +71,13 @@
- 

- # SUFFIXES

- .ml.cmo:

--	ocamlc $(CFLAGS) -c $<

-+	ocamlc $(XML_LIGHT_OCAML_CFLAGS) -c $<

- 

- .ml.cmx:

--	ocamlopt $(CFLAGS) -c $<

-+	ocamlopt $(XML_LIGHT_OCAML_CFLAGS) -c $<

- 

- .mli.cmi:

--	ocamlc $(CFLAGS) $<

-+	ocamlc $(XML_LIGHT_OCAML_CFLAGS) $<

- 

- .mll.ml:

- 	ocamllex $<

diff --git a/dev-ml/xml-light/files/04_dtd_trace.dpatch b/dev-ml/xml-light/files/04_dtd_trace.dpatch
deleted file mode 100644
index 9dbea4bdf0c8..000000000000
--- a/dev-ml/xml-light/files/04_dtd_trace.dpatch
+++ /dev/null
@@ -1,26 +0,0 @@
-#! /bin/sh /usr/share/dpatch/dpatch-run
-## 04_dtd_trace.dpatch by Sylvain Le Gall <gildor@debian.org>
-##
-## All lines beginning with `## DP:' are a description of the patch.
-## DP: No description.
-
-@DPATCH@
-diff -urNad xml-light-2.2~/dtd.ml xml-light-2.2/dtd.ml
---- xml-light-2.2~/dtd.ml	2005-02-18 10:01:54.000000000 +0100
-+++ xml-light-2.2/dtd.ml	2006-10-26 23:22:25.000000000 +0200
-@@ -267,7 +267,7 @@
- exception TmpResult of dtd_result

- 

- let prove_child dtd tag = 

--	trace dtd tag;

-+	(*trace dtd tag;*)

- 	match dtd.current with

- 	| DTDEmpty -> raise (Prove_error EmptyExpected)

- 	| DTDAny -> ()

-@@ -505,4 +505,4 @@
- 		sprintf "<!ELEMENT %s %s>" tag (etype_to_string etype)

- 

- ;;

--to_string_ref := to_string
-\ No newline at end of file
-+to_string_ref := to_string