Overview

Use the following command to initialise the submodules:

git submodule update --init --recursive

Build the docker file:

docker build -t benchmark-pbes .