cfbolz changed the topic of #pypy to: #pypy PyPy, the flexible snake https://pypy.org | IRC logs: https://quodlibet.duckdns.org/irc/pypy/latest.log.html#irc-end and https://libera.irclog.whitequark.org/pypy | the pypy angle is to shrug and copy the implementation of CPython as closely as possible, and staying out of design decisions
jcea has joined #pypy
<korvo> I know that I boast a lot about nixpkgs having everything already, but I genuinely am surprised that there's not just sail-riscv, but `sail-riscv-rv32` and `sail-riscv-rv64`. I can crib those for sail-arm and -cheriot later, hopefully.
<korvo> Is there anything I should know about Pydrofoil builds besides the docs? There's a lot of good detail there, and my plan is to build the SAIL model, build the isla tool, and then invoke my existing generic RPython builder with an environment containing those two things.
jcea has quit [Ping timeout: 248 seconds]
<korvo> Okay, I've got pydrofoil-riscv built. I'll figure out the SAIL models later. FWIW the JIT-enabled version crashes as soon as I try anything: https://bpa.st/GHKQ
<korvo> If I build with -O2 then I get a reasonable version and no crash: pydrofoil-riscv 0.0.1-alpha0 (Sail model version: 0.5-273-g87f8bb34d6)
itamarst has quit [Quit: Connection closed for inactivity]
<cfbolz> korvo: that's surprising, it works happily in CI
itamarst has joined #pypy
Dejan has joined #pypy
<korvo> Probably just version mismatches in nixpkgs; I should pay better attention to that sort of thing.
pbsds30 has joined #pypy
pbsds3 has quit [Ping timeout: 260 seconds]
pbsds30 is now known as pbsds3
slav0nic has joined #pypy
pbsds33 has joined #pypy
pbsds3 has quit [Ping timeout: 276 seconds]
pbsds33 is now known as pbsds3
Dejan has quit [Quit: Leaving]