1 |
/* |
2 |
* DriverNoGUI.h |
3 |
* by Ben Allan |
4 |
* Created: 7/2004 |
5 |
* Version: $Revision: 1.1 $ |
6 |
* Version control file: $RCSfile: DriverNoTickle.h,v $ |
7 |
* Date last modified: $Date: 2004/07/13 07:42:31 $ |
8 |
* Last modified by: $Author: ballan $ |
9 |
* |
10 |
* This file is part of the ASCEND Tcl interface |
11 |
* |
12 |
* Copyright 2004, Carnegie Mellon University |
13 |
* |
14 |
* The ASCEND Tcl interface is free software; you can redistribute |
15 |
* it and/or modify it under the terms of the GNU General Public License as |
16 |
* published by the Free Software Foundation; either version 2 of the |
17 |
* License, or (at your option) any later version. |
18 |
* |
19 |
* The ASCEND Tcl interface is distributed in hope that it will be |
20 |
* useful, but WITHOUT ANY WARRANTY; without even the implied warranty of |
21 |
* MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the GNU |
22 |
* General Public License for more details. |
23 |
* |
24 |
* You should have received a copy of the GNU General Public License |
25 |
* along with the program; if not, write to the Free Software Foundation, |
26 |
* Inc., 675 Mass Ave, Cambridge, MA 02139 USA. Check the file named |
27 |
* COPYING. COPYING is found in ../compiler. |
28 |
*/ |
29 |
|
30 |
#ifndef _DRIVER_NO_GUI_H |
31 |
#define _DRIVER_NO_GUI_H |
32 |
|
33 |
|
34 |
/* |
35 |
* g_compiler_timing |
36 |
* |
37 |
* TRUE if compiler timing is to be printed. |
38 |
* default is false, set to TRUE by passing -t on the command line |
39 |
*/ |
40 |
extern int g_compiler_timing; |
41 |
|
42 |
|
43 |
#endif /* _DRIVER_NO_GUI_H */ |
44 |
|
45 |
|
46 |
|
47 |
|
48 |
|
49 |
|