Created
January 22, 2019 17:45
-
-
Save rohanraarora/32013075831503e5b78e354f05ad2db3 to your computer and use it in GitHub Desktop.
isolate issue docker file
This file contains hidden or 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
FROM continuumio/anaconda3:latest | |
RUN apt-get update && apt-get install -y \ | |
git \ | |
make \ | |
libcap-dev \ | |
software-properties-common \ | |
wget | |
RUN apt-get update && apt-get install -y --no-install-recommends apt-utils | |
# Install C | |
RUN apt-get update && apt-get install -y \ | |
gcc-4.7 \ | |
gcc | |
# Install Isolate | |
WORKDIR /tmp | |
RUN git clone https://github.com/ioi/isolate.git && \ | |
cd isolate && \ | |
echo "num_boxes = 2147483647" >> default.cf && \ | |
make install | |
# Install strace | |
RUN apt-get update && apt-get install -y strace | |
ENV BOX_ROOT /var/local/lib/isolate | |
RUN cd /tmp && rm -rf * | |
WORKDIR / |
Sign up for free
to join this conversation on GitHub.
Already have an account?
Sign in to comment