Skip to content

WIP: HTTP builder

Martin Nolte requested to merge feature/httpbuilder into master

The HTTPBuilder uses a server process to do the actual compilation of the just-in-time compiled Python modules. For client-server communication, the established HTTP protocol is used.

Having a separate build process allows to run several Python programs using the same dune-py module. Any conflicts are managed by the single server process performing the actual build.

Merge request reports