annotate config.bat @ 34645:a99432ee1fcb

*** empty log message ***
author Andrew Innes <andrewi@gnu.org>
date Sun, 17 Dec 2000 23:16:42 +0000
parents e1e1d5816d44
children 6722a8132e56
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
5484
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
1 @echo off
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
2 rem ----------------------------------------------------------------------
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
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
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
6 rem This file is part of GNU Emacs.
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
7
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
8 rem GNU Emacs is free software; you can redistribute it and/or modify
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
9 rem it under the terms of the GNU General Public License as published by
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
10 rem the Free Software Foundation; either version 2, or (at your option)
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
11 rem any later version.
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
12
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
13 rem GNU Emacs is distributed in the hope that it will be useful,
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
14 rem but WITHOUT ANY WARRANTY; without even the implied warranty of
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
15 rem MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
16 rem GNU General Public License for more details.
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
17
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
18 rem You should have received a copy of the GNU General Public License
15742
80562f089595 Fix FSF address in comment.
Karl Heuer <kwzh@gnu.org>
parents: 15023
diff changeset
19 rem along with GNU Emacs; see the file COPYING. If not, write to the
80562f089595 Fix FSF address in comment.
Karl Heuer <kwzh@gnu.org>
parents: 15023
diff changeset
20 rem Free Software Foundation, Inc., 59 Temple Place - Suite 330,
80562f089595 Fix FSF address in comment.
Karl Heuer <kwzh@gnu.org>
parents: 15023
diff changeset
21 rem Boston, MA 02111-1307, USA.
5484
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
22 rem ----------------------------------------------------------------------
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
23 rem YOU'LL NEED THE FOLLOWING UTILITIES TO MAKE EMACS:
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
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
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
37 rem ----------------------------------------------------------------------
9570
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
38 set X11=
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
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
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
47 :again
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
48 if "%1" == "" goto usage
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
49 if "%1" == "--with-x" goto withx
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
50 if "%1" == "--no-debug" goto nodebug
5484
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
51 if "%1" == "msdos" goto msdos
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
52 :usage
9570
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
53 echo Usage: config [--with-x] [--no-debug] msdos
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
54 echo [Read the script before you run it.]
5484
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
55 goto end
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
56 rem ----------------------------------------------------------------------
9570
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
57 :withx
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
58 set X11=Y
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
59 shift
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
60 goto again
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
61 rem ----------------------------------------------------------------------
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
62 :nodebug
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
63 set nodebug=Y
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
64 shift
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
65 goto again
7195
73d9c538cce2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 5486
diff changeset
66 rem ----------------------------------------------------------------------
5484
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
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
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
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
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
72 Goto End
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
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
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
75 rm -f junk.$$$
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
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
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
78 Goto End
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
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
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
81 rm -f junk.1 junk.2
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
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
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
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
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
86 rm -f junk.1
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
87 Goto End
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
88 :mvOk
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
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
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
91 echo main(){} >junk.c
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
92 gcc -c junk.c
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
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
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
95 rm -f junk.c
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
96 Goto End
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
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
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
139 Rem ----------------------------------------------------------------------
5484
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
140 Echo Configuring the source directory...
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
141 cd src
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
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
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
147
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
148 rem Create "config.h"
9570
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
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
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
154 sed -f ../msdos/sed2.inp <config.tmp >config.h2
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
155 update config.h2 config.h >nul
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
156 rm -f config.tmp config.h2
5484
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
157
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
158 rem On my system dir.h gets in the way. It's a VMS file so who cares.
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
159 if exist dir.h ren dir.h vmsdir.h
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
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
20284
ff0f79a7b8b6 Configure the man subdirectory.
Eli Zaretskii <eliz@gnu.org>
parents: 19567
diff changeset
165 gcc -E 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
20284
ff0f79a7b8b6 Configure the man subdirectory.
Eli Zaretskii <eliz@gnu.org>
parents: 19567
diff changeset
168 gcc -E 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
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
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
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
175 rm -f makefile.tmp
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
176 :src5
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
177
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
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
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
182 :src6
5484
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
183 cd ..
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
184 rem ----------------------------------------------------------------------
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
185 Echo Configuring the library source directory...
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
186 cd lib-src
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
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
12992
09c2ad9213dd Simplify using new names file names src/makefile.in,
Richard M. Stallman <rms@gnu.org>
parents: 9570
diff changeset
189 gcc -E -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
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
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
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
202 cd ..
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
203 rem ----------------------------------------------------------------------
9570
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
204 if "%X11%" == "" goto oldx1
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
205 Echo Configuring the oldxmenu directory...
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
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
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
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
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
211 :oldx2
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
212 cd ..
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
213 :oldx1
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
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
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
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
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
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
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
256 :end
7195
73d9c538cce2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 5486
diff changeset
257 set X11=
9570
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
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=