#ifndef GLK_H
#define GLK_H
-#include <gtk/gtk.h>
-
/* glk.h: Header file for Glk API, version 0.7.0.
Designed by Andrew Plotkin <erkyrath@eblong.com>
http://www.eblong.com/zarf/glk/index.html
/* You may have to edit the definition of glui32 to make sure it's really a
32-bit unsigned integer type, and glsi32 to make sure it's really a
32-bit signed integer type. If they're not, horrible things will happen. */
-typedef guint32 glui32;
-typedef gint32 glsi32;
+#include <stdint.h>
+typedef uint32_t glui32;
+typedef int32_t glsi32;
/* These are the compile-time conditionals that reveal various Glk optional
modules. */