From 91f00f29885755a13e17dc02cf9b8fbb10e1d1ff Mon Sep 17 00:00:00 2001
From: Nico Alt <nicoalt@posteo.org>
Date: Wed, 20 Feb 2019 17:54:37 +0100
Subject: [PATCH] Include briar headless
That's a binary prebuilt by me. Later, we should build it by source.
---
app.briar.gtk.json | 17 ++++++++++++++++-
1 file changed, 16 insertions(+), 1 deletion(-)
diff --git a/app.briar.gtk.json b/app.briar.gtk.json
index 715b8bf..03f7395 100644
--- a/app.briar.gtk.json
+++ b/app.briar.gtk.json
@@ -47,6 +47,21 @@
"/usr/lib/sdk/openjdk10/enable.sh"
]
},
+ {
+ "name": "briar-headless",
+ "buildsystem": "simple",
+ "build-commands": [
+ "mkdir -p /app/briar",
+ "install -Dm644 briar-headless.jar /app/briar/briar-headless.jar"
+ ],
+ "sources": [
+ {
+ "type" : "file",
+ "url" : "https://media.dorfbrunnen.eu/briar/briar-headless.jar",
+ "sha256": "d4d610ebdc9822f05ade455487921d0eb21469c23ae162fe63da1f557008d586"
+ }
+ ]
+ },
{
"name": "briar_gtk",
"buildsystem": "meson",
@@ -60,4 +75,4 @@
]
}
]
-}
\ No newline at end of file
+}
--
GitLab