include (plugin)
openflipper_plugin (DEPS Eigen3)
