diff --git a/.devcontainer/Dockerfile b/Dockerfile similarity index 95% rename from .devcontainer/Dockerfile rename to Dockerfile index 7e00147..4d8e407 100644 --- a/.devcontainer/Dockerfile +++ b/Dockerfile @@ -3,7 +3,7 @@ FROM mcr.microsoft.com/devcontainers/base:ubuntu # https://get-coursier.io/docs/cli-installation RUN curl -fL "https://github.com/coursier/launchers/raw/master/cs-x86_64-pc-linux.gz" | gzip -d > cs && chmod +x cs && mv cs /usr/local/bin/cs -COPY ../build.sc . +COPY build.sc . # We should have all the deps to run Metals here, saving time from a cold start. RUN cs install metals @@ -12,7 +12,7 @@ RUN cs install metals RUN ./mill __.prepareOffline # Copy source into container -COPY ../. . +COPY . . # Compile the project - anything that has hit "main" should (at least!) compile # And setup mills BSP server for metals