annotate config.bat @ 41433:8d949ca10e38

Configure in the lispintro directory.
author Eli Zaretskii <eliz@gnu.org>
date Sat, 24 Nov 2001 11:41:08 +0000
parents 0c8e49f72976
children f0c07caa514e
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
36511
6fd0d497fc9c Update the copyright.
Eli Zaretskii <eliz@gnu.org>
parents: 35137
diff changeset
4 rem Copyright (C) 1994, 1995, 1996, 1997, 1998, 1999, 2001
6fd0d497fc9c Update the copyright.
Eli Zaretskii <eliz@gnu.org>
parents: 35137
diff changeset
5 rem Free Software Foundation, Inc.
7195
73d9c538cce2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 5486
diff changeset
6
5484
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
7 rem This file is part of GNU Emacs.
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
8
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
9 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
10 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
11 rem the Free Software Foundation; either version 2, or (at your option)
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
12 rem any later version.
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
13
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
14 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
15 rem but WITHOUT ANY WARRANTY; without even the implied warranty of
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
16 rem MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
17 rem GNU General Public License for more details.
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
18
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
19 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
20 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
21 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
22 rem Boston, MA 02111-1307, USA.
5484
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
23 rem ----------------------------------------------------------------------
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
24 rem YOU'LL NEED THE FOLLOWING UTILITIES TO MAKE EMACS:
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
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
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
38 rem ----------------------------------------------------------------------
9570
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
39 set X11=
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
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
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
48 :again
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
49 if "%1" == "" goto usage
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
50 if "%1" == "--with-x" goto withx
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
51 if "%1" == "--no-debug" goto nodebug
5484
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
52 if "%1" == "msdos" goto msdos
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
53 :usage
9570
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
54 echo Usage: config [--with-x] [--no-debug] msdos
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
55 echo [Read the script before you run it.]
5484
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
56 goto end
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
57 rem ----------------------------------------------------------------------
9570
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
58 :withx
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
59 set X11=Y
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
60 shift
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
61 goto again
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
62 rem ----------------------------------------------------------------------
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
63 :nodebug
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
64 set nodebug=Y
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
65 shift
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
66 goto again
7195
73d9c538cce2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 5486
diff changeset
67 rem ----------------------------------------------------------------------
5484
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
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
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
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
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
73 Goto End
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
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
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
76 rm -f junk.$$$
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
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
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
79 Goto End
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
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
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
82 rm -f junk.1 junk.2
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
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
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
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
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
87 rm -f junk.1
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
88 Goto End
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
89 :mvOk
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
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
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
92 echo main(){} >junk.c
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
93 gcc -c junk.c
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
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
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
96 rm -f junk.c
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
97 Goto End
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
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
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
140 Rem ----------------------------------------------------------------------
5484
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
141 Echo Configuring the source directory...
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
142 cd src
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
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
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
148
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
149 rem Create "config.h"
9570
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
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
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
155 sed -f ../msdos/sed2.inp <config.tmp >config.h2
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
156 update config.h2 config.h >nul
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
157 rm -f config.tmp config.h2
5484
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
158
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
159 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
160 if exist dir.h ren dir.h vmsdir.h
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
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
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
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
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
176 rm -f makefile.tmp
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
177 :src5
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
178
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
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
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
183 :src6
5484
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
184 cd ..
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
185 rem ----------------------------------------------------------------------
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
186 Echo Configuring the library source directory...
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
187 cd lib-src
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
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
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
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
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
203 cd ..
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
204 rem ----------------------------------------------------------------------
9570
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
205 if "%X11%" == "" goto oldx1
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
206 Echo Configuring the oldxmenu directory...
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
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
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
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
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
212 :oldx2
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
213 cd ..
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
214 :oldx1
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
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 ----------------------------------------------------------------------
40878
0c8e49f72976 Configure in `lispref'.
Eli Zaretskii <eliz@gnu.org>
parents: 36511
diff changeset
221 Echo Configuring the ELisp manual directory...
0c8e49f72976 Configure in `lispref'.
Eli Zaretskii <eliz@gnu.org>
parents: 36511
diff changeset
222 cd lispref
0c8e49f72976 Configure in `lispref'.
Eli Zaretskii <eliz@gnu.org>
parents: 36511
diff changeset
223 sed -f ../msdos/sed6.inp < Makefile.in > Makefile
0c8e49f72976 Configure in `lispref'.
Eli Zaretskii <eliz@gnu.org>
parents: 36511
diff changeset
224 cd ..
0c8e49f72976 Configure in `lispref'.
Eli Zaretskii <eliz@gnu.org>
parents: 36511
diff changeset
225 rem ----------------------------------------------------------------------
41433
8d949ca10e38 Configure in the lispintro directory.
Eli Zaretskii <eliz@gnu.org>
parents: 40878
diff changeset
226 Echo Configuring the ELisp Introduction manual directory...
8d949ca10e38 Configure in the lispintro directory.
Eli Zaretskii <eliz@gnu.org>
parents: 40878
diff changeset
227 cd lispintro
8d949ca10e38 Configure in the lispintro directory.
Eli Zaretskii <eliz@gnu.org>
parents: 40878
diff changeset
228 sed -f ../msdos/sed6.inp < Makefile.in > Makefile
8d949ca10e38 Configure in the lispintro directory.
Eli Zaretskii <eliz@gnu.org>
parents: 40878
diff changeset
229 cd ..
8d949ca10e38 Configure in the lispintro directory.
Eli Zaretskii <eliz@gnu.org>
parents: 40878
diff changeset
230 rem ----------------------------------------------------------------------
29677
7e7a2522a302 Generate lisp/Makefile from lisp/Makefile.in.
Eli Zaretskii <eliz@gnu.org>
parents: 28767
diff changeset
231 Echo Configuring the lisp directory...
7e7a2522a302 Generate lisp/Makefile from lisp/Makefile.in.
Eli Zaretskii <eliz@gnu.org>
parents: 28767
diff changeset
232 cd lisp
7e7a2522a302 Generate lisp/Makefile from lisp/Makefile.in.
Eli Zaretskii <eliz@gnu.org>
parents: 28767
diff changeset
233 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
234 cd ..
7e7a2522a302 Generate lisp/Makefile from lisp/Makefile.in.
Eli Zaretskii <eliz@gnu.org>
parents: 28767
diff changeset
235 rem ----------------------------------------------------------------------
24018
b918e6330d6e Support configuring with leim.
Eli Zaretskii <eliz@gnu.org>
parents: 21582
diff changeset
236 If not Exist leim\quail\latin-pre.el goto maindir
b918e6330d6e Support configuring with leim.
Eli Zaretskii <eliz@gnu.org>
parents: 21582
diff changeset
237 Echo Configuring the leim directory...
b918e6330d6e Support configuring with leim.
Eli Zaretskii <eliz@gnu.org>
parents: 21582
diff changeset
238 cd leim
b918e6330d6e Support configuring with leim.
Eli Zaretskii <eliz@gnu.org>
parents: 21582
diff changeset
239 sed -f ../msdos/sedleim.inp < Makefile.in > Makefile
b918e6330d6e Support configuring with leim.
Eli Zaretskii <eliz@gnu.org>
parents: 21582
diff changeset
240 cd ..
b918e6330d6e Support configuring with leim.
Eli Zaretskii <eliz@gnu.org>
parents: 21582
diff changeset
241 rem ----------------------------------------------------------------------
b918e6330d6e Support configuring with leim.
Eli Zaretskii <eliz@gnu.org>
parents: 21582
diff changeset
242 :maindir
5484
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
243 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
244 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
245 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
246 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
247 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
248 Echo ERROR:
6f4dd53a62d4 Make sure the GDB init file is called src/_gdbinit;
Richard M. Stallman <rms@gnu.org>
parents: 15020
diff changeset
249 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
250 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
251 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
252 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
253 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
254 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
255 goto End
6f4dd53a62d4 Make sure the GDB init file is called src/_gdbinit;
Richard M. Stallman <rms@gnu.org>
parents: 15020
diff changeset
256 :gdbinitOk
6f4dd53a62d4 Make sure the GDB init file is called src/_gdbinit;
Richard M. Stallman <rms@gnu.org>
parents: 15020
diff changeset
257 Echo Looking for the GDB init file...found
20284
ff0f79a7b8b6 Configure the man subdirectory.
Eli Zaretskii <eliz@gnu.org>
parents: 19567
diff changeset
258 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
259 :mainv1
20284
ff0f79a7b8b6 Configure the man subdirectory.
Eli Zaretskii <eliz@gnu.org>
parents: 19567
diff changeset
260 If "%DJGPP_VER%" == "1" copy msdos\mainmake Makefile >nul
5484
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
261 rem ----------------------------------------------------------------------
21582
4c2b38ea02fe Make sure the environment is large enough to accomodate
Eli Zaretskii <eliz@gnu.org>
parents: 20284
diff changeset
262 goto End
4c2b38ea02fe Make sure the environment is large enough to accomodate
Eli Zaretskii <eliz@gnu.org>
parents: 20284
diff changeset
263 :SmallEnv
4c2b38ea02fe Make sure the environment is large enough to accomodate
Eli Zaretskii <eliz@gnu.org>
parents: 20284
diff changeset
264 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
265 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
266 set $foo$=
5484
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
267 :end
7195
73d9c538cce2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 5486
diff changeset
268 set X11=
9570
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
269 set nodebug=
15007
5baafbcd9dc2 (djgpp_ver): Variable renamed from djgpp-ver.
Richard M. Stallman <rms@gnu.org>
parents: 14976
diff changeset
270 set djgpp_ver=