From 5eb975d530156cab14d61dd7c8160083c2ec87e9 Mon Sep 17 00:00:00 2001
From: Jan Burkhardt <jan.burkhardt@just.social>
Date: Mon, 18 Apr 2016 18:30:36 +0200
Subject: [PATCH] add dockerfile to build java7 version of the plugin which
 will be shared

---
 Dockerfile | 7 +++++++
 dist       | 6 ++++++
 2 files changed, 13 insertions(+)
 create mode 100644 Dockerfile
 create mode 100755 dist

diff --git a/Dockerfile b/Dockerfile
new file mode 100644
index 0000000..572fa2a
--- /dev/null
+++ b/Dockerfile
@@ -0,0 +1,7 @@
+FROM java:7
+MAINTAINER Jan Burkhardt <github@bjrke.de>
+RUN useradd -d /home/theuser -m theuser
+USER theuser
+VOLUME /dist
+WORKDIR /dist
+RUN java -version
diff --git a/dist b/dist
new file mode 100755
index 0000000..3c16501
--- /dev/null
+++ b/dist
@@ -0,0 +1,6 @@
+#!/bin/sh
+RANDOM_TAG=jsr305_plugin_dist_$(tr -dc "a-z" < /dev/urandom | head -c 8)
+
+docker build -t $RANDOM_TAG .
+docker run --rm -v $PWD:/dist $RANDOM_TAG sh -c "./gradlew clean jar"
+docker rmi --no-prune=true $RANDOM_TAG