<whitequark[cis]>
<cr1901> "Okay, I have a working boolector..." <- you don't need the cmakelists patch to add a suffix, that's done in the toolchain file
<whitequark[cis]>
looks good otherwise, great work
<whitequark[cis]>
happy to integrate that upstream
<cr1901>
whitequark[cis]: I deleted the entire build folder; added "set(CMAKE_EXECUTABLE_SUFFIX ".wasm")" to the toolchain file, and the binary I got had no suffix. Maybe my CMAke is too old?
<cr1901>
No, that can't be it (3.27)
<whitequark[cis]>
might need CMAKE_EXECUTABLE_SUFFIX_CXX or something
<cr1901>
I was gonna say "no go", but it would help if I edit the script instead of the toolchain file which is inevitably overwritten. Yes _CXX/_C works.
<cr1901>
whitequark[cis]: Okay, that's fixed. What else do you need me to do before I xfer this repo to you? I assume version stuff, but would it be better if I leave CI to you?
<whitequark[cis]>
yes
notgull has quit [Ping timeout: 252 seconds]
<anuejn>
is there currently a nice way to have a vendor toolchain in a docker container (vivado in my case)
<whitequark[cis]>
you can use remote builds for this, and ssh into the container
<anuejn>
if not: what do you think adding an execute_docker method to BuildPlan?
<whitequark[cis]>
I'm OK with that
<anuejn>
okay I would actually prefer that since otherwise I would need to have the container running all the time
<anuejn>
(context: I am using a MacOS laptop and want to have a solution that is not using a lot of energy all the time)
<anuejn>
whitequark[cis]: does this need an RFC or could I just add a PR for that?
<whitequark[cis]>
doesn't need an RFC, I can't see anyone being negatively impacted by this and it doesn't interact with any other feature
<anuejn>
okay :)
<cr1901>
I will do the boolector version stuff later today- am a bit distracted rn
nelgau_ has quit [Read error: Connection reset by peer]
nelgau has joined #amaranth-lang
cr1901 has quit [Read error: Connection reset by peer]