annotate config.bat @ 21361:f270e8ad8276

(webjump): Use assoc-ignore-case for locating the proper URL.
author Richard M. Stallman <rms@gnu.org>
date Sun, 05 Apr 1998 03:19:59 +0000
parents ff0f79a7b8b6
children 4c2b38ea02fe
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
63951d3f3995 Set djgpp-ver, and unset it at the end.
Richard M. Stallman <rms@gnu.org>
parents: 13927
diff changeset
34 rem repository, e.g. ftp.coast.net, in the directories
63951d3f3995 Set djgpp-ver, and unset it at the end.
Richard M. Stallman <rms@gnu.org>
parents: 13927
diff changeset
35 rem "SimTel/vendors/djgpp" and "SimTel/vendors/gnu/gnuish/dos_only". As
63951d3f3995 Set djgpp-ver, and unset it at the end.
Richard M. Stallman <rms@gnu.org>
parents: 13927
diff changeset
36 rem usual, please use your local mirroring site to reduce trans-Atlantic
63951d3f3995 Set djgpp-ver, and unset it at the end.
Richard M. Stallman <rms@gnu.org>
parents: 13927
diff changeset
37 rem 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=
9570
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
42 :again
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
43 if "%1" == "" goto usage
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
44 if "%1" == "--with-x" goto withx
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
45 if "%1" == "--no-debug" goto nodebug
5484
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
46 if "%1" == "msdos" goto msdos
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
47 :usage
9570
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
48 echo Usage: config [--with-x] [--no-debug] msdos
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
49 echo [Read the script before you run it.]
5484
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
50 goto end
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
51 rem ----------------------------------------------------------------------
9570
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
52 :withx
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
53 set X11=Y
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
54 shift
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
55 goto again
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
56 rem ----------------------------------------------------------------------
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
57 :nodebug
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
58 set nodebug=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
7195
73d9c538cce2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 5486
diff changeset
61 rem ----------------------------------------------------------------------
5484
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
62 :msdos
12992
09c2ad9213dd Simplify using new names file names src/makefile.in,
Richard M. Stallman <rms@gnu.org>
parents: 9570
diff changeset
63 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
64 sed -e "w junk.$$$" <Nul
9570
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
65 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
66 Echo To configure 'Emacs' you need to have 'sed'!
9570
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
67 Goto End
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
68 :sedOk
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 'rm' is available...
9570
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
70 rm -f junk.$$$
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
71 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
72 Echo To configure 'Emacs' you need to have 'rm'!
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 :rmOk
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 'mv' is available...
9570
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
76 rm -f junk.1 junk.2
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
77 echo foo >junk.1
16489
a6df390c0f5e Make sure `mv' supports forward slashes and -f.
Richard M. Stallman <rms@gnu.org>
parents: 15742
diff changeset
78 mv junk.1 ./junk.2
9570
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
79 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
80 Echo To configure 'Emacs' you need to have 'mv'!
9570
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
81 rm -f junk.1
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
82 Goto End
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
83 :mvOk
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
84 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
85 Echo Checking whether 'gcc' is available...
9570
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
86 echo main(){} >junk.c
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
87 gcc -c junk.c
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
88 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
89 Echo To configure 'Emacs' you need to have 'gcc'!
9570
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
90 rm -f junk.c
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
91 Goto End
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
92 :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
93 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
94 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
95 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
96 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
97 Goto End
63951d3f3995 Set djgpp-ver, and unset it at the end.
Richard M. Stallman <rms@gnu.org>
parents: 13927
diff changeset
98 :djgppOk
63951d3f3995 Set djgpp-ver, and unset it at the end.
Richard M. Stallman <rms@gnu.org>
parents: 13927
diff changeset
99 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
100 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
101 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
102 echo #else >>junk.c
63951d3f3995 Set djgpp-ver, and unset it at the end.
Richard M. Stallman <rms@gnu.org>
parents: 13927
diff changeset
103 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
104 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
105 echo #else >>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 0;} >>junk.c
63951d3f3995 Set djgpp-ver, and unset it at the end.
Richard M. Stallman <rms@gnu.org>
parents: 13927
diff changeset
107 echo #endif >>junk.c
63951d3f3995 Set djgpp-ver, and unset it at the end.
Richard M. Stallman <rms@gnu.org>
parents: 13927
diff changeset
108 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
109 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
110 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
111 junk
63951d3f3995 Set djgpp-ver, and unset it at the end.
Richard M. Stallman <rms@gnu.org>
parents: 13927
diff changeset
112 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
113 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
114 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
115 Goto End
63951d3f3995 Set djgpp-ver, and unset it at the end.
Richard M. Stallman <rms@gnu.org>
parents: 13927
diff changeset
116 :go32Ok
15007
5baafbcd9dc2 (djgpp_ver): Variable renamed from djgpp-ver.
Richard M. Stallman <rms@gnu.org>
parents: 14976
diff changeset
117 set djgpp_ver=1
5baafbcd9dc2 (djgpp_ver): Variable renamed from djgpp-ver.
Richard M. Stallman <rms@gnu.org>
parents: 14976
diff changeset
118 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
119 rm -f junk.c junk junk.exe
15007
5baafbcd9dc2 (djgpp_ver): Variable renamed from djgpp-ver.
Richard M. Stallman <rms@gnu.org>
parents: 14976
diff changeset
120 Echo Configuring for DJGPP Version %DJGPP_VER% ...
9570
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
121 Rem ----------------------------------------------------------------------
5484
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
122 Echo Configuring the source directory...
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
123 cd src
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
124
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
125 rem Create "paths.h"
12992
09c2ad9213dd Simplify using new names file names src/makefile.in,
Richard M. Stallman <rms@gnu.org>
parents: 9570
diff changeset
126 sed -f ../msdos/sed4.inp <paths.in >paths.tmp
9570
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
127 update paths.tmp paths.h >nul
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
128 rm -f paths.tmp
5484
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
129
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
130 rem Create "config.h"
9570
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
131 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
132 sed -e '' config.in > config.tmp
7195
73d9c538cce2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 5486
diff changeset
133 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
134 sed -f ../msdos/sed2x.inp <config.in >config.tmp
7195
73d9c538cce2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 5486
diff changeset
135 :src4
9570
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
136 sed -f ../msdos/sed2.inp <config.tmp >config.h2
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
137 update config.h2 config.h >nul
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
138 rm -f config.tmp config.h2
5484
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
139
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
140 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
141 if exist dir.h ren dir.h vmsdir.h
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
142
12992
09c2ad9213dd Simplify using new names file names src/makefile.in,
Richard M. Stallman <rms@gnu.org>
parents: 9570
diff changeset
143 rem Create "makefile" from "makefile.in".
20284
ff0f79a7b8b6 Configure the man subdirectory.
Eli Zaretskii <eliz@gnu.org>
parents: 19567
diff changeset
144 rm -f Makefile junk.c
ff0f79a7b8b6 Configure the man subdirectory.
Eli Zaretskii <eliz@gnu.org>
parents: 19567
diff changeset
145 sed -e "1,/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
146 If "%DJGPP_VER%" == "1" Goto mfV1
20284
ff0f79a7b8b6 Configure the man subdirectory.
Eli Zaretskii <eliz@gnu.org>
parents: 19567
diff changeset
147 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
148 goto mfDone
63951d3f3995 Set djgpp-ver, and unset it at the end.
Richard M. Stallman <rms@gnu.org>
parents: 13927
diff changeset
149 :mfV1
20284
ff0f79a7b8b6 Configure the man subdirectory.
Eli Zaretskii <eliz@gnu.org>
parents: 19567
diff changeset
150 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
151 :mfDone
5486
c87d1cd3f62a *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 5484
diff changeset
152 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
153
9570
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
154 if "%X11%" == "" goto src5
20284
ff0f79a7b8b6 Configure the man subdirectory.
Eli Zaretskii <eliz@gnu.org>
parents: 19567
diff changeset
155 mv Makefile makefile.tmp
ff0f79a7b8b6 Configure the man subdirectory.
Eli Zaretskii <eliz@gnu.org>
parents: 19567
diff changeset
156 sed -f ../msdos/sed1x.inp <makefile.tmp >Makefile
9570
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
157 rm -f makefile.tmp
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
158 :src5
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
159
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
160 if "%nodebug%" == "" goto src6
20284
ff0f79a7b8b6 Configure the man subdirectory.
Eli Zaretskii <eliz@gnu.org>
parents: 19567
diff changeset
161 sed -e "/^CFLAGS *=/s/ *-g//" <Makefile >makefile.tmp
ff0f79a7b8b6 Configure the man subdirectory.
Eli Zaretskii <eliz@gnu.org>
parents: 19567
diff changeset
162 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
163 rm -f makefile.tmp
9570
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
164 :src6
5484
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
165 cd ..
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
166 rem ----------------------------------------------------------------------
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
167 Echo Configuring the library source directory...
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
168 cd lib-src
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
169 rem Create "makefile" from "makefile.in".
20284
ff0f79a7b8b6 Configure the man subdirectory.
Eli Zaretskii <eliz@gnu.org>
parents: 19567
diff changeset
170 sed -e "1,/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
171 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
172 If "%DJGPP_VER%" == "2" goto libsrc-v2
20284
ff0f79a7b8b6 Configure the man subdirectory.
Eli Zaretskii <eliz@gnu.org>
parents: 19567
diff changeset
173 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
174 Goto libsrc2
63951d3f3995 Set djgpp-ver, and unset it at the end.
Richard M. Stallman <rms@gnu.org>
parents: 13927
diff changeset
175 :libsrc-v2
20284
ff0f79a7b8b6 Configure the man subdirectory.
Eli Zaretskii <eliz@gnu.org>
parents: 19567
diff changeset
176 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
177 :libsrc2
9570
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
178 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
179 if "%nodebug%" == "" goto libsrc3
20284
ff0f79a7b8b6 Configure the man subdirectory.
Eli Zaretskii <eliz@gnu.org>
parents: 19567
diff changeset
180 sed -e "/^CFLAGS *=/s/ *-g//" <Makefile >makefile.tmp
ff0f79a7b8b6 Configure the man subdirectory.
Eli Zaretskii <eliz@gnu.org>
parents: 19567
diff changeset
181 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
182 rm -f makefile.tmp
63951d3f3995 Set djgpp-ver, and unset it at the end.
Richard M. Stallman <rms@gnu.org>
parents: 13927
diff changeset
183 :libsrc3
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 ----------------------------------------------------------------------
9570
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
186 if "%X11%" == "" goto oldx1
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
187 Echo Configuring the oldxmenu directory...
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
188 cd oldxmenu
20284
ff0f79a7b8b6 Configure the man subdirectory.
Eli Zaretskii <eliz@gnu.org>
parents: 19567
diff changeset
189 sed -f ../msdos/sed5x.inp <Makefile.in >Makefile
9570
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
190 if "%nodebug%" == "" goto oldx2
20284
ff0f79a7b8b6 Configure the man subdirectory.
Eli Zaretskii <eliz@gnu.org>
parents: 19567
diff changeset
191 sed -e "/^CFLAGS *=/s/ *-g//" <Makefile >makefile.tmp
ff0f79a7b8b6 Configure the man subdirectory.
Eli Zaretskii <eliz@gnu.org>
parents: 19567
diff changeset
192 mv -f makefile.tmp Makefile
9570
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
193 :oldx2
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
194 cd ..
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
195 :oldx1
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
196 rem ----------------------------------------------------------------------
20284
ff0f79a7b8b6 Configure the man subdirectory.
Eli Zaretskii <eliz@gnu.org>
parents: 19567
diff changeset
197 Echo Configuring the manual directory...
ff0f79a7b8b6 Configure the man subdirectory.
Eli Zaretskii <eliz@gnu.org>
parents: 19567
diff changeset
198 cd man
ff0f79a7b8b6 Configure the man subdirectory.
Eli Zaretskii <eliz@gnu.org>
parents: 19567
diff changeset
199 sed -f ../msdos/sed6.inp < Makefile.in > Makefile
ff0f79a7b8b6 Configure the man subdirectory.
Eli Zaretskii <eliz@gnu.org>
parents: 19567
diff changeset
200 cd ..
ff0f79a7b8b6 Configure the man subdirectory.
Eli Zaretskii <eliz@gnu.org>
parents: 19567
diff changeset
201 rem ----------------------------------------------------------------------
5484
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
202 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
203 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
204 Echo Looking for the GDB init file...
19567
3f6f67f86a48 If src/_gdbinit doesn't exist, try using src/.gdbinit to create it (for
Eli Zaretskii <eliz@gnu.org>
parents: 18767
diff changeset
205 If not Exist src\_gdbinit 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
206 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
207 Echo ERROR:
6f4dd53a62d4 Make sure the GDB init file is called src/_gdbinit;
Richard M. Stallman <rms@gnu.org>
parents: 15020
diff changeset
208 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
209 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
210 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
211 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
212 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
213 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
214 goto End
6f4dd53a62d4 Make sure the GDB init file is called src/_gdbinit;
Richard M. Stallman <rms@gnu.org>
parents: 15020
diff changeset
215 :gdbinitOk
6f4dd53a62d4 Make sure the GDB init file is called src/_gdbinit;
Richard M. Stallman <rms@gnu.org>
parents: 15020
diff changeset
216 Echo Looking for the GDB init file...found
20284
ff0f79a7b8b6 Configure the man subdirectory.
Eli Zaretskii <eliz@gnu.org>
parents: 19567
diff changeset
217 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
218 :mainv1
20284
ff0f79a7b8b6 Configure the man subdirectory.
Eli Zaretskii <eliz@gnu.org>
parents: 19567
diff changeset
219 If "%DJGPP_VER%" == "1" copy msdos\mainmake Makefile >nul
5484
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
220 rem ----------------------------------------------------------------------
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
221 :end
7195
73d9c538cce2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 5486
diff changeset
222 set X11=
9570
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
223 set nodebug=
15007
5baafbcd9dc2 (djgpp_ver): Variable renamed from djgpp-ver.
Richard M. Stallman <rms@gnu.org>
parents: 14976
diff changeset
224 set djgpp_ver=