Dockerfile: test

Author: chathhorn

Dockerfile

@@ -50,22 +50,27 @@ ENV DEPS_DIR="/home/user/c-semantics-deps"
 # Install rust. #
 #################
 
+ENV PATH="/home/user/.cargo/bin:${PATH}"
+
 COPY --chown=user:user ./.build/k/ ${DEPS_DIR}/k
 
 RUN cd ${DEPS_DIR}/k/llvm-backend/src/main/native \
-  && ./llvm-backend/install-rust
+  && llvm-backend/install-rust \
+  && mkdir llvm-backend/build \
+  && cd llvm-backend/build \
+  && cmake .. -DCMAKE_BUILD_TYPE=Debug \
+  && make -j`nproc` \
+  && make install
 
 ############
 # Build K. #
 ############
 
-RUN . /home/user/.cargo/env \
-  && cd ${DEPS_DIR}/k \
+RUN cd ${DEPS_DIR}/k \
   && mvn package -X -q -U \
       -DskipTests -DskipKTest \
       -Dhaskell.backend.skip \
       -Dcheckstyle.skip \
       -Dproject.build.type=FastBuild
 
-
 ENV K_BIN="${DEPS_DIR}/k/k-distribution/target/release/k/bin"