Working on a TLC2 (TLA+ model checker) package for Guix, until I found that one of its dependencies is lsp4j (not yet packaged), which is built with Gradle, which is not currently packaged in Guix.
This escalated quickly. I should probably try to build without Gradle. My Java skills are weak, so I guess we'll see how this goes...
@mikegerwitz Well done! Java packages aren’t the easiest; bundling binaries (jars) is widespread practice.
Mike Gerwitz's personal Mastodon instance