wip

docker/Dockerfile.test

@@ -90,27 +90,11 @@ COPY shell.nix .
 COPY .ocamlformat .
 COPY tests/ tests
 
-# Make sure vcpkg installs brings in the dependencies
-RUN --mount=type=cache,target=/root/.cache/vcpkg/ ${VCPKG_ROOT}/vcpkg install --triplet=x64-linux-dynamic
-
-RUN update-alternatives --install /usr/bin/python python "${SOURCE_DIR}/vcpkg_installed/x64-linux-dynamic/tools/python3/python3.10" 10 \
-  && update-alternatives --install /usr/bin/python3 python3 "${SOURCE_DIR}/vcpkg_installed/x64-linux-dynamic/tools/python3/python3.10" 10 # set python3 as default instead python3
-
-ENV PKG_CONFIG_PATH="${SOURCE_DIR}/vcpkg_installed/x64-linux-dynamic/lib/pkgconfig"
-ENV SCILLA_REPO_ROOT="${SOURCE_DIR}"
-
 RUN make opamdep-ci \
     && echo '. ~/.opam/opam-init/init.sh > /dev/null 2> /dev/null || true ' >> ~/.bashrc \
     && eval $(opam env) \
     && make
 
-ARG BUILD_DIR="${SOURCE_DIR}/_build/default"
-ARG VCPKG_INSTALL_LIB_DIR="${BUILD_DIR}/vcpkg_installed/x64-linux-dynamic/lib"
-
-RUN mkdir -p ${VCPKG_INSTALL_LIB_DIR} \
-  && ldd ${BUILD_DIR}/src/runners/*.exe | grep vcpkg_installed | gawk '{print $3}' | xargs -I{} cp {} ${VCPKG_INSTALL_LIB_DIR} \
-  && rm -rf vcpkg_installed \
-  && ln -s ${BUILD_DIR}/vcpkg_installed vcpkg_installed
 
 WORKDIR /scilla/0/
 COPY . /scilla/0/