<html><head><meta name="color-scheme" content="light dark"></head><body><pre style="word-wrap: break-word; white-space: pre-wrap;">--- configure.orig	2014-08-25 05:30:45.000000000 -0700
+++ configure	2014-08-28 09:36:25.000000000 -0700
@@ -12629,9 +12629,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>