This repository contains the Dockerfiles for the Docker images to build DART. The docker images are hosted on Docker Hub.
To pull the images,
docker pull dartsim/dart-dev:<tagname>The available tags can be found here.
To launch the containers,
docker run -i --tty dartsim/dart-dev:<tagname>To build DART in the container,
# In a shell
docker run -i --tty \
-v <path_to_dart_source>:<dart_source_in_container> \
dartsim/dart-dev:<tagname>
# In the container
cd <dart_source_in_container>
mkdir build && cd build
cmake ..
make -j