--- gildas-src-nov15b/admin/Makefile.python.orig 2015-10-14 10:52:39.000000000 +0200
+++ gildas-src-nov15b/admin/Makefile.python 2015-11-20 16:53:52.000000000 +0100
# Python 2: SO = .so EXT_SUFFIX = (undefined)
# Python 3: SO = .cpython-34m.so EXT_SUFFIX = .cpython-34m.so
# See also: https://bugs.python.org/issue16754
-PYTHON_SO_EXT=$(shell python -c "import distutils.sysconfig; print(distutils.sysconfig.get_config_var('SO'))")
+PYTHON_SO_EXT=$(shell @PYTHON@ -c "import distutils.sysconfig; print(distutils.sysconfig.get_config_var('SO'))")
MOD_NAME = $(pythondir)/$(MOD_IDENTITY)$(PYTHON_SO_EXT)
$(MOD_NAME): $(MOD_SOURCES) $(MOD_INCLUDES) $(MOD_EXTRAS) $(builddir)/setup.py $(SO_NAME) | $(pythondir)
- $(GAG_PYTHON_DISTFLAGS) python $(builddir)/setup.py build --build-base $(builddir) --build-lib $(builddir)
+ $(GAG_PYTHON_DISTFLAGS) @PYTHON@ $(builddir)/setup.py build --build-base $(builddir) --build-lib $(builddir)
$(MV) $(builddir)/*$(PYTHON_SO_EXT) $(pythondir)