1 files changed, 19 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"*