Charles Southerland (Feb 25 2024 at 02:22): Charles Southerland (Feb 25 2024 at 02:22):Out of curiosity the other day, I started trying to figure out what the level of difficulty would be to rebuild Isabelle into a collection of Debian-style packages. I quickly came to the conclusion that this would be a rather tedious undertaking. However, I was able to get an Ubuntu Snapcraft package built locally. So far it seems to be fully functional, but I haven't spent a ton of time on it and I don't have nearly as much experience building Snapcraft packages as Docker containers or even Debian packages.
Before I spend any more time working on this, would there be interest in such a thing among other Ubuntu users in the event it was sufficiently tested? Until I recently built this Snapcraft package, I had just been using Isabelle by unpacking the tarball in a specific location in my home folder. However, I always liked the idea of being able to get a new laptop up and running with just a simple command, like snap install isabelle or getting some specific version using snap install isabelle --channel=2021-1/stable or what have you.
Last updated: May 02 2024 at 08:19 UTC