25 "--print-rejected-preprocessed-source",
47 "--reduce-memory-overheads",
70 "--listing-lhs-width",
71 "--listing-lhs-width2",
72 "--listing-rhs-width",
73 "--listing-cont-lines",
85 for(
int i=1; i<argc; i++)
87 std::string argv_i=argv[i];
107 *o!=
nullptr && !found;
117 set(argv_i, argv[i+1]);
126 set(os, argv_i.substr(os.size()+1));
141 std::size_t equal_pos=argv_i.find(
'=');
143 std::string a_opts=
"hls";
144 if(argv_i.size()>2 &&
145 equal_pos!=std::string::npos &&
147 a_opts=argv_i.substr(2, equal_pos-2);
148 else if(argv_i.size()>2 &&
149 equal_pos==std::string::npos)
150 a_opts=argv_i.substr(2);
152 for(std::string::const_iterator
157 if(equal_pos==std::string::npos)
158 set(std::string(
"-a")+*it);
160 set(std::string(
"-a")+*it, argv_i.substr(equal_pos+1));
173 *o!=
nullptr && !found;
183 set(argv_i, argv[i+1]);
193 set(os, argv_i.substr(os.size()+1));
200 std::cerr <<
"Warning: uninterpreted as option '" << argv_i