From dc0dce8465d59f27453aa80087a286bad2bdea02 Mon Sep 17 00:00:00 2001 From: Ethan Roseman Date: Mon, 28 Dec 2020 10:06:48 +0900 Subject: [PATCH] Use install.sh --- Dockerfile | 19 +------------------ 1 file changed, 1 insertion(+), 18 deletions(-) diff --git a/Dockerfile b/Dockerfile index 58e5e81f25..f787524548 100644 --- a/Dockerfile +++ b/Dockerfile @@ -2,24 +2,7 @@ FROM ubuntu:20.04 as build ENV DEBIAN_FRONTEND=noninteractive -RUN apt-get update && \ - apt-get install -y \ - astyle \ - binutils-mips-linux-gnu \ - build-essential \ - git \ - less \ - libglib2.0 \ - python3 \ - python3-pip \ - unzip \ - wget - -RUN python3 -m pip install \ - attrs capstone lark pyyaml pycparser \ - colorama ansiwrap watchdog python-Levenshtein cxxfilt \ - python-ranges \ - pypng +RUN sudo ./install.sh RUN mkdir /papermario WORKDIR /papermario