Instructions for building Docker-image with the GRACe server.
| Filename | Description |
|---|---|
| Dockerfile | Dockerfile. |
| README.md | This document. |
| build.sh | Fetches dependencies and builds the Docker image. |
| install-mzn-gecode.sh | Builds MiniZinc/Gecode dependencies inside the VM. |
| run.sh | Runs the GRACe server inside the VM. |
-
The server needs to be executable on some
x86_64Ubuntu. A simple way to ensure this is to build the examples with Docker support enabled in thestack.yaml, i.e.docker: enable: true -
Run
build.sh. This will clone the libminizinc and gecode repositories and calldocker build. You may be prompted to accept some expired certificate by subversion. -
Follow these instructions on how to push the image to dockerhub.
-
Run the image using
docker run -p 8081:8081 --rm eugraceful/grace-server.