Dockerfile build: ADD failure

[robsyme]

Hi

I'm looking to build the Docker image from the repository. The Dockerfile contains the line:

ADD vbt /home/varbenchtools

which instructs docker to move the folder vbt into the container, but there is no vbt folder present in the repository. Running docker build on the current repository yields the error:

ADD failed: stat /var/lib/docker/tmp/docker-builder863215763/vbt: no such file or directory

Am I doing something wrong? Is the vbt directory missing from the repository? I notice that the directory is added to the .gitignore file, which would prevent anybody else from building the Docker image.

[mpallocc]

Same issue here. It's a pity since it prevents the Dockerfile to be finalized.

[YuanfengZhang]

Not a big deal. Replacing it with "RUN mkdir -p && COPY " command will make it. For convenience, I pushed the docker image at dockerhub: justinzhang1997/vbt-trioanalysis.