refine-common/ParseCommandLine.h Source File

00001 /* Copyright Benoit Hudson 2007 */
00002 #ifndef ParseCommandLine_HEADER
00003 #define ParseCommandLine_HEADER
00004 
00005 #ifdef HAVE_CONFIG_H
00006  #include <config.h>
00007 #endif
00008 
00009 #include "RefineConstants.h"
00010 
00011 /* Fully parse the command-line.  Doesn't affect the arguments. */
00012 extern RefineConstants ParseCommandLine(int argc, const char* const * argv,
00013     bool allowPoly);
00014 
00015 #endif