| ADD file:b5405581c10ecf62899ab02ff3d62ee9074dc323f8b44ac68449f99d0b266540 in / |
| CMD ["bash"] |
| /bin/sh -c apt-get -y update && apt-get install -y curl less lib32stdc++6 libgomp1 libwww-perl rlwrap unzip git mercurial texlive-full python3-pip graphviz pipenv python3-urllib3 python3-sklearn-pandas python3-seaborn jupyter-nbconvert && apt-get clean && rm -rf /usr/share/doc |
| /bin/sh -c curl -o /tmp/generic.zip https://www.entcs.org/generic.zip && mkdir -p /usr/local/share/texmf/tex/latex/ && cd /tmp && unzip generic.zip && mv generic /usr/local/share/texmf/tex/latex/entcs && curl -o /tmp/lipics.tgz https://submission.dagstuhl.de/styles/download-tag/lipics/v2021.1.2/authors/tgz && cd /tmp && tar zxvf lipics.tgz && mv *authors* /usr/local/share/texmf/tex/latex/lipics && mkdir -p /usr/local/share/texmf/bibtex/bst && mkdir -p /usr/local/share/texmf/tex/latex/sig-alternate && curl -o /usr/local/share/texmf/tex/latex/sig-alternate/sig-alternate.cls https://www.acm.org/binaries/content/assets/publications/article-templates/sig-alternate-05-2015.cls && curl -o /usr/local/share/texmf/tex/latex/sig-alternate/acmcopyright.sty https://www.acm.org/binaries/content/assets/publications/article-templates/acmcopyright.sty |
| ARG date |
| ARG date sessions |
| ARG date sessions uid |
| LABEL isabelle.url="https://isabelle.sketis.net/repos/isabelle/" |
| LABEL isabelle.afp.url="https://foss.heptapod.net/isa-afp/afp-devel/" |
| LABEL isabelle.sessions="$sessions" |
| LABEL isabelle.date="$date" |
| USER root |
| WORKDIR /root |
| ENV HOME=/root |
| |9 date=2023-08-13 sessions=HOL-Proofs HOL-Number_Theory HOL-Algebra First_Order_Terms Functional-Automata HOL-Analysis HOL-Library uid=1001 /bin/sh -c echo "$date" > $HOME/.date && hg clone https://isabelle.sketis.net/repos/isabelle/ && isabelle/Admin/init && perl -pi -e 's,ISABELLE_HOME_USER=.*,ISABELLE_HOME_USER="/root/.isabelle",g;' isabelle/etc/settings && hg clone https://foss.heptapod.net/isa-afp/afp-devel/ && isabelle/bin/isabelle components -u afp-devel/thys && isabelle/Admin/init && rm -f /root/.isabelle/contrib/*.gz && (find . -name "x86_64-darwin*" -type d | xargs --no-run-if-empty rm -rf ) && (find . -name "x86_64-windows*" -type d | xargs --no-run-if-empty rm -rf ) && (find . -name "arm64*" -type d | xargs --no-run-if-empty rm -rf ) |
| |9 date=2023-08-13 sessions=HOL-Proofs HOL-Number_Theory HOL-Algebra First_Order_Terms Functional-Automata HOL-Analysis HOL-Library uid=1001 /bin/sh -c isabelle/bin/isabelle build -j 1 -b $sessions |
| ENV PATH="/root/isabelle/bin:${PATH}" |
