/* * This is just a dummy test which checks if all our headers * compiles correctly with a C++ compiler. */ #include #include #include #include #include #include #include #include #include #include int main(int argc, char **argv) { return 0; }