#include <stdio.h>#include"DumpInformation.h"intmain(int,char*[]){FILE* file =fopen(CMAKE_DUMP_FILE,"r");if(!file){printf("Error, could not open file %s", CMAKE_DUMP_FILE);return-1;}while(!feof(file)){putc(fgetc(file), stdout);}fclose(file);return0;}