1 files changed, 46 insertions, 0 deletions
diff --git a/PKGBUILD b/PKGBUILD
new file mode 100644
index 000000000000..8dedc573fb10
--- /dev/null
+++ b/PKGBUILD
@@ -0,0 +1,46 @@
+# Maintainer: Martoko <mbastholm at gmail dot com>
+
+pkgname=infer-bin
+pkgver=0.15.0
+pkgrel=1
+pkgdesc="Infer is a static analysis tool for Java, C++, Objective-C, and C. Infer is written in OCaml."
+arch=('x86_64')
+url="https://github.com/facebook/infer"
+license=('MIT')
+depends=('bash'
+         'libc++abi'
+         'python2'
+         'java-environment'
+         'ncurses5-compat-libs')
+source=("https://github.com/facebook/infer/releases/download/v${pkgver}/infer-linux64-v${pkgver}.tar.xz"
+        'FailingTest.c'
+        'PassingTest.c'
+        'FailingTest.java'
+        'PassingTest.java'
+        'LICENSE')
+install=${pkgname}.install
+sha512sums=('9e228eba8cb661d1bb3e81d04f1788e8c5d8e138f7b460544fab7823251153add01a49d1ca61f09cf4f102899182b53b9028711bd65e09d5424e935ee2ace778'
+            'e72e043048624ef958dcb03c73b042d17ee162d80f5f9798dd89b25b9ceca6e4852fc4627ac7c1d5162c73834431f61f52d3b37a4f990d1a19dc927665adbb04'
+            'd5333a55e34e92225dd2018a1b016c0ffe537773ea8d708cd74e2ae8c6e556cec8998028238fb993a000ef0841a6a21f7585893a58fb6c2208122951b717dd78'
+            '716d142870b12af04a19d81197b96f91af1544d1d8f2a4d09248d161cb4995ef3ff4611f8bd175a0553f0911cf24efa79ef97e36a14667f5b2027e053576d880'
+            '24ec322cbf4ebc6a5cb41269b1c6ebf09226cf3d0e4201781bd805bb63ffa499090d74542c8fcbdcd63924b8acfb7443acc1732441a2e3bb4c54a0cbf1aec680'
+            '400e5fff25247fb0fa8c0125073658c8f429c39fc20efefe9a8a69b5c5f925a9df1818b324e6691884ba108463908b75758f07b4796bf9fb972401696d3371f4')
+
+check() {
+  ${srcdir}/infer-linux64-v${pkgver}/bin/infer --fail-on-issue -- clang -c FailingTest.c && return 1
+  ${srcdir}/infer-linux64-v${pkgver}/bin/infer --fail-on-issue -- clang -c PassingTest.c || return 1
+
+  ${srcdir}/infer-linux64-v${pkgver}/bin/infer --fail-on-issue -- javac FailingTest.java && return 1
+  ${srcdir}/infer-linux64-v${pkgver}/bin/infer --fail-on-issue -- javac PassingTest.java || return 1
+
+  rm ${srcdir}/infer-linux64-v${pkgver}/lib/infer/infer/lib/python/inferlib/*.pyc
+}
+
+package() {
+  mkdir ${pkgdir}/usr
+  cp -r ${srcdir}/infer-linux64-v${pkgver}/bin ${pkgdir}/usr/bin
+  cp -r ${srcdir}/infer-linux64-v${pkgver}/lib ${pkgdir}/usr/lib
+  cp -r ${srcdir}/infer-linux64-v${pkgver}/share ${pkgdir}/usr/share
+
+  install -D -m 644 ${srcdir}/LICENSE ${pkgdir}/usr/share/licenses/${pkgname}/LICENSE 
+}