| 477 | |
| 478 | g_config = {} |
| 479 | def parseCommandLine(argv): |
| 480 | global g_config |
| 481 | global g_debugMode |
| 482 | if len(argv) == 0: |
| 483 | return; |
| 484 | elif len(argv)>=1 and argv[0] == "--debug": |
| 485 | g_debugMode = True |
| 486 | parseCommandLine(argv[1:len(argv)]) |
| 487 | elif len(argv)>=1 and argv[0] == "--help": |
| 488 | return |
| 489 | elif ':' in argv[0]: |
| 490 | p = argv[0].split(":") |
| 491 | if p[0] == "isas": |
| 492 | g_config["isa"] = p[1].split('-') |
| 493 | else: |
| 494 | g_config[p[0]] = p[1] |
| 495 | parseCommandLine(argv[1:len(argv)]) |
| 496 | else: |
| 497 | sys.stderr.write("unknown command line option: "+argv[0]) |
| 498 | sys.exit(1) |
| 499 | |
| 500 | argv = sys.argv |
| 501 | g_mode = "" |