Merge pull request 'master' (#182) from master into release

Reviewed-on: https://git.shs.tools/SHS/shstk/pulls/182

Jenkinsfile

@@ -1,3 +1,4 @@
+@Library('SHS.Platforms') _
 def build_docker(docker_image, docker_dir, release_dir) {
 	def image_name = "${docker_image}-shstk"
 	echo "Build image ${image_name}"
@@ -20,27 +21,23 @@ node {
 		checkout scm
 	}
 	
-	stage("Download platforms.json") {
-		sh "rm -rf platforms"
-		sh "git clone --depth 1 ${env.PLATFORMS_GIT} platforms"
-	}
+	def pl = new org.SHS.Platforms(this)
+	pl.get()
 	
 	def rel_dir = sh(script: "pwd", returnStdout: true).trim() + '/release'
 	echo "Release to ${rel_dir}"
 	sh "rm -rvf ${rel_dir}"
 	sh "mkdir -p ${rel_dir}"
 
-	def root = readJSON(file: 'platforms/platforms.json')
 	def _msg = "Built images:"
-	root.Platforms.each { key, dist ->
-		if (dist.enabled) {
-			stage ("${key}-shstk") {
-				_msg += build_docker(dist.docker_image, dist.docker_dir, rel_dir)
-			}
-		}
+	pl.forEach ({ dist ->
+		_msg += build_docker(dist.docker_image, dist.docker_dir, rel_dir)
+	}, stageSuffix: "-shstk")
+
+	stage("Clean") {
+		sh "docker system prune -f"
 	}
 
-	sh "docker system prune -f"
 	archiveArtifacts 'release/*'
 	echo "${_msg}"
 }