Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Add a Snapcraft Build and Snap Install Instructions #1639

Merged
merged 3 commits into from
Jan 28, 2025

Conversation

sankalpgambhir
Copy link
Member

@sankalpgambhir sankalpgambhir commented Jan 28, 2025

Adds the folder snap/ containing a snap build file and two scripts to launch stainless and stainless.cli in the appropriate container environment.

The build is more manual scripting than one would like, but Snap has no Scala/sbt plugin/build, only Maven/Gradle.

Once the build files are merged, we can also try and set up automatic builds to the Snap store when we commit to main.

The following section is inserted into the README right above the AUR install instructions:

=========================================================================

Snap Store

A package for Stainless is available on the Snap store as stainless with an experimental edge release. It can be used to install and run Stainless on any Snap enabled system (e.g. Ubuntu).

In a terminal, you can type:

sudo snap install stainless --edge

This exposes two commands, the tool stainless, as well as stainless.cli, running scala-cli with Stainless libraries loaded.

Running the commands the first time may take some time as some Scala libraries are downloaded.

=========================================================================

@vkuncak vkuncak merged commit 8fdc241 into epfl-lara:main Jan 28, 2025
3 checks passed
Sign up for free to join this conversation on GitHub. Already have an account? Sign in to comment
Labels
None yet
Projects
None yet
Development

Successfully merging this pull request may close these issues.

2 participants