Mercurial > emacs
annotate config.bat @ 35926:d2997845573f
(hi-lock-mode): Toggling hi-lock-mode now affects all
buffers. When hi-lock turned on rather than only checking current
buffer for regexps, all buffers are checked. Moved activation of
font-lock to hi-lock-refontify. When font-lock turned off rather
than removing added highlighting just in current buffer, remove it
in all buffers. Changed edit menu text from "Automatic
Highlighting" to "Regexp Highlighting" Documentation for
highlighting phrases, minor documentation changes.
(hi-lock-set-file-patterns): Execute only if there are new or
existing file patterns.
(hi-lock-refontify): Assume font-lock-fontify-buffer will first
unfontify and, if a support mode is active, will not refontify the
whole buffer. If necessary, turn on font lock. (Removed
font-lock-unfontify and font-lock support-mode-specific calls,
such as lazy-lock-fontify-window.)
(hi-lock-find-patterns): Do not turn on hi-lock-mode even if
patterns are found. Not useful now since find-file-hook is removed
if hi-lock is off, but may be needed for per-buffer hi-lock
activation.
(hi-lock-face-phrase-buffer): New function. Also added related
menu item and keybinding.
(highlight-phrase): New alias, to hi-lock-face-phrase-buffer.
(hi-lock-process-phrase): New function.
(hi-lock-line-face-buffer): Doc fixes.
(hi-lock-face-buffer): Doc fixes.
(hi-lock-unface-buffer): Doc fixes.
author | Gerd Moellmann <gerd@gnu.org> |
---|---|
date | Tue, 06 Feb 2001 15:43:37 +0000 |
parents | 6722a8132e56 |
children | 6fd0d497fc9c |
rev | line source |
---|---|
5484 | 1 @echo off |
2 rem ---------------------------------------------------------------------- | |
3 rem Configuration script for MSDOS | |
7195
73d9c538cce2
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
5486
diff
changeset
|
4 rem Copyright (C) 1994 Free Software Foundation, Inc. |
73d9c538cce2
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
5486
diff
changeset
|
5 |
5484 | 6 rem This file is part of GNU Emacs. |
7 | |
8 rem GNU Emacs is free software; you can redistribute it and/or modify | |
9 rem it under the terms of the GNU General Public License as published by | |
10 rem the Free Software Foundation; either version 2, or (at your option) | |
11 rem any later version. | |
12 | |
13 rem GNU Emacs is distributed in the hope that it will be useful, | |
14 rem but WITHOUT ANY WARRANTY; without even the implied warranty of | |
15 rem MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
16 rem GNU General Public License for more details. | |
17 | |
18 rem You should have received a copy of the GNU General Public License | |
15742 | 19 rem along with GNU Emacs; see the file COPYING. If not, write to the |
20 rem Free Software Foundation, Inc., 59 Temple Place - Suite 330, | |
21 rem Boston, MA 02111-1307, USA. | |
5484 | 22 rem ---------------------------------------------------------------------- |
23 rem YOU'LL NEED THE FOLLOWING UTILITIES TO MAKE EMACS: | |
24 rem | |
7195
73d9c538cce2
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
5486
diff
changeset
|
25 rem + msdos version 3 or better. |
14976
63951d3f3995
Set djgpp-ver, and unset it at the end.
Richard M. Stallman <rms@gnu.org>
parents:
13927
diff
changeset
|
26 rem + djgpp version 1.12maint1 or later (version 2.0 or later recommended). |
7195
73d9c538cce2
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
5486
diff
changeset
|
27 rem + make utility that allows breaking of the 128 chars limit on |
73d9c538cce2
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
5486
diff
changeset
|
28 rem command lines. ndmake (as of version 4.5) won't work due to a |
13927
327ff78701e0
Discuss djgpp version; eliminate mention of Simtel.
Richard M. Stallman <rms@gnu.org>
parents:
12992
diff
changeset
|
29 rem line length limit. The make that comes with djgpp does work. |
14976
63951d3f3995
Set djgpp-ver, and unset it at the end.
Richard M. Stallman <rms@gnu.org>
parents:
13927
diff
changeset
|
30 rem + rm and mv (from GNU file utilities). |
63951d3f3995
Set djgpp-ver, and unset it at the end.
Richard M. Stallman <rms@gnu.org>
parents:
13927
diff
changeset
|
31 rem + sed (you can use the port that comes with DJGPP). |
7195
73d9c538cce2
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
5486
diff
changeset
|
32 rem |
14976
63951d3f3995
Set djgpp-ver, and unset it at the end.
Richard M. Stallman <rms@gnu.org>
parents:
13927
diff
changeset
|
33 rem You should be able to get all the above utilities from any SimTel |
21582
4c2b38ea02fe
Make sure the environment is large enough to accomodate
Eli Zaretskii <eliz@gnu.org>
parents:
20284
diff
changeset
|
34 rem repository, e.g. ftp.simtel.net, in the directory |
4c2b38ea02fe
Make sure the environment is large enough to accomodate
Eli Zaretskii <eliz@gnu.org>
parents:
20284
diff
changeset
|
35 rem "pub/simtelnet/gnu/djgpp/v2gnu". As usual, please use your local |
4c2b38ea02fe
Make sure the environment is large enough to accomodate
Eli Zaretskii <eliz@gnu.org>
parents:
20284
diff
changeset
|
36 rem mirroring site to reduce trans-Atlantic traffic. |
5484 | 37 rem ---------------------------------------------------------------------- |
9570 | 38 set X11= |
39 set nodebug= | |
15007
5baafbcd9dc2
(djgpp_ver): Variable renamed from djgpp-ver.
Richard M. Stallman <rms@gnu.org>
parents:
14976
diff
changeset
|
40 set djgpp_ver= |
21582
4c2b38ea02fe
Make sure the environment is large enough to accomodate
Eli Zaretskii <eliz@gnu.org>
parents:
20284
diff
changeset
|
41 if "%1" == "" goto usage |
4c2b38ea02fe
Make sure the environment is large enough to accomodate
Eli Zaretskii <eliz@gnu.org>
parents:
20284
diff
changeset
|
42 rem ---------------------------------------------------------------------- |
4c2b38ea02fe
Make sure the environment is large enough to accomodate
Eli Zaretskii <eliz@gnu.org>
parents:
20284
diff
changeset
|
43 rem See if their environment is large enough. We need 28 bytes. |
4c2b38ea02fe
Make sure the environment is large enough to accomodate
Eli Zaretskii <eliz@gnu.org>
parents:
20284
diff
changeset
|
44 set $foo$=789012345678901234567 |
4c2b38ea02fe
Make sure the environment is large enough to accomodate
Eli Zaretskii <eliz@gnu.org>
parents:
20284
diff
changeset
|
45 if not "%$foo$%" == "789012345678901234567" goto SmallEnv |
4c2b38ea02fe
Make sure the environment is large enough to accomodate
Eli Zaretskii <eliz@gnu.org>
parents:
20284
diff
changeset
|
46 set $foo$= |
9570 | 47 :again |
48 if "%1" == "" goto usage | |
49 if "%1" == "--with-x" goto withx | |
50 if "%1" == "--no-debug" goto nodebug | |
5484 | 51 if "%1" == "msdos" goto msdos |
52 :usage | |
9570 | 53 echo Usage: config [--with-x] [--no-debug] msdos |
54 echo [Read the script before you run it.] | |
5484 | 55 goto end |
56 rem ---------------------------------------------------------------------- | |
9570 | 57 :withx |
58 set X11=Y | |
59 shift | |
60 goto again | |
61 rem ---------------------------------------------------------------------- | |
62 :nodebug | |
63 set nodebug=Y | |
64 shift | |
65 goto again | |
7195
73d9c538cce2
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
5486
diff
changeset
|
66 rem ---------------------------------------------------------------------- |
5484 | 67 :msdos |
12992
09c2ad9213dd
Simplify using new names file names src/makefile.in,
Richard M. Stallman <rms@gnu.org>
parents:
9570
diff
changeset
|
68 Echo Checking whether 'sed' is available... |
09c2ad9213dd
Simplify using new names file names src/makefile.in,
Richard M. Stallman <rms@gnu.org>
parents:
9570
diff
changeset
|
69 sed -e "w junk.$$$" <Nul |
9570 | 70 If Exist junk.$$$ Goto sedOk |
12992
09c2ad9213dd
Simplify using new names file names src/makefile.in,
Richard M. Stallman <rms@gnu.org>
parents:
9570
diff
changeset
|
71 Echo To configure 'Emacs' you need to have 'sed'! |
9570 | 72 Goto End |
73 :sedOk | |
12992
09c2ad9213dd
Simplify using new names file names src/makefile.in,
Richard M. Stallman <rms@gnu.org>
parents:
9570
diff
changeset
|
74 Echo Checking whether 'rm' is available... |
9570 | 75 rm -f junk.$$$ |
76 If Not Exist junk.$$$ Goto rmOk | |
12992
09c2ad9213dd
Simplify using new names file names src/makefile.in,
Richard M. Stallman <rms@gnu.org>
parents:
9570
diff
changeset
|
77 Echo To configure 'Emacs' you need to have 'rm'! |
9570 | 78 Goto End |
79 :rmOk | |
12992
09c2ad9213dd
Simplify using new names file names src/makefile.in,
Richard M. Stallman <rms@gnu.org>
parents:
9570
diff
changeset
|
80 Echo Checking whether 'mv' is available... |
9570 | 81 rm -f junk.1 junk.2 |
82 echo foo >junk.1 | |
16489
a6df390c0f5e
Make sure `mv' supports forward slashes and -f.
Richard M. Stallman <rms@gnu.org>
parents:
15742
diff
changeset
|
83 mv junk.1 ./junk.2 |
9570 | 84 If Exist junk.2 Goto mvOk |
12992
09c2ad9213dd
Simplify using new names file names src/makefile.in,
Richard M. Stallman <rms@gnu.org>
parents:
9570
diff
changeset
|
85 Echo To configure 'Emacs' you need to have 'mv'! |
9570 | 86 rm -f junk.1 |
87 Goto End | |
88 :mvOk | |
89 rm -f junk.2 | |
12992
09c2ad9213dd
Simplify using new names file names src/makefile.in,
Richard M. Stallman <rms@gnu.org>
parents:
9570
diff
changeset
|
90 Echo Checking whether 'gcc' is available... |
9570 | 91 echo main(){} >junk.c |
92 gcc -c junk.c | |
93 if exist junk.o goto gccOk | |
12992
09c2ad9213dd
Simplify using new names file names src/makefile.in,
Richard M. Stallman <rms@gnu.org>
parents:
9570
diff
changeset
|
94 Echo To configure 'Emacs' you need to have 'gcc'! |
9570 | 95 rm -f junk.c |
96 Goto End | |
97 :gccOk | |
15020
85feb24c0ac5
With DJGPP v1.x, use `COFF2EXE' to produce JUNK.EXE test program.
Richard M. Stallman <rms@gnu.org>
parents:
15007
diff
changeset
|
98 rm -f junk.c junk.o junk junk.exe |
14976
63951d3f3995
Set djgpp-ver, and unset it at the end.
Richard M. Stallman <rms@gnu.org>
parents:
13927
diff
changeset
|
99 Echo Checking what version of DJGPP is installed... |
63951d3f3995
Set djgpp-ver, and unset it at the end.
Richard M. Stallman <rms@gnu.org>
parents:
13927
diff
changeset
|
100 If Not "%DJGPP%" == "" goto djgppOk |
63951d3f3995
Set djgpp-ver, and unset it at the end.
Richard M. Stallman <rms@gnu.org>
parents:
13927
diff
changeset
|
101 Echo To compile 'Emacs' under MS-DOS you MUST have DJGPP installed! |
63951d3f3995
Set djgpp-ver, and unset it at the end.
Richard M. Stallman <rms@gnu.org>
parents:
13927
diff
changeset
|
102 Goto End |
63951d3f3995
Set djgpp-ver, and unset it at the end.
Richard M. Stallman <rms@gnu.org>
parents:
13927
diff
changeset
|
103 :djgppOk |
63951d3f3995
Set djgpp-ver, and unset it at the end.
Richard M. Stallman <rms@gnu.org>
parents:
13927
diff
changeset
|
104 echo int main() >junk.c |
63951d3f3995
Set djgpp-ver, and unset it at the end.
Richard M. Stallman <rms@gnu.org>
parents:
13927
diff
changeset
|
105 echo #ifdef __DJGPP__ >>junk.c |
63951d3f3995
Set djgpp-ver, and unset it at the end.
Richard M. Stallman <rms@gnu.org>
parents:
13927
diff
changeset
|
106 echo {return (__DJGPP__)*10;} >>junk.c |
63951d3f3995
Set djgpp-ver, and unset it at the end.
Richard M. Stallman <rms@gnu.org>
parents:
13927
diff
changeset
|
107 echo #else >>junk.c |
63951d3f3995
Set djgpp-ver, and unset it at the end.
Richard M. Stallman <rms@gnu.org>
parents:
13927
diff
changeset
|
108 echo #ifdef __GO32__ >>junk.c |
63951d3f3995
Set djgpp-ver, and unset it at the end.
Richard M. Stallman <rms@gnu.org>
parents:
13927
diff
changeset
|
109 echo {return 10;} >>junk.c |
63951d3f3995
Set djgpp-ver, and unset it at the end.
Richard M. Stallman <rms@gnu.org>
parents:
13927
diff
changeset
|
110 echo #else >>junk.c |
63951d3f3995
Set djgpp-ver, and unset it at the end.
Richard M. Stallman <rms@gnu.org>
parents:
13927
diff
changeset
|
111 echo {return 0;} >>junk.c |
63951d3f3995
Set djgpp-ver, and unset it at the end.
Richard M. Stallman <rms@gnu.org>
parents:
13927
diff
changeset
|
112 echo #endif >>junk.c |
63951d3f3995
Set djgpp-ver, and unset it at the end.
Richard M. Stallman <rms@gnu.org>
parents:
13927
diff
changeset
|
113 echo #endif >>junk.c |
15020
85feb24c0ac5
With DJGPP v1.x, use `COFF2EXE' to produce JUNK.EXE test program.
Richard M. Stallman <rms@gnu.org>
parents:
15007
diff
changeset
|
114 gcc -o junk junk.c |
85feb24c0ac5
With DJGPP v1.x, use `COFF2EXE' to produce JUNK.EXE test program.
Richard M. Stallman <rms@gnu.org>
parents:
15007
diff
changeset
|
115 if not exist junk.exe coff2exe junk |
14976
63951d3f3995
Set djgpp-ver, and unset it at the end.
Richard M. Stallman <rms@gnu.org>
parents:
13927
diff
changeset
|
116 junk |
63951d3f3995
Set djgpp-ver, and unset it at the end.
Richard M. Stallman <rms@gnu.org>
parents:
13927
diff
changeset
|
117 If ErrorLevel 10 Goto go32Ok |
63951d3f3995
Set djgpp-ver, and unset it at the end.
Richard M. Stallman <rms@gnu.org>
parents:
13927
diff
changeset
|
118 rm -f junk.c junk junk.exe |
63951d3f3995
Set djgpp-ver, and unset it at the end.
Richard M. Stallman <rms@gnu.org>
parents:
13927
diff
changeset
|
119 Echo To compile 'Emacs' under MS-DOS you MUST have DJGPP installed! |
63951d3f3995
Set djgpp-ver, and unset it at the end.
Richard M. Stallman <rms@gnu.org>
parents:
13927
diff
changeset
|
120 Goto End |
63951d3f3995
Set djgpp-ver, and unset it at the end.
Richard M. Stallman <rms@gnu.org>
parents:
13927
diff
changeset
|
121 :go32Ok |
15007
5baafbcd9dc2
(djgpp_ver): Variable renamed from djgpp-ver.
Richard M. Stallman <rms@gnu.org>
parents:
14976
diff
changeset
|
122 set djgpp_ver=1 |
5baafbcd9dc2
(djgpp_ver): Variable renamed from djgpp-ver.
Richard M. Stallman <rms@gnu.org>
parents:
14976
diff
changeset
|
123 If ErrorLevel 20 set djgpp_ver=2 |
14976
63951d3f3995
Set djgpp-ver, and unset it at the end.
Richard M. Stallman <rms@gnu.org>
parents:
13927
diff
changeset
|
124 rm -f junk.c junk junk.exe |
33811
e1e1d5816d44
Check for existence of djecho.exe, and print an
Eli Zaretskii <eliz@gnu.org>
parents:
30657
diff
changeset
|
125 rem DJECHO is used by the top-level Makefile |
e1e1d5816d44
Check for existence of djecho.exe, and print an
Eli Zaretskii <eliz@gnu.org>
parents:
30657
diff
changeset
|
126 Echo Checking whether 'djecho' is available... |
e1e1d5816d44
Check for existence of djecho.exe, and print an
Eli Zaretskii <eliz@gnu.org>
parents:
30657
diff
changeset
|
127 redir -o Nul -eo djecho -o junk.$$$ foo |
e1e1d5816d44
Check for existence of djecho.exe, and print an
Eli Zaretskii <eliz@gnu.org>
parents:
30657
diff
changeset
|
128 If Exist junk.$$$ Goto djechoOk |
e1e1d5816d44
Check for existence of djecho.exe, and print an
Eli Zaretskii <eliz@gnu.org>
parents:
30657
diff
changeset
|
129 Echo To build 'Emacs' you need the 'djecho.exe' program! |
e1e1d5816d44
Check for existence of djecho.exe, and print an
Eli Zaretskii <eliz@gnu.org>
parents:
30657
diff
changeset
|
130 Echo 'djecho.exe' is part of 'djdevNNN.zip' basic DJGPP development kit. |
e1e1d5816d44
Check for existence of djecho.exe, and print an
Eli Zaretskii <eliz@gnu.org>
parents:
30657
diff
changeset
|
131 Echo Versions of DJGPP before 2.02 called this program 'echo.exe'. |
e1e1d5816d44
Check for existence of djecho.exe, and print an
Eli Zaretskii <eliz@gnu.org>
parents:
30657
diff
changeset
|
132 Echo Either unpack 'djecho.exe' from the 'djdevNNN.zip' archive, |
e1e1d5816d44
Check for existence of djecho.exe, and print an
Eli Zaretskii <eliz@gnu.org>
parents:
30657
diff
changeset
|
133 Echo or, if you have 'echo.exe', copy it to 'djecho.exe'. |
e1e1d5816d44
Check for existence of djecho.exe, and print an
Eli Zaretskii <eliz@gnu.org>
parents:
30657
diff
changeset
|
134 Echo Then run CONFIG.BAT again with the same arguments you did now. |
e1e1d5816d44
Check for existence of djecho.exe, and print an
Eli Zaretskii <eliz@gnu.org>
parents:
30657
diff
changeset
|
135 Goto End |
e1e1d5816d44
Check for existence of djecho.exe, and print an
Eli Zaretskii <eliz@gnu.org>
parents:
30657
diff
changeset
|
136 :djechoOk |
e1e1d5816d44
Check for existence of djecho.exe, and print an
Eli Zaretskii <eliz@gnu.org>
parents:
30657
diff
changeset
|
137 rm -f junk.$$$ |
15007
5baafbcd9dc2
(djgpp_ver): Variable renamed from djgpp-ver.
Richard M. Stallman <rms@gnu.org>
parents:
14976
diff
changeset
|
138 Echo Configuring for DJGPP Version %DJGPP_VER% ... |
9570 | 139 Rem ---------------------------------------------------------------------- |
5484 | 140 Echo Configuring the source directory... |
141 cd src | |
142 | |
24528
440fb6df32c8
Use epaths.* instead of paths.*.
Eli Zaretskii <eliz@gnu.org>
parents:
24018
diff
changeset
|
143 rem Create "epaths.h" |
440fb6df32c8
Use epaths.* instead of paths.*.
Eli Zaretskii <eliz@gnu.org>
parents:
24018
diff
changeset
|
144 sed -f ../msdos/sed4.inp <epaths.in >epaths.tmp |
440fb6df32c8
Use epaths.* instead of paths.*.
Eli Zaretskii <eliz@gnu.org>
parents:
24018
diff
changeset
|
145 update epaths.tmp epaths.h >nul |
440fb6df32c8
Use epaths.* instead of paths.*.
Eli Zaretskii <eliz@gnu.org>
parents:
24018
diff
changeset
|
146 rm -f epaths.tmp |
5484 | 147 |
148 rem Create "config.h" | |
9570 | 149 rm -f config.h2 config.tmp |
18767
31e6205f80b6
Use `sed' instead of `cp', which might not be installed.
Richard M. Stallman <rms@gnu.org>
parents:
16489
diff
changeset
|
150 sed -e '' config.in > config.tmp |
7195
73d9c538cce2
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
5486
diff
changeset
|
151 if "%X11%" == "" goto src4 |
12992
09c2ad9213dd
Simplify using new names file names src/makefile.in,
Richard M. Stallman <rms@gnu.org>
parents:
9570
diff
changeset
|
152 sed -f ../msdos/sed2x.inp <config.in >config.tmp |
7195
73d9c538cce2
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
5486
diff
changeset
|
153 :src4 |
9570 | 154 sed -f ../msdos/sed2.inp <config.tmp >config.h2 |
155 update config.h2 config.h >nul | |
156 rm -f config.tmp config.h2 | |
5484 | 157 |
158 rem On my system dir.h gets in the way. It's a VMS file so who cares. | |
159 if exist dir.h ren dir.h vmsdir.h | |
160 | |
12992
09c2ad9213dd
Simplify using new names file names src/makefile.in,
Richard M. Stallman <rms@gnu.org>
parents:
9570
diff
changeset
|
161 rem Create "makefile" from "makefile.in". |
20284
ff0f79a7b8b6
Configure the man subdirectory.
Eli Zaretskii <eliz@gnu.org>
parents:
19567
diff
changeset
|
162 rm -f Makefile junk.c |
28767
a723efe4f841
Identify the beginning of cpp stuff in src/Makefile.in and
Eli Zaretskii <eliz@gnu.org>
parents:
25169
diff
changeset
|
163 sed -e "1,/== start of cpp stuff ==/s@^# .*$@@" <Makefile.in >junk.c |
15007
5baafbcd9dc2
(djgpp_ver): Variable renamed from djgpp-ver.
Richard M. Stallman <rms@gnu.org>
parents:
14976
diff
changeset
|
164 If "%DJGPP_VER%" == "1" Goto mfV1 |
35137
6722a8132e56
Run the preprocessor with -traditional.
Eli Zaretskii <eliz@gnu.org>
parents:
33811
diff
changeset
|
165 gcc -E -traditional junk.c | sed -f ../msdos/sed1v2.inp >Makefile |
14976
63951d3f3995
Set djgpp-ver, and unset it at the end.
Richard M. Stallman <rms@gnu.org>
parents:
13927
diff
changeset
|
166 goto mfDone |
63951d3f3995
Set djgpp-ver, and unset it at the end.
Richard M. Stallman <rms@gnu.org>
parents:
13927
diff
changeset
|
167 :mfV1 |
35137
6722a8132e56
Run the preprocessor with -traditional.
Eli Zaretskii <eliz@gnu.org>
parents:
33811
diff
changeset
|
168 gcc -E -traditional junk.c | sed -f ../msdos/sed1.inp >Makefile |
14976
63951d3f3995
Set djgpp-ver, and unset it at the end.
Richard M. Stallman <rms@gnu.org>
parents:
13927
diff
changeset
|
169 :mfDone |
5486
c87d1cd3f62a
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
5484
diff
changeset
|
170 rm -f junk.c |
12992
09c2ad9213dd
Simplify using new names file names src/makefile.in,
Richard M. Stallman <rms@gnu.org>
parents:
9570
diff
changeset
|
171 |
9570 | 172 if "%X11%" == "" goto src5 |
20284
ff0f79a7b8b6
Configure the man subdirectory.
Eli Zaretskii <eliz@gnu.org>
parents:
19567
diff
changeset
|
173 mv Makefile makefile.tmp |
ff0f79a7b8b6
Configure the man subdirectory.
Eli Zaretskii <eliz@gnu.org>
parents:
19567
diff
changeset
|
174 sed -f ../msdos/sed1x.inp <makefile.tmp >Makefile |
9570 | 175 rm -f makefile.tmp |
176 :src5 | |
177 | |
178 if "%nodebug%" == "" goto src6 | |
25169
827d4eface8f
Make --no-debug work again by removing -gcoff.
Eli Zaretskii <eliz@gnu.org>
parents:
24528
diff
changeset
|
179 sed -e "/^CFLAGS *=/s/ *-gcoff//" <Makefile >makefile.tmp |
20284
ff0f79a7b8b6
Configure the man subdirectory.
Eli Zaretskii <eliz@gnu.org>
parents:
19567
diff
changeset
|
180 sed -e "/^LDFLAGS *=/s/=/=-s/" <makefile.tmp >Makefile |
14976
63951d3f3995
Set djgpp-ver, and unset it at the end.
Richard M. Stallman <rms@gnu.org>
parents:
13927
diff
changeset
|
181 rm -f makefile.tmp |
9570 | 182 :src6 |
5484 | 183 cd .. |
184 rem ---------------------------------------------------------------------- | |
185 Echo Configuring the library source directory... | |
186 cd lib-src | |
187 rem Create "makefile" from "makefile.in". | |
28767
a723efe4f841
Identify the beginning of cpp stuff in src/Makefile.in and
Eli Zaretskii <eliz@gnu.org>
parents:
25169
diff
changeset
|
188 sed -e "1,/== start of cpp stuff ==/s@^# .*$@@" <Makefile.in >junk.c |
35137
6722a8132e56
Run the preprocessor with -traditional.
Eli Zaretskii <eliz@gnu.org>
parents:
33811
diff
changeset
|
189 gcc -E -traditional -I. -I../src junk.c | sed -e "s/^ / /" -e "/^#/d" -e "/^[ ]*$/d" >makefile.new |
15007
5baafbcd9dc2
(djgpp_ver): Variable renamed from djgpp-ver.
Richard M. Stallman <rms@gnu.org>
parents:
14976
diff
changeset
|
190 If "%DJGPP_VER%" == "2" goto libsrc-v2 |
20284
ff0f79a7b8b6
Configure the man subdirectory.
Eli Zaretskii <eliz@gnu.org>
parents:
19567
diff
changeset
|
191 sed -f ../msdos/sed3.inp <makefile.new >Makefile |
14976
63951d3f3995
Set djgpp-ver, and unset it at the end.
Richard M. Stallman <rms@gnu.org>
parents:
13927
diff
changeset
|
192 Goto libsrc2 |
63951d3f3995
Set djgpp-ver, and unset it at the end.
Richard M. Stallman <rms@gnu.org>
parents:
13927
diff
changeset
|
193 :libsrc-v2 |
20284
ff0f79a7b8b6
Configure the man subdirectory.
Eli Zaretskii <eliz@gnu.org>
parents:
19567
diff
changeset
|
194 sed -f ../msdos/sed3v2.inp <makefile.new >Makefile |
14976
63951d3f3995
Set djgpp-ver, and unset it at the end.
Richard M. Stallman <rms@gnu.org>
parents:
13927
diff
changeset
|
195 :libsrc2 |
9570 | 196 rm -f makefile.new junk.c |
14976
63951d3f3995
Set djgpp-ver, and unset it at the end.
Richard M. Stallman <rms@gnu.org>
parents:
13927
diff
changeset
|
197 if "%nodebug%" == "" goto libsrc3 |
25169
827d4eface8f
Make --no-debug work again by removing -gcoff.
Eli Zaretskii <eliz@gnu.org>
parents:
24528
diff
changeset
|
198 sed -e "/^CFLAGS *=/s/ *-gcoff//" <Makefile >makefile.tmp |
20284
ff0f79a7b8b6
Configure the man subdirectory.
Eli Zaretskii <eliz@gnu.org>
parents:
19567
diff
changeset
|
199 sed -e "/^ALL_CFLAGS *=/s/=/= -s/" <makefile.tmp >Makefile |
14976
63951d3f3995
Set djgpp-ver, and unset it at the end.
Richard M. Stallman <rms@gnu.org>
parents:
13927
diff
changeset
|
200 rm -f makefile.tmp |
63951d3f3995
Set djgpp-ver, and unset it at the end.
Richard M. Stallman <rms@gnu.org>
parents:
13927
diff
changeset
|
201 :libsrc3 |
5484 | 202 cd .. |
203 rem ---------------------------------------------------------------------- | |
9570 | 204 if "%X11%" == "" goto oldx1 |
205 Echo Configuring the oldxmenu directory... | |
206 cd oldxmenu | |
20284
ff0f79a7b8b6
Configure the man subdirectory.
Eli Zaretskii <eliz@gnu.org>
parents:
19567
diff
changeset
|
207 sed -f ../msdos/sed5x.inp <Makefile.in >Makefile |
9570 | 208 if "%nodebug%" == "" goto oldx2 |
25169
827d4eface8f
Make --no-debug work again by removing -gcoff.
Eli Zaretskii <eliz@gnu.org>
parents:
24528
diff
changeset
|
209 sed -e "/^CFLAGS *=/s/ *-gcoff//" <Makefile >makefile.tmp |
20284
ff0f79a7b8b6
Configure the man subdirectory.
Eli Zaretskii <eliz@gnu.org>
parents:
19567
diff
changeset
|
210 mv -f makefile.tmp Makefile |
9570 | 211 :oldx2 |
212 cd .. | |
213 :oldx1 | |
214 rem ---------------------------------------------------------------------- | |
20284
ff0f79a7b8b6
Configure the man subdirectory.
Eli Zaretskii <eliz@gnu.org>
parents:
19567
diff
changeset
|
215 Echo Configuring the manual directory... |
ff0f79a7b8b6
Configure the man subdirectory.
Eli Zaretskii <eliz@gnu.org>
parents:
19567
diff
changeset
|
216 cd man |
ff0f79a7b8b6
Configure the man subdirectory.
Eli Zaretskii <eliz@gnu.org>
parents:
19567
diff
changeset
|
217 sed -f ../msdos/sed6.inp < Makefile.in > Makefile |
ff0f79a7b8b6
Configure the man subdirectory.
Eli Zaretskii <eliz@gnu.org>
parents:
19567
diff
changeset
|
218 cd .. |
ff0f79a7b8b6
Configure the man subdirectory.
Eli Zaretskii <eliz@gnu.org>
parents:
19567
diff
changeset
|
219 rem ---------------------------------------------------------------------- |
29677
7e7a2522a302
Generate lisp/Makefile from lisp/Makefile.in.
Eli Zaretskii <eliz@gnu.org>
parents:
28767
diff
changeset
|
220 Echo Configuring the lisp directory... |
7e7a2522a302
Generate lisp/Makefile from lisp/Makefile.in.
Eli Zaretskii <eliz@gnu.org>
parents:
28767
diff
changeset
|
221 cd lisp |
7e7a2522a302
Generate lisp/Makefile from lisp/Makefile.in.
Eli Zaretskii <eliz@gnu.org>
parents:
28767
diff
changeset
|
222 sed -f ../msdos/sedlisp.inp < Makefile.in > Makefile |
7e7a2522a302
Generate lisp/Makefile from lisp/Makefile.in.
Eli Zaretskii <eliz@gnu.org>
parents:
28767
diff
changeset
|
223 cd .. |
7e7a2522a302
Generate lisp/Makefile from lisp/Makefile.in.
Eli Zaretskii <eliz@gnu.org>
parents:
28767
diff
changeset
|
224 rem ---------------------------------------------------------------------- |
24018
b918e6330d6e
Support configuring with leim.
Eli Zaretskii <eliz@gnu.org>
parents:
21582
diff
changeset
|
225 If not Exist leim\quail\latin-pre.el goto maindir |
b918e6330d6e
Support configuring with leim.
Eli Zaretskii <eliz@gnu.org>
parents:
21582
diff
changeset
|
226 Echo Configuring the leim directory... |
b918e6330d6e
Support configuring with leim.
Eli Zaretskii <eliz@gnu.org>
parents:
21582
diff
changeset
|
227 cd leim |
b918e6330d6e
Support configuring with leim.
Eli Zaretskii <eliz@gnu.org>
parents:
21582
diff
changeset
|
228 sed -f ../msdos/sedleim.inp < Makefile.in > Makefile |
b918e6330d6e
Support configuring with leim.
Eli Zaretskii <eliz@gnu.org>
parents:
21582
diff
changeset
|
229 cd .. |
b918e6330d6e
Support configuring with leim.
Eli Zaretskii <eliz@gnu.org>
parents:
21582
diff
changeset
|
230 rem ---------------------------------------------------------------------- |
b918e6330d6e
Support configuring with leim.
Eli Zaretskii <eliz@gnu.org>
parents:
21582
diff
changeset
|
231 :maindir |
5484 | 232 Echo Configuring the main directory... |
15023
6f4dd53a62d4
Make sure the GDB init file is called src/_gdbinit;
Richard M. Stallman <rms@gnu.org>
parents:
15020
diff
changeset
|
233 If "%DJGPP_VER%" == "1" goto mainv1 |
6f4dd53a62d4
Make sure the GDB init file is called src/_gdbinit;
Richard M. Stallman <rms@gnu.org>
parents:
15020
diff
changeset
|
234 Echo Looking for the GDB init file... |
30657
d8bdb143d140
(maindir): Update src/_gdbinit even if it does already exist.
Eli Zaretskii <eliz@gnu.org>
parents:
29677
diff
changeset
|
235 If Exist src\.gdbinit update src/.gdbinit src/_gdbinit |
15023
6f4dd53a62d4
Make sure the GDB init file is called src/_gdbinit;
Richard M. Stallman <rms@gnu.org>
parents:
15020
diff
changeset
|
236 If Exist src\_gdbinit goto gdbinitOk |
6f4dd53a62d4
Make sure the GDB init file is called src/_gdbinit;
Richard M. Stallman <rms@gnu.org>
parents:
15020
diff
changeset
|
237 Echo ERROR: |
6f4dd53a62d4
Make sure the GDB init file is called src/_gdbinit;
Richard M. Stallman <rms@gnu.org>
parents:
15020
diff
changeset
|
238 Echo I cannot find the GDB init file. It was called ".gdbinit" in |
6f4dd53a62d4
Make sure the GDB init file is called src/_gdbinit;
Richard M. Stallman <rms@gnu.org>
parents:
15020
diff
changeset
|
239 Echo the Emacs distribution, but was probably renamed to some other |
6f4dd53a62d4
Make sure the GDB init file is called src/_gdbinit;
Richard M. Stallman <rms@gnu.org>
parents:
15020
diff
changeset
|
240 Echo name without the leading dot when you untarred the archive. |
6f4dd53a62d4
Make sure the GDB init file is called src/_gdbinit;
Richard M. Stallman <rms@gnu.org>
parents:
15020
diff
changeset
|
241 Echo It should be in the "src/" subdirectory. Please make sure this |
6f4dd53a62d4
Make sure the GDB init file is called src/_gdbinit;
Richard M. Stallman <rms@gnu.org>
parents:
15020
diff
changeset
|
242 Echo file exists and is called "_gdbinit" with a leading underscore. |
6f4dd53a62d4
Make sure the GDB init file is called src/_gdbinit;
Richard M. Stallman <rms@gnu.org>
parents:
15020
diff
changeset
|
243 Echo Then run CONFIG.BAT again with the same arguments you did now. |
6f4dd53a62d4
Make sure the GDB init file is called src/_gdbinit;
Richard M. Stallman <rms@gnu.org>
parents:
15020
diff
changeset
|
244 goto End |
6f4dd53a62d4
Make sure the GDB init file is called src/_gdbinit;
Richard M. Stallman <rms@gnu.org>
parents:
15020
diff
changeset
|
245 :gdbinitOk |
6f4dd53a62d4
Make sure the GDB init file is called src/_gdbinit;
Richard M. Stallman <rms@gnu.org>
parents:
15020
diff
changeset
|
246 Echo Looking for the GDB init file...found |
20284
ff0f79a7b8b6
Configure the man subdirectory.
Eli Zaretskii <eliz@gnu.org>
parents:
19567
diff
changeset
|
247 copy msdos\mainmake.v2 Makefile >nul |
15023
6f4dd53a62d4
Make sure the GDB init file is called src/_gdbinit;
Richard M. Stallman <rms@gnu.org>
parents:
15020
diff
changeset
|
248 :mainv1 |
20284
ff0f79a7b8b6
Configure the man subdirectory.
Eli Zaretskii <eliz@gnu.org>
parents:
19567
diff
changeset
|
249 If "%DJGPP_VER%" == "1" copy msdos\mainmake Makefile >nul |
5484 | 250 rem ---------------------------------------------------------------------- |
21582
4c2b38ea02fe
Make sure the environment is large enough to accomodate
Eli Zaretskii <eliz@gnu.org>
parents:
20284
diff
changeset
|
251 goto End |
4c2b38ea02fe
Make sure the environment is large enough to accomodate
Eli Zaretskii <eliz@gnu.org>
parents:
20284
diff
changeset
|
252 :SmallEnv |
4c2b38ea02fe
Make sure the environment is large enough to accomodate
Eli Zaretskii <eliz@gnu.org>
parents:
20284
diff
changeset
|
253 echo Your environment size is too small. Please enlarge it and run me again. |
4c2b38ea02fe
Make sure the environment is large enough to accomodate
Eli Zaretskii <eliz@gnu.org>
parents:
20284
diff
changeset
|
254 echo For example, type "command.com /e:2048" to have 2048 bytes available. |
4c2b38ea02fe
Make sure the environment is large enough to accomodate
Eli Zaretskii <eliz@gnu.org>
parents:
20284
diff
changeset
|
255 set $foo$= |
5484 | 256 :end |
7195
73d9c538cce2
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
5486
diff
changeset
|
257 set X11= |
9570 | 258 set nodebug= |
15007
5baafbcd9dc2
(djgpp_ver): Variable renamed from djgpp-ver.
Richard M. Stallman <rms@gnu.org>
parents:
14976
diff
changeset
|
259 set djgpp_ver= |