|
2 | 2 | # Net usage: 54+124+ |
3 | 3 | # Disk usage: ?? |
4 | 4 |
|
5 | | -FROM registry.fedoraproject.org/fedora-minimal:32 |
| 5 | +ARG RELEASE=latest |
| 6 | + |
| 7 | +FROM quay.io/fedora/fedora-minimal:$RELEASE |
6 | 8 |
|
7 | 9 | # Programs we require to build |
8 | 10 | # kernel-devel rpm-build rpm-sign rpmdevtools |
9 | | -RUN microdnf install autoconf bison ccache cmake curl diffutils file gcc-c++ git \ |
10 | | - gnupg libtool make ninja-build patch yasm rpm-build rpmlint which |
| 11 | +RUN microdnf install -y autoconf bison ccache cmake curl diffutils file \ |
| 12 | + gcc-c++ git gnupg libtool make ninja-build patch yasm rpm-build rpmlint \ |
| 13 | + which flex gcc-gfortran |
11 | 14 |
|
12 | 15 | # Libraries we require |
13 | | -RUN microdnf install openblas-devel libxml2-devel readline-devel gdbm-devel \ |
14 | | - boost-devel libomp-dev libtbb-dev |
| 16 | +RUN microdnf install -y openblas-devel libxml2-devel readline-devel gdbm-devel \ |
| 17 | + boost-devel libomp-devel tbb-devel python3-devel libffi-devel |
15 | 18 |
|
16 | 19 | # Libraries we can build (factory not available on ubuntu) |
17 | | -RUN microdnf install eigen3-devel glpk-devel gmp-devel mpfr-devel ntl-devel \ |
18 | | - libnauty-devel libnormaliz-devel libfrobby-devel gc-devel |
| 20 | +RUN microdnf install -y eigen3-devel glpk-devel gmp-devel mpfr-devel ntl-devel \ |
| 21 | + libnauty-devel libnormaliz-devel libfrobby-devel gc-devel mpfi-devel \ |
| 22 | + factory-devel mpsolve-devel fflas-ffpack-devel memtailor-devel \ |
| 23 | + mathic-devel mathicgb-devel |
19 | 24 |
|
20 | 25 | # Programs we can build |
21 | | -# TODO: cohomcalg available soon. Polymake requires firefox??? |
22 | | -#RUN microdnf install libcdd-devel 4ti2 gfan normaliz coinor-csdp nauty lrslib |
| 26 | +# TODO: Polymake requires firefox??? |
| 27 | +RUN microdnf install -y cddlib-devel 4ti2 gfan normaliz csdp-tools nauty \ |
| 28 | + lrslib-utils cohomCalg msolve |
23 | 29 |
|
24 | 30 | # Optional packages |
25 | | -RUN microdnf install mlocate bash-completion |
| 31 | +RUN microdnf install -y plocate bash-completion R |
26 | 32 |
|
27 | 33 | # Add non-root user for building and running Macaulay2 |
28 | 34 | RUN useradd -G wheel -g root -u 1000 -m macaulay && echo "macaulay ALL=(ALL) NOPASSWD: ALL" >> /etc/sudoers |
|
0 commit comments