annotate config.bat @ 7567:4d808a6268a3

(compilation-goto-locus): Handle case where *compilation* is in a dedicated window.
author Richard M. Stallman <rms@gnu.org>
date Thu, 19 May 1994 21:50:30 +0000
parents 5d428cbd38ec
children 41a42a288277
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
73d9c538cce2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 5486
diff changeset
32 rem You must install in directory c:/emacs or change this script.
5484
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
33 rem ----------------------------------------------------------------------
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
34 if not "%2" == "" goto usage
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
35 if "%1" == "msdos" goto msdos
7195
73d9c538cce2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 5486
diff changeset
36 if "%1" == "msdos-X11" goto msdos11
5484
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
37 :usage
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
38 echo Usage: config msdos
7195
73d9c538cce2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 5486
diff changeset
39 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
40 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
41 echo necessary utilities.]
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
42 goto end
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
43 rem ----------------------------------------------------------------------
7195
73d9c538cce2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 5486
diff changeset
44 :msdos11
73d9c538cce2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 5486
diff changeset
45 set X11=y
73d9c538cce2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 5486
diff changeset
46 goto msdoscommon
73d9c538cce2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 5486
diff changeset
47 rem ----------------------------------------------------------------------
5484
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
48 :msdos
7195
73d9c538cce2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 5486
diff changeset
49 set X11=
73d9c538cce2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 5486
diff changeset
50 :msdoscommon
73d9c538cce2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 5486
diff changeset
51 rem Change to the Emacs root -- assume we are there
73d9c538cce2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 5486
diff changeset
52 rem cd c:\emacs
5484
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
53 rem ----------------------------------------------------------------------
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
54 Echo Configuring the source directory...
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
55 cd src
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
56 set PATHSH=paths-h.in
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
57 if exist %PATHSH% goto src1
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 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
61 cd ..
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
62 goto end
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
63 :src1
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
64 set CONFIGH=config-h.in
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
65 if exist %CONFIGH% goto src2
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 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
69 cd ..
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
70 goto end
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
71 :src2
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
72 set MAKEFILEIN=makefile.in-in
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
73 if exist %MAKEFILEIN% goto src3
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 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
77 cd ..
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
78 goto end
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
79 :src3
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
80
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
81 rem Create "paths.h"
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
82 rm -f paths.h
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
83 sed -e "s!/lib/emacs!!" -e "s!/usr/local!c:/emacs!" -e "s!/data!/etc!" <%PATHSH% >paths.h
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
84
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
85 rem Create "config.h"
7195
73d9c538cce2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 5486
diff changeset
86 rm -f config.h config.tmp
73d9c538cce2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 5486
diff changeset
87 cp %CONFIGH% config.tmp
73d9c538cce2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 5486
diff changeset
88 if "%X11%" == "" goto src4
73d9c538cce2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 5486
diff changeset
89 sed -f ../msdos/sed4.inp <%CONFIGH% >config.tmp
73d9c538cce2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 5486
diff changeset
90 :src4
73d9c538cce2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 5486
diff changeset
91 sed -f ../msdos/sed2.inp <config.tmp >config.h
73d9c538cce2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 5486
diff changeset
92 rm -f config.tmp
5484
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
93
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
94 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
95 if exist dir.h ren dir.h vmsdir.h
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
96
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
97 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
98 rm -f makefile junk.c
7406
5d428cbd38ec Forcibly remove "# " style comments from makefiles.
Richard M. Stallman <rms@gnu.org>
parents: 7313
diff changeset
99 sed -e "1,/cpp stuff/s@^# .*$@@" <%MAKEFILEIN% >junk.c
5484
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
100 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
101 rm -f junk.c
5484
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
102 cd ..
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
103 rem ----------------------------------------------------------------------
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
104 Echo Configuring the library source directory...
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
105 cd lib-src
7313
68d20ebaf64e entered into RCS
Richard M. Stallman <rms@gnu.org>
parents: 7195
diff changeset
106 set MAKEFILEIN=makefile.in-in
68d20ebaf64e entered into RCS
Richard M. Stallman <rms@gnu.org>
parents: 7195
diff changeset
107 if exist %MAKEFILEIN% goto libsrc1
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 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
111 cd ..
68d20ebaf64e entered into RCS
Richard M. Stallman <rms@gnu.org>
parents: 7195
diff changeset
112 goto end
68d20ebaf64e entered into RCS
Richard M. Stallman <rms@gnu.org>
parents: 7195
diff changeset
113 :libsrc1
5484
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
114 rem Create "makefile" from "makefile.in".
7406
5d428cbd38ec Forcibly remove "# " style comments from makefiles.
Richard M. Stallman <rms@gnu.org>
parents: 7313
diff changeset
115 sed -e "1,/cpp stuff/s@^# .*$@@" <%MAKEFILEIN% >junk.c
7195
73d9c538cce2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 5486
diff changeset
116 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
117 sed -f ../msdos/sed3.inp <makefile.new >makefile
5484
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
118 cd ..
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
119 rem ----------------------------------------------------------------------
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
120 Echo Configuring the main directory...
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
121 copy msdos\mainmake makefile >nul
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
122 rem ----------------------------------------------------------------------
ac101697f58c Initial revision
Richard M. Stallman <rms@gnu.org>
parents:
diff changeset
123 :end
7195
73d9c538cce2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 5486
diff changeset
124 set X11=
73d9c538cce2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 5486
diff changeset
125 set MAKEFILEIN=
73d9c538cce2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 5486
diff changeset
126 set PATHSH=
73d9c538cce2 *** empty log message ***
Richard M. Stallman <rms@gnu.org>
parents: 5486
diff changeset
127 set CONFIGH=
7406
5d428cbd38ec Forcibly remove "# " style comments from makefiles.
Richard M. Stallman <rms@gnu.org>
parents: 7313
diff changeset
128