<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">--- configure.orig	2020-08-25 12:28:41.000000000 -0700
+++ configure	2020-09-01 16:25:59.000000000 -0700
@@ -16738,9 +16738,9 @@
 
 
 
-  PYTHON_PREFIX='${prefix}'
+  PYTHON_PREFIX=`$PYTHON -c 'import sys; print(sys.prefix);'`
 
-  PYTHON_EXEC_PREFIX='${exec_prefix}'
+  PYTHON_EXEC_PREFIX=`$PYTHON -c 'import sys; print(sys.exec_prefix);'`
 
 
 
</pre></body></html>