]> www.ginac.de Git - ginac.git/blob - ginsh/ginsh.h
- texinfo.tex: upgraded to newest version from FSF.
[ginac.git] / ginsh / ginsh.h
1 /** @file ginsh.h
2  *
3  *  Global definitions for ginsh.
4  *
5  *  GiNaC Copyright (C) 1999-2000 Johannes Gutenberg University Mainz, Germany
6  *
7  *  This program is free software; you can redistribute it and/or modify
8  *  it under the terms of the GNU General Public License as published by
9  *  the Free Software Foundation; either version 2 of the License, or
10  *  (at your option) any later version.
11  *
12  *  This program is distributed in the hope that it will be useful,
13  *  but WITHOUT ANY WARRANTY; without even the implied warranty of
14  *  MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.  See the
15  *  GNU General Public License for more details.
16  *
17  *  You should have received a copy of the GNU General Public License
18  *  along with this program; if not, write to the Free Software
19  *  Foundation, Inc., 59 Temple Place, Suite 330, Boston, MA  02111-1307  USA
20  */
21
22 #ifndef GINSH_H
23 #define GINSH_H
24
25 #include <stdio.h>
26 #include <stdlib.h>
27 #include <string.h>
28
29 #include <map>
30 #include <string>
31
32 #ifdef HAVE_READLINE_READLINE_H
33 extern "C" {
34 #include <readline/readline.h>
35 }
36 #endif
37
38 #ifdef HAVE_READLINE_HISTORY_H
39 extern "C" {
40 #include <readline/history.h>
41 }
42 #endif
43
44 #ifdef IN_GINAC
45 #include "ginac.h"
46 #else
47 #include <ginac/ginac.h>
48 #endif
49
50 #ifndef NO_NAMESPACE_GINAC
51 using namespace GiNaC;
52 #endif // ndef NO_NAMESPACE_GINAC
53
54 // yacc stack type
55 #define YYSTYPE ex
56
57 // lex functions/variables
58 extern int yyerror(char *s);
59 extern int yylex(void);
60 #if YYTEXT_POINTER
61 extern char *yytext;
62 #else
63 extern char yytext[];
64 #endif
65 extern FILE *yyin;
66
67 // List of input files to be processed
68 extern int num_files;
69 extern char **file_list;
70
71 // Table of all used symbols
72 typedef map<string, symbol> sym_tab;
73 extern sym_tab syms;
74
75 #endif