Add menhir dependency

2 files changed, 4 insertions, 3 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 7ff07f30e215..25de5998cdf9 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,7 +1,7 @@
 pkgbase = ocaml-fstar
 	pkgdesc = An ML-like language with a type system for program verification.
 	pkgver = 0.9.6.0
-	pkgrel = 2
+	pkgrel = 3
 	arch = i686
 	arch = x86_64
 	license = Apache
@@ -16,6 +16,7 @@ pkgbase = ocaml-fstar
 	makedepends = ocaml-fileutils
 	makedepends = ulex
 	makedepends = ocaml-ppx_deriving
+	makedepends = ocaml-menhir
 	depends = ocaml
 	options = !strip
 	options = !makeflags
diff --git a/PKGBUILD b/PKGBUILD
index b996cd7973d8..2a987f1fb0a9 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -4,14 +4,14 @@
 pkgname=ocaml-fstar
 _oname=fstar
 pkgver=0.9.6.0
-pkgrel=2
+pkgrel=3
 pkgdesc="An ML-like language with a type system for program verification."
 arch=('i686' 'x86_64')
 url=''
 license=('Apache')
 options=('!strip' '!makeflags' 'staticlibs')
 depends=('ocaml')
-makedepends=('ocaml-findlib' 'ocaml-yojson' 'ocaml-stdint' 'ocamlbuild' 'ocaml-batteries' 'ocaml-zarith' 'ocaml-ppx_deriving_yojson' 'ocaml-pprint' 'ocaml-fileutils' 'ulex' 'ocaml-ppx_deriving')
+makedepends=('ocaml-findlib' 'ocaml-yojson' 'ocaml-stdint' 'ocamlbuild' 'ocaml-batteries' 'ocaml-zarith' 'ocaml-ppx_deriving_yojson' 'ocaml-pprint' 'ocaml-fileutils' 'ulex' 'ocaml-ppx_deriving' 'ocaml-menhir')
 source=('https://github.com/FStarLang/FStar/archive/v0.9.6.0.tar.gz')
 sha384sums=('831cf86c861f69ebc536633874e924e37b851494778eb0e1e435c5d46272d59e7611642cf14ba0289f7ca8c9a379a9f0')