Install mypy>=1.0.0 rather than git HEAD, see #121

shish · Feb 7, 2023 · 25228b5 · 25228b5
1 parent f648b8e
commit 25228b5
Showing 1 changed file with 2 additions and 2 deletions.
diff --git a/py/py_env.sh b/py/py_env.sh
@@ -10,8 +10,8 @@ else
 	if [ ! -d $BUILDDIR ] ; then
 		echo "Installing PySDL2, MyPy, and Black in $BUILDDIR"
 		python3 -m venv $BUILDDIR
-		$BUILDDIR/bin/pip install pysdl2 pysdl2-dll git+https://github.com/python/mypy.git black
+		$BUILDDIR/bin/pip install pysdl2 pysdl2-dll 'mypy>=1.0.0' black
 	fi
 	echo "Using Python3 in $BUILDDIR"
 	PATH="$BUILDDIR/bin:$PATH"
-fi
+fi