# Maintainer: Felix Yan <felixonmars@archlinux.org>
# Contributor: Brent Carmer
# Contributor: Alex J. Malozemoff <amaloz@galois.com>

pkgname=yices
pkgver=2.6.2
pkgrel=2
pkgdesc="The Yices SMT Solver"
arch=('x86_64')
url="http://yices.csl.sri.com/"
license=('GPL')
depends=('cudd' 'gmp' 'libpoly')
makedepends=('gperf')
source=("http://yices.csl.sri.com/releases/${pkgver}/yices-${pkgver}-src.tar.gz")
sha1sums=('5ea0cd1d49fa17eda970480fa3d09fbb2147d694')

build() {
  cd $pkgname-$pkgver
  ./configure --prefix=/usr --enable-mcsat
  make
}

package() {
  cd $pkgname-$pkgver
  make DESTDIR="$pkgdir/" install
}
