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}
|