+%top{
+/* Include <config.h> before anything else because Gnulib headers such
+ as <stdio.h> rely on it.
+
+ However, when cross-compiling, don't include <config.h> because it
+ contains information about the host, not about the build. */
+#ifndef CROSS_COMPILING
+# include <config.h>
+#endif
+}
+
%option noyywrap
%option nounput
%pointer
INTQUAL (l|L|ll|LL|lL|Ll|u|U)
%{
-#include <config.h>
-
#include <stdio.h>
#include <stdlib.h>
#include <string.h>