Skip to content

Require mandatory packages.

Markus Blatt requested to merge feature/require-packages into master

bison, flex, and dune-common are needed for compilation. Therefore we mark thema as required to find_package with this commit.

Closes #7 (closed)

Merge request reports