diff options
Diffstat (limited to 'testing/vera++/APKBUILD')
| -rw-r--r-- | testing/vera++/APKBUILD | 6 |
1 files changed, 3 insertions, 3 deletions
diff --git a/testing/vera++/APKBUILD b/testing/vera++/APKBUILD index 3ca03df249b..3347c64568e 100644 --- a/testing/vera++/APKBUILD +++ b/testing/vera++/APKBUILD @@ -2,9 +2,9 @@ # Maintainer: Marian Buschsieweke <marian.buschsieweke@ovgu.de> pkgname=vera++ pkgver=1.3.0 -pkgrel=2 +pkgrel=9 pkgdesc="tool for verification, analysis and transformation of C++ source code" -url="http://bitbucket.org/verateam/vera" +url="https://bitbucket.org/verateam/vera" arch="all" license="BSL-1.0" makedepends="cmake ninja tcl-dev tk-dev python3-dev boost-dev lua-dev" @@ -18,7 +18,7 @@ source=" " build() { - cmake -B build \ + cmake -B build -G Ninja \ -DCMAKE_BUILD_TYPE=None \ -DCMAKE_INSTALL_PREFIX=/usr \ -DVERA_LUA=OFF \ |