gtkboard-0.11_pre0-gcc45.patch

--- a/src/menu.c	2010-05-24 12:35:15.000000000 +0200
+++ b/src/menu.c	2010-05-24 12:35:48.000000000 +0200
@@ -176,7 +176,7 @@
 {
 #if GTK_MAJOR_VERSION == 2
 	// FIXME: can't get existing bgcolor
-	const int size = 20;
+#define size 20
 	static char pixbufs [7][size*(size+1)];
 	char **pixmap_data;
 	static GdkPixmap *pixmaps[7];
--- a/src/wordtris.c	2010-05-24 12:36:50.000000000 +0200
+++ b/src/wordtris.c	2010-05-24 12:38:30.000000000 +0200
@@ -122,7 +122,7 @@
 
 // TODO: change this so that we only need to specify pixmaps for individual squares
 
-static const int lava_xpm_header_size = 253+1;
+#define lava_xpm_header_size 253+1
 static char * lava_xpm_header[] = 
 {
 "144 504 253 2",