From f5b935cbab97c7d05d9d689bd2edc2c0e049326e Mon Sep 17 00:00:00 2001
From: dwightguth <dwight.guth@runtimeverification.com>
Date: Mon, 29 Jul 2019 13:03:36 -0500
Subject: [PATCH] Jenkinsfile: generate source tarball (#416)

* Jenkinsfile: generate source tarball

* Jenkinsfile: fix typo
---
 Jenkinsfile | 10 ++++++++++
 1 file changed, 10 insertions(+)

diff --git a/Jenkinsfile b/Jenkinsfile
index 764b7d7bc4..5736872606 100644
--- a/Jenkinsfile
+++ b/Jenkinsfile
@@ -214,11 +214,21 @@ pipeline {
           steps {
             unstash 'bionic'
             unstash 'arch'
+            dir("kevm-${env.RELEASE_ID}") {
+              checkout scm
+              sh '''
+                find . -name .git | xargs rm -r
+                rm -r deps/k tests/ethereum-tests deps/metropolis
+                cd ..
+                tar czvf kevm-${RELEASE_ID}.tar.gz kevm-${RELEASE_ID}
+              '''
+            }
             sh '''
               git_commit=$(cd kevm-$RELEASE_ID && git rev-parse --short HEAD)
               hub release create                                                                                            \
                   --attach "kevm_${RELEASE_ID}_amd64.deb#Ubuntu Bionic (18.04) Package"                                     \
                   --attach "kevm-${RELEASE_ID}/package/kevm-git-${RELEASE_ID}-1-x86_64.pkg.tar.xz#Arch Package"             \
+                  --attach "kevm-${RELEASE_ID}.tar.gz#Source tar.gz"                                                        \
                   --message "$(echo -e "KEVM Release $RELEASE_ID - $git_commit\n\n" ; cat kevm-${RELEASE_ID}/INSTALL.md ;)" \
                   --commitish $(git rev-parse HEAD) "v$RELEASE_ID-$git_commit"
             '''