Dockerfile

FROM ubuntu:18.04

WORKDIR /

RUN apt-get update && apt-get install -y git curl libatomic1

# Install elan
RUN curl -sSfL https://github.com/leanprover/elan/releases/download/v1.4.2/elan-x86_64-unknown-linux-gnu.tar.gz | tar xz \
  && ./elan-init -y --default-toolchain none
ENV PATH="${PATH}:/root/.elan/bin"

# Copy the game to `game`
COPY . ./game

WORKDIR /game
RUN lake update && lake exe cache get

WORKDIR /game/lake-packages/GameServer/server/
RUN lake clean && lake build

WORKDIR /game
RUN lake clean && lake build

WORKDIR /game/lake-packages/GameServer/server/build/bin/
add dockerfile 2023-04-28 15:28:38 +02:00			`FROM ubuntu:18.04`

			`WORKDIR /`

make docker image smaller 2023-05-04 16:19:23 +02:00			`RUN apt-get update && apt-get install -y git curl libatomic1`
add dockerfile 2023-04-28 15:28:38 +02:00
			`# Install elan`
make docker image smaller 2023-05-04 16:19:23 +02:00			`RUN curl -sSfL https://github.com/leanprover/elan/releases/download/v1.4.2/elan-x86_64-unknown-linux-gnu.tar.gz \| tar xz \`
			`&& ./elan-init -y --default-toolchain none`
add dockerfile 2023-04-28 15:28:38 +02:00			`ENV PATH="${PATH}:/root/.elan/bin"`

Clean up Dockerfile 2023-05-04 11:48:58 +02:00			# Copy the game to `game`
			`COPY . ./game`
Update Dockerfile 2023-04-28 15:51:46 +02:00
Clean up Dockerfile 2023-05-04 11:48:58 +02:00			`WORKDIR /game`
make docker image smaller 2023-05-04 16:19:23 +02:00			`RUN lake update && lake exe cache get`
add dockerfile 2023-04-28 15:28:38 +02:00
Clean up Dockerfile 2023-05-04 11:48:58 +02:00			`WORKDIR /game/lake-packages/GameServer/server/`
make docker image smaller 2023-05-04 16:19:23 +02:00			`RUN lake clean && lake build`
Clean up Dockerfile 2023-05-04 11:48:58 +02:00
			`WORKDIR /game`
make docker image smaller 2023-05-04 16:19:23 +02:00			`RUN lake clean && lake build`
add dockerfile 2023-04-28 15:28:38 +02:00
Clean up Dockerfile 2023-05-04 11:48:58 +02:00			`WORKDIR /game/lake-packages/GameServer/server/build/bin/`