Ability to build patches inside a Docker container. Using a Docker container is optional and provided for convenience at development time.
The Docker container makes it possible for a developer to copy all the tools needed to build OWL patches as a single (big) tar archive and get it working straight away. Like a virtual machine it runs in isolation but it is more lightweight and it boots in no time.
The Dockerfile for the Docker image and the related documentation are available here.
This PR contains also an unrelated upgrade to the patch-builder script adding support for PHP's new MongoDB driver (the old one has been deprecated and will soon be removed).
Ability to build patches inside a Docker container. Using a Docker container is optional and provided for convenience at development time.
The Docker container makes it possible for a developer to copy all the tools needed to build OWL patches as a single (big) tar archive and get it working straight away. Like a virtual machine it runs in isolation but it is more lightweight and it boots in no time.
The
Dockerfile
for the Docker image and the related documentation are available here.This PR contains also an unrelated upgrade to the
patch-builder
script adding support for PHP's new MongoDB driver (the old one has been deprecated and will soon be removed).