Jenkinsfile, package/Dockerfile: add/install K deb file in Dockerfile

Author: ehildenb

Jenkinsfile

@@ -150,15 +150,11 @@ pipeline {
             dockerfile {
               dir 'package'
               filename 'Dockerfile.ubuntu-bionic'
+              reuseNode true
             }
           }
           steps {
             sh '''
-              curl --location --output k-nightly-bionic.deb "https://github.com/kframework/k/releases/download/nightly-$K_NIGHTLY/kframework_5.0.0_amd64_bionic.deb"
-              pwd
-              ls
-              echo $USER
-              apt install --yes ./k-nightly-bionic.deb
               cp -r package/debian ./
               dpkg-buildpackage --no-sign
               apt install --yes ../kevm_*.deb

package/Dockerfile.ubuntu-bionic

@@ -11,3 +11,6 @@ RUN    apt update
                          libssl-dev pandoc pkg-config protobuf-compiler
 
 RUN curl -sSL https://get.haskellstack.org/ | sh -s - -f
+
+ADD https://github.com/kframework/k/releases/download/nightly-$K_NIGHTLY/kframework_5.0.0_amd64_bionic.deb kframework_5.0.0_amd64_bionic.deb
+RUN apt install --yes kframework_5.0.0_amd64_bionic.deb