summaryrefslogtreecommitdiff
path: root/web/glasgow/lit2x-0.16/mkworld/plat-alpha.ljm
diff options
context:
space:
mode:
authorNorbert Preining <norbert@preining.info>2019-09-02 13:46:59 +0900
committerNorbert Preining <norbert@preining.info>2019-09-02 13:46:59 +0900
commite0c6872cf40896c7be36b11dcc744620f10adf1d (patch)
tree60335e10d2f4354b0674ec22d7b53f0f8abee672 /web/glasgow/lit2x-0.16/mkworld/plat-alpha.ljm
Initial commit
Diffstat (limited to 'web/glasgow/lit2x-0.16/mkworld/plat-alpha.ljm')
-rw-r--r--web/glasgow/lit2x-0.16/mkworld/plat-alpha.ljm27
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}