Add python-setuptools as a makedepend

2 files changed, 4 insertions, 2 deletions

diff --git a/.SRCINFO b/.SRCINFO
index 5e085a8c8676..5c945611e26a 100644
--- a/.SRCINFO
+++ b/.SRCINFO
@@ -1,10 +1,11 @@
 pkgbase = python-mathlibtools
 	pkgdesc = This package contains leanproject, a supporting tool for Lean mathlib
 	pkgver = 0.0.10
-	pkgrel = 1
+	pkgrel = 2
 	url = https://github.com/leanprover-community/mathlib-tools
 	arch = any
 	license = Apache
+	makedepends = python-setuptools
 	depends = python-toml
 	depends = python-pygithub
 	depends = python-certifi
diff --git a/PKGBUILD b/PKGBUILD
index 8007d3f2c036..65d3de22fcc1 100644
--- a/PKGBUILD
+++ b/PKGBUILD
@@ -2,7 +2,7 @@
 
 pkgname=python-mathlibtools
 pkgver=0.0.10
-pkgrel=1
+pkgrel=2
 pkgdesc='This package contains leanproject, a supporting tool for Lean mathlib'
 arch=('any')
 url="https://github.com/leanprover-community/mathlib-tools"
@@ -19,6 +19,7 @@ depends=(
   'python-pydot'
   'python-yaml'
 )
+makedepends=('python-setuptools')
 optdepends=('lean-community')
 source=("https://files.pythonhosted.org/packages/fc/21/6b871d00cea09d2e94b9014997b9df160b003f53b4fb89e1cd93ff6f2990/mathlibtools-$pkgver.tar.gz")
 sha256sums=(66e86498d4f06cfa83270e907dac5bfba07960884e99c2306410caaedf42e034)