Sign inSign up

lukasmartinelli/docker-flint

By lukasmartinelli

Updated almost 11 years ago

Image
0

399

lukasmartinelli/docker-flint repository overview

docker-flint

An Ubuntu based image that builds flint and its dependencies.

Run

Pull the docker image.

docker pull lukasmartinelli/docker-flint

Run flint current directory by mounting it into the /root folder of the docker container.

sudo docker run -v $(pwd):/root docker-flint /root

Build

sudo docker build -t docker-flint .

Tag summary

Content type

Image

Digest

sha256:6747d8bf2

Size

466.3 MB

Last updated

almost 11 years ago

docker pull lukasmartinelli/docker-flint