diff --git a/tools/docker/Makefile b/tools/docker/Makefile index 2fef1ffe61..5c5bd2057b 100644 --- a/tools/docker/Makefile +++ b/tools/docker/Makefile @@ -207,7 +207,7 @@ cache/python: | cache -mkdir $@ ## MANYLINUX ## -PYTHON_VERSIONS := 38 39 310 311 312 +PYTHON_VERSIONS := 38 39 310 311 312 313 export/python/manylinux: | export/python -mkdir -p $@ diff --git a/tools/docker/python/build-manylinux.sh b/tools/docker/python/build-manylinux.sh index f84c5fbe5e..329c1a07c6 100755 --- a/tools/docker/python/build-manylinux.sh +++ b/tools/docker/python/build-manylinux.sh @@ -35,7 +35,7 @@ DESCRIPTION \tYou MUST define the following variables before running this script: \t* PLATFORM: x86_64 aarch64 -\t* PYTHON_VERSION: 3 38 39 310 311 312 +\t* PYTHON_VERSION: 3 38 39 310 311 312 313 note: PYTHON_VERSION=3 will generate for all pythons which could take time... OPTIONS