You cannot select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
30 lines
536 B
Docker
30 lines
536 B
Docker
FROM node:23-bookworm
|
|
|
|
RUN apt update && apt upgrade -y
|
|
RUN apt install -y bubblewrap
|
|
|
|
WORKDIR /app
|
|
|
|
# Install elan
|
|
RUN curl -sSfL https://github.com/leanprover/elan/releases/download/v3.0.0/elan-x86_64-unknown-linux-gnu.tar.gz | tar xz && \
|
|
./elan-init -y
|
|
|
|
ENV PATH="/root/.elan/bin:${PATH}"
|
|
|
|
# Copy package files
|
|
COPY package.json package-lock.json ./
|
|
|
|
# Install dependencies
|
|
RUN npm install
|
|
|
|
# Copy project files
|
|
COPY . .
|
|
|
|
# Build the project
|
|
RUN npm run build
|
|
|
|
EXPOSE 8080
|
|
|
|
# Set the entrypoint
|
|
CMD ["npm", "run", "production"]
|