Skip to content
  • Martin Nolte's avatar
    introduce new builder: `HTTPBuilder` · a3bf5967
    Martin Nolte authored
    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.
    a3bf5967