mirror of https://github.com/pmret/papermario.git
14 lines
287 B
Docker
14 lines
287 B
Docker
FROM ubuntu:20.04 as build
|
|
|
|
ENV DEBIAN_FRONTEND=noninteractive
|
|
|
|
COPY requirements.txt /
|
|
COPY requirements_extra.txt /
|
|
COPY install_deps.sh /
|
|
COPY install_compilers.sh /
|
|
|
|
RUN apt-get update && ./install_deps.sh --extra && ./install_compilers.sh
|
|
|
|
RUN mkdir /papermario
|
|
WORKDIR /papermario
|