diff options
Diffstat (limited to 'PKGBUILD')
-rw-r--r-- | PKGBUILD | 63 |
1 files changed, 63 insertions, 0 deletions
diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..be911e9433f0 --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,63 @@ +# Copyright (C) 2020 Matthew Glazar +# See end of file for extended copyright information. + +# Maintainer: Matthew "strager" Glazar <strager.nds@gmail.com> +# Contributor: Shivam Mehta <sm.cse at gmail dot com> + +pkgname=quick-lint-js-git +pkgver=0.2.0.r309.g0486214b +pkgrel=1 +pkgdesc="Find bugs in JavaScript programs" +arch=(aarch64 arm armv6h armv7h i686 pentium4 x86_64) +url="https://quick-lint-js.com/" +license=(Apache Boost GPL3) +depends=(gcc-libs) +makedepends=(cmake git ninja) +checkdepends=(icu) +provides=(quick-lint-js) +conflicts=(quick-lint-js) +source=(quick-lint-js::git+https://github.com/quick-lint/quick-lint-js.git) +sha256sums=(SKIP) + +pkgver() { + cd quick-lint-js + git describe --long --tags | sed -e 's/-/-r/; s/-/./g' +} + +build() { + cd quick-lint-js + cmake -G Ninja \ + -DCMAKE_BUILD_TYPE=Release \ + -DCMAKE_INSTALL_PREFIX=/usr \ + -DQUICK_LINT_JS_INSTALL_LICENSES_DIR="share/licenses/${pkgname}" \ + -S . -B build + ninja -C build +} + +check() { + cd quick-lint-js + ninja -C build test +} + +package() { + cd quick-lint-js + DESTDIR="${pkgdir}/" ninja -C build install +} + +# quick-lint-js finds bugs in JavaScript programs. +# Copyright (C) 2020 Matthew Glazar +# +# This file is part of quick-lint-js. +# +# quick-lint-js is free software: you can redistribute it and/or modify +# it under the terms of the GNU General Public License as published by +# the Free Software Foundation, either version 3 of the License, or +# (at your option) any later version. +# +# quick-lint-js is distributed in the hope that it will be useful, +# but WITHOUT ANY WARRANTY; without even the implied warranty of +# MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the +# GNU General Public License for more details. +# +# You should have received a copy of the GNU General Public License +# along with quick-lint-js. If not, see <https://www.gnu.org/licenses/>. |