From: Waldemar Kozaczuk <jwkozac...@gmail.com>
Committer: Waldemar Kozaczuk <jwkozac...@gmail.com>
Branch: master
Added openjdk12 app that builds from docker image
Signed-off-by: Waldemar Kozaczuk <jwkozac...@gmail.com>
---
diff --git a/openjdk12-jre-from-docker/Makefile
b/openjdk12-jre-from-docker/Makefile
--- a/openjdk12-jre-from-docker/Makefile
+++ b/openjdk12-jre-from-docker/Makefile
@@ -0,0 +1,26 @@
+#
+# Copyright (C) 2013 Cloudius Systems, Ltd.
+#
+# This work is open source software, licensed under the terms of the
+# BSD license as described in the LICENSE file in the top-level directory.
+#
+
+.PHONY: module clean
+
+docker_image="adoptopenjdk/openjdk12:x86_64-ubuntu-jre-12.0.1_12"
+
+SRC = $(shell readlink -f ../..)
+
+module: upstream/undocker/.git
+ rm -rf install && mkdir install
+ docker pull $(docker_image)
+ docker save $(docker_image) | upstream/undocker/undocker.py -o install
+ $(SRC)/scripts/manifest_from_host.sh -r install opt/java/openjdk/ >
usr.manifest
+ echo '/java.so: ->/opt/java/openjdk/bin/java' >> usr.manifest
+
+upstream/undocker/.git:
+ mkdir -p upstream
+ cd upstream && git clone --depth 1 https://github.com/larsks/undocker.git
&& chmod u+x undocker/undocker.py
+
+clean:
+ rm -rf upstream install usr.manifest
diff --git a/openjdk12-jre-from-docker/module.py
b/openjdk12-jre-from-docker/module.py
--- a/openjdk12-jre-from-docker/module.py
+++ b/openjdk12-jre-from-docker/module.py
@@ -0,0 +1,8 @@
+#
+# Copyright (C) 2014 Cloudius Systems, Ltd.
+#
+# This work is open source software, licensed under the terms of the
+# BSD license as described in the LICENSE file in the top-level directory.
+#
+
+provides = ['java','java8','java9','java10','java11','java12']
--
You received this message because you are subscribed to the Google Groups "OSv
Development" group.
To unsubscribe from this group and stop receiving emails from it, send an email
to osv-dev+unsubscr...@googlegroups.com.
To view this discussion on the web visit
https://groups.google.com/d/msgid/osv-dev/0000000000000d51dd058d74bdee%40google.com.
For more options, visit https://groups.google.com/d/optout.
