diff --git a/.gitattributes b/.gitattributes new file mode 100644 index 0000000000000000000000000000000000000000..d0b3d5304db9aa69873e03e6e32f65a8a4ca6706 --- /dev/null +++ b/.gitattributes @@ -0,0 +1 @@ +releases/*.jar filter=lfs diff=lfs merge=lfs -text diff --git a/README.md b/README.md index e4e86bf0b8d8d42a9a4b3d07bbfe35ba3d015b6f..a7bcb47dc3f8e56f1855dd860df34d3dd83cbf75 100644 --- a/README.md +++ b/README.md @@ -18,13 +18,12 @@ This is a [Jupyter](https://jupyter.org/) kernel for the [ProB animator and mode ### For end users -**Note:** Prebuilt jar files are not available yet, so this installation method currently requires downloading the source code and building the jar manually. This is done using `./gradlew shadowJar`, and the built jar is placed at `build/libs/prob2-jupyter-kernel-all.jar`. Once you have built the jar: - -1. If Jupyter is installed in a virtual environment, activate it. -2. Run `java -jar <jarfile> install` to install the kernel. +1. Download the latest version of the kernel [here](https://gitlab.cs.uni-duesseldorf.de/dgelessus/prob2-jupyter-kernel/blob/master/releases/prob2-jupyter-kernel-1.0.0-all.jar). +2. If Jupyter is installed in a virtual environment, activate it. +3. Run `java -jar <jarfile> install` to install the kernel. (`<jarfile>` is the name of the jar file that you just downloaded.) * This assumes that Jupyter can be called using the command `jupyter`. To use a different command in place of `jupyter`, pass it as an argument after `install`, e. g. `java -jar <jarfile> install /path/to/jupyter`. * To use a different ProB home directory than the default, pass `-Dprob.home=/path/to/prob/home` before the `-jar` option. (The path must be absolute.) -3. (Optional) The jar file can be deleted after installation. +4. (Optional) The jar file can be deleted after installation. To update the kernel, follow the same instructions with the new jar file. diff --git a/build.gradle b/build.gradle index 90cfa3aa915ed11cf0e253f1b2546f861eee9386..59aab10d7afc6946665525a1d404321c5a2329a9 100644 --- a/build.gradle +++ b/build.gradle @@ -9,6 +9,8 @@ plugins { id("com.github.johnrengelman.shadow").version("2.0.4") } +version = "1.0.0" + final SOURCE_ENCODING = "UTF-8" wrapper { diff --git a/releases/prob2-jupyter-kernel-1.0.0-all.jar b/releases/prob2-jupyter-kernel-1.0.0-all.jar new file mode 100644 index 0000000000000000000000000000000000000000..09ce5cd6f649044f4029fe5beb88c9cb2bd39528 --- /dev/null +++ b/releases/prob2-jupyter-kernel-1.0.0-all.jar @@ -0,0 +1,3 @@ +version https://git-lfs.github.com/spec/v1 +oid sha256:c59c4d4ae7a824074af9b5c957182ada5e2594d5bead940efe561c85278b6039 +size 93136864