1 files changed, 17 insertions, 0 deletions
diff --git a/community/mysql-workbench/PKGBUILD b/community/mysql-workbench/PKGBUILD
new file mode 100644
index 00000000..b6e0638e
--- /dev/null
+++ b/community/mysql-workbench/PKGBUILD
@@ -0,0 +1,17 @@
+# see https://github.com/mysql/mysql-workbench/pull/14/files
+
+source+=('mysql-workbench-community-6.3.10-src-32bit-jsonview.patch')
+sha256sums+=('5339ece7c0f92667e7dbcfb48d6c0c8ddb322dab4c95d5b01ff8e22d0aebaa3b')
+
+eval "$(
+  declare -f prepare | \
+    sed '
+      /0005-gdal-use-CPLFree.patch$/ {
+        a \
+        \
+        # 32-bit compilation bug in jsonview \
+        patch -Np1 < "${srcdir}"/mysql-workbench-community-6.3.10-src-32bit-jsonview.patch
+      }
+    '
+)"
+