FLINT icon indicating copy to clipboard operation
FLINT copied to clipboard

Centralize Docker images: fixed broken links and missing libraries

Open Simpleshell3 opened this issue 3 years ago • 1 comments

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 .

Simpleshell3 avatar Feb 11 '22 15:02 Simpleshell3

@HarshCasper Can you share with me the docker files you used? These are the results from the proposed files baselib

flintlib .

Simpleshell3 avatar Feb 13 '22 12:02 Simpleshell3