Dockerfile: cleanup

Author: chathhorn

Dockerfile

@@ -50,24 +50,19 @@ ENV DEPS_DIR="/home/user/c-semantics-deps"
 # Install rust. #
 #################
 
-ENV PATH="/home/user/.cargo/bin:${PATH}"
+ENV PATH="/home/user/.cargo/bin:${DEPS_DIR}/k/llvm-backend/src/main/native/llvm-backend/build/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 \
-  && mkdir llvm-backend/build \
-  && cd llvm-backend/build \
-  && cmake .. -DCMAKE_BUILD_TYPE=Debug \
-  && make -j`nproc` \
-  && make install
+  && llvm-backend/install-rust
 
 ############
 # Build K. #
 ############
 
 RUN cd ${DEPS_DIR}/k \
-  && mvn package -X -q -U \
+  && mvn package -e -q -U \
       -DskipTests -DskipKTest \
       -Dhaskell.backend.skip \
       -Dcheckstyle.skip \