Add Jenkins

Dockerfile.build

@@ -0,0 +1,3 @@
+FROM ubuntu:focal
+
+RUN apt-get update && apt-get install -y docker.io

Jenkinsfile

@@ -0,0 +1,20 @@
+pipeline {
+    agent {
+        dockerfile {
+            filename 'Dockerfile.build'
+            args '-v /var/run/docker.sock:/var/run/docker.sock'
+        }
+    }
+    stages {
+        stage('Build') {
+            steps {
+                sh 'DOCKER_BUILD_OPTIONS="--no-cache" ./run.sh'
+            }
+            post {
+                success {
+                    archiveArtifacts artifacts: 'out/**', fingerprint: true
+                }
+            }
+        }
+    }
+}

run.sh

@@ -3,9 +3,9 @@
 set -e
 
 # Build Dependencies
-docker build --tag minetest-dev .
+docker build ${DOCKER_BUILD_OPTIONS} --tag minetest-dev .
 
 # Extract
 rm -rf out
 mkdir out
-docker run --rm -v "$(pwd)/out:/out" minetest-dev ./build-minetest.sh
+docker run --rm -v "$(pwd)/out:/out" minetest-dev ./build-minetest.sh