francy/dev-Dockerfile at master · gap-packages/francy · GitHub

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
FROM quay.io/jupyter/minimal-notebook:latest

LABEL Author="Manuel Martins <manuelmachadomartins@gmail.com>"

ARG DEBIAN_FRONTEND="noninteractive"
ARG WGET="wget -N --no-check-certificate --tries=5 --waitretry=5 --retry-connrefused"

USER root

# setup GAP environment
RUN apt update && apt -qq install -y \
      git curl wget python3-pip inkscape pandoc texlive-xetex \
      build-essential autoconf libgmp-dev libreadline-dev zlib1g-dev graphviz libzmq3-dev && \
    git clone --depth=2 -b master https://github.com/gap-system/gap.git /opt/master && \
    cd /opt/master && \
    ./autogen.sh && ./configure && make -j4 V=1 && \
    make bootstrap-pkg-full DOWNLOAD="$WGET" WGET="$WGET" &&  \
    cd /opt/master/pkg && rm -rf /opt/master/pkg/francy && \
    git clone https://github.com/gap-packages/FrancyMonoids && \
    git clone https://github.com/gap-packages/francy && \
    git clone https://github.com/mcmartins/subgroup-lattice && \
    git clone https://github.com/gap-packages/OrbitalGraphs && \
    for pkg in `ls`; do ../bin/BuildPackages.sh --strict $pkg*; done && \
    rm -rf /opt/master/packages.tar.gz && chown -R jovyan: /opt/master/ && \
    cd /opt/master/pkg/jupyterkernel && pip install . && \
    cd /usr/local/sbin/ && \
    ln -s /opt/master/gap && \
    ln -s /opt/master/pkg/jupyterkernel/bin/jupyter-kernel-gap && \
    rm -rf /home/jovyan/.jupyter/*

ENV JUPYTER_GAP_EXECUTABLE=gap

# setup JS / Python environment
# jupyter lab extension installation hardcoded to 4.4.10 as this is the last version where jupyterkernel works
RUN apt install -y nodejs npm && \
    pip install --no-cache-dir jupyterlab==4.4.10 && \
    npm install --global yarn corepack

# switch to jovyan *before* running yarn, so it can write to /home/jovyan
USER jovyan
WORKDIR /home/jovyan

# setup local source code
COPY --chown=jovyan:users . /opt/francy/

RUN cd /opt/francy/js/ && corepack enable && \
    yarn set version berry && yarn install && yarn run build && \
    cd packages/francy-extension-jupyterlab/ && \
    pip install . && \
    cd ~