Skip to content
This repository has been archived by the owner on Jan 7, 2025. It is now read-only.

Commit

Permalink
added some missed changes for autograder
Browse files Browse the repository at this point in the history
  • Loading branch information
anarghya-das committed Feb 15, 2023
1 parent d789eff commit 35cedf2
Showing 1 changed file with 11 additions and 9 deletions.
20 changes: 11 additions & 9 deletions vmms/Dockerfile_CSE421
Original file line number Diff line number Diff line change
Expand Up @@ -29,7 +29,7 @@ RUN chmod +s /usr/bin/autodriver
###############################################
ENV PINTOSDIR /home/autograde/pintos_base
ENV DSTDIR /usr/local
ENV SRCDIR /home/source
ENV SRCDIR $PINTOSDIR/sources
RUN mkdir -p $SRCDIR
RUN mkdir -p $PINTOSDIR
RUN mkdir -p $DSTDIR/bin
Expand All @@ -55,11 +55,13 @@ RUN sed -i "s/$sim = \"bochs\" if \!defined $sim/$sim = \"qemu\" if \!defined $s
RUN make
RUN cp backtrace pintos pintos-gdb pintos-mkdisk Pintos.pm pintos-set-cmdline squish-pty squish-unix $DSTDIR/bin

WORKDIR /

# Uncomment thse lines for local testing only
#RUN mkdir -p $PINTOSDIR/submission
#WORKDIR $PINTOSDIR/src/threads/
#ADD test-autograder /home/submission
#WORKDIR /home/submission
#RUN make
RUN chown -R autograde:autograde /home/autograde
RUN chown -R autograde:autograde $BXSHARE
RUN chown -R autograde:autograde $DSTDIR/bin
# Clean up
WORKDIR /home
RUN apt-get -y autoremove
RUN rm -rf Tango/
# Check installation
RUN ls -l /home
RUN which autodriver

0 comments on commit 35cedf2

Please sign in to comment.