* [Cocci] Selecting Python 3 at configure time
@ 2017-01-25 10:14 Richard W.M. Jones
2017-01-25 14:01 ` Thierry Martinez
0 siblings, 1 reply; 2+ messages in thread
From: Richard W.M. Jones @ 2017-01-25 10:14 UTC (permalink / raw)
To: cocci
This bug was filed against the Fedora package:
https://bugzilla.redhat.com/show_bug.cgi?id=1416323
I looked at configure.ac and the Makefiles, but I cannot work out how
you tell ./configure to use /usr/bin/python3 instead of
/usr/bin/python, if indeed that is possible at all - it's not clear
that it is.
Rich.
--
Richard Jones, Virtualization Group, Red Hat http://people.redhat.com/~rjones
Read my programming and virtualization blog: http://rwmj.wordpress.com
virt-top is 'top' for virtual machines. Tiny program with many
powerful monitoring features, net stats, disk stats, logging, etc.
http://people.redhat.com/~rjones/virt-top
^ permalink raw reply [flat|nested] 2+ messages in thread
* [Cocci] Selecting Python 3 at configure time
2017-01-25 10:14 [Cocci] Selecting Python 3 at configure time Richard W.M. Jones
@ 2017-01-25 14:01 ` Thierry Martinez
0 siblings, 0 replies; 2+ messages in thread
From: Thierry Martinez @ 2017-01-25 14:01 UTC (permalink / raw)
To: cocci
Hi, Richard.
Richard:
> I looked at configure.ac and the Makefiles, but I cannot work out how
> you tell ./configure to use /usr/bin/python3 instead of
> /usr/bin/python, if indeed that is possible at all - it's not clear
> that it is.
It is not possible in 1.0.6. It is possible upstream
(https://github.com/coccinelle/, commit c8025ac) via the option
--with-python of ./configure or directly via the option --python of
spatch.
Since 1.0.6, the version of python available at building time is
irrelevant. The "spatch" executable only looks at the version of python
available at runtime (and, unfortunately, in 1.0.6, it is the version
returned by the "python" command, hard wired, that is taken into
account).
It should not prevent spatch to find the libraries, though, since
spatch.sh adds ${COCCINELLE_HOME}/python (where the libraries are
supposed to be installed, independently from python version) to
PYTHONPATH before executing "spatch".
Best regards,
--
Thierry.
Richard W. M. Jones (2017/01/25, 10:14 UTC)?:
> This bug was filed against the Fedora package:
> https://bugzilla.redhat.com/show_bug.cgi?id=1416323
>
> I looked at configure.ac and the Makefiles, but I cannot work out how
> you tell ./configure to use /usr/bin/python3 instead of
> /usr/bin/python, if indeed that is possible at all - it's not clear
> that it is.
>
> Rich.
^ permalink raw reply [flat|nested] 2+ messages in thread
end of thread, other threads:[~2017-01-25 14:01 UTC | newest]
Thread overview: 2+ messages (download: mbox.gz follow: Atom feed
-- links below jump to the message on this page --
2017-01-25 10:14 [Cocci] Selecting Python 3 at configure time Richard W.M. Jones
2017-01-25 14:01 ` Thierry Martinez
This is an external index of several public inboxes,
see mirroring instructions on how to clone and mirror
all data and code used by this external index.