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.5image -
test targets are also built when calling
make all -
implementations are compiled into
dorie-impllibrary 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)