Add ocamlbuild to makedeps

2 files changed, 5 insertions, 4 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 7891031c5850..d296898ff51c 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,13 +1,14 @@
 # Generated by mksrcinfo v8
-# Tue May 29 18:51:53 UTC 2018
+# Wed May 22 21:01:56 UTC 2019
 pkgbase = proverif
 	pkgdesc = Cryptographic protocol verifier in the formal model
 	pkgver = 2.00
-	pkgrel = 1
+	pkgrel = 2
 	url = http://prosecco.gforge.inria.fr/personal/bblanche/proverif/
 	arch = i686
 	arch = x86_64
 	license = GPL
+	makedepends = ocamlbuild
 	makedepends = ocaml-findlib
 	makedepends = lablgtk2
 	depends = ocaml
diff --git a/PKGBUILD b/PKGBUILD
index 36c7d3bb2514..24e7a628332b 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,13 +1,13 @@
 # Maintainer: Matej Grabovsky <matej.grabovsky at gmail>
 pkgname=proverif
 pkgver=2.00
-pkgrel=1
+pkgrel=2
 pkgdesc='Cryptographic protocol verifier in the formal model'
 arch=('i686' 'x86_64')
 url='http://prosecco.gforge.inria.fr/personal/bblanche/proverif/'
 license=('GPL')
 depends=('ocaml')
-makedepends=('ocaml-findlib' 'lablgtk2')
+makedepends=('ocamlbuild' 'ocaml-findlib' 'lablgtk2')
 optdepends=('graphviz: for displaying graphs of found attacks')
 source=("http://prosecco.gforge.inria.fr/personal/bblanche/proverif/proverif$pkgver.tar.gz")
 sha1sums=('f87582cea412cf32aa06966bd8f2e8f7cc3be0d1')