-
Notifications
You must be signed in to change notification settings - Fork 72
Commit
This commit does not belong to any branch on this repository, and may belong to a fork outside of the repository.
- Loading branch information
Showing
102 changed files
with
1,979 additions
and
510 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 |
---|---|---|
@@ -1,6 +1,5 @@ | ||
language: python | ||
python: | ||
- 2.7 | ||
- 3.7 | ||
|
||
script: py.test |
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 |
---|---|---|
@@ -1,4 +1,4 @@ | ||
FROM ubuntu:18.04 | ||
FROM ubuntu:20.04 | ||
|
||
MAINTAINER [email protected] | ||
|
||
|
@@ -14,16 +14,16 @@ RUN apt-get update && \ | |
libgmp10 \ | ||
libgmpxx4ldbl \ | ||
openjdk-8-jdk \ | ||
python-minimal \ | ||
python-pip \ | ||
python-plastex \ | ||
python-yaml \ | ||
python3-minimal \ | ||
python3-pip \ | ||
python3-plastex \ | ||
python3-yaml \ | ||
sudo \ | ||
texlive-fonts-recommended \ | ||
texlive-lang-cyrillic \ | ||
texlive-latex-extra \ | ||
texlive-latex-recommended \ | ||
texlive-plain-generic \ | ||
tidy \ | ||
vim | ||
|
||
RUN pip install git+https://github.com/kattis/problemtools | ||
RUN pip3 install git+https://github.com/kattis/problemtools |
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 |
---|---|---|
@@ -1,5 +1,10 @@ | ||
all: | ||
all: checktestdata | ||
make -C support | ||
|
||
builddeb: | ||
builddeb: checktestdata | ||
dpkg-buildpackage -us -uc -tc -b | ||
|
||
checktestdata: support/checktestdata/bootstrap | ||
|
||
support/checktestdata/bootstrap: | ||
git submodule update --init |
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
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 |
---|---|---|
|
@@ -5,7 +5,7 @@ | |
# version of problemtools to be built (default is latest version of | ||
# develop branch on GitHub) | ||
|
||
FROM ubuntu:18.04 | ||
FROM ubuntu:22.04 | ||
|
||
LABEL maintainer="[email protected]" | ||
|
||
|
@@ -29,10 +29,7 @@ RUN apt update && \ | |
python3-pytest \ | ||
python3-setuptools \ | ||
python3-yaml \ | ||
python \ | ||
python-pytest \ | ||
python-setuptools \ | ||
python-yaml | ||
python3-setuptools | ||
|
||
RUN mkdir -p /usr/local/problemtools_build | ||
|
||
|
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
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 |
---|---|---|
@@ -1,9 +1,6 @@ | ||
# Basic problemtools docker image, containing problemtools and the | ||
# "ICPC languages" (C, C++, Java, Python 2, Python 3, and Kotlin) | ||
# "ICPC languages" (C, C++, Java, Kotlin, and Python 3) | ||
# | ||
# Build requirements: | ||
# - Kotlin must be available from the host file system under | ||
# artifacts/kotlin/kotlinc.zip | ||
|
||
ARG PROBLEMTOOLS_VERSION=develop | ||
FROM problemtools/minimal:${PROBLEMTOOLS_VERSION} | ||
|
@@ -12,31 +9,29 @@ LABEL maintainer="[email protected]" | |
|
||
ENV DEBIAN_FRONTEND=noninteractive | ||
|
||
# Install C++, Java, PyPy and Python 3 | ||
# Install C++, Java, Kotlin, and PyPy 3 via their ppa repository | ||
RUN apt update && \ | ||
apt install -y software-properties-common && \ | ||
add-apt-repository ppa:pypy/ppa && \ | ||
apt update && \ | ||
apt install -y \ | ||
g++ \ | ||
openjdk-11-jdk \ | ||
pypy \ | ||
python3 | ||
|
||
# Install Kotlin | ||
WORKDIR /usr/local | ||
COPY artifacts/kotlin/kotlinc.zip /tmp | ||
RUN unzip /tmp/kotlinc.zip | ||
RUN ln -s /usr/local/kotlinc/bin/* bin/ | ||
gcc g++ \ | ||
openjdk-11-jdk openjdk-11-jre \ | ||
kotlin \ | ||
pypy3 | ||
|
||
# Reconfigure problemtools: | ||
# - Use PyPy for Python 2 | ||
# - Use /usr/local/bin rather than /usr/bin for Kotlin | ||
# - Use PyPy for Python 2 (not available in this image but in the full one) | ||
# - Use PyPy for Python 3 | ||
RUN mkdir -p /etc/kattis/problemtools | ||
RUN echo " \n\ | ||
python2: \n\ | ||
name: 'Python 2 w/PyPy'\n\ | ||
run: '/usr/bin/pypy \"{mainfile}\"'\n\ | ||
\n\ | ||
kotlin: \n\ | ||
compile: '/usr/local/bin/kotlinc -d {path}/ -- {files}' \n\ | ||
run: '/usr/local/bin/kotlin -Dfile.encoding=UTF-8 -J-XX:+UseSerialGC -J-Xss64m -J-Xms{memlim}m -J-Xmx{memlim}m -cp {path}/ {Mainclass}Kt' " > /etc/kattis/problemtools/languages.yaml | ||
python3: \n\ | ||
name: 'Python 3 w/PyPy'\n\ | ||
run: '/usr/bin/pypy3 \"{mainfile}\"'\n\ | ||
\n" > /etc/kattis/problemtools/languages.yaml | ||
|
||
WORKDIR / | ||
WORKDIR / |
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 |
---|---|---|
@@ -1,6 +1,6 @@ | ||
# Minimalistic problemtools docker image, containing only problemtools | ||
# and its dependencies, no languages (except whichever are | ||
# dependencies of problemtools, e.g. Python 2) | ||
# dependencies of problemtools, e.g. Python 3) | ||
# | ||
# Build requirements: | ||
# - The problemtools .deb package must be available from the host file | ||
|
@@ -10,7 +10,7 @@ | |
# PROBLEMTOOLS_VERSION but this is not checked.) | ||
|
||
ARG PROBLEMTOOLS_VERSION=develop | ||
FROM ubuntu:18.04 | ||
FROM ubuntu:22.04 | ||
|
||
LABEL maintainer="[email protected]" | ||
|
||
|
@@ -20,17 +20,14 @@ RUN apt update && \ | |
apt install -y \ | ||
ghostscript \ | ||
libgmpxx4ldbl \ | ||
python-minimal \ | ||
python-pkg-resources \ | ||
python-plastex \ | ||
python-yaml \ | ||
python3-minimal \ | ||
python3-yaml \ | ||
python3-plastex \ | ||
texlive-fonts-recommended \ | ||
texlive-generic-recommended \ | ||
texlive-lang-cyrillic \ | ||
texlive-latex-extra \ | ||
texlive-latex-recommended \ | ||
texlive-plain-generic \ | ||
tidy | ||
|
||
RUN mkdir -p /usr/local/artifacts | ||
|
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
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
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
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
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
Oops, something went wrong.