diff options
| -rw-r--r-- | mysql-workbench-5.2.34-gcc46.patch | 11 | ||||
| -rw-r--r-- | mysql-workbench-5.2.34-man.patch | 12 |
2 files changed, 23 insertions, 0 deletions
diff --git a/mysql-workbench-5.2.34-gcc46.patch b/mysql-workbench-5.2.34-gcc46.patch new file mode 100644 index 0000000..33b708b --- /dev/null +++ b/mysql-workbench-5.2.34-gcc46.patch @@ -0,0 +1,11 @@ +diff -up mysql-workbench-gpl-5.2.34-src/modules/db.mysql/src/db_mysql_catalog_report.h.gcc46 mysql-workbench-gpl-5.2.34-src/modules/db.mysql/src/db_mysql_catalog_report.h +--- mysql-workbench-gpl-5.2.34-src/modules/db.mysql/src/db_mysql_catalog_report.h.gcc46 2011-05-28 08:12:31.887897052 +0200 ++++ mysql-workbench-gpl-5.2.34-src/modules/db.mysql/src/db_mysql_catalog_report.h 2011-05-28 08:13:10.397054637 +0200 +@@ -10,6 +10,7 @@ + #include "config.h" + #endif + ++#include <cstddef> + #include "ctemplate/template.h" + + #include "grt/common.h" diff --git a/mysql-workbench-5.2.34-man.patch b/mysql-workbench-5.2.34-man.patch new file mode 100644 index 0000000..9a12a74 --- /dev/null +++ b/mysql-workbench-5.2.34-man.patch @@ -0,0 +1,12 @@ +diff -up mysql-workbench-gpl-5.2.34-src/ext/mysql-utilities/setup.py.orig mysql-workbench-gpl-5.2.34-src/ext/mysql-utilities/setup.py +--- mysql-workbench-gpl-5.2.34-src/ext/mysql-utilities/setup.py.orig 2011-05-28 08:32:01.667811328 +0200 ++++ mysql-workbench-gpl-5.2.34-src/ext/mysql-utilities/setup.py 2011-05-28 08:32:30.464887518 +0200 +@@ -110,7 +110,7 @@ class install_man(distutils.core.Command + self.set_undefined_options('build_sphinx', + ('build_dir', 'build_dir'), + ) +- self.target_dir = os.path.join(self.install_base, 'man') ++ self.target_dir = os.path.join(self.install_base, 'share/man') + self.source_dir = os.path.join(self.build_dir, 'man') + + def run(self): |