From 161efedd3ddca75c1cd3ad7f8592653c5070614e Mon Sep 17 00:00:00 2001 From: Boris Kolpackov Date: Fri, 26 Mar 2010 12:16:49 +0200 Subject: Add option file and the build infrastructure --- odb/options.cli | 34 ++++++++++++++++++++++++++++++++++ 1 file changed, 34 insertions(+) create mode 100644 odb/options.cli (limited to 'odb/options.cli') 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 +// copyright : Copyright (c) 2009-2010 Code Synthesis Tools CC +// license : GNU GPL v2; see accompanying LICENSE file + +include ; +include ; + +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 + { + "", + "Read additional options from 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." + }; +}; -- cgit v1.1