Adding Dockerfile to build/run the GAP from current source

[BaseMax]

No description provided.

[BaseMax]

Tested on a Windows machine:

C:\Users\MAX\gap> docker build -t gap .
[+] Building 85.8s (11/11) FINISHED                                                                                                     docker:desktop-linux
 => [internal] load build definition from Dockerfile                                                                                                    0.0s
 => => transferring dockerfile: 357B                                                                                                                    0.0s
 => [internal] load metadata for docker.io/library/alpine:latest                                                                                        2.1s
 => [internal] load .dockerignore                                                                                                                       0.0s
 => => transferring context: 2B                                                                                                                         0.0s
 => [1/6] FROM docker.io/library/alpine:latest@sha256:56fa17d2a7e7f168a043a2712e63aed1f8543aeafdcee47c58dcffe38ed51099                                  0.0s
 => => resolve docker.io/library/alpine:latest@sha256:56fa17d2a7e7f168a043a2712e63aed1f8543aeafdcee47c58dcffe38ed51099                                  0.0s
 => [internal] load build context                                                                                                                      21.1s
 => => transferring context: 548.34MB                                                                                                                  21.1s
 => CACHED [2/6] RUN apk add --no-cache     build-base     autoconf     automake     libtool     gmp-dev     zlib-dev     curl     git                  0.0s
 => CACHED [3/6] WORKDIR /opt                                                                                                                           0.0s
 => [4/6] COPY . .                                                                                                                                      1.4s
 => [5/6] RUN ./autogen.sh &&     ./configure &&     make -j$(nproc)                                                                                   32.9s
 => [6/6] RUN adduser -D -g "" gapuser                                                                                                                  0.4s
 => exporting to image                                                                                                                                 27.6s
 => => exporting layers                                                                                                                                23.5s
 => => exporting manifest sha256:2899b3862420a4c9b36cf3e9dd3904f651acdad9aee29a53ad3e9b2d43ed095e                                                       0.0s
 => => exporting config sha256:67637846c257bf2c2e722025ccd3fbd3265ce740a10666bd2230a4b335b096d9                                                         0.0s
 => => exporting attestation manifest sha256:948134aee83f8f9b30a69e64a3deb0196706c4728a2894eb1668f43014726c57                                           0.0s
 => => exporting manifest list sha256:069ac1ec441852b35af7c647e37c3e562d131652855eb9f106f83b9278d2c32b                                                  0.0s
 => => naming to docker.io/library/gap:latest                                                                                                           0.0s
 => => unpacking to docker.io/library/gap:latest                                                                                                        4.0s

View build details: docker-desktop://dashboard/build/desktop-linux/desktop-linux/i8diq87cp6yip2bshex3wmii8

C:\Users\MAX\gap> docker run --rm -it gap
 *********   GAP 4.12dev-2232-gdb98c35 built on 2025-02-13 10:05:36+0000
 *  GAP  *   https://www.gap-system.org
 *********   Architecture: x86_64-pc-linux-musl-default64-kv10
 Configuration:  gmp 6.3.0, GASMAN
 Loading the library and packages ...
#I  gapdoc package is not available. Check that the name is correct
#I  and it is present in one of the GAP root directories (see '??RootPaths')
#I  GAP: needed package gapdoc cannot be loaded
Error, failed to load needed package `gapdoc' (version >= 1.2) at /opt/lib/package.gi:2038 called from
func(  ); at /opt/lib/system.g:231 called from
<function "CallAndInstallPostRestore">( <arguments> )
 called from read-eval loop at /opt/lib/init.g:693
you can 'quit;' to quit to outer loop, or
you can 'return;' to continue
brk>

[fingolfin]

Hi there, thank you for contributing! However I am not sure we'd want this in this form right now. And I genuinely mean it like that: there are already several docker files for GAP in other repositories under the gap-system org, but all are unmaintained. I'll ask some folks to have a look here, thougj.

[BaseMax]

Hi - I am currently in the GAP development room, is there any update on this?