Skip to content

Update to Dune v2.5

Lukas Riedel requested to merge update/dune-v2.5 into master

This merge updates Dorie to be compliant to the newest version of Dune. Setup instructions and the Docker image have been updated.

Tasks:

  • removed dune_implicitonestep.hh
  • updated Readme
  • uploaded Docker dorie/dune-env:2.5 image
  • test targets are also built when calling make all
  • implementations are compiled into dorie-impl library which is not exported to the Dune libraries anymore

Open issues:

  • Python 2 system interpreter on Mac OS X does not work with dune-testtools v2.5 #4 (closed)

Merge request reports