annotate config.bat @ 8190:04aa77218846

(Man-bgproc-sentinel): Bind case-fold-search for just the necessary parts of the function, not the call to Man-notify-when-ready.
author Richard M. Stallman <rms@gnu.org>
date Mon, 11 Jul 1994 00:25:37 +0000
parents de6995fec29e
children 9eae919f9a23
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
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
19 rem along with GNU Emacs; see the file COPYING. If not, write to
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
20 rem the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA.
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
21 rem ----------------------------------------------------------------------
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
22 rem YOU'LL NEED THE FOLLOWING UTILITIES TO MAKE EMACS:
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
23 rem
7195
73d9c538cce2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 5486
diff changeset
24 rem + msdos version 3 or better.
73d9c538cce2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 5486
diff changeset
25 rem + djgpp version 1,11 maint 4 or better.
73d9c538cce2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 5486
diff changeset
26 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
27 rem command lines. ndmake (as of version 4.5) won't work due to a
73d9c538cce2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 5486
diff changeset
28 rem line length limit.
5484
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
29 rem + rm, mv, chmod (From GNU file utilities).
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
30 rem + sed.
7195
73d9c538cce2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 5486
diff changeset
31 rem
7624
41a42a288277 Doc fix.
Richard M. Stallman <rms@gnu.org>
parents: 7406
diff changeset
32 rem You must install in directory c:/emacs or change this script, the
41a42a288277 Doc fix.
Richard M. Stallman <rms@gnu.org>
parents: 7406
diff changeset
33 rem files msdos/sed*.inp, and lisp/dos-fns.el. (The latter must be
41a42a288277 Doc fix.
Richard M. Stallman <rms@gnu.org>
parents: 7406
diff changeset
34 rem recompiled.)
5484
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
35 rem ----------------------------------------------------------------------
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
36 if not "%2" == "" goto usage
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
37 if "%1" == "msdos" goto msdos
7195
73d9c538cce2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 5486
diff changeset
38 if "%1" == "msdos-X11" goto msdos11
5484
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
39 :usage
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
40 echo Usage: config msdos
7195
73d9c538cce2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 5486
diff changeset
41 rem echo or config msdos-X11 -- don't even think about it
5484
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
42 echo [Read the script before you run it; also check that you have all the
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
43 echo necessary utilities.]
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
44 goto end
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
45 rem ----------------------------------------------------------------------
7195
73d9c538cce2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 5486
diff changeset
46 :msdos11
73d9c538cce2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 5486
diff changeset
47 set X11=y
73d9c538cce2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 5486
diff changeset
48 goto msdoscommon
73d9c538cce2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 5486
diff changeset
49 rem ----------------------------------------------------------------------
5484
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
50 :msdos
7195
73d9c538cce2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 5486
diff changeset
51 set X11=
73d9c538cce2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 5486
diff changeset
52 :msdoscommon
73d9c538cce2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 5486
diff changeset
53 rem Change to the Emacs root -- assume we are there
73d9c538cce2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 5486
diff changeset
54 rem cd c:\emacs
5484
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
55 rem ----------------------------------------------------------------------
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
56 Echo Configuring the source directory...
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
57 cd src
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
58 set PATHSH=paths-h.in
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
59 if exist %PATHSH% goto src1
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
60 set PATHSH=paths.h-in
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
61 if exist %PATHSH% goto src1
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
62 echo config: *** The file originally called "src/paths.h.in" cannot be found.
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
63 cd ..
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
64 goto end
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
65 :src1
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
66 set CONFIGH=config-h.in
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
67 if exist %CONFIGH% goto src2
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
68 set CONFIGH=config.h-in
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
69 if exist %CONFIGH% goto src2
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
70 echo config: *** The file originally called "src/config.h.in" cannot be found.
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
71 cd ..
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
72 goto end
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
73 :src2
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
74 set MAKEFILEIN=makefile.in-in
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
75 if exist %MAKEFILEIN% goto src3
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
76 set MAKEFILEIN=makefile-in.in
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
77 if exist %MAKEFILEIN% goto src3
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
78 echo makefile: *** The file originally called "src/makefile.in.in" cannot be found.
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
79 cd ..
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
80 goto end
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
81 :src3
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
82
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
83 rem Create "paths.h"
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
84 rm -f paths.h
7819
de6995fec29e (src/paths.h): Use sed script msdos/sed4.inp.
Richard M. Stallman <rms@gnu.org>
parents: 7624
diff changeset
85 sed -f ../msdos/sed4.inp <%PATHSH% >paths.h
5484
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
86
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
87 rem Create "config.h"
7195
73d9c538cce2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 5486
diff changeset
88 rm -f config.h config.tmp
73d9c538cce2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 5486
diff changeset
89 cp %CONFIGH% config.tmp
73d9c538cce2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 5486
diff changeset
90 if "%X11%" == "" goto src4
73d9c538cce2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 5486
diff changeset
91 sed -f ../msdos/sed4.inp <%CONFIGH% >config.tmp
73d9c538cce2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 5486
diff changeset
92 :src4
73d9c538cce2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 5486
diff changeset
93 sed -f ../msdos/sed2.inp <config.tmp >config.h
73d9c538cce2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 5486
diff changeset
94 rm -f config.tmp
5484
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
95
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
96 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
97 if exist dir.h ren dir.h vmsdir.h
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
98
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
99 rem Create "makefile" from "makefile.in.in" using a context patch.
5486
c87d1cd3f62a *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 5484
diff changeset
100 rm -f makefile junk.c
7406
5d428cbd38ec Forcibly remove "# " style comments from makefiles.
Richard M. Stallman <rms@gnu.org>
parents: 7313
diff changeset
101 sed -e "1,/cpp stuff/s@^# .*$@@" <%MAKEFILEIN% >junk.c
5484
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
102 gcc -E junk.c | sed -f ../msdos/sed1.inp >makefile
5486
c87d1cd3f62a *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 5484
diff changeset
103 rm -f junk.c
5484
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
104 cd ..
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
105 rem ----------------------------------------------------------------------
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
106 Echo Configuring the library source directory...
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
107 cd lib-src
7313
68d20ebaf64e entered into RCS
Richard M. Stallman <rms@gnu.org>
parents: 7195
diff changeset
108 set MAKEFILEIN=makefile.in-in
68d20ebaf64e entered into RCS
Richard M. Stallman <rms@gnu.org>
parents: 7195
diff changeset
109 if exist %MAKEFILEIN% goto libsrc1
68d20ebaf64e entered into RCS
Richard M. Stallman <rms@gnu.org>
parents: 7195
diff changeset
110 set MAKEFILEIN=makefile-in.in
68d20ebaf64e entered into RCS
Richard M. Stallman <rms@gnu.org>
parents: 7195
diff changeset
111 if exist %MAKEFILEIN% goto libsrc1
68d20ebaf64e entered into RCS
Richard M. Stallman <rms@gnu.org>
parents: 7195
diff changeset
112 echo makefile: *** The file originally called "lib-src/Makefile.in.in" cannot be found.
68d20ebaf64e entered into RCS
Richard M. Stallman <rms@gnu.org>
parents: 7195
diff changeset
113 cd ..
68d20ebaf64e entered into RCS
Richard M. Stallman <rms@gnu.org>
parents: 7195
diff changeset
114 goto end
68d20ebaf64e entered into RCS
Richard M. Stallman <rms@gnu.org>
parents: 7195
diff changeset
115 :libsrc1
5484
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
116 rem Create "makefile" from "makefile.in".
7406
5d428cbd38ec Forcibly remove "# " style comments from makefiles.
Richard M. Stallman <rms@gnu.org>
parents: 7313
diff changeset
117 sed -e "1,/cpp stuff/s@^# .*$@@" <%MAKEFILEIN% >junk.c
7195
73d9c538cce2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 5486
diff changeset
118 gcc -E -I. -I../src junk.c | sed -e "s/^ / /" -e "/^#/d" -e "/^[ ]*$/d" >Makefile.new
73d9c538cce2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 5486
diff changeset
119 sed -f ../msdos/sed3.inp <makefile.new >makefile
5484
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
120 cd ..
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
121 rem ----------------------------------------------------------------------
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
122 Echo Configuring the main directory...
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
123 copy msdos\mainmake makefile >nul
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
124 rem ----------------------------------------------------------------------
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
125 :end
7195
73d9c538cce2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 5486
diff changeset
126 set X11=
73d9c538cce2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 5486
diff changeset
127 set MAKEFILEIN=
73d9c538cce2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 5486
diff changeset
128 set PATHSH=
73d9c538cce2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 5486
diff changeset
129 set CONFIGH=
7406
5d428cbd38ec Forcibly remove "# " style comments from makefiles.
Richard M. Stallman <rms@gnu.org>
parents: 7313
diff changeset
130