diff options
| author | dos-reis <gdr@axiomatics.org> | 2009-04-14 04:22:57 +0000 |
|---|---|---|
| committer | dos-reis <gdr@axiomatics.org> | 2009-04-14 04:22:57 +0000 |
| commit | 4d429676e2332f7dd8e6da16c72d1bf653c646d1 (patch) | |
| tree | 86ac0a06f07a7365f7257c1bb7e05193f0063232 /src/sman | |
| parent | 87ab9ee004e7f92ef7d3c79110ac4c124cea0616 (diff) | |
| download | open-axiom-4d429676e2332f7dd8e6da16c72d1bf653c646d1.tar.gz | |
Fix SF/2760560
* driver/utils.h (openaxiom_driver): Add openaxiom_null_driver.
Document all of them.
* driver/utils.c (print_line): New.
(print_version): Print version information.
(print_usage): Print option documentation.
(openaxiom_preprocess_arguments): Handle --help and --version.
* driver/main.c (main): Do nothing for the null driver.
* sman/sman.c (process_arguments): Accept long form of options.
Diffstat (limited to 'src/sman')
| -rw-r--r-- | src/sman/sman.c | 17 |
1 files changed, 11 insertions, 6 deletions
diff --git a/src/sman/sman.c b/src/sman/sman.c index 3ef2e346..252778eb 100644 --- a/src/sman/sman.c +++ b/src/sman/sman.c @@ -1,7 +1,7 @@ /* Copyright (c) 1991-2002, The Numerical Algorithms Group Ltd. All rights reserved. - Copyright (C) 2007-2008, Gabriel Dos Reis. + Copyright (C) 2007-2009, Gabriel Dos Reis. All rights reserved. Redistribution and use in source and binary forms, with or without @@ -157,21 +157,25 @@ process_arguments(openaxiom_command* command, int argc,char ** argv) start_clef = 0; else if (strcmp(argv[arg], "-clef") == 0) start_clef = 1; - else if (strcmp(argv[arg], "-gr") == 0) { + else if (strcmp(argv[arg], "-gr") == 0 + || strcmp(argv[arg], "--graph") == 0 ) { if (!OPENAXIOM_HAVE_GRAPHICS) fprintf(stderr, "OpenAxiom was not build with Graphics support.\n"); else start_graphics = 1; } - else if (strcmp(argv[arg], "-nogr") == 0) + else if (strcmp(argv[arg], "-nogr") == 0 + || strcmp(argv[arg], "--no-graph") == 0) start_graphics = 0; - else if (strcmp(argv[arg], "-ht") == 0) { + else if (strcmp(argv[arg], "-ht") == 0 + || strcmp(argv[arg], "--hyperdoc") == 0) { if (!OPENAXIOM_HAVE_GRAPHICS) fprintf(stderr, "OpenAxiom was not build with HyperDoc support.\n"); else start_ht = 1; } - else if (strcmp(argv[arg], "-noht") == 0) + else if (strcmp(argv[arg], "-noht") == 0 + || strcmp(argv[arg], "--no-hyperdoc") == 0) start_ht = 0; else if (strcmp(argv[arg], "-iw") == 0) start_spadclient = 1; @@ -183,7 +187,8 @@ process_arguments(openaxiom_command* command, int argc,char ** argv) start_spadclient = 0; else if (strcmp(argv[arg], "-comp") == 0) ws_path = "$AXIOM/etc/images/comp"; - else if (strcmp(argv[arg], "-nox") == 0) { + else if (strcmp(argv[arg], "-nox") == 0 + || strcmp(argv[arg], "--no-gui") == 0) { use_X = 0; start_local_spadclient = 1; start_spadclient = 0; |