RPM: update packaging for R14.1.5

Signed-off-by: François Andriot <albator78@libertysurf.fr>

1 files changed, 27 insertions, 0 deletions

diff --git a/redhat/docker/el8/Jenkinsfile b/redhat/docker/el8/Jenkinsfile
new file mode 100644
index 000000000..fb6efa2c1
--- /dev/null
+++ b/redhat/docker/el8/Jenkinsfile
@@ -0,0 +1,27 @@
+pipeline {
+	agent any;
+	environment {
+		def docker_image = "trinity.el8.x86_64"
+		def TDE_VERSION = "14.1.3"
+		def ARCH = "x86_64"
+	}
+	stages {
+		stage('build') {
+			agent {
+				docker {
+					alwaysPull true
+					args '-v /net/pinas/tde:/tde'
+					image docker_image
+					registryUrl 'https://registry:5000'
+					reuseNode true
+				}
+			}
+			steps {
+				sh '''
+					cd /tde/redhat
+				    make
+				'''
+			}
+		}
+	}
+}