patrick/anthem
1
0
Fork 0
Code Issues 15 Releases 21 Activity

Changed usage information in app and readme.

Browse Source
This commit is contained in:
Patrick Lühne 2016-11-24 23:34:43 +01:00
parent a0cf6e21e4
commit 30bd40ab45
Signed by: patrick
GPG Key ID: 05F3611E97A70ABF
2 changed files with 4 additions and 4 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

2
README.md
View File

@ -9,7 +9,7 @@
## Usage ## Usage
```bash ```bash
$ anthem [files] [options] $ anthem [options] file...
``` ```
## Building ## Building

6
app/main.cpp
View File

@ -16,8 +16,8 @@ int main(int argc, char **argv)
("help,h", "Display this help message") ("help,h", "Display this help message")
("version,v", "Display version information") ("version,v", "Display version information")
("input,i", po::value<std::vector<std::string>>(), "Input files") ("input,i", po::value<std::vector<std::string>>(), "Input files")
("color,c", po::value<std::string>()->default_value("auto"), "Colorize the output (always, never, or auto).") ("color,c", po::value<std::string>()->default_value("auto"), "Colorize output (always, never, auto)")
("log-priority,p", po::value<std::string>()->default_value("warning"), "Log messages starting from this priority (debug, info, warning, or error)."); ("log-priority,p", po::value<std::string>()->default_value("warning"), "Log messages starting from this priority (debug, info, warning, error)");
po::positional_options_description positionalOptionsDescription; po::positional_options_description positionalOptionsDescription;
positionalOptionsDescription.add("input", -1); positionalOptionsDescription.add("input", -1);
@ -28,7 +28,7 @@ int main(int argc, char **argv)
[&]() [&]()
{ {
std::cout std::cout
<< "Usage: anthem [files] [options]" << std::endl << "Usage: anthem [options] file..." << std::endl
<< "Translate ASP programs to the language of first-order theorem provers." << std::endl << std::endl << "Translate ASP programs to the language of first-order theorem provers." << std::endl << std::endl
<< description; << description;
}; };