diff options
-rw-r--r-- | .SRCINFO | 24 | ||||
-rw-r--r-- | .gitignore | 3 | ||||
-rw-r--r-- | PKGBUILD | 27 |
3 files changed, 54 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO new file mode 100644 index 000000000000..ffd2322e5ff5 --- /dev/null +++ b/.SRCINFO @@ -0,0 +1,24 @@ +pkgbase = vcsn + pkgdesc = Finite state machine manipulation platform, consisting of a library and tools implemented on top of it. + pkgver = 2.1 + pkgrel = 1 + url = http://vaucanson.lrde.epita.fr/ + arch = i686 + arch = x86_64 + license = GPL3 + makedepends = texlive-core + makedepends = doxygen + makedepends = python2-docutils + depends = boost + depends = gcc + depends = ccache + depends = libltdl + depends = jupyter + depends = mathjax + depends = graphviz + options = !buildflags + source = https://www.lrde.epita.fr/dload/vcsn/2.1/vcsn-2.1.tar.xz + md5sums = 308e5a34de3ff1ff9f38c46bcfb434c5 + +pkgname = vcsn + diff --git a/.gitignore b/.gitignore new file mode 100644 index 000000000000..9c7c072cad06 --- /dev/null +++ b/.gitignore @@ -0,0 +1,3 @@ +pkg +src +vcsn-*.xz diff --git a/PKGBUILD b/PKGBUILD new file mode 100644 index 000000000000..3b00ebc0a718 --- /dev/null +++ b/PKGBUILD @@ -0,0 +1,27 @@ +# Maintainer: Clément DEMOULINS <clement@archivel.fr> + +pkgname=vcsn +pkgver=2.1 +pkgrel=1 +pkgdesc="Finite state machine manipulation platform, consisting of a library and tools implemented on top of it." +arch=('i686' 'x86_64') +url="http://vaucanson.lrde.epita.fr/" +license=('GPL3') +depends=('boost' 'gcc' 'ccache' 'libltdl' 'jupyter' 'mathjax' 'graphviz') +makedepends=('texlive-core' 'doxygen' 'python2-docutils') +options=(!buildflags) + +source=("https://www.lrde.epita.fr/dload/vcsn/$pkgver/$pkgname-$pkgver.tar.xz") +md5sums=('308e5a34de3ff1ff9f38c46bcfb434c5') + +build() { + cd "$srcdir/$pkgname-$pkgver" + ./configure --prefix="/usr" CXXFLAGS='-O3' CPPFLAGS='-DNDEBUG' + make +} + +package() { + cd "$srcdir/$pkgname-$pkgver" + make install DESTDIR="$pkgdir" +} + |