resync gccpy work complete with Andi's work

1 files changed, 40 insertions, 0 deletions

diff --git a/gcc/python/gpython.h b/gcc/python/gpython.h
new file mode 100644
index 00000000000..f5b71827ef8
--- /dev/null
+++ b/gcc/python/gpython.h
@@ -0,0 +1,40 @@
+/* This file is part of GCC.
+
+GCC 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 3, or (at your option)
+any later version.
+
+GCC is distributed in the 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 GCC; see the file COPYING3.  If not see
+<http://www.gnu.org/licenses/>. */
+
+#ifndef __GPY_H_
+#define __GPY_H_
+
+extern bool GPY_OPT_dump_dot;
+
+extern int gpy_enable_dump (const char *);
+extern void gpy_set_prefix (const char *);
+
+extern void gpy_preserve_from_gc (tree);
+extern void gpy_add_search_path (const char *);
+extern void gpy_parse_input_files (const char **, unsigned int);
+
+extern void gpy_stmt_write_globals (void);
+extern tree gpy_type_for_size (unsigned int, int);
+extern tree gpy_type_for_mode (enum machine_mode, int);
+
+extern int gpy_lex_parse (const char *);
+extern void __gpy_debug__ (const char *, unsigned int,
+			   const char *, ...)
+  __attribute__ ((format (printf, 3, 4))) ;
+#define debug(...)					\
+  __gpy_debug__( __FILE__, __LINE__, __VA_ARGS__ );
+
+#endif /* __GPY_H_ */