PKGBUILD for spot 2.12

PKGBUILD

# Maintainer: Stefan Husmann <[email protected]>
# Maintainer: Clément Démoulins <[email protected]>
# Contributor: Aaron Schaefer <[email protected]>
# Contributor: Masaki Waga <[email protected]>

pkgname=spot
pkgver=2.12
pkgrel=1
pkgdesc="A C++17 library for LTL, omega automata manipulation and model checking."
arch=('i686' 'x86_64')
url="https://spot.lrde.epita.fr/"
license=('GPL3')
depends=('glibc' 'sh' 'python' 'python-distutils-extra' 'libtool')
source=(http://www.lrde.epita.fr/dload/${pkgname}/${pkgname}-${pkgver}.tar.gz)
sha256sums=('26ba076ad57ec73d2fae5482d53e16da95c47822707647e784d8c7cec0d10455')

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

package() {
  cd ${srcdir}/${pkgname}-${pkgver}
  make DESTDIR=${pkgdir} install
  install -D -m644 COPYING ${pkgdir}/usr/share/licenses/${pkgname}/COPYING
}