# Maintainer: Patrycja Rosa <alpine@ptrcnull.me>
pkgname=yices2
pkgver=2.6.5
pkgrel=0
pkgdesc="Solver for Satisfiability Modulo Theories (SMT) problems"
url="https://github.com/SRI-CSL/yices2"
arch="all"
license="GPL-3.0-or-later"
makedepends="autoconf automake gperf gmp-dev"
checkdepends="bash"
subpackages="$pkgname-dev $pkgname-libs"
source="https://github.com/SRI-CSL/yices2/archive/refs/tags/Yices-$pkgver/yices2-$pkgver.tar.gz"
builddir="$srcdir/yices2-Yices-$pkgver"

prepare() {
	default_prepare
	NOCONFIGURE=1 autoreconf -vfi
}

build() {
	CFLAGS="$CFLAGS -O2 -flto=auto" \
	CXXFLAGS="$CXXFLAGS -O2 -flto=auto" \
	./configure \
		--prefix=/usr \
		--sysconfdir=/etc \
		--mandir=/usr/share/man \
		--infodir=/usr/share/info \
		--localstatedir=/var \
		--enable-thread-safety
	make
}

check() {
	make check
}

package() {
	make DESTDIR="$pkgdir" install
	rm "$pkgdir"/usr/lib/*.a
}

sha512sums="
8f01c6d516f2aa901b30e9248c3df78930e670c8e1a795b1bb112561f4e338e6e11eadfc2e6cbfc089f6593561b5874fbe816be677dd09c0834a01829c5cf490  yices2-2.6.5.tar.gz
"
