microros_pros_builder Docker image to build the libmicroros static library for use with the PROS build system. To use the included docker-compose file, run docker-compose run --rm microros_pros_builder in a PROS project.