Update to Dune v2.5
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)