From 92ca22a5e102752775713426cb6f4fd36ef5106d Mon Sep 17 00:00:00 2001
From: Linus Groh <mail@linusgroh.de>
Date: Mon, 1 Feb 2021 19:40:19 +0100
Subject: [PATCH] Ports: Add post_configure function

There's pre_configure to do things required by the configure script,
let's also add post_configure for things not covered by the configure
script.
The specific use case is overwriting a file created by python3's
configure script.
---
 Ports/.port_include.sh | 4 ++++
 1 file changed, 4 insertions(+)

diff --git a/Ports/.port_include.sh b/Ports/.port_include.sh
index cc04ef0301..7869769c44 100755
--- a/Ports/.port_include.sh
+++ b/Ports/.port_include.sh
@@ -154,6 +154,9 @@ func_defined configure || configure() {
     chmod +x "${workdir}"/"$configscript"
     run ./"$configscript" --host=i686-pc-serenity $configopts
 }
+func_defined post_configure || post_configure() {
+    :
+}
 func_defined build || build() {
     run make $makeopts
 }
@@ -254,6 +257,7 @@ do_configure() {
         echo "Configuring $port!"
         pre_configure
         configure
+        post_configure
     else
         echo "This port does not use a configure script. Skipping configure step."
     fi