1. 23 Nov, 2017 2 commits
    • 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
    • Martin Nolte's avatar
      [builder] migrate builder exceptions to separate module · 23cfe597
      Martin Nolte authored
      The builder exceptions should be shared between different implementations of the
      builder interface. This patch migrates them to a separate module
      `dune.generator.exceptions`. For convenience they are also imported into
      `dune.generator` itself.
      23cfe597
  2. 22 Nov, 2017 3 commits
  3. 21 Nov, 2017 2 commits
  4. 10 Nov, 2017 5 commits
  5. 09 Nov, 2017 4 commits
  6. 08 Nov, 2017 4 commits
  7. 07 Nov, 2017 13 commits
  8. 06 Nov, 2017 2 commits
  9. 05 Nov, 2017 3 commits
  10. 04 Nov, 2017 1 commit
  11. 03 Nov, 2017 1 commit