Public | Automated Build

Last pushed: 2 years ago
Short Description
Short description is empty for this repo.
Full Description

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 .
Docker Pull Command
Owner
lukasmartinelli
Source Repository