Show HN: The BUSY build system now generates CMake so you can easily use LeanQt
By Rochus · 2026-07-19 · 2 points · 0 comments
https://github.com/rochus-keller/BUSY/blob/main/docs/The_BUSY_Build_System_Users_Guide.adoc
By Rochus · 2 points · 0 comments · on Hacker News, read on BetterNews.
Open the full discussion on BetterNews