Antonio Rojas pushed to branch main at Arch Linux / Packaging / Packages / flint
Commits:
964fa0f5 by Antonio Rojas at 2025-06-16T12:28:33+02:00
Run tests
- - - - -
1 changed file:
- PKGBUILD
Changes:
=====================================
PKGBUILD
=====================================
@@ -30,10 +30,15 @@ build() {
cmake -B build -S $pkgname \
-DCMAKE_INSTALL_PREFIX=/usr \
-DENABLE_ARCH=NO \
- -DENABLE_AVX2=OFF
+ -DENABLE_AVX2=OFF \
+ -DBUILD_TESTING=ON
cmake --build build
}
+check() {
+ ctest --test-dir build
+}
+
package() {
DESTDIR="$pkgdir" cmake --install build
}
View it on GitLab:
https://gitlab.archlinux.org/archlinux/packaging/packages/flint/-/commit/964fa0f583af903b38bbf8e6d90ec86c83bb659e
--
View it on GitLab:
https://gitlab.archlinux.org/archlinux/packaging/packages/flint/-/commit/964fa0f583af903b38bbf8e6d90ec86c83bb659e
You're receiving this email because of your account on gitlab.archlinux.org.
