diff options
author | aksr | 2016-12-27 20:20:58 +0100 |
---|---|---|
committer | aksr | 2016-12-27 20:21:58 +0100 |
commit | ff7aaa7d76afd727b54e8d16291cd899e7a45a02 (patch) | |
tree | ffdd3aeb30bbc6ccc28185451af1cbe1f2f4abb2 | |
parent | 54607ab2d689e72549ef9caf3d568ad87a4197fc (diff) | |
download | aur-ff7aaa7d76afd727b54e8d16291cd899e7a45a02.tar.gz |
Add `ocaml-ocamlgraph' to makedepends.
-rw-r--r-- | .SRCINFO | 3 | ||||
-rw-r--r-- | PKGBUILD | 2 |
2 files changed, 3 insertions, 2 deletions
@@ -1,5 +1,5 @@ # Generated by mksrcinfo v8 -# Tue Dec 27 19:17:25 UTC 2016 +# Tue Dec 27 19:20:49 UTC 2016 pkgbase = frama-c pkgdesc = Extensible platform dedicated to source-code analysis of C software. pkgver = 20161101 @@ -13,6 +13,7 @@ pkgbase = frama-c makedepends = graphviz makedepends = ltl2ba makedepends = ocaml + makedepends = ocaml-ocamlgraph depends = gtksourceview2 depends = libgnomecanvas depends = zarith @@ -10,7 +10,7 @@ arch=('i686' 'x86_64') license=('LGPL2.1') url='http://frama-c.com' depends=('gtksourceview2' 'libgnomecanvas' 'zarith') -makedepends=('lablgtk2' 'coq' 'graphviz' 'ltl2ba' 'ocaml') +makedepends=('lablgtk2' 'coq' 'graphviz' 'ltl2ba' 'ocaml' 'ocaml-ocamlgraph') optdepends=('lablgtk2' 'coq' 'graphviz' 'ltl2ba') source=("http://frama-c.com/download/${pkgname}-${_codename}-${pkgver}.tar.gz") md5sums=('454cce7dd6c4d2ce80db2395b90f912e') |