Merge branch 'buildsystem-fixes' into 'master'
Buildsystem fixes
See merge request !84 (merged)
(cherry picked from commit 65847558)
4c42b1a0 Try to guess the location of dune-common if is not set. 942ef175 Require dune-common.
Buildsystem fixes
See merge request !84 (merged)
(cherry picked from commit 65847558)
4c42b1a0 Try to guess the location of dune-common if is not set. 942ef175 Require dune-common.