summarylogtreecommitdiffstats
path: root/.SRCINFO
diff options
context:
space:
mode:
authorClément Démoulins2015-08-25 16:29:07 +0200
committerClément Démoulins2015-08-25 16:35:02 +0200
commitf879face40a64bedf8e06cb1b06f242acf1ea896 (patch)
treee313e72330d57b58db74b3eb4dab8916f8e01f93 /.SRCINFO
downloadaur-f879face40a64bedf8e06cb1b06f242acf1ea896.tar.gz
Compile vcsn with -O3 and -DNDEBUG
Diffstat (limited to '.SRCINFO')
-rw-r--r--.SRCINFO28
1 files changed, 28 insertions, 0 deletions
diff --git a/.SRCINFO b/.SRCINFO
new file mode 100644
index 00000000000..6d802403467
--- /dev/null
+++ b/.SRCINFO
@@ -0,0 +1,28 @@
+pkgbase = vcsn-git
+ pkgdesc = Finite state machine manipulation platform, consisting of a library and tools implemented on top of it.
+ pkgver = v2.0.r1065.g650cb77
+ pkgrel = 1
+ url = http://vaucanson.lrde.epita.fr/
+ arch = i686
+ arch = x86_64
+ license = GPL3
+ makedepends = git
+ makedepends = texlive-core
+ makedepends = doxygen
+ makedepends = python2-docutils
+ depends = boost
+ depends = clang
+ depends = ccache
+ depends = libltdl
+ depends = ipython
+ provides = vaucanson-git
+ provides = vaucanson
+ provides = vcsn
+ conflicts = vaucanson-git
+ conflicts = vaucanson
+ conflicts = vcsn
+ source = git+https://gitlab.lrde.epita.fr/vcsn/vaucanson.git
+ md5sums = SKIP
+
+pkgname = vcsn-git
+