com.github.gerry136.highlighterpdf.json

{
  "id" : "com.github.gerry136.highlighterpdf",
  "runtime" : "org.freedesktop.Platform",
  "runtime-version" : "19.08",
  "sdk" : "org.freedesktop.Sdk",
  "command" : "highlighterpdf",
  "modules" : [
    {
      "name" : "openjdk",
      "buildsystem" : "simple",
      "build-commands" : [
        "/usr/lib/sdk/openjdk11/install.sh"
      ]
    },
    {
      "name" : "highlighterpdf.sh",
      "buildsystem" : "simple",
      "sources" : [
        {
          "url" : "https://github.com/gerry136/highlighterpdf.git",
          "branch" : "master",
          "type" : "git"
        },
        {
          "commands" : [
            "#!/bin/sh",
            "java -jar /app/bin/highlighterpdf.jar $@"
          ],
          "dest-filename" : "highlighterpdf.sh",
          "type" : "script"
        }
      ],
      "build-commands" : [
        "install -m644 -D highlighterpdf.jar /app/bin/highlighterpdf.jar",
        "install -D highlighterpdf.sh /app/bin/highlighterpdf"
      ]
    }
  ],
  "sdk-extensions" : [
    "org.freedesktop.Sdk.Extension.openjdk11"
  ],
  "finish-args" : [
    "--env=PATH=/app/jre/bin:/app/bin:/usr/bin",
    "--env=JAVA_HOME=/app/jre",
    "--socket=x11",
    "--share=network",
    "--socket=fallback-x11",
    "--share=ipc",
    "--filesystem=host"
  ]
}