annotate config.bat @ 20279:69a6030e443a

(kill-region): Detect read-only text by getting an error trying to delete it. Handle the cases where we can, and can't, get the killed text from the undo list with much the same code.
author Karl Heuer <kwzh@gnu.org>
date Wed, 19 Nov 1997 21:36:56 +0000
parents 3f6f67f86a48
children ff0f79a7b8b6
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".
5486
c87d1cd3f62a *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 5484
diff changeset
144 rm -f makefile junk.c
12992
09c2ad9213dd Simplify using new names file names src/makefile.in,
Richard M. Stallman <rms@gnu.org>
parents: 9570
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
14976
63951d3f3995 Set djgpp-ver, and unset it at the end.
Richard M. Stallman <rms@gnu.org>
parents: 13927
diff changeset
147 gcc -E junk.c | sed -f ../msdos/sed1v2.inp >makefile
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
5484
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
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
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
155 mv makefile makefile.tmp
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
156 sed -f ../msdos/sed1x.inp <makefile.tmp >makefile
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
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
161 sed -e "/^CFLAGS *=/s/ *-g//" <makefile >makefile.tmp
14976
63951d3f3995 Set djgpp-ver, and unset it at the end.
Richard M. Stallman <rms@gnu.org>
parents: 13927
diff changeset
162 sed -e "/^LDFLAGS *=/s/=/=-s/" <makefile.tmp >makefile
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".
12992
09c2ad9213dd Simplify using new names file names src/makefile.in,
Richard M. Stallman <rms@gnu.org>
parents: 9570
diff changeset
170 sed -e "1,/cpp stuff/s@^# .*$@@" <makefile.in >junk.c
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
7195
73d9c538cce2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 5486
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
63951d3f3995 Set djgpp-ver, and unset it at the end.
Richard M. Stallman <rms@gnu.org>
parents: 13927
diff changeset
176 sed -f ../msdos/sed3v2.inp <makefile.new >makefile
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
9570
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
180 sed -e "/^CFLAGS *=/s/ *-g//" <makefile >makefile.tmp
14976
63951d3f3995 Set djgpp-ver, and unset it at the end.
Richard M. Stallman <rms@gnu.org>
parents: 13927
diff changeset
181 sed -e "/^ALL_CFLAGS *=/s/=/= -s/" <makefile.tmp >makefile
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
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
189 sed -f ../msdos/sed5x.inp <makefile.in >makefile
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
190 if "%nodebug%" == "" goto oldx2
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
191 sed -e "/^CFLAGS *=/s/ *-g//" <makefile >makefile.tmp
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
192 mv -f makefile.tmp makefile
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 ----------------------------------------------------------------------
5484
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
197 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
198 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
199 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
200 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
201 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
202 Echo ERROR:
6f4dd53a62d4 Make sure the GDB init file is called src/_gdbinit;
Richard M. Stallman <rms@gnu.org>
parents: 15020
diff changeset
203 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
204 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
205 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
206 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
207 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
208 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
209 goto End
6f4dd53a62d4 Make sure the GDB init file is called src/_gdbinit;
Richard M. Stallman <rms@gnu.org>
parents: 15020
diff changeset
210 :gdbinitOk
6f4dd53a62d4 Make sure the GDB init file is called src/_gdbinit;
Richard M. Stallman <rms@gnu.org>
parents: 15020
diff changeset
211 Echo Looking for the GDB init file...found
6f4dd53a62d4 Make sure the GDB init file is called src/_gdbinit;
Richard M. Stallman <rms@gnu.org>
parents: 15020
diff changeset
212 copy msdos\mainmake.v2 makefile >nul
6f4dd53a62d4 Make sure the GDB init file is called src/_gdbinit;
Richard M. Stallman <rms@gnu.org>
parents: 15020
diff changeset
213 :mainv1
15007
5baafbcd9dc2 (djgpp_ver): Variable renamed from djgpp-ver.
Richard M. Stallman <rms@gnu.org>
parents: 14976
diff changeset
214 If "%DJGPP_VER%" == "1" copy msdos\mainmake makefile >nul
5484
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
215 rem ----------------------------------------------------------------------
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
216 :end
7195
73d9c538cce2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 5486
diff changeset
217 set X11=
9570
9eae919f9a23 *** empty log message ***
Morten Welinder <terra@diku.dk>
parents: 7819
diff changeset
218 set nodebug=
15007
5baafbcd9dc2 (djgpp_ver): Variable renamed from djgpp-ver.
Richard M. Stallman <rms@gnu.org>
parents: 14976
diff changeset
219 set djgpp_ver=