summarylogtreecommitdiffstats
diff options
context:
space:
mode:
authoraksr2016-12-27 20:20:58 +0100
committeraksr2016-12-27 20:21:58 +0100
commitff7aaa7d76afd727b54e8d16291cd899e7a45a02 (patch)
treeffdd3aeb30bbc6ccc28185451af1cbe1f2f4abb2
parent54607ab2d689e72549ef9caf3d568ad87a4197fc (diff)
downloadaur-ff7aaa7d76afd727b54e8d16291cd899e7a45a02.tar.gz
Add `ocaml-ocamlgraph' to makedepends.
-rw-r--r--.SRCINFO3
-rw-r--r--PKGBUILD2
2 files changed, 3 insertions, 2 deletions
diff --git a/.SRCINFO b/.SRCINFO
index 8d1901f0551e..5602232405e3 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -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
diff --git a/PKGBUILD b/PKGBUILD
index b0e873b92949..4e26faf0d554 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -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')