lh-docker
/
lh-docker-isabelle
1
0
Fork 0
Code Issues Pull Requests Releases Wiki Activity

Switched to a root-user setup for simplicity.

This commit is contained in:
Achim D. Brucker 2023-05-03 10:40:26 +01:00
parent 18895bdb55
commit 6daeb20397
1 changed files with 17 additions and 15 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

32
isabelle_nightly/Dockerfile
View File

@ -36,20 +36,22 @@ LABEL isabelle.afp.url="https://foss.heptapod.net/isa-afp/afp-devel/"
LABEL isabelle.sessions="$sessions"
# Create default user (isabelle)
RUN useradd -o -u $uid -m isabelle && (echo isabelle:isabelle | chpasswd)
USER isabelle
# Install Isabelle and corresponding AFP
WORKDIR /home/isabelle
RUN hg clone https://isabelle.sketis.net/repos/isabelle/ && \
hg clone https://foss.heptapod.net/isa-afp/afp-devel/ && \
isabelle/Admin/init && \
/home/isabelle/isabelle/bin/isabelle components -u afp-devel/thys && \
isabelle/Admin/init && \
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
WORKDIR /root
ENV HOME=/root
RUN 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 && \
# Install AFP
hg clone https://foss.heptapod.net/isa-afp/afp-devel/ && \
isabelle/bin/isabelle components -u afp-devel/thys && \
isabelle/Admin/init && \
# cleanup
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 )
RUN isabelle/bin/isabelle build -j 1 -b $sessions
ENV PATH="/root/isabelle/bin:${PATH}"