diff options
Diffstat (limited to 'extra/python')
| -rwxr-xr-x | extra/python/build | 19 | ||||
| -rw-r--r-- | extra/python/checksums | 2 | ||||
| -rw-r--r-- | extra/python/depends | 5 | ||||
| -rw-r--r-- | extra/python/patches/python3-always-pip.patch | 13 | ||||
| -rw-r--r-- | extra/python/sources | 2 | ||||
| -rw-r--r-- | extra/python/version | 1 |
6 files changed, 42 insertions, 0 deletions
diff --git a/extra/python/build b/extra/python/build new file mode 100755 index 00000000..19d7173b --- /dev/null +++ b/extra/python/build @@ -0,0 +1,19 @@ +#!/bin/sh -e + +patch -p1 < python3-always-pip.patch + +./configure \ + --prefix=/usr \ + --enable-shared \ + --with-system-expat \ + --with-system-ffi \ + --with-ensurepip=yes + +make +make DESTDIR="$1" install + +ln -s python3 "$1/usr/bin/python" +ln -s pip3 "$1/usr/bin/pip" + +# Make static library writable. +chmod -v u+w "$1/usr/lib/libpython"* diff --git a/extra/python/checksums b/extra/python/checksums new file mode 100644 index 00000000..50298dba --- /dev/null +++ b/extra/python/checksums @@ -0,0 +1,2 @@ +b356244e13fb5491da890b35b13b2118c3122977c2cd825e3eb6e7d462030d84 Python-3.8.0.tar.xz +1a184c64f85d7a2fb57642135ea298ddd005684c5bd3e601b932cf31b82b9417 python3-always-pip.patch diff --git a/extra/python/depends b/extra/python/depends new file mode 100644 index 00000000..f5fadfec --- /dev/null +++ b/extra/python/depends @@ -0,0 +1,5 @@ +bzip2 +expat +libffi +sqlite +zlib diff --git a/extra/python/patches/python3-always-pip.patch b/extra/python/patches/python3-always-pip.patch new file mode 100644 index 00000000..91789c98 --- /dev/null +++ b/extra/python/patches/python3-always-pip.patch @@ -0,0 +1,13 @@ +diff --git a/Lib/ensurepip/__init__.py b/Lib/ensurepip/__init__.py +index 526dfd0..d85dc33 100644 +--- a/Lib/ensurepip/__init__.py ++++ b/Lib/ensurepip/__init__.py +@@ -104,7 +104,7 @@ def _bootstrap(*, root=None, upgrade=False, user=False, + additional_paths.append(os.path.join(tmpdir, wheel_name)) + + # Construct the arguments to be passed to the pip command +- args = ["install", "--no-index", "--find-links", tmpdir] ++ args = ["install", "-I", "--no-index", "--find-links", tmpdir] + if root: + args += ["--root", root] + if upgrade: diff --git a/extra/python/sources b/extra/python/sources new file mode 100644 index 00000000..63dc186b --- /dev/null +++ b/extra/python/sources @@ -0,0 +1,2 @@ +https://www.python.org/ftp/python/3.8.0/Python-3.8.0.tar.xz +patches/python3-always-pip.patch diff --git a/extra/python/version b/extra/python/version new file mode 100644 index 00000000..2af7c7b2 --- /dev/null +++ b/extra/python/version @@ -0,0 +1 @@ +3.8.0 1 |