From e0c6872cf40896c7be36b11dcc744620f10adf1d Mon Sep 17 00:00:00 2001 From: Norbert Preining Date: Mon, 2 Sep 2019 13:46:59 +0900 Subject: Initial commit --- web/glasgow/lit2x-0.16/mkworld/plat-alpha.ljm | 27 +++++++++++++++++++++++++++ 1 file changed, 27 insertions(+) create mode 100644 web/glasgow/lit2x-0.16/mkworld/plat-alpha.ljm (limited to 'web/glasgow/lit2x-0.16/mkworld/plat-alpha.ljm') 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} -- cgit v1.2.3