DOCKER.md

get the docker image from the docker repository :

docker pull solaljacob/dff:latest

build dff inside docker :

docker build --force-rm -t dff:latest .

load a prebuilt DFF docker image :

bzcat dff-docker-images.tar.bz2 | docker load

run dff from docker :

docker run --net=host --env="DISPLAY" --volume="$HOME/.Xauthority:/root/.Xauthority:rw" -v ~/dump:/root/dump -it solaljacob/dff:latest --name dff

(This will share your /home/user/dump directory inside docker /root/dump directory)