#include <bash/Config.h>

// -------------------------------------------------------------------------
int main( int argc, char* argv[] )
{
  // Get inputs
  if( argc < 2 )
  {
    std::cerr << "Usage: " << argv[ 0 ] << " output_file" << std::endl;
    return( 1 );

  } // fi
  std::string output_filename = argv[ 1 ];

  std::stringstream data;
  data
    << "#ifndef __cpPlugins__RealConfig__h__" << std::endl
    << "#define __cpPlugins__RealConfig__h__" << std::endl
    << std::endl;

  TStrings tokens;
  cpPlugins_bash::Tokenize( tokens, cpPlugins_ALL_CONFIGS, ";" );
  for( auto t = tokens.begin( ); t != tokens.end( ); ++t )
    data << "#define " << *t << std::endl;

  data << std::endl << "#endif // __cpPlugins__RealConfig__h__" << std::endl;
  if( !( cpPlugins_bash::Write( data.str( ), output_filename ) ) )
  {
    std::cerr << "Error writing file." << std::endl;
    return( 1 );

  } // fi

  return( 0 );
}

// eof - $RCSfile$