-
Notifications
You must be signed in to change notification settings - Fork 61
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
master now has 2 dockerfiles, one targeting 122 with C0, and one not Apply updates (fewer RUN lines, do not fetch autodriver from github) to both of them.
- Loading branch information
Showing
4 changed files
with
56 additions
and
83 deletions.
There are no files selected for viewing
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,32 @@ | ||
# Autolab - autograding docker image | ||
|
||
FROM ubuntu:14.04 | ||
MAINTAINER Mihir Pandya <[email protected]> | ||
|
||
RUN apt-get update && apt-get install -y build-essential wget python | ||
|
||
# Install autodriver | ||
WORKDIR /home | ||
RUN useradd autolab && useradd autograde | ||
RUN mkdir autolab autograde output && chown autolab:autolab autolab output && chown autograde:autograde autograde | ||
ADD . /home/autodriver | ||
WORKDIR /home/autodriver | ||
RUN make clean && make && install -c -o root -g root -m 4755 autodriver /usr/bin/autodriver && install -c -m 755 autograde_wrapper.py /usr/bin/autograde_wrapper && cp cc0wrap.sh /usr/bin/cc0 && chmod +x /usr/bin/cc0 | ||
|
||
ENTRYPOINT ["/usr/bin/autograde_wrapper"] | ||
|
||
# Install C0 | ||
WORKDIR /home | ||
RUN wget http://c0.typesafety.net/dist/cc0-v0440-linux3.18.1-64bit-bin.tgz | ||
RUN tar -C /usr/local -xvzf cc0-* | ||
WORKDIR /usr/local/cc0 | ||
RUN bin/cc0 -d doc/src/exp.c0 doc/src/exp-test.c0 | ||
#RUN ./a.out | ||
|
||
# Clean up | ||
WORKDIR /home | ||
RUN apt-get remove -y wget && apt-get -y autoremove | ||
RUN rm -rf autodriver cc0* | ||
|
||
# Check installation | ||
RUN ls -l /home && which autodriver && which cc0 |
This file contains bidirectional Unicode text that may be interpreted or compiled differently than what appears below. To review, open the file in an editor that reveals hidden Unicode characters.
Learn more about bidirectional Unicode characters
Original file line number | Diff line number | Diff line change |
---|---|---|
@@ -0,0 +1,24 @@ | ||
# Autolab - autograding docker image | ||
|
||
FROM ubuntu:14.04 | ||
MAINTAINER Mihir Pandya <[email protected]> | ||
|
||
RUN apt-get update && apt-get install -y build-essential wget python | ||
|
||
# Install autodriver | ||
WORKDIR /home | ||
RUN useradd autolab && useradd autograde | ||
RUN mkdir autolab autograde output && chown autolab:autolab autolab output && chown autograde:autograde autograde | ||
ADD . /home/autodriver | ||
WORKDIR /home/autodriver | ||
RUN make clean && make && install -c -o root -g root -m 4755 autodriver /usr/bin/autodriver && install -c -m 755 autograde_wrapper.py /usr/bin/autograde_wrapper | ||
|
||
ENTRYPOINT ["/usr/bin/autograde_wrapper"] | ||
|
||
# Clean up | ||
WORKDIR /home | ||
RUN apt-get remove -y wget && apt-get -y autoremove | ||
RUN rm -rf autodriver | ||
|
||
# Check installation | ||
RUN ls -l /home && which autodriver |
This file was deleted.
Oops, something went wrong.
This file was deleted.
Oops, something went wrong.