summarylogtreecommitdiffstats
path: root/PKGBUILD
blob: 79d69c2a3ab140121ca0106f444eaa9638de23e9 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
# Maintainer: Carl Smedstad <carl.smedstad at protonmail dot com>
# Contributor: Felix Golatofski <contact@xdfr.de>
# Contributor: yaroslav <proninyaroslav@mail.ru>

pkgname=infer
pkgver=1.1.0
pkgrel=1
pkgdesc="A static analyzer for Java, C, C++, and Objective-C"
arch=('x86_64')
url="https://github.com/facebook/infer"
license=('MIT')
depends=('java-environment' 'opam' 'ocaml')
makedepends=('git' 'rsync' 'cmake' 'ninja' 'python' 'clang')
options=('!buildflags')
source=("$pkgname-$pkgver.tar.gz::${url}/archive/v${pkgver}.tar.gz")
sha256sums=('201c7797668a4b498fe108fcc13031b72d9dbf04dab0dc65dd6bd3f30e1f89ee')

build() {
  cd "$pkgname-$pkgver"

  mkdir -p clang-setup
  CLANG_CMAKE_ARGS="-Wno-dev" CLANG_TMP_DIR="$(pwd)/clang-setup" INFER_CONFIGURE_OPTS="--prefix=/usr" ./build-infer.sh -y
}

package() {
  cd "$pkgname-$pkgver"

  make DESTDIR="$pkgdir/" install
  install -Dm644 LICENSE "${pkgdir}/usr/share/licenses/${pkgname}/LICENSE"
}