Use K Dockerhub images for CI (#99)

* Dockerfile, Jenkinsfile: use pre-build K dockerhub image

* Dockerfile: install wasm-gc ahead of time

* Dockerfile: install wabt after setting up user

* Dockerfile: add curl

* Dockerfile: correct --branch => --tag

* Dockerfile: put cargo on PATH earlier

* Dockerfile: add python3

* Dockerfile: get wabt submodules too

Author: ehildenb

Dockerfile

@@ -1,38 +1,31 @@
-FROM runtimeverificationinc/ubuntu:bionic
+ARG K_COMMIT
+FROM runtimeverificationinc/kframework-k:ubuntu-bionic-${K_COMMIT}
 
-RUN    apt-get update                                                       \
-    && apt-get upgrade --yes                                                \
-    && apt-get install --yes                                                \
-        autoconf bison clang-8 cmake curl flex gcc git libboost-test-dev    \
-        libclang-dev libcrypto++-dev libffi-dev libjemalloc-dev libmpfr-dev \
-        libprocps-dev libprotobuf-dev libsecp256k1-dev libssl-dev libtool   \
-        libyaml-dev libz3-dev lld-8 llvm-8-tools make maven netcat-openbsd  \
-        opam openjdk-11-jdk pandoc pkg-config protobuf-compiler python3     \
-        python-pygments python-recommonmark python-sphinx rapidjson-dev     \
-        time z3 zlib1g-dev
+RUN    apt-get update           \
+    && apt-get upgrade --yes    \
+    && apt-get install --yes    \
+                        cmake   \
+                        curl    \
+                        pandoc  \
+                        python3
 
-ADD deps/wasm-semantics/deps/k/haskell-backend/src/main/native/haskell-backend/scripts/install-stack.sh /.install-stack/
-RUN /.install-stack/install-stack.sh
+ARG USER_ID=1000
+ARG GROUP_ID=1000
+RUN groupadd -g $GROUP_ID user && useradd -m -u $USER_ID -s /bin/sh -g user user
 
 USER user:user
-
-ADD deps/wasm-semantics/deps/k/k-distribution/src/main/scripts/bin/k-configure-opam-dev deps/wasm-semantics/deps/k/k-distribution/src/main/scripts/bin/k-configure-opam-common /home/user/.tmp-opam/bin/
-ADD deps/wasm-semantics/deps/k/k-distribution/src/main/scripts/lib/opam  /home/user/.tmp-opam/lib/opam/
-RUN    cd /home/user \
-    && ./.tmp-opam/bin/k-configure-opam-dev
-
-ADD --chown=user:user deps/wasm-semantics/deps/k/haskell-backend/src/main/native/haskell-backend/stack.yaml /home/user/.tmp-haskell/
-ADD --chown=user:user deps/wasm-semantics/deps/k/haskell-backend/src/main/native/haskell-backend/kore/package.yaml /home/user/.tmp-haskell/kore/
-RUN    cd /home/user/.tmp-haskell \
-    && stack build --only-snapshot
-
-RUN    cd /home/user                                                                 \
-    && git clone --recursive 'https://github.com/WebAssembly/wabt' --branch='1.0.13' \
-    && cd wabt                                                                       \
-    && mkdir build && cd build                                                       \
-    && cmake .. && cmake --build .
+WORKDIR /home/user
 
 RUN curl https://sh.rustup.rs -sSf | sh -s -- -y --default-toolchain nightly-2020-04-21 --target wasm32-unknown-unknown
+ENV PATH=/home/user/.cargo/bin:$PATH
+RUN cargo install --git https://github.com/alexcrichton/wasm-gc --tag wasm-gc-api-0.1.11
+
+RUN    git clone 'https://github.com/WebAssembly/wabt' --branch 1.0.13 --recurse-submodules wabt \
+    && cd wabt                                                                                   \
+    && mkdir build                                                                               \
+    && cd build                                                                                  \
+    && cmake ..                                                                                  \
+    && cmake --build .
 
 ENV LD_LIBRARY_PATH=/usr/local/lib
-ENV PATH=/home/user/wabt/build:/home/user/.local/bin:/home/user/.cargo/bin:$PATH
+ENV PATH=/home/user/wabt/build:/home/user/.local/bin:$PATH

Jenkinsfile

@@ -1,12 +1,16 @@
 pipeline {
-  agent { dockerfile { } }
+  agent {
+    dockerfile {
+      label 'docker'
+      additionalBuildArgs '--build-arg K_COMMIT=$(cd deps/wasm-semantics/deps/k && git rev-parse --short=7 HEAD) --build-arg USER_ID=$(id -u) --build-arg GROUP_ID=$(id -g)'
+    }
+  }
   options { ansiColor('xterm') }
   stages {
     stage('Init title') {
       when { changeRequest() }
       steps { script { currentBuild.displayName = "PR ${env.CHANGE_ID}: ${env.CHANGE_TITLE}" } }
     }
-    stage('KWasm Dependencies') { steps { sh 'make deps' } }
     stage('Build') {
       parallel {
         stage('KWasm (normal)')   { steps { sh 'make build -j4'                } }