Mercurial > emacs
annotate config.bat @ 45098:06120f91eb06
(eshell-modify-global-environment): Added this customization variable,
which will cause any "export" commands within any eshell buffer to
modify the global Emacs environment. It defaults to nil, which means
that such commands will only modify that Eshell buffer's environment.
(eshell-var-initialize): Initialize `eshell-modify-global-environment'.
author | John Wiegley <johnw@newartisans.com> |
---|---|
date | Fri, 03 May 2002 20:43:53 +0000 |
parents | f0c07caa514e |
children | aaff735de38e |
rev | line source |
---|---|
5484 | 1 @echo off |
2 rem ---------------------------------------------------------------------- | |
3 rem Configuration script for MSDOS | |
36511 | 4 rem Copyright (C) 1994, 1995, 1996, 1997, 1998, 1999, 2001 |
5 rem Free Software Foundation, Inc. | |
7195
73d9c538cce2
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
5486
diff
changeset
|
6 |
5484 | 7 rem This file is part of GNU Emacs. |
8 | |
9 rem GNU Emacs is free software; you can redistribute it and/or modify | |
10 rem it under the terms of the GNU General Public License as published by | |
11 rem the Free Software Foundation; either version 2, or (at your option) | |
12 rem any later version. | |
13 | |
14 rem GNU Emacs is distributed in the hope that it will be useful, | |
15 rem but WITHOUT ANY WARRANTY; without even the implied warranty of | |
16 rem MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
17 rem GNU General Public License for more details. | |
18 | |
19 rem You should have received a copy of the GNU General Public License | |
15742 | 20 rem along with GNU Emacs; see the file COPYING. If not, write to the |
21 rem Free Software Foundation, Inc., 59 Temple Place - Suite 330, | |
22 rem Boston, MA 02111-1307, USA. | |
5484 | 23 rem ---------------------------------------------------------------------- |
24 rem YOU'LL NEED THE FOLLOWING UTILITIES TO MAKE EMACS: | |
25 rem | |
7195
73d9c538cce2
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
5486
diff
changeset
|
26 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
|
27 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
|
28 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
|
29 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
|
30 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
|
31 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
|
32 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
|
33 rem |
14976
63951d3f3995
Set djgpp-ver, and unset it at the end.
Richard M. Stallman <rms@gnu.org>
parents:
13927
diff
changeset
|
34 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
|
35 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
|
36 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
|
37 rem mirroring site to reduce trans-Atlantic traffic. |
5484 | 38 rem ---------------------------------------------------------------------- |
9570 | 39 set X11= |
40 set nodebug= | |
15007
5baafbcd9dc2
(djgpp_ver): Variable renamed from djgpp-ver.
Richard M. Stallman <rms@gnu.org>
parents:
14976
diff
changeset
|
41 set djgpp_ver= |
21582
4c2b38ea02fe
Make sure the environment is large enough to accomodate
Eli Zaretskii <eliz@gnu.org>
parents:
20284
diff
changeset
|
42 if "%1" == "" goto usage |
4c2b38ea02fe
Make sure the environment is large enough to accomodate
Eli Zaretskii <eliz@gnu.org>
parents:
20284
diff
changeset
|
43 rem ---------------------------------------------------------------------- |
4c2b38ea02fe
Make sure the environment is large enough to accomodate
Eli Zaretskii <eliz@gnu.org>
parents:
20284
diff
changeset
|
44 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
|
45 set $foo$=789012345678901234567 |
4c2b38ea02fe
Make sure the environment is large enough to accomodate
Eli Zaretskii <eliz@gnu.org>
parents:
20284
diff
changeset
|
46 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
|
47 set $foo$= |
9570 | 48 :again |
49 if "%1" == "" goto usage | |
50 if "%1" == "--with-x" goto withx | |
51 if "%1" == "--no-debug" goto nodebug | |
5484 | 52 if "%1" == "msdos" goto msdos |
53 :usage | |
9570 | 54 echo Usage: config [--with-x] [--no-debug] msdos |
55 echo [Read the script before you run it.] | |
5484 | 56 goto end |
57 rem ---------------------------------------------------------------------- | |
9570 | 58 :withx |
59 set X11=Y | |
60 shift | |
61 goto again | |
62 rem ---------------------------------------------------------------------- | |
63 :nodebug | |
64 set nodebug=Y | |
65 shift | |
66 goto again | |
7195
73d9c538cce2
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
5486
diff
changeset
|
67 rem ---------------------------------------------------------------------- |
5484 | 68 :msdos |
12992
09c2ad9213dd
Simplify using new names file names src/makefile.in,
Richard M. Stallman <rms@gnu.org>
parents:
9570
diff
changeset
|
69 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
|
70 sed -e "w junk.$$$" <Nul |
9570 | 71 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
|
72 Echo To configure 'Emacs' you need to have 'sed'! |
9570 | 73 Goto End |
74 :sedOk | |
12992
09c2ad9213dd
Simplify using new names file names src/makefile.in,
Richard M. Stallman <rms@gnu.org>
parents:
9570
diff
changeset
|
75 Echo Checking whether 'rm' is available... |
9570 | 76 rm -f junk.$$$ |
77 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
|
78 Echo To configure 'Emacs' you need to have 'rm'! |
9570 | 79 Goto End |
80 :rmOk | |
12992
09c2ad9213dd
Simplify using new names file names src/makefile.in,
Richard M. Stallman <rms@gnu.org>
parents:
9570
diff
changeset
|
81 Echo Checking whether 'mv' is available... |
9570 | 82 rm -f junk.1 junk.2 |
83 echo foo >junk.1 | |
16489
a6df390c0f5e
Make sure `mv' supports forward slashes and -f.
Richard M. Stallman <rms@gnu.org>
parents:
15742
diff
changeset
|
84 mv junk.1 ./junk.2 |
9570 | 85 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
|
86 Echo To configure 'Emacs' you need to have 'mv'! |
9570 | 87 rm -f junk.1 |
88 Goto End | |
89 :mvOk | |
90 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
|
91 Echo Checking whether 'gcc' is available... |
9570 | 92 echo main(){} >junk.c |
93 gcc -c junk.c | |
94 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
|
95 Echo To configure 'Emacs' you need to have 'gcc'! |
9570 | 96 rm -f junk.c |
97 Goto End | |
98 :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
|
99 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
|
100 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
|
101 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
|
102 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
|
103 Goto End |
63951d3f3995
Set djgpp-ver, and unset it at the end.
Richard M. Stallman <rms@gnu.org>
parents:
13927
diff
changeset
|
104 :djgppOk |
63951d3f3995
Set djgpp-ver, and unset it at the end.
Richard M. Stallman <rms@gnu.org>
parents:
13927
diff
changeset
|
105 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
|
106 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
|
107 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
|
108 echo #else >>junk.c |
63951d3f3995
Set djgpp-ver, and unset it at the end.
Richard M. Stallman <rms@gnu.org>
parents:
13927
diff
changeset
|
109 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
|
110 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
|
111 echo #else >>junk.c |
63951d3f3995
Set djgpp-ver, and unset it at the end.
Richard M. Stallman <rms@gnu.org>
parents:
13927
diff
changeset
|
112 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
|
113 echo #endif >>junk.c |
63951d3f3995
Set djgpp-ver, and unset it at the end.
Richard M. Stallman <rms@gnu.org>
parents:
13927
diff
changeset
|
114 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
|
115 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
|
116 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
|
117 junk |
63951d3f3995
Set djgpp-ver, and unset it at the end.
Richard M. Stallman <rms@gnu.org>
parents:
13927
diff
changeset
|
118 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
|
119 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
|
120 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
|
121 Goto End |
63951d3f3995
Set djgpp-ver, and unset it at the end.
Richard M. Stallman <rms@gnu.org>
parents:
13927
diff
changeset
|
122 :go32Ok |
15007
5baafbcd9dc2
(djgpp_ver): Variable renamed from djgpp-ver.
Richard M. Stallman <rms@gnu.org>
parents:
14976
diff
changeset
|
123 set djgpp_ver=1 |
5baafbcd9dc2
(djgpp_ver): Variable renamed from djgpp-ver.
Richard M. Stallman <rms@gnu.org>
parents:
14976
diff
changeset
|
124 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
|
125 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
|
126 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
|
127 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
|
128 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
|
129 If Exist junk.$$$ Goto djechoOk |
e1e1d5816d44
Check for existence of djecho.exe, and print an
Eli Zaretskii <eliz@gnu.org>
parents:
30657
diff
changeset
|
130 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
|
131 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
|
132 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
|
133 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
|
134 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
|
135 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
|
136 Goto End |
e1e1d5816d44
Check for existence of djecho.exe, and print an
Eli Zaretskii <eliz@gnu.org>
parents:
30657
diff
changeset
|
137 :djechoOk |
e1e1d5816d44
Check for existence of djecho.exe, and print an
Eli Zaretskii <eliz@gnu.org>
parents:
30657
diff
changeset
|
138 rm -f junk.$$$ |
15007
5baafbcd9dc2
(djgpp_ver): Variable renamed from djgpp-ver.
Richard M. Stallman <rms@gnu.org>
parents:
14976
diff
changeset
|
139 Echo Configuring for DJGPP Version %DJGPP_VER% ... |
9570 | 140 Rem ---------------------------------------------------------------------- |
5484 | 141 Echo Configuring the source directory... |
142 cd src | |
143 | |
24528
440fb6df32c8
Use epaths.* instead of paths.*.
Eli Zaretskii <eliz@gnu.org>
parents:
24018
diff
changeset
|
144 rem Create "epaths.h" |
440fb6df32c8
Use epaths.* instead of paths.*.
Eli Zaretskii <eliz@gnu.org>
parents:
24018
diff
changeset
|
145 sed -f ../msdos/sed4.inp <epaths.in >epaths.tmp |
440fb6df32c8
Use epaths.* instead of paths.*.
Eli Zaretskii <eliz@gnu.org>
parents:
24018
diff
changeset
|
146 update epaths.tmp epaths.h >nul |
440fb6df32c8
Use epaths.* instead of paths.*.
Eli Zaretskii <eliz@gnu.org>
parents:
24018
diff
changeset
|
147 rm -f epaths.tmp |
5484 | 148 |
149 rem Create "config.h" | |
9570 | 150 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
|
151 sed -e '' config.in > config.tmp |
7195
73d9c538cce2
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
5486
diff
changeset
|
152 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
|
153 sed -f ../msdos/sed2x.inp <config.in >config.tmp |
7195
73d9c538cce2
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
5486
diff
changeset
|
154 :src4 |
44634
f0c07caa514e
Update for msdos/sed2v2.inp.
Eli Zaretskii <eliz@gnu.org>
parents:
41433
diff
changeset
|
155 if "%DJGPP_VER%" == "2" Goto src41 |
9570 | 156 sed -f ../msdos/sed2.inp <config.tmp >config.h2 |
44634
f0c07caa514e
Update for msdos/sed2v2.inp.
Eli Zaretskii <eliz@gnu.org>
parents:
41433
diff
changeset
|
157 goto src42 |
f0c07caa514e
Update for msdos/sed2v2.inp.
Eli Zaretskii <eliz@gnu.org>
parents:
41433
diff
changeset
|
158 :src41 |
f0c07caa514e
Update for msdos/sed2v2.inp.
Eli Zaretskii <eliz@gnu.org>
parents:
41433
diff
changeset
|
159 sed -f ../msdos/sed2v2.inp <config.tmp >config.h2 |
f0c07caa514e
Update for msdos/sed2v2.inp.
Eli Zaretskii <eliz@gnu.org>
parents:
41433
diff
changeset
|
160 :src42 |
9570 | 161 update config.h2 config.h >nul |
162 rm -f config.tmp config.h2 | |
5484 | 163 |
164 rem On my system dir.h gets in the way. It's a VMS file so who cares. | |
165 if exist dir.h ren dir.h vmsdir.h | |
166 | |
12992
09c2ad9213dd
Simplify using new names file names src/makefile.in,
Richard M. Stallman <rms@gnu.org>
parents:
9570
diff
changeset
|
167 rem Create "makefile" from "makefile.in". |
20284
ff0f79a7b8b6
Configure the man subdirectory.
Eli Zaretskii <eliz@gnu.org>
parents:
19567
diff
changeset
|
168 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
|
169 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
|
170 If "%DJGPP_VER%" == "1" Goto mfV1 |
35137
6722a8132e56
Run the preprocessor with -traditional.
Eli Zaretskii <eliz@gnu.org>
parents:
33811
diff
changeset
|
171 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
|
172 goto mfDone |
63951d3f3995
Set djgpp-ver, and unset it at the end.
Richard M. Stallman <rms@gnu.org>
parents:
13927
diff
changeset
|
173 :mfV1 |
35137
6722a8132e56
Run the preprocessor with -traditional.
Eli Zaretskii <eliz@gnu.org>
parents:
33811
diff
changeset
|
174 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
|
175 :mfDone |
5486
c87d1cd3f62a
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
5484
diff
changeset
|
176 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
|
177 |
9570 | 178 if "%X11%" == "" goto src5 |
20284
ff0f79a7b8b6
Configure the man subdirectory.
Eli Zaretskii <eliz@gnu.org>
parents:
19567
diff
changeset
|
179 mv Makefile makefile.tmp |
ff0f79a7b8b6
Configure the man subdirectory.
Eli Zaretskii <eliz@gnu.org>
parents:
19567
diff
changeset
|
180 sed -f ../msdos/sed1x.inp <makefile.tmp >Makefile |
9570 | 181 rm -f makefile.tmp |
182 :src5 | |
183 | |
184 if "%nodebug%" == "" goto src6 | |
25169
827d4eface8f
Make --no-debug work again by removing -gcoff.
Eli Zaretskii <eliz@gnu.org>
parents:
24528
diff
changeset
|
185 sed -e "/^CFLAGS *=/s/ *-gcoff//" <Makefile >makefile.tmp |
20284
ff0f79a7b8b6
Configure the man subdirectory.
Eli Zaretskii <eliz@gnu.org>
parents:
19567
diff
changeset
|
186 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
|
187 rm -f makefile.tmp |
9570 | 188 :src6 |
5484 | 189 cd .. |
190 rem ---------------------------------------------------------------------- | |
191 Echo Configuring the library source directory... | |
192 cd lib-src | |
193 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
|
194 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
|
195 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
|
196 If "%DJGPP_VER%" == "2" goto libsrc-v2 |
20284
ff0f79a7b8b6
Configure the man subdirectory.
Eli Zaretskii <eliz@gnu.org>
parents:
19567
diff
changeset
|
197 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
|
198 Goto libsrc2 |
63951d3f3995
Set djgpp-ver, and unset it at the end.
Richard M. Stallman <rms@gnu.org>
parents:
13927
diff
changeset
|
199 :libsrc-v2 |
20284
ff0f79a7b8b6
Configure the man subdirectory.
Eli Zaretskii <eliz@gnu.org>
parents:
19567
diff
changeset
|
200 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
|
201 :libsrc2 |
9570 | 202 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
|
203 if "%nodebug%" == "" goto libsrc3 |
25169
827d4eface8f
Make --no-debug work again by removing -gcoff.
Eli Zaretskii <eliz@gnu.org>
parents:
24528
diff
changeset
|
204 sed -e "/^CFLAGS *=/s/ *-gcoff//" <Makefile >makefile.tmp |
20284
ff0f79a7b8b6
Configure the man subdirectory.
Eli Zaretskii <eliz@gnu.org>
parents:
19567
diff
changeset
|
205 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
|
206 rm -f makefile.tmp |
63951d3f3995
Set djgpp-ver, and unset it at the end.
Richard M. Stallman <rms@gnu.org>
parents:
13927
diff
changeset
|
207 :libsrc3 |
5484 | 208 cd .. |
209 rem ---------------------------------------------------------------------- | |
9570 | 210 if "%X11%" == "" goto oldx1 |
211 Echo Configuring the oldxmenu directory... | |
212 cd oldxmenu | |
20284
ff0f79a7b8b6
Configure the man subdirectory.
Eli Zaretskii <eliz@gnu.org>
parents:
19567
diff
changeset
|
213 sed -f ../msdos/sed5x.inp <Makefile.in >Makefile |
9570 | 214 if "%nodebug%" == "" goto oldx2 |
25169
827d4eface8f
Make --no-debug work again by removing -gcoff.
Eli Zaretskii <eliz@gnu.org>
parents:
24528
diff
changeset
|
215 sed -e "/^CFLAGS *=/s/ *-gcoff//" <Makefile >makefile.tmp |
20284
ff0f79a7b8b6
Configure the man subdirectory.
Eli Zaretskii <eliz@gnu.org>
parents:
19567
diff
changeset
|
216 mv -f makefile.tmp Makefile |
9570 | 217 :oldx2 |
218 cd .. | |
219 :oldx1 | |
220 rem ---------------------------------------------------------------------- | |
20284
ff0f79a7b8b6
Configure the man subdirectory.
Eli Zaretskii <eliz@gnu.org>
parents:
19567
diff
changeset
|
221 Echo Configuring the manual directory... |
ff0f79a7b8b6
Configure the man subdirectory.
Eli Zaretskii <eliz@gnu.org>
parents:
19567
diff
changeset
|
222 cd man |
ff0f79a7b8b6
Configure the man subdirectory.
Eli Zaretskii <eliz@gnu.org>
parents:
19567
diff
changeset
|
223 sed -f ../msdos/sed6.inp < Makefile.in > Makefile |
ff0f79a7b8b6
Configure the man subdirectory.
Eli Zaretskii <eliz@gnu.org>
parents:
19567
diff
changeset
|
224 cd .. |
ff0f79a7b8b6
Configure the man subdirectory.
Eli Zaretskii <eliz@gnu.org>
parents:
19567
diff
changeset
|
225 rem ---------------------------------------------------------------------- |
40878 | 226 Echo Configuring the ELisp manual directory... |
227 cd lispref | |
228 sed -f ../msdos/sed6.inp < Makefile.in > Makefile | |
229 cd .. | |
230 rem ---------------------------------------------------------------------- | |
41433
8d949ca10e38
Configure in the lispintro directory.
Eli Zaretskii <eliz@gnu.org>
parents:
40878
diff
changeset
|
231 Echo Configuring the ELisp Introduction manual directory... |
8d949ca10e38
Configure in the lispintro directory.
Eli Zaretskii <eliz@gnu.org>
parents:
40878
diff
changeset
|
232 cd lispintro |
8d949ca10e38
Configure in the lispintro directory.
Eli Zaretskii <eliz@gnu.org>
parents:
40878
diff
changeset
|
233 sed -f ../msdos/sed6.inp < Makefile.in > Makefile |
8d949ca10e38
Configure in the lispintro directory.
Eli Zaretskii <eliz@gnu.org>
parents:
40878
diff
changeset
|
234 cd .. |
8d949ca10e38
Configure in the lispintro directory.
Eli Zaretskii <eliz@gnu.org>
parents:
40878
diff
changeset
|
235 rem ---------------------------------------------------------------------- |
29677
7e7a2522a302
Generate lisp/Makefile from lisp/Makefile.in.
Eli Zaretskii <eliz@gnu.org>
parents:
28767
diff
changeset
|
236 Echo Configuring the lisp directory... |
7e7a2522a302
Generate lisp/Makefile from lisp/Makefile.in.
Eli Zaretskii <eliz@gnu.org>
parents:
28767
diff
changeset
|
237 cd lisp |
7e7a2522a302
Generate lisp/Makefile from lisp/Makefile.in.
Eli Zaretskii <eliz@gnu.org>
parents:
28767
diff
changeset
|
238 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
|
239 cd .. |
7e7a2522a302
Generate lisp/Makefile from lisp/Makefile.in.
Eli Zaretskii <eliz@gnu.org>
parents:
28767
diff
changeset
|
240 rem ---------------------------------------------------------------------- |
24018
b918e6330d6e
Support configuring with leim.
Eli Zaretskii <eliz@gnu.org>
parents:
21582
diff
changeset
|
241 If not Exist leim\quail\latin-pre.el goto maindir |
b918e6330d6e
Support configuring with leim.
Eli Zaretskii <eliz@gnu.org>
parents:
21582
diff
changeset
|
242 Echo Configuring the leim directory... |
b918e6330d6e
Support configuring with leim.
Eli Zaretskii <eliz@gnu.org>
parents:
21582
diff
changeset
|
243 cd leim |
b918e6330d6e
Support configuring with leim.
Eli Zaretskii <eliz@gnu.org>
parents:
21582
diff
changeset
|
244 sed -f ../msdos/sedleim.inp < Makefile.in > Makefile |
b918e6330d6e
Support configuring with leim.
Eli Zaretskii <eliz@gnu.org>
parents:
21582
diff
changeset
|
245 cd .. |
b918e6330d6e
Support configuring with leim.
Eli Zaretskii <eliz@gnu.org>
parents:
21582
diff
changeset
|
246 rem ---------------------------------------------------------------------- |
b918e6330d6e
Support configuring with leim.
Eli Zaretskii <eliz@gnu.org>
parents:
21582
diff
changeset
|
247 :maindir |
5484 | 248 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
|
249 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
|
250 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
|
251 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
|
252 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
|
253 Echo ERROR: |
6f4dd53a62d4
Make sure the GDB init file is called src/_gdbinit;
Richard M. Stallman <rms@gnu.org>
parents:
15020
diff
changeset
|
254 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
|
255 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
|
256 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
|
257 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
|
258 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
|
259 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
|
260 goto End |
6f4dd53a62d4
Make sure the GDB init file is called src/_gdbinit;
Richard M. Stallman <rms@gnu.org>
parents:
15020
diff
changeset
|
261 :gdbinitOk |
6f4dd53a62d4
Make sure the GDB init file is called src/_gdbinit;
Richard M. Stallman <rms@gnu.org>
parents:
15020
diff
changeset
|
262 Echo Looking for the GDB init file...found |
20284
ff0f79a7b8b6
Configure the man subdirectory.
Eli Zaretskii <eliz@gnu.org>
parents:
19567
diff
changeset
|
263 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
|
264 :mainv1 |
20284
ff0f79a7b8b6
Configure the man subdirectory.
Eli Zaretskii <eliz@gnu.org>
parents:
19567
diff
changeset
|
265 If "%DJGPP_VER%" == "1" copy msdos\mainmake Makefile >nul |
5484 | 266 rem ---------------------------------------------------------------------- |
21582
4c2b38ea02fe
Make sure the environment is large enough to accomodate
Eli Zaretskii <eliz@gnu.org>
parents:
20284
diff
changeset
|
267 goto End |
4c2b38ea02fe
Make sure the environment is large enough to accomodate
Eli Zaretskii <eliz@gnu.org>
parents:
20284
diff
changeset
|
268 :SmallEnv |
4c2b38ea02fe
Make sure the environment is large enough to accomodate
Eli Zaretskii <eliz@gnu.org>
parents:
20284
diff
changeset
|
269 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
|
270 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
|
271 set $foo$= |
5484 | 272 :end |
7195
73d9c538cce2
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
5486
diff
changeset
|
273 set X11= |
9570 | 274 set nodebug= |
15007
5baafbcd9dc2
(djgpp_ver): Variable renamed from djgpp-ver.
Richard M. Stallman <rms@gnu.org>
parents:
14976
diff
changeset
|
275 set djgpp_ver= |