From d0ec2b3f5225ef69fa1119b89a540ed18eed4532 Mon Sep 17 00:00:00 2001 From: David Johnson Date: Mon, 14 Aug 2023 08:51:21 -0500 Subject: [PATCH] Add Dockerfile --- .dockerignore | 2 ++ Dockerfile | 12 ++++++++++++ 2 files changed, 14 insertions(+) create mode 100644 .dockerignore create mode 100644 Dockerfile diff --git a/.dockerignore b/.dockerignore new file mode 100644 index 0000000..9a715f5 --- /dev/null +++ b/.dockerignore @@ -0,0 +1,2 @@ +.dockerignore +Dockerfile \ No newline at end of file diff --git a/Dockerfile b/Dockerfile new file mode 100644 index 0000000..b21e856 --- /dev/null +++ b/Dockerfile @@ -0,0 +1,12 @@ +FROM ubuntu:latest +EXPOSE 4711:4711/tcp +ENV DEBIAN_FRONTEND=noninteractive +ENV PATH=/root/.local/bin:$PATH +RUN apt-get -y update; apt-get -y install curl libgmp-dev pkg-config libomp-dev zlib1g-dev libbz2-dev +RUN curl -sSL https://get.haskellstack.org/ | sh +RUN stack install zip-cmd +COPY ./dap-estgi-server ./dap-estgi-server +COPY ./stack.yaml ./stack.yaml +WORKDIR . +RUN stack install dap-estgi-server +CMD ["dap-estgi"]