Johan Corveleyn wrote on Wed, 18 Sep 2019 07:44 +00:00: > On Wed, Sep 18, 2019 at 9:31 AM Daniel Shahaf <d...@daniel.shahaf.name> wrote: > > > > Johan Corveleyn wrote on Wed, 18 Sep 2019 00:48 +00:00: > > > No problem, after downloading py3c from Github, and adding > > > --with-py3c, I can start building it. > > > > What version of py3c did you download? HEAD or a release? > > Hm, I downloaded from master at https://github.com/encukou/py3c. Maybe > not such a good choice? > Should I go for 0.9 from https://github.com/encukou/py3c/releases instead?
I didn't intend to imply that; I merely wanted to know which version to use for investigations and replication attempts. Note that on the /releases page there's a v1.0 dated three months after the v0.9, if you click "Show newer tags" at the top. I'm not sure why github doesn't offer that one. Cheers, Daniel