Skip to content
Snippets Groups Projects
Commit 474a57bf authored by Nico's avatar Nico
Browse files

Bundle OpenJDK 11 with Flatpak

There might have been a bug in my Arch Linux installation of GNOME
Builder. I've now installed it the recommend way:

	flatpak install --from https://flathub.org/repo/appstream/org.gnome.Builder.flatpakref

Fixes #1.
parent 11ee469c
No related branches found
No related tags found
No related merge requests found
...@@ -4,7 +4,7 @@ ...@@ -4,7 +4,7 @@
"runtime-version": "3.32", "runtime-version": "3.32",
"sdk": "org.gnome.Sdk", "sdk": "org.gnome.Sdk",
"sdk-extensions": [ "sdk-extensions": [
"org.freedesktop.Sdk.Extension.openjdk10" "org.freedesktop.Sdk.Extension.openjdk11"
], ],
"command": "briar-gtk", "command": "briar-gtk",
"finish-args": [ "finish-args": [
...@@ -16,8 +16,7 @@ ...@@ -16,8 +16,7 @@
"--filesystem=~/.config/dconf:ro", "--filesystem=~/.config/dconf:ro",
"--talk-name=ca.desrt.dconf", "--talk-name=ca.desrt.dconf",
"--env=DCONF_USER_CONFIG_DIR=.config/dconf", "--env=DCONF_USER_CONFIG_DIR=.config/dconf",
"--env=PATH=/app/bin:/usr/bin:/app/jdk/bin", "--env=PATH=/app/bin:/usr/bin:/app/jre/bin"
"--env=JAVA_HOME=/app/jdk"
], ],
"build-options": { "build-options": {
"cflags": "-O2 -g", "cflags": "-O2 -g",
...@@ -42,9 +41,7 @@ ...@@ -42,9 +41,7 @@
"name": "openjdk", "name": "openjdk",
"buildsystem": "simple", "buildsystem": "simple",
"build-commands": [ "build-commands": [
"/usr/lib/sdk/openjdk10/install.sh", "/usr/lib/sdk/openjdk11/install.sh"
"/usr/lib/sdk/openjdk10/installjdk.sh",
"/usr/lib/sdk/openjdk10/enable.sh"
] ]
}, },
{ {
......
0% Loading or .
You are about to add 0 people to the discussion. Proceed with caution.
Finish editing this message first!
Please register or to comment