Package Details: btor2tools-git r83.037f1fa-1

Git Clone URL: https://aur.archlinux.org/btor2tools-git.git (read-only, click to copy)
Package Base: btor2tools-git
Description: A generic parser and tool package for the BTOR2 format.
Upstream URL: https://github.com/Boolector/btor2tools
Licenses: MIT
Provides: btor2tools
Submitter: deian
Maintainer: CyanoKobalamyne
Last Packager: CyanoKobalamyne
Votes: 1
Popularity: 0.051351
First Submitted: 2019-06-13 22:18 (UTC)
Last Updated: 2024-02-16 23:41 (UTC)

Latest Comments

xiretza commented on 2021-06-02 20:56 (UTC)

Hey, here's a patch that improves and fixes a bunch of things (including using the newly available make install from upstream):

diff --git a/PKGBUILD b/PKGBUILD
index a76f4bc..e214abf 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -2,41 +2,32 @@

 _pkgname=btor2tools
 pkgname=btor2tools-git
-pkgver=r77.9831f99
+pkgver=r79.6ba194b
 pkgrel=1
 pkgdesc="A generic parser and tool package for the BTOR2 format."
-arch=('any')
+arch=('x86_64')
 url="https://github.com/Boolector/btor2tools"
 license=('MIT')
-depends=()
-makedepends=()
-conflicts=()
+depends=('gcc-libs')
+makedepends=('git' 'cmake')
+provides=("$_pkgname")
 source=("git://github.com/Boolector/btor2tools.git")
 sha256sums=('SKIP')
-sha512sums=('SKIP')

 pkgver() {
   cd $_pkgname
   printf "r%s.%s" "$(git rev-list --count HEAD)" "$(git rev-parse --short HEAD)"
 }

-prepare() {
-  cd $srcdir
-}
-
 build() {
-  cd "$srcdir/btor2tools"
-  CFLAGS="" ./configure.sh
-  cd build
-  make
+  cmake -B build -S "$_pkgname" \
+    -DCMAKE_INSTALL_PREFIX='/usr'
+
+  make -C build
 }

 package() {
-  mkdir -p "$pkgdir/usr/bin/"
-  mkdir -p "$pkgdir/usr/lib/"
-  mkdir -p "$pkgdir/usr/include/btor2parser"
+  make -C build DESTDIR="$pkgdir" install

-  install -m755 btor2tools/build/bin/* "$pkgdir/usr/bin/"
-  install -m755 btor2tools/build/lib/*.so "$pkgdir/usr/lib/"
-  install -m755 btor2tools/src/btor2parser/btor2parser.h  "$pkgdir/usr/include/btor2parser"
+  install -Dm644 -t "$pkgdir/usr/share/licenses/$pkgname/" "$_pkgname/LICENSE.txt"
 }