E.g.,

$ strc -at-print-gc-info
Invalid option: -at-print-gc-info
STRC compiles Stratego programs to C or executable code.
…

Option parsing should ignore all -at-* flags; they are processed by ATinit().

Submitted on 15 March 2005 at 13:09

STR-276, martin:
Yepz, a standard option to pass arguments to the ATerm library initialization is useful.

-at-* argument should not be ignored, but explicitly allowed as standard options. Of course they cannot be handled in Stratego itself, so this option handling is fake.

I don’t like the -at-* syntax, since it does not follow the calling convetion for short and long options. If we implement support for abbreviations (tar -zxvf) in the future, then -long-option will be broken. So, the arguments should be –at-* or even –aterm-*.

STR-276, eelco:
Just filter out the -at-* flags prior to normal option processing. That doesn’t break short option handling. (It’s what I do in Nix too, which handles short options as well.)

STR-276, martin:
-at-foo is non standard option syntax, so we should find another way of passing these options to the aterm library.

STR-276, rbvermaa:
not a very pretty solution, but all -at-* flags are ignored by parse-options, so you should not use options that start with -at-