[cmake] define HAVE_EIGEN