[Git][archlinux/packaging/packages/stp][main] minor pkgbuild cleanup

[T.J. Townsend (@blakkheim)]

T.J. Townsend pushed to branch main at Arch Linux / Packaging / Packages / stp


Commits:
c654ecbb by T.J. Townsend at 2023-08-31T13:09:53-04:00
minor pkgbuild cleanup

- - - - -


1 changed file:

- PKGBUILD


Changes:

=====================================
PKGBUILD
=====================================
@@ -4,7 +4,7 @@ pkgname=stp
 pkgver=2.3.3
 pkgrel=9
 pkgdesc="Simple Theorem Prover"
-arch=('i686' 'x86_64')
+arch=('x86_64')
 url="https://stp.github.io/";
 license=('MIT')
 depends=('boost-libs' 'cryptominisat5' 'minisat')
@@ -17,29 +17,26 @@ 
sha256sums=('ea6115c0fc11312c797a4b7c4db8734afcfce4908d078f386616189e01b4fffa'
 prepare() {
   # Correct the destination for man documentation.
   patch -d $pkgname-$pkgver < mandir.patch
-  mkdir -p build
 
   # Remove RPATH
   sed -i '/RPATH/d' 
$pkgname-$pkgver/{,tools/stp/,tools/stp_simple/}CMakeLists.txt
 }
 
 build() {
-  cd build
-  cmake \
-    -GNinja \
+  cmake -B build -S "$pkgname-$pkgver" \
+    -DCMAKE_BUILD_TYPE=None \
     -DCMAKE_INSTALL_PREFIX=/usr \
-    -DCMAKE_INSTALL_LIBDIR=lib \
     -DENABLE_PYTHON_INTERFACE=ON \
-    ../$pkgname-$pkgver
-  ninja
+    -DCMAKE_INSTALL_LIBDIR=lib \
+    -Wno-dev
+  cmake --build build
 }
 
 package() {
+  DESTDIR="$pkgdir" cmake --install build
+
   cd $pkgname-$pkgver
   install -Dm644 LICENSE LICENSE_COMPONENTS -t 
"$pkgdir"/usr/share/licenses/$pkgname/
-
-  cd ../build
-  DESTDIR="$pkgdir" ninja install
 }
 
 # vim:set ts=2 sw=2 et:



View it on GitLab: 
https://gitlab.archlinux.org/archlinux/packaging/packages/stp/-/commit/c654ecbb0a55cdc0f23d079f042ba1de42beb88b

-- 
View it on GitLab: 
https://gitlab.archlinux.org/archlinux/packaging/packages/stp/-/commit/c654ecbb0a55cdc0f23d079f042ba1de42beb88b
You're receiving this email because of your account on gitlab.archlinux.org.