X-Git-Url: http://info.iut-bm.univ-fcomte.fr/pub/gitweb/simgrid.git/blobdiff_plain/b95fe69db779388252bffaa53909bd1bf106139d..7d4a9a7e27436e76b10c1b1f9ce794655dc070a2:/src/surf/surf_config.c diff --git a/src/surf/surf_config.c b/src/surf/surf_config.c index f4f938a1af..8b13789179 100644 --- a/src/surf/surf_config.c +++ b/src/surf/surf_config.c @@ -1,778 +1 @@ -/* Copyright (c) 2009, 2010. The SimGrid Team. - * All rights reserved. */ -/* This program is free software; you can redistribute it and/or modify it - * under the terms of the license (GNU LGPL) which comes with this package. */ - -/* surf_config: configuration infrastructure for the simulation world */ - -#include "xbt/misc.h" -#include "xbt/config.h" -#include "xbt/log.h" -#include "xbt/str.h" -#include "surf/surf_private.h" -#include "surf/surf_routing.h" /* COORD_HOST_LEVEL and COORD_ASR_LEVEL */ -#include "simgrid/simix.h" -#include "mc/mc.h" /* configuration callbacks of model-checking */ - -XBT_LOG_NEW_DEFAULT_SUBCATEGORY(surf_config, surf, - "About the configuration of surf (and the rest of the simulation)"); - -xbt_cfg_t _surf_cfg_set = NULL; - -int _surf_init_status = 0; /* 0: beginning of time (config cannot be changed yet); - 1: initialized: cfg_set created (config can now be changed); - 2: configured: command line parsed and config part of platform file was integrated also, platform construction ongoing or done. - (Config cannot be changed anymore!) */ - - -/* Parse the command line, looking for options */ -static void surf_config_cmd_line(int *argc, char **argv) -{ - int shall_exit = 0; - int i, j; - char *opt; - - for (j = i = 1; i < *argc; i++) { - if (!strncmp(argv[i], "--cfg=", strlen("--cfg="))) { - opt = strchr(argv[i], '='); - opt++; - - xbt_cfg_set_parse(_surf_cfg_set, opt); - XBT_DEBUG("Did apply '%s' as config setting", opt); - } else if (!strcmp(argv[i], "--cfg-help") || !strcmp(argv[i], "--help")) { - printf - ("Description of the configuration accepted by this simulator:\n"); - xbt_cfg_help(_surf_cfg_set); - printf( -"\n" -"Each of these configurations can be used by adding\n" -" --cfg=