doc/snippets/compile_snippet.cpp.in

#include <Eigen/Core.h>
USING_EIGEN_DATA_TYPES
using namespace std;
int main(int, char**)
{
${snippet_source_code}
}