%************************************************************************
%*									*
\section[mkworld-plat-alpha]{Platform configuration stuff for DEC Alpha}
%*									*
%************************************************************************

\begin{code}
#define HostPlatform alpha

#define OSName            OSF1
#define OSMajorVersion    1
#define OSMinorVersion    2

#define HasSysVishArAndRanlib	YES

#define CppHaveSysVishTimesH -DHAVE_SYSV_ISH_TIMES_H

BUILDPLATFORM=HostPlatform

/* Whenever we run the "std C compiler", give it this flag
   (not really platform-ish, but a convenient place to put it)
*/
#define PlatformCcOpts -ansi -Wall /* full ANSI, please */

/* temp: just for debugging */
#define GhcNormalHighLevelAsmDefaultOpts ('-ansi')
\end{code}