moja-global/FLINT

Error in setting up FLINT

jahnvigupta opened this issue · 0 comments

jahnvigupta commented

Describe the bug
Running command
docker build -f Dockerfile.flint.ubuntu.18.04 --build-arg NUM_CPU=4 --build-arg FLINT_BRANCH=master -t moja/flint:ubuntu-18.04 .
given in documentation to setup FLINT gives the error shown in screenshot.

To Reproduce
Steps to reproduce the behavior:

  1. Go to 'Readme.md'
  2. Follow the documentation to setup FLINT on Ubuntu.
  3. See error.

Screenshots
Screenshot from 2020-08-11 10-17-46

Operating Environment:

  • Ubuntu 19.10