blob: c380938167d534b310830791633e046d33d7b054 (
plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
|
#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;
}
|
