summaryrefslogtreecommitdiff
path: root/web/glasgow/lit2x-0.16/mkworld/plat-linux.ljm
blob: d176614831d3d57ed35bc8c31f303a0caf7d3950 (plain)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
%************************************************************************
%*									*
\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}