| ADD file:3b6700ddfc2ba2c349ed3274e52458cd834ee48145a741d900c6701cafa01f03 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 isabelle |
| ARG afp isabelle |
| ARG afp isabelle sessions |
| ARG afp isabelle sessions uid |
| LABEL isabelle.url="$isabelle" |
| LABEL isabelle.afp.url="$afp" |
| LABEL isabelle.sessions="$sessions" |
| |11 afp=https://www.isa-afp.org/release//afp-current.tar.gz isabelle=https://isabelle.in.tum.de/website-Isabelle2023/dist/Isabelle2023_linux.tar.gz sessions=HOL-Proofs HOL Regular-Sets First_Order_Terms Functional-Automata HOL-Analysis HOL-Library Word_Lib uid=1000 /bin/sh -c useradd -o -u $uid -m isabelle && (echo isabelle:isabelle | chpasswd) |
| USER isabelle |
| WORKDIR /home/isabelle |
| |11 afp=https://www.isa-afp.org/release//afp-current.tar.gz isabelle=https://isabelle.in.tum.de/website-Isabelle2023/dist/Isabelle2023_linux.tar.gz sessions=HOL-Proofs HOL Regular-Sets First_Order_Terms Functional-Automata HOL-Analysis HOL-Library Word_Lib uid=1000 /bin/sh -c curl -L -o "Isabelle.tar.gz" "$isabelle" && curl -L -o "afp.tar.gz" "$afp" && tar xzf "Isabelle.tar.gz" && tar xzf "afp.tar.gz" && rm *.tar.gz && mv Isabelle* Isabelle && mv afp* afp && mkdir .isabelle && echo `pwd`/afp/thys > .isabelle/ROOTS && perl -pi -e 's,ISABELLE_HOME_USER=.*,ISABELLE_HOME_USER="/home/isabelle/.isabelle",g;' Isabelle/etc/settings && Isabelle/bin/isabelle build -j 1 -b $sessions |
| ENV PATH="/home/isabelle/Isabelle/bin:${PATH}" |
| ENV HOME="/home/isabelle" |
| USER root |
