Consider removing `spicy-build`
Closed this issue · 0 comments
bbannier commented
We currently provide spicy-build as a way to build standalone binaries. I would argue that this provides little benefit over always (and exclusively) using spicyc to compile a HLTO file and using it with e.g., spicy-driver or spicy-dump.
In addition to requiring lots of duplicate code for a spicy-build-specific driver or in general not being well exercised, another downside of spicy-build is that the way it is currently written it needs to disable optimizations which leads to issues like #1624. I believe we should strongly consider removing spicy-build.