2003-06-03 18:34:15 +04:00
|
|
|
#include <stdio.h>
|
2008-06-04 20:10:59 +04:00
|
|
|
#include <string.h>
|
2003-06-03 18:34:15 +04:00
|
|
|
|
2003-06-04 17:02:50 +04:00
|
|
|
int main(int argc, char *argv[])
|
2003-06-03 18:34:15 +04:00
|
|
|
{
|
2006-04-11 19:06:19 +04:00
|
|
|
if ( argc < 3 )
|
2004-04-27 19:08:58 +04:00
|
|
|
{
|
2006-04-11 19:06:19 +04:00
|
|
|
fprintf(stderr, "Usage: %s <file1> <file2>\n", argv[0]);
|
2004-04-27 19:08:58 +04:00
|
|
|
return 1;
|
|
|
|
}
|
2003-06-03 18:34:15 +04:00
|
|
|
FILE *fp = fopen(argv[1],"w");
|
2006-04-13 23:28:57 +04:00
|
|
|
fprintf(fp,"extern int wrapped_help();\n");
|
|
|
|
fprintf(fp,"int wrapped() { return wrapped_help(); }\n");
|
2006-04-11 19:06:19 +04:00
|
|
|
fclose(fp);
|
|
|
|
fp = fopen(argv[2],"w");
|
2006-04-13 23:28:57 +04:00
|
|
|
fprintf(fp,"int wrapped_help() { return 5; }\n");
|
2003-06-03 18:34:15 +04:00
|
|
|
fclose(fp);
|
2008-06-04 20:10:59 +04:00
|
|
|
#ifdef CMAKE_INTDIR
|
|
|
|
const char* cfg = (argc >= 4)? argv[3] : "";
|
2016-03-09 17:42:18 +03:00
|
|
|
if(strcmp(cfg, CMAKE_INTDIR) != 0)
|
2008-06-04 20:10:59 +04:00
|
|
|
{
|
|
|
|
fprintf(stderr,
|
|
|
|
"Did not receive expected configuration argument:\n"
|
2016-03-09 17:42:18 +03:00
|
|
|
" expected [" CMAKE_INTDIR "]\n"
|
2008-06-04 20:10:59 +04:00
|
|
|
" received [%s]\n", cfg);
|
|
|
|
return 1;
|
|
|
|
}
|
|
|
|
#endif
|
2003-06-04 22:25:53 +04:00
|
|
|
return 0;
|
2003-06-03 18:34:15 +04:00
|
|
|
}
|