Update to milestone 3

2 files changed, 8 insertions, 4 deletions

diff --git a/.SRCINFO b/.SRCINFO
index ec2c85ce1d0f..8a30422193f3 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,6 +1,6 @@
 pkgbase = lean4
 	pkgdesc = Lean 4 programming language and theorem prover
-	pkgver = 4.0.0.m2
+	pkgver = 4.0.0.m3
 	pkgrel = 1
 	url = https://github.com/leanprover/lean4
 	arch = i686
@@ -10,8 +10,7 @@ pkgbase = lean4
 	license = APACHE2
 	makedepends = cmake
 	depends = gmp
-	source = lean4-4.0.0.m2::git+https://github.com/leanprover/lean4.git#commit=v4.0.0-m2
+	source = lean4-4.0.0.m3::git+https://github.com/leanprover/lean4.git#commit=v4.0.0-m3
 	b2sums = SKIP
 
 pkgname = lean4
-
diff --git a/PKGBUILD b/PKGBUILD
index 1bae0e8912dc..1e25df54715c 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -1,7 +1,7 @@
 # Maintainer: Dario Ostuni <dario.ostuni@gmail.com>
 pkgname=lean4
 _pkgver=4.0.0
-_pkgm=m2
+_pkgm=m3
 _pkgpver=v${_pkgver}-${_pkgm}
 pkgver=${_pkgver}.${_pkgm}
 pkgrel=1
@@ -15,6 +15,11 @@ options=()
 source=("${pkgname}-${pkgver}::git+https://github.com/leanprover/lean4.git#commit=${_pkgpver}")
 b2sums=('SKIP')
 
+prepare() {
+    cd "${pkgname}-${pkgver}"
+    git submodule update --init
+}
+
 build() {
     cd "${pkgname}-${pkgver}"
     mkdir -p build