aboutsummaryrefslogtreecommitdiff
path: root/odb/options.cli
diff options
context:
space:
mode:
authorBoris Kolpackov <boris@codesynthesis.com>2010-03-26 12:16:49 +0200
committerBoris Kolpackov <boris@codesynthesis.com>2010-03-26 12:16:49 +0200
commit161efedd3ddca75c1cd3ad7f8592653c5070614e (patch)
treee31316ac4f52ed6e217f784bbb1ef2b08ccfc489 /odb/options.cli
parent929918703db8943894a24efbd6fdcb67899f7953 (diff)
Add option file and the build infrastructure
Diffstat (limited to 'odb/options.cli')
-rw-r--r--odb/options.cli34
1 files changed, 34 insertions, 0 deletions
diff --git a/odb/options.cli b/odb/options.cli
new file mode 100644
index 0000000..bda8f1c
--- /dev/null
+++ b/odb/options.cli
@@ -0,0 +1,34 @@
+// file : odb/options.cli
+// author : Boris Kolpackov <boris@codesynthesis.com>
+// copyright : Copyright (c) 2009-2010 Code Synthesis Tools CC
+// license : GNU GPL v2; see accompanying LICENSE file
+
+include <string>;
+include <vector>;
+
+class options
+{
+ //
+ // Wrapper options. These are not passed to the plugin.
+ //
+
+ bool --help {"Print usage information and exit."};
+ bool --version {"Print version and exit."};
+
+
+ // This is a "fake" option in that it is actually handled by
+ // argv_file_scanner. We have it here to get the documentation.
+ //
+ std::string --options-file
+ {
+ "<file>",
+ "Read additional options from <file> with each option appearing on a
+ separate line optionally followed by space and an option value. Empty
+ lines and lines starting with \cb{#} are ignored. The semantics of
+ providing options in a file is equivalent to providing the same set
+ of options in the same order on the command line at the point where the
+ \cb{--options-file} option is specified except that shell escaping and
+ quoting is not required. Repeat this option to specify more than one
+ options files."
+ };
+};