Dockerfile.gradescope

FROM gradescope/auto-builds:ubuntu-18.04
MAINTAINER Jason Lowe-Power <jason@lowepower.com>

ENV SBT_VERSION 0.13.16

RUN apt-get update -y

RUN \
  apt-get install default-jre git make autoconf g++ flex bison pkg-config -y

# Install sbt
RUN \
  echo "deb https://dl.bintray.com/sbt/debian /" | tee -a /etc/apt/sources.list.d/sbt.list && \
  apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --recv 2EE0EA64E40A89B84B2DF73499E82A75642AC823 && \
  apt-get update -y && \
  apt-get install sbt -y

# Change to the working directory where we are going to run everything
# Copy all needed files into the workdir
WORKDIR /dinocpu
ADD src/ src/
ADD build.sbt .
ADD project/ project/

# Go ahead and run the tests to cache the sbt stuff.
RUN sbt test; echo // ignore the return code of sbt test

ADD run_autograder /autograder