#include <stdio.h> | |
#include <string.h> | |
int main(int argc, char* argv[]) | |
{ | |
if (argc < 3) { | |
fprintf(stderr, "Usage: %s <file1> <file2>\n", argv[0]); | |
return 1; | |
} | |
FILE* fp = fopen(argv[1], "w"); | |
fprintf(fp, "extern int wrapped_help();\n"); | |
fprintf(fp, "int wrapped() { return wrapped_help(); }\n"); | |
fclose(fp); | |
fp = fopen(argv[2], "w"); | |
fprintf(fp, "int wrapped_help() { return 5; }\n"); | |
fclose(fp); | |
#ifdef CMAKE_INTDIR | |
const char* cfg = (argc >= 4) ? argv[3] : ""; | |
if (strcmp(cfg, CMAKE_INTDIR) != 0) { | |
fprintf(stderr, | |
"Did not receive expected configuration argument:\n" | |
" expected [" CMAKE_INTDIR "]\n" | |
" received [%s]\n", | |
cfg); | |
return 1; | |
} | |
#endif | |
return 0; | |
} |