From b56a6b192f77565e76da53e1416666f1d109a835 Mon Sep 17 00:00:00 2001
From: Francesco Marinucci <franzmari@chakralinux.org>
Date: Thu, 24 Jan 2019 17:57:20 +0100
Subject: [PATCH] [skip-ci] antlr4-runtime: added as a dependency for
 mysql-workbench

---
 antlr4-runtime/PKGBUILD | 23 +++++++++++++++++++++++
 1 file changed, 23 insertions(+)
 create mode 100644 antlr4-runtime/PKGBUILD

diff --git a/antlr4-runtime/PKGBUILD b/antlr4-runtime/PKGBUILD
new file mode 100644
index 000000000..bd97b57ad
--- /dev/null
+++ b/antlr4-runtime/PKGBUILD
@@ -0,0 +1,23 @@
+pkgname=antlr4-runtime
+pkgver=4.7.2
+pkgrel=1
+pkgdesc='Antlr C++ runtime'
+url='https://www.antlr.org/'
+arch=('x86_64')
+depends=('gcc-libs')
+license=('BSD')
+makedepends=('cmake')
+source=("https://www.antlr.org/download/antlr4-cpp-runtime-${pkgver}-source.zip")
+sha256sums=('8631a39116684638168663d295a969ad544cead3e6089605a44fea34ec01f31a')
+
+build() {
+  mkdir build
+  cd build
+  cmake .. -DCMAKE_INSTALL_PREFIX=/usr
+  make
+}
+
+package() {
+  cd build
+  make DESTDIR="${pkgdir}/" install
+}