+static int parse_cmdline(int *timings, int *downgrade, char **platformFile, int argc, char **argv)
+{
+ int wrong_option = 0;
+ int i;
+ for (i = 1; i < argc; i++) {
+ if (strlen(argv[i]) > 1 && argv[i][0] == '-' && argv[i][1] == '-') {
+ if (!strcmp(argv[i], "--timings")) {
+ *timings = 1;
+ } else {
+ if (!strcmp(argv[i], "--downgrade")) {
+ *downgrade = 1;
+ } else {
+ wrong_option = 1;
+ break;
+ }
+ }
+ } else {
+ *platformFile = argv[i];
+ }
+ }
+ return wrong_option;
+}
+
+static void create_environment(xbt_os_timer_t parse_time, const char *platformFile)
+{
+ xbt_ex_t e;
+ TRY {
+ xbt_os_timer_start(parse_time);
+ SD_create_environment(platformFile);
+ xbt_os_timer_stop(parse_time);
+ }
+ CATCH(e) {
+ xbt_die("Error while loading %s: %s", platformFile, e.msg);
+ }
+}
+