[skip-ci] kile: rebuild

This commit is contained in:
Francesco Marinucci 2018-12-03 11:20:49 +01:00
parent af4e46258c
commit a85992feea

View File

@ -14,6 +14,7 @@ source=("https://downloads.sourceforge.net/$pkgname/$pkgname-$pkgver.tar.bz2")
sha256sums=('177372dc25b1d109e037a7dbfc64b5dab2efe538320c87f4a8ceada21e9097f2')
build() {
mkdir build
cd build
cmake ../${pkgname}-${pkgver} \
-DCMAKE_BUILD_TYPE=Release \