diff options
-rw-r--r-- | .SRCINFO | 2 | ||||
-rw-r--r-- | PKGBUILD | 5 |
2 files changed, 6 insertions, 1 deletions
@@ -1,5 +1,5 @@ # Generated by mksrcinfo v8 -# Tue Feb 23 14:29:03 UTC 2016 +# Wed Feb 24 14:29:44 UTC 2016 pkgbase = vcsn pkgdesc = Finite state machine manipulation platform, consisting of a library and tools implemented on top of it. pkgver = 2.2 @@ -14,6 +14,11 @@ options=(!buildflags) source=("https://www.lrde.epita.fr/dload/vcsn/$pkgver/$pkgname-$pkgver.tar.xz") md5sums=('48e479d34a047df4507d1e7b322bfb16') +check() { + cd "$srcdir/${_realname}" + ./tests/bin/vcsn python -c 'import vcsn; vcsn.B.expression("a").automaton()' +} + build() { cd "$srcdir/$pkgname-$pkgver" ./configure --prefix="/usr" CXXFLAGS='-O3' CPPFLAGS='-DNDEBUG' |