<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">--- configure.orig	2018-10-28 13:57:57.000000000 -0700
+++ configure	2019-01-11 13:10:27.000000000 -0800
@@ -2466,9 +2466,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>