mirror of
https://gitlab.alpinelinux.org/alpine/aports.git
synced 2025-04-13 00:16:45 +02:00
44 lines
1 KiB
Text
44 lines
1 KiB
Text
# 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
|
|
"
|