37 lines
2.2 KiB
Docker
37 lines
2.2 KiB
Docker
FROM debian:latest
|
|
RUN apt-get update && apt-get upgrade
|
|
RUN apt-get install bc binutils bzip2 ca-certificates cliquer cmake curl \
|
|
ecl eclib-tools fflas-ffpack g++ gap gcc gengetopt gfan gfortran \
|
|
glpk-utils gmp-ecm lcalc libatomic-ops-dev libboost-dev \
|
|
libbraiding-dev libbrial-dev libbrial-groebner-dev libbz2-dev \
|
|
libcdd-dev libcdd-tools libcliquer-dev libcurl4-openssl-dev libec-dev \
|
|
libecm-dev libffi-dev libflint-dev libfplll-dev libfreetype-dev \
|
|
libgap-dev libgc-dev libgd-dev libgf2x-dev libgiac-dev libgivaro-dev \
|
|
libglpk-dev libgmp-dev libgsl-dev libhomfly-dev libiml-dev \
|
|
liblfunction-dev liblinbox-dev liblrcalc-dev liblzma-dev libm4ri-dev \
|
|
libm4rie-dev libmpc-dev libmpfi-dev libmpfr-dev libncurses5-dev \
|
|
libntl-dev libopenblas-dev libpari-dev libplanarity-dev libppl-dev \
|
|
libprimesieve-dev libpython3-dev libqhull-dev libreadline-dev \
|
|
librw-dev libsingular4-dev libsqlite3-dev libssl-dev \
|
|
libsuitesparse-dev libsymmetrica2-dev libz-dev libzmq3-dev m4 make \
|
|
maxima maxima-sage meson nauty ninja-build openssl palp pari-doc \
|
|
pari-elldata pari-galdata pari-galpol pari-gp2c pari-seadata patch \
|
|
patchelf perl pkg-config planarity ppl-dev python3 python3-setuptools \
|
|
python3-venv singular singular-doc sqlite3 sympow tachyon tar texinfo \
|
|
tox xcas xz-utils git
|
|
RUN apt-get install default-jdk dvipng ffmpeg fonts-freefont-otf \
|
|
imagemagick latexmk libavdevice-dev libjpeg-dev pandoc tex-gyre \
|
|
texlive-fonts-recommended texlive-lang-cyrillic texlive-lang-english \
|
|
texlive-lang-european texlive-lang-french texlive-lang-german \
|
|
texlive-lang-italian texlive-lang-japanese texlive-lang-polish \
|
|
texlive-lang-portuguese texlive-lang-spanish texlive-latex-extra \
|
|
texlive-luatex texlive-xetex xindy
|
|
RUN useradd jovyan -u 1000 -s /bin/bash -m -h /home/jovyan
|
|
USER jovyan
|
|
WORKDIR /home/jovyan
|
|
COPY build.sh build.sh
|
|
RUN git clone -c core.symlinks=true --filter blob:none \
|
|
--origin upstream --branch master --tags \
|
|
https://github.com/sagemath/sage.git
|
|
RUN export srcdir=/home/jovyan/sage source build.sh && prepare && build
|