annotate src/m/mips4.h @ 81912:82e8a862c00b

(tex-verbatim-environments): Add safe-local-variable property. (tex-font-lock-syntactic-keywords): Lookup tex-verbatim-environments when starting font-lock rather than when loading tex-mode.el.
author Stefan Monnier <monnier@iro.umontreal.ca>
date Mon, 16 Jul 2007 18:38:05 +0000
parents f35911e4cf5f
children 6aba169c4b1f ec58e5c426ef
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
75935
e032dd450ea7 Add copyright and license notice. Copyright years copied from base
Glenn Morris <rgm@gnu.org>
parents: 52401
diff changeset
1 /* machine description file for Mips running RISCOS version 4.
e032dd450ea7 Add copyright and license notice. Copyright years copied from base
Glenn Morris <rgm@gnu.org>
parents: 52401
diff changeset
2
e032dd450ea7 Add copyright and license notice. Copyright years copied from base
Glenn Morris <rgm@gnu.org>
parents: 52401
diff changeset
3 Copyright (C) 1992, 1999, 2001, 2002, 2003, 2004, 2005, 2006,
e032dd450ea7 Add copyright and license notice. Copyright years copied from base
Glenn Morris <rgm@gnu.org>
parents: 52401
diff changeset
4 2007 Free Software Foundation, Inc.
e032dd450ea7 Add copyright and license notice. Copyright years copied from base
Glenn Morris <rgm@gnu.org>
parents: 52401
diff changeset
5
e032dd450ea7 Add copyright and license notice. Copyright years copied from base
Glenn Morris <rgm@gnu.org>
parents: 52401
diff changeset
6 This file is part of GNU Emacs.
e032dd450ea7 Add copyright and license notice. Copyright years copied from base
Glenn Morris <rgm@gnu.org>
parents: 52401
diff changeset
7
e032dd450ea7 Add copyright and license notice. Copyright years copied from base
Glenn Morris <rgm@gnu.org>
parents: 52401
diff changeset
8 GNU Emacs is free software; you can redistribute it and/or modify
e032dd450ea7 Add copyright and license notice. Copyright years copied from base
Glenn Morris <rgm@gnu.org>
parents: 52401
diff changeset
9 it under the terms of the GNU General Public License as published by
76212
f35911e4cf5f Update to GPLv2 or later.
Glenn Morris <rgm@gnu.org>
parents: 75935
diff changeset
10 the Free Software Foundation; either version 2, or (at your option)
75935
e032dd450ea7 Add copyright and license notice. Copyright years copied from base
Glenn Morris <rgm@gnu.org>
parents: 52401
diff changeset
11 any later version.
e032dd450ea7 Add copyright and license notice. Copyright years copied from base
Glenn Morris <rgm@gnu.org>
parents: 52401
diff changeset
12
e032dd450ea7 Add copyright and license notice. Copyright years copied from base
Glenn Morris <rgm@gnu.org>
parents: 52401
diff changeset
13 GNU Emacs is distributed in the hope that it will be useful,
e032dd450ea7 Add copyright and license notice. Copyright years copied from base
Glenn Morris <rgm@gnu.org>
parents: 52401
diff changeset
14 but WITHOUT ANY WARRANTY; without even the implied warranty of
e032dd450ea7 Add copyright and license notice. Copyright years copied from base
Glenn Morris <rgm@gnu.org>
parents: 52401
diff changeset
15 MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
e032dd450ea7 Add copyright and license notice. Copyright years copied from base
Glenn Morris <rgm@gnu.org>
parents: 52401
diff changeset
16 GNU General Public License for more details.
e032dd450ea7 Add copyright and license notice. Copyright years copied from base
Glenn Morris <rgm@gnu.org>
parents: 52401
diff changeset
17
e032dd450ea7 Add copyright and license notice. Copyright years copied from base
Glenn Morris <rgm@gnu.org>
parents: 52401
diff changeset
18 You should have received a copy of the GNU General Public License
e032dd450ea7 Add copyright and license notice. Copyright years copied from base
Glenn Morris <rgm@gnu.org>
parents: 52401
diff changeset
19 along with GNU Emacs; see the file COPYING. If not, write to
e032dd450ea7 Add copyright and license notice. Copyright years copied from base
Glenn Morris <rgm@gnu.org>
parents: 52401
diff changeset
20 the Free Software Foundation, Inc., 51 Franklin Street, Fifth Floor,
e032dd450ea7 Add copyright and license notice. Copyright years copied from base
Glenn Morris <rgm@gnu.org>
parents: 52401
diff changeset
21 Boston, MA 02110-1301, USA. */
e032dd450ea7 Add copyright and license notice. Copyright years copied from base
Glenn Morris <rgm@gnu.org>
parents: 52401
diff changeset
22
456
c0335c02f1d7 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
23
c0335c02f1d7 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
24 #include "mips.h"
c0335c02f1d7 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
25
49600
23a1cea22d13 Trailing whitespace deleted.
Juanma Barranquero <lekktu@gmail.com>
parents: 16220
diff changeset
26 /* The following line tells the configuration script what sort of
456
c0335c02f1d7 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
27 operating system this machine is likely to run.
c0335c02f1d7 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
28 USUAL-OPSYS="note"
c0335c02f1d7 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
29
c0335c02f1d7 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
30 NOTE-START
c0335c02f1d7 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
31 Use -opsystem=usg5-2-2 normally, or -opsystem=bsd4-3 with the BSD
c0335c02f1d7 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
32 world.
c0335c02f1d7 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
33 NOTE-END */
c0335c02f1d7 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
34
3491
a211389a145f (MIPS2): Comment out define.
Richard M. Stallman <rms@gnu.org>
parents: 3326
diff changeset
35 #if 0
456
c0335c02f1d7 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
36 /* Define MIPS2 if you have an R6000 or R4000. */
3326
84fa80cf7087 * m/mips.h (KERNEL_FILE): Set this to "/unix".
Jim Blandy <jimb@redhat.com>
parents: 524
diff changeset
37 #define MIPS2
3491
a211389a145f (MIPS2): Comment out define.
Richard M. Stallman <rms@gnu.org>
parents: 3326
diff changeset
38 #endif
456
c0335c02f1d7 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
39
524
79ea818b6aed entered into RCS
Jim Blandy <jimb@redhat.com>
parents: 456
diff changeset
40 #ifdef __GNUC__
79ea818b6aed entered into RCS
Jim Blandy <jimb@redhat.com>
parents: 456
diff changeset
41 #define C_DEBUG_SWITCH -g -O
79ea818b6aed entered into RCS
Jim Blandy <jimb@redhat.com>
parents: 456
diff changeset
42 #else
5257
80f932e6e5bc (C_DEBUG_SWITCH): Delete -systype bsd43; not needed.
Richard M. Stallman <rms@gnu.org>
parents: 4722
diff changeset
43 /* We used to have -systype bsd43, but a configure change
80f932e6e5bc (C_DEBUG_SWITCH): Delete -systype bsd43; not needed.
Richard M. Stallman <rms@gnu.org>
parents: 4722
diff changeset
44 now takes care of that option. */
456
c0335c02f1d7 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
45 #ifdef MIPS2
7708
c4516ecc09b6 (C_DEBUG_SWITCH) [not __GNUC__]: Add -Wf option.
Richard M. Stallman <rms@gnu.org>
parents: 5257
diff changeset
46 #define C_DEBUG_SWITCH -DMips -g3 -Wf,-XNd4000 -O -Olimit 2000 -mips2
456
c0335c02f1d7 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
47 #else
7708
c4516ecc09b6 (C_DEBUG_SWITCH) [not __GNUC__]: Add -Wf option.
Richard M. Stallman <rms@gnu.org>
parents: 5257
diff changeset
48 #define C_DEBUG_SWITCH -DMips -g3 -Wf,-XNd4000 -O -Olimit 2000
456
c0335c02f1d7 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
49 #endif
524
79ea818b6aed entered into RCS
Jim Blandy <jimb@redhat.com>
parents: 456
diff changeset
50 #endif
456
c0335c02f1d7 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
51
c0335c02f1d7 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
52 #ifdef TERMINFO
c0335c02f1d7 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
53 #undef TERMINFO
c0335c02f1d7 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
54 #endif
c0335c02f1d7 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
55
c0335c02f1d7 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
56 #define START_FILES pre-crt0.o /lib/crt1.o
3491
a211389a145f (MIPS2): Comment out define.
Richard M. Stallman <rms@gnu.org>
parents: 3326
diff changeset
57 /* Used to have -lisode, but jlp@math.byu.edu says remove it
a211389a145f (MIPS2): Comment out define.
Richard M. Stallman <rms@gnu.org>
parents: 3326
diff changeset
58 (for RISCOS 4.52). */
4722
1b0ce8ac1c81 (LIB_STANDARD): Add a second -lc after crtn.o.
Richard M. Stallman <rms@gnu.org>
parents: 3491
diff changeset
59 /* ethanb@ptolemy.astro.washington.edu says crtn.o uses _ctype
1b0ce8ac1c81 (LIB_STANDARD): Add a second -lc after crtn.o.
Richard M. Stallman <rms@gnu.org>
parents: 3491
diff changeset
60 and therefore we must search libc again after crtn.o.
1b0ce8ac1c81 (LIB_STANDARD): Add a second -lc after crtn.o.
Richard M. Stallman <rms@gnu.org>
parents: 3491
diff changeset
61 The -L is used to force second -lc to find the sysv version
1b0ce8ac1c81 (LIB_STANDARD): Add a second -lc after crtn.o.
Richard M. Stallman <rms@gnu.org>
parents: 3491
diff changeset
62 of libc.a, which is needed because the BSD libc.a
1b0ce8ac1c81 (LIB_STANDARD): Add a second -lc after crtn.o.
Richard M. Stallman <rms@gnu.org>
parents: 3491
diff changeset
63 doesn't have _ctype. */
1b0ce8ac1c81 (LIB_STANDARD): Add a second -lc after crtn.o.
Richard M. Stallman <rms@gnu.org>
parents: 3491
diff changeset
64 #define LIB_STANDARD -lmld -lc /lib/crtn.o -L/usr/lib -lc
456
c0335c02f1d7 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
65
c0335c02f1d7 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
66
c0335c02f1d7 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
67 #define COFF
c0335c02f1d7 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
68 #undef LD_SWITCH_MACHINE
c0335c02f1d7 Initial revision
Jim Blandy <jimb@redhat.com>
parents:
diff changeset
69 #define LD_SWITCH_MACHINE -systype bsd43 -g3 -D 800000
5257
80f932e6e5bc (C_DEBUG_SWITCH): Delete -systype bsd43; not needed.
Richard M. Stallman <rms@gnu.org>
parents: 4722
diff changeset
70
80f932e6e5bc (C_DEBUG_SWITCH): Delete -systype bsd43; not needed.
Richard M. Stallman <rms@gnu.org>
parents: 4722
diff changeset
71 #define NO_MODE_T
7986
b2419e15cbbd (HAVE_STRERROR, HAVE_XRMSETDATABASE)
Richard M. Stallman <rms@gnu.org>
parents: 7708
diff changeset
72
b2419e15cbbd (HAVE_STRERROR, HAVE_XRMSETDATABASE)
Richard M. Stallman <rms@gnu.org>
parents: 7708
diff changeset
73 /* These are needed on Riscos 4.0.
16220
02044b05d8e0 Replaced symbol BSD with BSD_SYSTEM.
Karl Heuer <kwzh@gnu.org>
parents: 7986
diff changeset
74 It appears that's the only system which uses mips4.h and defines BSD. */
02044b05d8e0 Replaced symbol BSD with BSD_SYSTEM.
Karl Heuer <kwzh@gnu.org>
parents: 7986
diff changeset
75 #ifdef BSD_SYSTEM
7986
b2419e15cbbd (HAVE_STRERROR, HAVE_XRMSETDATABASE)
Richard M. Stallman <rms@gnu.org>
parents: 7708
diff changeset
76 #undef HAVE_STRERROR
b2419e15cbbd (HAVE_STRERROR, HAVE_XRMSETDATABASE)
Richard M. Stallman <rms@gnu.org>
parents: 7708
diff changeset
77 #undef HAVE_XRMSETDATABASE
b2419e15cbbd (HAVE_STRERROR, HAVE_XRMSETDATABASE)
Richard M. Stallman <rms@gnu.org>
parents: 7708
diff changeset
78 #undef HAVE_XSCREENRESOURCESTRING
b2419e15cbbd (HAVE_STRERROR, HAVE_XRMSETDATABASE)
Richard M. Stallman <rms@gnu.org>
parents: 7708
diff changeset
79 #undef HAVE_SETSID
b2419e15cbbd (HAVE_STRERROR, HAVE_XRMSETDATABASE)
Richard M. Stallman <rms@gnu.org>
parents: 7708
diff changeset
80 #endif
52401
695cf19ef79e Add arch taglines
Miles Bader <miles@gnu.org>
parents: 49600
diff changeset
81
695cf19ef79e Add arch taglines
Miles Bader <miles@gnu.org>
parents: 49600
diff changeset
82 /* arch-tag: 56050454-0df5-4de9-b1b7-0c6ab400313c
695cf19ef79e Add arch taglines
Miles Bader <miles@gnu.org>
parents: 49600
diff changeset
83 (do not change this comment) */