FLINT
FLINT copied to clipboard
Centralize Docker images: fixed broken links and missing libraries
Fixed broken links and compatibility issues. To run tests, use the following commands:
- [x] For baseimage: ~# docker build -f Dockerfile.base.ubuntu.18.04 --build-arg NUM_CPU=4 -t moja/baseimage:ubuntu-18.04 .
- [x] For flint implementation: ~# docker build -f Dockerfile.flint.ubuntu.18.04 --build-arg NUM_CPU=4 --build-arg GITHUB_AT=[TOKEN] --build-arg FLINT_BRANCH=[BRANCH] -t moja/flint:ubuntu-18.04 .
@HarshCasper Can you share with me the docker files you used? These are the results from the proposed files
.