Jenkinsfile: generate source tarball (#416)

* Jenkinsfile: generate source tarball * Jenkinsfile: fix typo
runtimeverification · Jul 29, 2019 · f5b935c · f5b935c
1 parent 7539ffb
commit f5b935c
Showing 1 changed file with 10 additions and 0 deletions.
diff --git 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"
             '''