/*
 *  DriverNoGUI.h
 *  by Ben Allan
 *  Created: 7/2004
 *  Version: $Revision: 1.1 $
 *  Version control file: $RCSfile: DriverNoTickle.h,v $
 *  Date last modified: $Date: 2004/07/13 07:42:31 $
 *  Last modified by: $Author: ballan $
 *
 *  This file is part of the ASCEND Tcl interface
 *
 *  Copyright 2004, Carnegie Mellon University
 *
 *  The ASCEND Tcl interface is free software; you can redistribute
 *  it and/or modify it under the terms of the GNU General Public License as
 *  published by the Free Software Foundation; either version 2 of the
 *  License, or (at your option) any later version.
 *
 *  The ASCEND Tcl interface is distributed in hope that it will be
 *  useful, but WITHOUT ANY WARRANTY; without even the implied warranty of
 *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the GNU
 *  General Public License for more details.
 *
 *  You should have received a copy of the GNU General Public License
 *  along with the program; if not, write to the Free Software Foundation,
 *  Inc., 675 Mass Ave, Cambridge, MA 02139 USA.  Check the file named
 *  COPYING.  COPYING is found in ../compiler.
 */

/** @file
 *  Main Tcl/Tk Driver (no GUI version).
 *  <pre>
 *  To include this header, you must include the following:
 *      #include "tcl.h"
 *      #include "utilities/ascConfig.h"
 *  </pre>
 */

#ifndef _DRIVER_NO_GUI_H
#define _DRIVER_NO_GUI_H

/**
 *  <!--  g_compiler_timing                                            -->
 *
 *  TRUE if compiler timing is to be printed.
 *  default is false, set to TRUE by passing -t on the command line
 */
extern int g_compiler_timing;

#endif /* _DRIVER_NO_GUI_H  */