Mercurial > emacs
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 |
rev | line source |
---|---|
5484 | 1 @echo off |
2 rem ---------------------------------------------------------------------- | |
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 | 6 rem This file is part of GNU Emacs. |
7 | |
8 rem GNU Emacs is free software; you can redistribute it and/or modify | |
9 rem it under the terms of the GNU General Public License as published by | |
10 rem the Free Software Foundation; either version 2, or (at your option) | |
11 rem any later version. | |
12 | |
13 rem GNU Emacs is distributed in the hope that it will be useful, | |
14 rem but WITHOUT ANY WARRANTY; without even the implied warranty of | |
15 rem MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the | |
16 rem GNU General Public License for more details. | |
17 | |
18 rem You should have received a copy of the GNU General Public License | |
19 rem along with GNU Emacs; see the file COPYING. If not, write to | |
20 rem the Free Software Foundation, 675 Mass Ave, Cambridge, MA 02139, USA. | |
21 rem ---------------------------------------------------------------------- | |
22 rem YOU'LL NEED THE FOLLOWING UTILITIES TO MAKE EMACS: | |
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 | 29 rem + rm, mv, chmod (From GNU file utilities). |
30 rem + sed. | |
7195
73d9c538cce2
*** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents:
5486
diff
changeset
|
31 rem |
7624 | 32 rem You must install in directory c:/emacs or change this script, the |
33 rem files msdos/sed*.inp, and lisp/dos-fns.el. (The latter must be | |
34 rem recompiled.) | |
5484 | 35 rem ---------------------------------------------------------------------- |
36 if not "%2" == "" goto usage | |
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 | 39 :usage |
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 | 42 echo [Read the script before you run it; also check that you have all the |
43 echo necessary utilities.] | |
44 goto end | |
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 | 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 | 55 rem ---------------------------------------------------------------------- |
56 Echo Configuring the source directory... | |
57 cd src | |
58 set PATHSH=paths-h.in | |
59 if exist %PATHSH% goto src1 | |
60 set PATHSH=paths.h-in | |
61 if exist %PATHSH% goto src1 | |
62 echo config: *** The file originally called "src/paths.h.in" cannot be found. | |
63 cd .. | |
64 goto end | |
65 :src1 | |
66 set CONFIGH=config-h.in | |
67 if exist %CONFIGH% goto src2 | |
68 set CONFIGH=config.h-in | |
69 if exist %CONFIGH% goto src2 | |
70 echo config: *** The file originally called "src/config.h.in" cannot be found. | |
71 cd .. | |
72 goto end | |
73 :src2 | |
74 set MAKEFILEIN=makefile.in-in | |
75 if exist %MAKEFILEIN% goto src3 | |
76 set MAKEFILEIN=makefile-in.in | |
77 if exist %MAKEFILEIN% goto src3 | |
78 echo makefile: *** The file originally called "src/makefile.in.in" cannot be found. | |
79 cd .. | |
80 goto end | |
81 :src3 | |
82 | |
83 rem Create "paths.h" | |
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 | 86 |
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 | 95 |
96 rem On my system dir.h gets in the way. It's a VMS file so who cares. | |
97 if exist dir.h ren dir.h vmsdir.h | |
98 | |
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 | 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 | 104 cd .. |
105 rem ---------------------------------------------------------------------- | |
106 Echo Configuring the library source directory... | |
107 cd lib-src | |
7313 | 108 set MAKEFILEIN=makefile.in-in |
109 if exist %MAKEFILEIN% goto libsrc1 | |
110 set MAKEFILEIN=makefile-in.in | |
111 if exist %MAKEFILEIN% goto libsrc1 | |
112 echo makefile: *** The file originally called "lib-src/Makefile.in.in" cannot be found. | |
113 cd .. | |
114 goto end | |
115 :libsrc1 | |
5484 | 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 | 120 cd .. |
121 rem ---------------------------------------------------------------------- | |
122 Echo Configuring the main directory... | |
123 copy msdos\mainmake makefile >nul | |
124 rem ---------------------------------------------------------------------- | |
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 |