From 06108e49684185221457a37269da103dca870b6f Mon Sep 17 00:00:00 2001
From: Arjun Guha <arjunguha@users.noreply.github.com>
Date: Fri, 12 Jul 2024 10:02:16 -0400
Subject: [PATCH] Update Dockerfile-multiple

This updates the MultiPL-E Dockerfile to support v3.

Instead of copy-pasta like before, I've had it inherit from the MultiPL-E native evaluation container. It is set to use an exact revision -- which is the v3 revision -- so we won't get any surprise updates.
---
 Dockerfile-multiple | 49 +--------------------------------------------
 1 file changed, 1 insertion(+), 48 deletions(-)

diff --git a/Dockerfile-multiple b/Dockerfile-multiple
index b7bc8672a..dec9a8a6f 100644
--- a/Dockerfile-multiple
+++ b/Dockerfile-multiple
@@ -1,51 +1,4 @@
-FROM ubuntu:22.04
-RUN apt-get update -yqq && apt-get install -yqq curl build-essential python3-pip python3-tqdm
-RUN apt-get install racket -yqq
-ARG DEBIAN_FRONTEND=noninteractive
-ENV TZ=Etc/UTC
-RUN apt-get install -yqq \
-    default-jdk-headless \
-    golang-go \
-    php-cli \
-    ruby \
-    lua5.3 \
-    r-base \
-    rustc \
-    scala
-
-RUN apt-get install -yqq libtest-deep-perl 
-RUN apt-get install -yqq wget 
-
-# JS/TS
-RUN curl -fsSL https://deb.nodesource.com/setup_current.x | bash - 
-RUN apt-get install -y nodejs
-RUN npm install -g typescript
-
-# Dlang
-RUN wget https://netcologne.dl.sourceforge.net/project/d-apt/files/d-apt.list -O /etc/apt/sources.list.d/d-apt.list
-RUN apt-get update --allow-insecure-repositories
-RUN apt-get -y --allow-unauthenticated install --reinstall d-apt-keyring
-RUN apt-get update && apt-get install -yqq dmd-compiler dub
-
-# C#
-RUN apt install gnupg ca-certificates
-RUN apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --recv-keys 3FA7E0328081BFF6A14DA29AA6A19B38D3D831EF
-RUN echo "deb https://download.mono-project.com/repo/ubuntu stable-focal main" | tee /etc/apt/sources.list.d/mono-official-stable.list
-RUN apt update
-RUN apt install -yqq mono-devel
-
-# Post-processing
-
-# Julia
-RUN curl https://julialang-s3.julialang.org/bin/linux/x64/1.8/julia-1.8.2-linux-x86_64.tar.gz | tar xz
-ENV PATH="/julia-1.8.2/bin:${PATH}"
-# Swift
-RUN curl https://download.swift.org/swift-5.7-release/ubuntu2204/swift-5.7-RELEASE/swift-5.7-RELEASE-ubuntu22.04.tar.gz | tar xz
-ENV PATH="/swift-5.7-RELEASE-ubuntu22.04/usr/bin:${PATH}"
-# Javatuples
-RUN mkdir /usr/multiple && wget https://repo.mavenlibs.com/maven/org/javatuples/javatuples/1.2/javatuples-1.2.jar -O /usr/multiple/javatuples-1.2.jar
-# Luaunit
-RUN apt-get update -yqq && apt-get install -yqq lua-unit
+FROM ghcr.io/nuprl/multipl-e-evaluation:2cb4fcd74d89d149f7a3feb177f7d8169cef390a7ea7951c9b84e7ff59ea26cc
 
 # Standard requirements
 COPY . /app