diff options
author | Morgan Deters <mdeters@cs.nyu.edu> | 2014-04-04 14:50:02 -0400 |
---|---|---|
committer | Morgan Deters <mdeters@cs.nyu.edu> | 2014-06-28 16:04:46 -0400 |
commit | 7c009ac38ef5ccda070d8d7fb3955273574e94eb (patch) | |
tree | b640bbd238973938f73d0c8464f1ebb1e8fd8423 /src/options | |
parent | a1c1b38e42f16ba942ddb029409a942907ed0d24 (diff) |
Automatically make SMT options from command-line option names, warn when not possible.
Diffstat (limited to 'src/options')
-rwxr-xr-x | src/options/mkoptions | 13 |
1 files changed, 11 insertions, 2 deletions
diff --git a/src/options/mkoptions b/src/options/mkoptions index 681eba808..a3a1571ec 100755 --- a/src/options/mkoptions +++ b/src/options/mkoptions @@ -344,6 +344,15 @@ function handle_option { ERR "cannot use alternate long option --$long_option_alternate for \`$internal' because it's not of bool type" fi + # check that normal options are accessible via SmtEngine too + if [ -n "$long_option$short_option$long_option_alternate$short_option_alternate" -a -z "$smtname" -a "$internal" != - ]; then + if [ -n "$long_option" ]; then + smtname="$long_option" + else + WARN "$internal is inaccessible via SmtEngine (no smt name for option) but can be set via command-line: $long_option $short_option $long_option_alternate $short_option_alternate" + fi + fi + # check for duplicates if [ "$internal" != - ]; then if echo " $all_declared_internal_options " | grep -q " $internal "; then @@ -565,9 +574,9 @@ template <> bool Options::wasSetByUser(options::${internal}__option_t) const { r run_links_alternate= run_smt_links= if [ -n "$links" -a -z "$smt_links" -a -n "$smtname" ]; then - echo "$kf:$lineno: warning: $smtname has no :link-smt, but equivalent command-line has :link" >&2 + WARN "$smtname has no :link-smt, but equivalent command-line has :link" elif [ -n "$smt_links" -a -z "$links" ] && [ -n "$short_option" -o -n "$short_option_alternate" -o -n "$long_option" -o "$long_option_alternate" ]; then - echo "$kf:$lineno: warning: $smtname has a :link-smt, but equivalent command-line has no :link" >&2 + WARN "$smtname has a :link-smt, but equivalent command-line has no :link" fi if [ -n "$links" ]; then # command-line links |