%************************************************************************
%*									*
\section[mkworld-plat-linus]{Linux-specific configuration stuff}
%*									*
%************************************************************************

[This file prepared by Andr\'e Santos, the Linux Functional
Programming King (andre\@dcs.glasgow.ac.uk).]

\begin{code}
#undef i386 /* move to trigger file? (ToDo) */

#define iX86Architecture YES
#define i486Architecture YES

#define HostPlatform i486

#define LinuxOSPlatform     YES           
#define OSName            Linux 0.99
#define OSMajorVersion    0
#define OSMinorVersion    99
#define HaveGcc		  YES		/* nothing else on linux... */

BUILDPLATFORM=HostPlatform

/* Whenever we run the "std C compiler", give it this flag */
#define PlatformCcOpts -m486

/*-----------------------------------------------------------------------------
  Added by simonm...
-----------------------------------------------------------------------------*/

#define MakeCmd make -r       /* make ignores implicit rules  */

/* #define UseFlexForLexCmd      we've only got flex on Linux */
\end{code}