From 028f536159ed67b1ad70ea749cd8824fb156fc3d Mon Sep 17 00:00:00 2001
From: Nico Alt <nicoalt@posteo.org>
Date: Wed, 20 Feb 2019 17:08:18 +0100
Subject: [PATCH] Include OpenJDK 10 in build
I would like to use v11 as v10 is already deprecated, but it fails when
building with that newer version.
---
app.briar.gtk.json | 12 ++++++++++++
1 file changed, 12 insertions(+)
diff --git a/app.briar.gtk.json b/app.briar.gtk.json
index c07e4a5..b5aac09 100644
--- a/app.briar.gtk.json
+++ b/app.briar.gtk.json
@@ -3,6 +3,9 @@
"runtime": "org.gnome.Platform",
"runtime-version": "3.28",
"sdk": "org.gnome.Sdk",
+ "sdk-extensions": [
+ "org.freedesktop.Sdk.Extension.openjdk10"
+ ],
"command": "briar_gtk",
"finish-args": [
"--share=network",
@@ -33,6 +36,15 @@
"*.a"
],
"modules": [
+ {
+ "name": "openjdk",
+ "buildsystem": "simple",
+ "build-commands": [
+ "/usr/lib/sdk/openjdk10/install.sh",
+ "/usr/lib/sdk/openjdk10/installjdk.sh",
+ "/usr/lib/sdk/openjdk10/enable.sh"
+ ]
+ },
{
"name": "briar_gtk",
"buildsystem": "meson",
--
GitLab