From 6ee5c90229006ca390c831caa6a5294d03b8d854 Mon Sep 17 00:00:00 2001
From: Max Howell <mxcl@me.com>
Date: Fri, 17 Mar 2023 08:56:10 -0400
Subject: [PATCH] eg. z3 needs python to have setuptools bundled

---
 projects/python.org/package.yml | 15 +++++++--------
 1 file changed, 7 insertions(+), 8 deletions(-)

diff --git a/projects/python.org/package.yml b/projects/python.org/package.yml
index 9aa5ff8e..1eb7bafc 100644
--- a/projects/python.org/package.yml
+++ b/projects/python.org/package.yml
@@ -76,22 +76,21 @@ build:
     sed -i.bak -e 's|{{ prefix }}|\\$(shell tea --prefix)/python.org/v{{version.major}}|g' $confdir/Makefile
     rm $confdir/Makefile.bak
 
+    # we provide the binaries in a separate package
+    # but we don’t use --without-ensurepip because stuff expects python to
+    # come bundled with setuptools
+    rm {{prefix}}/bin/pip*
+
   env:
     ARGS:
       - --prefix="{{ prefix }}"
-      # it’s 202x
       - --enable-ipv6
-      # prevent auto updates -> we control that
-      - --without-ensurepip
       - --disable-loadable-sqlite-extensions
-      # use our libraries not the bundled ones
       - --with-system-expat
       - --with-system-ffi
       - --with-system-libmpdec
-      # these two make our binary not portable
-      #- --enable-optimizations
-      #- --with-lto
-      # on macOS we want an option that is instead --enable-framework
+      # - --enable-optimizations  # fails due to clang/llvm pkging bug on Linux
+      # - --with-lto  # fails on linux/aarch64
       - --enable-shared
     libdir:
       lib/python{{version.marketing}}