summaryrefslogtreecommitdiff
path: root/Build/source
diff options
context:
space:
mode:
authorPeter Breitenlohner <peb@mppmu.mpg.de>2012-11-14 11:03:49 +0000
committerPeter Breitenlohner <peb@mppmu.mpg.de>2012-11-14 11:03:49 +0000
commit562b9630efc63d20babed990a6b64e57c0f35e1f (patch)
tree634d8402ab61478b6198596d3e479e7902741363 /Build/source
parentb0d264064c78edce192cc7e5f6735e8272150374 (diff)
dvisvgm: Build fix for gcc-4.7
git-svn-id: svn://tug.org/texlive/trunk@28258 c570f23f-e606-0410-a88d-b1316a301751
Diffstat (limited to 'Build/source')
-rw-r--r--Build/source/texk/dvisvgm/dvisvgm-1.0.12-PATCHES/patch-05-gcc-4.714
-rw-r--r--Build/source/texk/dvisvgm/dvisvgm-1.0.12/src/DVIToSVG.cpp2
2 files changed, 15 insertions, 1 deletions
diff --git a/Build/source/texk/dvisvgm/dvisvgm-1.0.12-PATCHES/patch-05-gcc-4.7 b/Build/source/texk/dvisvgm/dvisvgm-1.0.12-PATCHES/patch-05-gcc-4.7
new file mode 100644
index 00000000000..5ead356b8ee
--- /dev/null
+++ b/Build/source/texk/dvisvgm/dvisvgm-1.0.12-PATCHES/patch-05-gcc-4.7
@@ -0,0 +1,14 @@
+ Required for 'g++-4.7 -std=c++11' as needed to build XeTeX.
+
+diff -ur dvisvgm-1.0.12.orig/src/DVIToSVG.cpp dvisvgm-1.0.12/src/DVIToSVG.cpp
+--- dvisvgm-1.0.12.orig/src/DVIToSVG.cpp 2012-09-20 15:49:10.000000000 +0200
++++ dvisvgm-1.0.12/src/DVIToSVG.cpp 2012-11-14 11:39:03.000000000 +0100
+@@ -185,7 +185,7 @@
+ Message::mstream().indent(0);
+ Message::mstream(false, Message::MC_PAGE_NUMBER) << "processing page " << n << " [" << c[0] << ']';
+ Message::mstream().indent(1);
+- _svg.appendToDoc(new XMLCommentNode(" This file was generated by dvisvgm "VERSION_STR" "));
++ _svg.appendToDoc(new XMLCommentNode(" This file was generated by dvisvgm " VERSION_STR " "));
+ _svg.appendToDoc(new XMLCommentNode(" " + datetime() + " "));
+ }
+ }
diff --git a/Build/source/texk/dvisvgm/dvisvgm-1.0.12/src/DVIToSVG.cpp b/Build/source/texk/dvisvgm/dvisvgm-1.0.12/src/DVIToSVG.cpp
index b56a3ed2152..5dab59f184b 100644
--- a/Build/source/texk/dvisvgm/dvisvgm-1.0.12/src/DVIToSVG.cpp
+++ b/Build/source/texk/dvisvgm/dvisvgm-1.0.12/src/DVIToSVG.cpp
@@ -185,7 +185,7 @@ void DVIToSVG::beginPage (unsigned n, Int32 *c) {
Message::mstream().indent(0);
Message::mstream(false, Message::MC_PAGE_NUMBER) << "processing page " << n << " [" << c[0] << ']';
Message::mstream().indent(1);
- _svg.appendToDoc(new XMLCommentNode(" This file was generated by dvisvgm "VERSION_STR" "));
+ _svg.appendToDoc(new XMLCommentNode(" This file was generated by dvisvgm " VERSION_STR " "));
_svg.appendToDoc(new XMLCommentNode(" " + datetime() + " "));
}
}