#include <stdarg.h>
-
+#ifdef _WIN32
+/* stupid stubs so that it compiles on windows */
+void generate_sim(char *project) {}
+void generate_rl(char *project) {}
+void generate_makefile_local(char *project, char *deployment) {}
+#else
+/* real implementation */
XBT_LOG_EXTERNAL_DEFAULT_CATEGORY(stubgen);
{
printf("%p",p);
}
+#endif