judge2 support for Docker; #165

Dockerfile

@@ -4,13 +4,11 @@ MAINTAINER Quantum <quantum@dmoj.ca>
 RUN groupadd -r judge && useradd -r -g judge judge
 RUN apt-get -y update && apt-get install -y --no-install-recommends python python2.7-dev python3 gcc g++ wget file && apt-get clean
 RUN wget -q --no-check-certificate -O- https://bootstrap.pypa.io/get-pip.py | python && \
-    pip install --no-cache-dir pika watchdog cython ansi2html && \
+    pip install --no-cache-dir pyyaml watchdog cython ansi2html termcolor && \
     rm -rf ~/.cache
 RUN mkdir /problems
 
 COPY . /judge
 WORKDIR /judge
 
-RUN python cptbox/build_cptbox.py redist && \
-    python checkers/build_checker.py redist && \
-    rm -rf checkers/build/ cptbox/build/
+RUN env DMOJ_REDIST=1 python setup.py develop && rm -rf build/

setup.py

@@ -26,7 +26,7 @@ def build_extensions(self):
             self.compiler.compile_options += ['/Ox', '/W4', '/EHsc', '/GL', '/MT']
             self.compiler.ldflags_shared += ['/OPT:REF,ICF', '/LTCG']
         else:
-            if os.uname()[4].startswith('arm') or 'redist' in sys.argv:
+            if os.uname()[4].startswith('arm') or os.environ.get('DMOJ_REDIST'):
                 extra_compile_args = ['-O3']
             else:
                 extra_compile_args = ['-march=native', '-O3']