Update build dependencies.

2 files changed, 6 insertions, 5 deletions

diff --git a/.SRCINFO b/.SRCINFO
index d8d880d60954..1dc43253aa76 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,6 +1,6 @@
 pkgbase = herdtools7-git
 	pkgdesc = The Herd toolsuite to deal with .cat memory models
-	pkgver = r744.6192a9b
+	pkgver = 7.52.r1322.g650450b6
 	pkgrel = 1
 	url = https://github.com/herd/herdtools7
 	arch = i686
@@ -8,7 +8,8 @@ pkgbase = herdtools7-git
 	license = CeCILL-B
 	makedepends = git
 	makedepends = make
-	makedepends = ocamlbuild
+	makedepends = dune
+	makedepends = ocaml-menhir
 	depends = ocaml
 	provides = herdtools7
 	conflicts = herdtools7
@@ -16,4 +17,3 @@ pkgbase = herdtools7-git
 	sha256sums = SKIP
 
 pkgname = herdtools7-git
-
diff --git a/PKGBUILD b/PKGBUILD
index c58898afc03f..71dbc53b860c 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,17 +1,18 @@
 # Maintainer: Nathaniel R. Lewis <linux.robotdude@gmail.com>
+# Contributor: Chloe Brown <chloe dot brown dot 00 at outlook dot com>
 
 _pkgbase='herdtools7'
 pkgname=('herdtools7-git')
 provides=('herdtools7')
 conflicts=('herdtools7')
-pkgver=r744.6192a9b
+pkgver=7.52.r1322.g650450b6
 pkgrel=1
 pkgdesc="The Herd toolsuite to deal with .cat memory models"
 arch=('i686' 'x86_64')
 url='https://github.com/herd/herdtools7'
 license=('CeCILL-B')
 depends=('ocaml')
-makedepends=('git' 'make' 'ocamlbuild')
+makedepends=('git' 'make' 'dune' 'ocaml-menhir')
 source=('git://github.com/herd/herdtools7')
 sha256sums=('SKIP')