Implement new compilation architecture

Instead of compiling the header directly, g++ is now invoked to compile
stdin. At the same time the odb driver pipes the original header to g++.
This new approach allows us to add some source code before and/or after
the original header.

1 files changed, 6 insertions, 0 deletions

diff --git a/odb/options.cli b/odb/options.cli
index 4abfc84..5d24f8a 100644
--- a/odb/options.cli
+++ b/odb/options.cli
@@ -288,4 +288,10 @@ class options
      database-default engine, pass \cb{default} as the value for this
      option."
   };
+
+  //
+  // Undocumented options that are used to pass service information
+  // between the frontend and the plugin.
+  //
+  std::string --svc-file;
 };