Skip to content

Commit a16366d

Browse files
committed
Stress that this is a fork
1 parent 742b83f commit a16366d

File tree

1 file changed

+1
-20
lines changed

1 file changed

+1
-20
lines changed

README.md

Lines changed: 1 addition & 20 deletions
Original file line numberDiff line numberDiff line change
@@ -1,20 +1 @@
1-
# Docker container for external software used by GAP packages.
2-
3-
This repository contains the dockerfile for the gap-docker-base image.
4-
It is build on gap-system/gap-container and contains additional software,
5-
used by some packages in GAP. External software at the moment is
6-
7-
* CXSC 2-5-4
8-
* fplll 5.2.1
9-
* Singular 4.1.2p1
10-
* 4ti2 1.6.7
11-
* PARI/GP 2.9.5
12-
* Many Ubuntu packages providing dependencies for various GAP package, including
13-
libmpc, libmpfi, libmpfr, polymake, ...
14-
15-
# Build instructions
16-
17-
This build requires more resources, and therefore should be performed manually. In the `gap-docker-base` directory, call:
18-
* `docker build --no-cache --tag="gapsystem/gap-docker-base:latest" .`
19-
* `docker login`
20-
* `docker push gapsystem/gap-docker-base:latest`
1+
# Fork of https://github.com/gap-system/gap-docker-base

0 commit comments

Comments
 (0)