Mercurial > emacs
annotate config.bat @ 38709:00a56d6da660
(image-type-regexps): Use `\`' instead of `^' in
most regular expressions.
| author | Gerd Moellmann <gerd@gnu.org> |
|---|---|
| date | Tue, 07 Aug 2001 08:03:10 +0000 |
| parents | 6fd0d497fc9c |
| children | 0c8e49f72976 |
| 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 |
| 9570 | 155 sed -f ../msdos/sed2.inp <config.tmp >config.h2 |
| 156 update config.h2 config.h >nul | |
| 157 rm -f config.tmp config.h2 | |
| 5484 | 158 |
| 159 rem On my system dir.h gets in the way. It's a VMS file so who cares. | |
| 160 if exist dir.h ren dir.h vmsdir.h | |
| 161 | |
|
12992
09c2ad9213dd
Simplify using new names file names src/makefile.in,
Richard M. Stallman <rms@gnu.org>
parents:
9570
diff
changeset
|
162 rem Create "makefile" from "makefile.in". |
|
20284
ff0f79a7b8b6
Configure the man subdirectory.
Eli Zaretskii <eliz@gnu.org>
parents:
19567
diff
changeset
|
163 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
|
164 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
|
165 If "%DJGPP_VER%" == "1" Goto mfV1 |
|
35137
6722a8132e56
Run the preprocessor with -traditional.
Eli Zaretskii <eliz@gnu.org>
parents:
33811
diff
changeset
|
166 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
|
167 goto mfDone |
|
63951d3f3995
Set djgpp-ver, and unset it at the end.
Richard M. Stallman <rms@gnu.org>
parents:
13927
diff
changeset
|
168 :mfV1 |
|
35137
6722a8132e56
Run the preprocessor with -traditional.
Eli Zaretskii <eliz@gnu.org>
parents:
33811
diff
changeset
|
169 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
|
170 :mfDone |
|
5486
c87d1cd3f62a
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
5484
diff
changeset
|
171 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
|
172 |
| 9570 | 173 if "%X11%" == "" goto src5 |
|
20284
ff0f79a7b8b6
Configure the man subdirectory.
Eli Zaretskii <eliz@gnu.org>
parents:
19567
diff
changeset
|
174 mv Makefile makefile.tmp |
|
ff0f79a7b8b6
Configure the man subdirectory.
Eli Zaretskii <eliz@gnu.org>
parents:
19567
diff
changeset
|
175 sed -f ../msdos/sed1x.inp <makefile.tmp >Makefile |
| 9570 | 176 rm -f makefile.tmp |
| 177 :src5 | |
| 178 | |
| 179 if "%nodebug%" == "" goto src6 | |
|
25169
827d4eface8f
Make --no-debug work again by removing -gcoff.
Eli Zaretskii <eliz@gnu.org>
parents:
24528
diff
changeset
|
180 sed -e "/^CFLAGS *=/s/ *-gcoff//" <Makefile >makefile.tmp |
|
20284
ff0f79a7b8b6
Configure the man subdirectory.
Eli Zaretskii <eliz@gnu.org>
parents:
19567
diff
changeset
|
181 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
|
182 rm -f makefile.tmp |
| 9570 | 183 :src6 |
| 5484 | 184 cd .. |
| 185 rem ---------------------------------------------------------------------- | |
| 186 Echo Configuring the library source directory... | |
| 187 cd lib-src | |
| 188 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
|
189 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
|
190 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
|
191 If "%DJGPP_VER%" == "2" goto libsrc-v2 |
|
20284
ff0f79a7b8b6
Configure the man subdirectory.
Eli Zaretskii <eliz@gnu.org>
parents:
19567
diff
changeset
|
192 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
|
193 Goto libsrc2 |
|
63951d3f3995
Set djgpp-ver, and unset it at the end.
Richard M. Stallman <rms@gnu.org>
parents:
13927
diff
changeset
|
194 :libsrc-v2 |
|
20284
ff0f79a7b8b6
Configure the man subdirectory.
Eli Zaretskii <eliz@gnu.org>
parents:
19567
diff
changeset
|
195 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
|
196 :libsrc2 |
| 9570 | 197 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
|
198 if "%nodebug%" == "" goto libsrc3 |
|
25169
827d4eface8f
Make --no-debug work again by removing -gcoff.
Eli Zaretskii <eliz@gnu.org>
parents:
24528
diff
changeset
|
199 sed -e "/^CFLAGS *=/s/ *-gcoff//" <Makefile >makefile.tmp |
|
20284
ff0f79a7b8b6
Configure the man subdirectory.
Eli Zaretskii <eliz@gnu.org>
parents:
19567
diff
changeset
|
200 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
|
201 rm -f makefile.tmp |
|
63951d3f3995
Set djgpp-ver, and unset it at the end.
Richard M. Stallman <rms@gnu.org>
parents:
13927
diff
changeset
|
202 :libsrc3 |
| 5484 | 203 cd .. |
| 204 rem ---------------------------------------------------------------------- | |
| 9570 | 205 if "%X11%" == "" goto oldx1 |
| 206 Echo Configuring the oldxmenu directory... | |
| 207 cd oldxmenu | |
|
20284
ff0f79a7b8b6
Configure the man subdirectory.
Eli Zaretskii <eliz@gnu.org>
parents:
19567
diff
changeset
|
208 sed -f ../msdos/sed5x.inp <Makefile.in >Makefile |
| 9570 | 209 if "%nodebug%" == "" goto oldx2 |
|
25169
827d4eface8f
Make --no-debug work again by removing -gcoff.
Eli Zaretskii <eliz@gnu.org>
parents:
24528
diff
changeset
|
210 sed -e "/^CFLAGS *=/s/ *-gcoff//" <Makefile >makefile.tmp |
|
20284
ff0f79a7b8b6
Configure the man subdirectory.
Eli Zaretskii <eliz@gnu.org>
parents:
19567
diff
changeset
|
211 mv -f makefile.tmp Makefile |
| 9570 | 212 :oldx2 |
| 213 cd .. | |
| 214 :oldx1 | |
| 215 rem ---------------------------------------------------------------------- | |
|
20284
ff0f79a7b8b6
Configure the man subdirectory.
Eli Zaretskii <eliz@gnu.org>
parents:
19567
diff
changeset
|
216 Echo Configuring the manual directory... |
|
ff0f79a7b8b6
Configure the man subdirectory.
Eli Zaretskii <eliz@gnu.org>
parents:
19567
diff
changeset
|
217 cd man |
|
ff0f79a7b8b6
Configure the man subdirectory.
Eli Zaretskii <eliz@gnu.org>
parents:
19567
diff
changeset
|
218 sed -f ../msdos/sed6.inp < Makefile.in > Makefile |
|
ff0f79a7b8b6
Configure the man subdirectory.
Eli Zaretskii <eliz@gnu.org>
parents:
19567
diff
changeset
|
219 cd .. |
|
ff0f79a7b8b6
Configure the man subdirectory.
Eli Zaretskii <eliz@gnu.org>
parents:
19567
diff
changeset
|
220 rem ---------------------------------------------------------------------- |
|
29677
7e7a2522a302
Generate lisp/Makefile from lisp/Makefile.in.
Eli Zaretskii <eliz@gnu.org>
parents:
28767
diff
changeset
|
221 Echo Configuring the lisp directory... |
|
7e7a2522a302
Generate lisp/Makefile from lisp/Makefile.in.
Eli Zaretskii <eliz@gnu.org>
parents:
28767
diff
changeset
|
222 cd lisp |
|
7e7a2522a302
Generate lisp/Makefile from lisp/Makefile.in.
Eli Zaretskii <eliz@gnu.org>
parents:
28767
diff
changeset
|
223 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
|
224 cd .. |
|
7e7a2522a302
Generate lisp/Makefile from lisp/Makefile.in.
Eli Zaretskii <eliz@gnu.org>
parents:
28767
diff
changeset
|
225 rem ---------------------------------------------------------------------- |
|
24018
b918e6330d6e
Support configuring with leim.
Eli Zaretskii <eliz@gnu.org>
parents:
21582
diff
changeset
|
226 If not Exist leim\quail\latin-pre.el goto maindir |
|
b918e6330d6e
Support configuring with leim.
Eli Zaretskii <eliz@gnu.org>
parents:
21582
diff
changeset
|
227 Echo Configuring the leim directory... |
|
b918e6330d6e
Support configuring with leim.
Eli Zaretskii <eliz@gnu.org>
parents:
21582
diff
changeset
|
228 cd leim |
|
b918e6330d6e
Support configuring with leim.
Eli Zaretskii <eliz@gnu.org>
parents:
21582
diff
changeset
|
229 sed -f ../msdos/sedleim.inp < Makefile.in > Makefile |
|
b918e6330d6e
Support configuring with leim.
Eli Zaretskii <eliz@gnu.org>
parents:
21582
diff
changeset
|
230 cd .. |
|
b918e6330d6e
Support configuring with leim.
Eli Zaretskii <eliz@gnu.org>
parents:
21582
diff
changeset
|
231 rem ---------------------------------------------------------------------- |
|
b918e6330d6e
Support configuring with leim.
Eli Zaretskii <eliz@gnu.org>
parents:
21582
diff
changeset
|
232 :maindir |
| 5484 | 233 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
|
234 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
|
235 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
|
236 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
|
237 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
|
238 Echo ERROR: |
|
6f4dd53a62d4
Make sure the GDB init file is called src/_gdbinit;
Richard M. Stallman <rms@gnu.org>
parents:
15020
diff
changeset
|
239 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
|
240 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
|
241 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
|
242 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
|
243 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
|
244 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
|
245 goto End |
|
6f4dd53a62d4
Make sure the GDB init file is called src/_gdbinit;
Richard M. Stallman <rms@gnu.org>
parents:
15020
diff
changeset
|
246 :gdbinitOk |
|
6f4dd53a62d4
Make sure the GDB init file is called src/_gdbinit;
Richard M. Stallman <rms@gnu.org>
parents:
15020
diff
changeset
|
247 Echo Looking for the GDB init file...found |
|
20284
ff0f79a7b8b6
Configure the man subdirectory.
Eli Zaretskii <eliz@gnu.org>
parents:
19567
diff
changeset
|
248 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
|
249 :mainv1 |
|
20284
ff0f79a7b8b6
Configure the man subdirectory.
Eli Zaretskii <eliz@gnu.org>
parents:
19567
diff
changeset
|
250 If "%DJGPP_VER%" == "1" copy msdos\mainmake Makefile >nul |
| 5484 | 251 rem ---------------------------------------------------------------------- |
|
21582
4c2b38ea02fe
Make sure the environment is large enough to accomodate
Eli Zaretskii <eliz@gnu.org>
parents:
20284
diff
changeset
|
252 goto End |
|
4c2b38ea02fe
Make sure the environment is large enough to accomodate
Eli Zaretskii <eliz@gnu.org>
parents:
20284
diff
changeset
|
253 :SmallEnv |
|
4c2b38ea02fe
Make sure the environment is large enough to accomodate
Eli Zaretskii <eliz@gnu.org>
parents:
20284
diff
changeset
|
254 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
|
255 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
|
256 set $foo$= |
| 5484 | 257 :end |
|
7195
73d9c538cce2
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
5486
diff
changeset
|
258 set X11= |
| 9570 | 259 set nodebug= |
|
15007
5baafbcd9dc2
(djgpp_ver): Variable renamed from djgpp-ver.
Richard M. Stallman <rms@gnu.org>
parents:
14976
diff
changeset
|
260 set djgpp_ver= |
