diff options
Diffstat (limited to 'web/glasgow/lit2x-0.16/mkworld/plat-alpha.ljm')
-rw-r--r-- | web/glasgow/lit2x-0.16/mkworld/plat-alpha.ljm | 27 |
1 files changed, 27 insertions, 0 deletions
diff --git a/web/glasgow/lit2x-0.16/mkworld/plat-alpha.ljm b/web/glasgow/lit2x-0.16/mkworld/plat-alpha.ljm new file mode 100644 index 0000000000..e06129c19b --- /dev/null +++ b/web/glasgow/lit2x-0.16/mkworld/plat-alpha.ljm @@ -0,0 +1,27 @@ +%************************************************************************ +%* * +\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} |