diff options
author | V3n3RiX <venerix@redcorelinux.org> | 2021-04-28 20:21:43 +0100 |
---|---|---|
committer | V3n3RiX <venerix@redcorelinux.org> | 2021-04-28 20:21:43 +0100 |
commit | 40aaaa64e86ba6710bbeb31c4615a6ce80e75e11 (patch) | |
tree | 758c221bad35c9288d0bd6df9c7dfc226728e52c /dev-ml/xml-light/files | |
parent | 8d5dbd847cbc704a6a06405856e94b461011afe3 (diff) |
gentoo resync : 28.04.2021
Diffstat (limited to 'dev-ml/xml-light/files')
-rw-r--r-- | dev-ml/xml-light/files/01_installopt.patch (renamed from dev-ml/xml-light/files/01_installopt.dpatch) | 12 | ||||
-rw-r--r-- | dev-ml/xml-light/files/02_cmi_depends.dpatch | 18 | ||||
-rw-r--r-- | dev-ml/xml-light/files/02_cmi_depends.patch | 10 | ||||
-rw-r--r-- | dev-ml/xml-light/files/03_cflags.patch (renamed from dev-ml/xml-light/files/03_cflags.dpatch) | 12 | ||||
-rw-r--r-- | dev-ml/xml-light/files/04_dtd_trace.dpatch | 26 | ||||
-rw-r--r-- | dev-ml/xml-light/files/04_dtd_trace.patch | 18 |
6 files changed, 32 insertions, 64 deletions
diff --git a/dev-ml/xml-light/files/01_installopt.dpatch b/dev-ml/xml-light/files/01_installopt.patch index 1dfb50c9e271..d3a3d8457431 100644 --- a/dev-ml/xml-light/files/01_installopt.dpatch +++ b/dev-ml/xml-light/files/01_installopt.patch @@ -1,13 +1,5 @@ -#! /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 +--- a/Makefile ++++ b/Makefile @@ -11,8 +11,11 @@ opt: xml-light.cmxa test_opt.exe
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/02_cmi_depends.patch b/dev-ml/xml-light/files/02_cmi_depends.patch new file mode 100644 index 000000000000..c1f4ce31d159 --- /dev/null +++ b/dev-ml/xml-light/files/02_cmi_depends.patch @@ -0,0 +1,10 @@ +--- a/Makefile ++++ b/Makefile +@@ -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.patch index 5dfbffe5da1f..3895b2ad6872 100644 --- a/dev-ml/xml-light/files/03_cflags.dpatch +++ b/dev-ml/xml-light/files/03_cflags.patch @@ -1,13 +1,5 @@ -#! /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 +--- a/Makefile ++++ b/Makefile @@ -3,8 +3,8 @@ .SUFFIXES : .ml .mli .cmo .cmx .cmi .mll .mly
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
diff --git a/dev-ml/xml-light/files/04_dtd_trace.patch b/dev-ml/xml-light/files/04_dtd_trace.patch new file mode 100644 index 000000000000..ac0da3cb5b86 --- /dev/null +++ b/dev-ml/xml-light/files/04_dtd_trace.patch @@ -0,0 +1,18 @@ +--- a/dtd.ml ++++ b/dtd.ml +@@ -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
|