diff options
| author | Peter Breitenlohner <peb@mppmu.mpg.de> | 2012-11-14 11:03:49 +0000 |
|---|---|---|
| committer | Peter Breitenlohner <peb@mppmu.mpg.de> | 2012-11-14 11:03:49 +0000 |
| commit | 562b9630efc63d20babed990a6b64e57c0f35e1f (patch) | |
| tree | 634d8402ab61478b6198596d3e479e7902741363 | |
| parent | b0d264064c78edce192cc7e5f6735e8272150374 (diff) | |
dvisvgm: Build fix for gcc-4.7
git-svn-id: svn://tug.org/texlive/trunk@28258 c570f23f-e606-0410-a88d-b1316a301751
| -rw-r--r-- | Build/source/texk/dvisvgm/dvisvgm-1.0.12-PATCHES/patch-05-gcc-4.7 | 14 | ||||
| -rw-r--r-- | Build/source/texk/dvisvgm/dvisvgm-1.0.12/src/DVIToSVG.cpp | 2 |
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() + " ")); } } |