annotate nt/configure.bat @ 49153:3db6e402ea2c

(sgml-font-lock-keywords-2): Add flag to merge with existing fontification.
author Andreas Schwab <schwab@suse.de>
date Sat, 11 Jan 2003 22:47:33 +0000
parents 9c15101341c7
children a2e59f9d34b1
Ignore whitespace changes - Everywhere: Within whitespace: At end of lines:
rev   line source
39055
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
1 @echo off
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
2 rem ----------------------------------------------------------------------
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
3 rem Configuration script for MS Windows 95/98 and NT/2000
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
4 rem Copyright (C) 1999-2001 Free Software Foundation, Inc.
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
5
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
6 rem This file is part of GNU Emacs.
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
7
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
8 rem GNU Emacs is free software; you can redistribute it and/or modify
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
9 rem it under the terms of the GNU General Public License as published by
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
10 rem the Free Software Foundation; either version 2, or (at your option)
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
11 rem any later version.
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
12
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
13 rem GNU Emacs is distributed in the hope that it will be useful,
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
14 rem but WITHOUT ANY WARRANTY; without even the implied warranty of
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
15 rem MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
16 rem GNU General Public License for more details.
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
17
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
18 rem You should have received a copy of the GNU General Public License
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
19 rem along with GNU Emacs; see the file COPYING. If not, write to the
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
20 rem Free Software Foundation, Inc., 59 Temple Place - Suite 330,
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
21 rem Boston, MA 02111-1307, USA.
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
22 rem ----------------------------------------------------------------------
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
23 rem YOU'LL NEED THE FOLLOWING UTILITIES TO MAKE EMACS:
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
24 rem
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
25 rem + MS Windows 95/98 or NT/2000
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
26 rem + either MSVC 2.x or later, or gcc-2.95 or later (with gmake 3.75
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
27 rem or later) and the Mingw32 and W32 API headers and libraries
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
28 rem
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
29 rem For reference, here is a list of which builds of gmake are known to
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
30 rem work or not, and whether they work in the presence and/or absence of
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
31 rem sh.exe.
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
32 rem
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
33 rem sh exists no sh
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
34 rem cygwin b20.1 make (3.75): okay[1] fails[2]
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
35 rem MSVC compiled gmake 3.77: okay okay
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
36 rem MSVC compiled gmake 3.78.1: okay okay
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
37 rem MSVC compiled gmake 3.79.1: okay okay
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
38 rem mingw32/gcc-2.92.2 make (3.77): okay okay
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
39 rem cygwin compiled gmake 3.77: okay[1] fails[2]
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
40 rem cygwin compiled gmake 3.78.1: okay fails[2]
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
41 rem cygwin compiled gmake 3.79.1: couldn't build make[3]
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
42 rem
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
43 rem [1] doesn't cope with makefiles with DOS line endings, so must mount
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
44 rem emacs source with text!=binary.
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
45 rem [2] fails when needs to invoke shell commands; okay invoking gcc etc.
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
46 rem [3] requires LC_MESSAGES support to build; maybe 2.95.x update to
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
47 rem cygwin provides this?
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
48 rem
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
49
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
50 rem ----------------------------------------------------------------------
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
51 rem See if the environment is large enough. We need 43 (?) bytes.
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
52 set $foo$=123456789_123456789_123456789_123456789_123
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
53 if not "%$foo$%" == "123456789_123456789_123456789_123456789_123" goto SmallEnv
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
54 set $foo$=
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
55
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
56 rem ----------------------------------------------------------------------
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
57 rem Make sure we are running in the nt subdir
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
58 if exist configure.bat goto start
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
59 echo You must run configure from the nt subdirectory.
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
60 goto end
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
61
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
62 :start
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
63 rem ----------------------------------------------------------------------
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
64 rem Default settings.
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
65 set prefix=
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
66 set nodebug=N
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
67 set noopt=N
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
68 set nocygwin=N
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
69 set COMPILER=
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
70 set usercflags=
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
71 set userldflags=
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
72 set sep1=
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
73 set sep2=
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
74
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
75 rem ----------------------------------------------------------------------
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
76 rem Handle arguments.
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
77 :again
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
78 if "%1" == "-h" goto usage
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
79 if "%1" == "--help" goto usage
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
80 if "%1" == "--prefix" goto setprefix
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
81 if "%1" == "--with-gcc" goto withgcc
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
82 if "%1" == "--with-msvc" goto withmsvc
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
83 if "%1" == "--no-debug" goto nodebug
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
84 if "%1" == "--no-opt" goto noopt
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
85 if "%1" == "--no-cygwin" goto nocygwin
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
86 if "%1" == "--cflags" goto usercflags
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
87 if "%1" == "--ldflags" goto userldflags
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
88 if "%1" == "" goto checkutils
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
89 :usage
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
90 echo Usage: configure [options]
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
91 echo Options:
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
92 echo. --prefix PREFIX install Emacs in directory PREFIX
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
93 echo. --with-gcc use GCC to compile Emacs
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
94 echo. --with-msvc use MSVC to compile Emacs
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
95 echo. --no-debug exclude debug info from executables
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
96 echo. --no-opt disable optimization
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
97 echo. --no-cygwin use -mno-cygwin option with GCC
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
98 echo. --cflags FLAG pass FLAG to compiler
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
99 echo. --ldflags FLAG pass FLAG to compiler when linking
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
100 goto end
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
101 rem ----------------------------------------------------------------------
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
102 :setprefix
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
103 shift
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
104 set prefix=%1
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
105 shift
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
106 goto again
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
107 rem ----------------------------------------------------------------------
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
108 :withgcc
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
109 set COMPILER=gcc
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
110 shift
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
111 goto again
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
112 rem ----------------------------------------------------------------------
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
113 :withmsvc
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
114 set COMPILER=cl
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
115 shift
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
116 goto again
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
117 rem ----------------------------------------------------------------------
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
118 :nodebug
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
119 set nodebug=Y
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
120 shift
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
121 goto again
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
122 rem ----------------------------------------------------------------------
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
123 :noopt
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
124 set noopt=Y
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
125 shift
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
126 goto again
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
127 rem ----------------------------------------------------------------------
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
128 :nocygwin
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
129 set nocygwin=Y
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
130 shift
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
131 goto again
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
132 rem ----------------------------------------------------------------------
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
133 :usercflags
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
134 shift
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
135 set usercflags=%usercflags%%sep1%%1
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
136 set sep1= %nothing%
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
137 shift
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
138 goto again
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
139 rem ----------------------------------------------------------------------
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
140 :userldflags
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
141 shift
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
142 set userldflags=%userldflags%%sep2%%1
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
143 set sep2= %nothing%
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
144 shift
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
145 goto again
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
146
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
147 rem ----------------------------------------------------------------------
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
148 rem Check that necessary utilities (cp and rm) are present.
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
149 :checkutils
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
150 echo Checking for 'cp'...
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
151 cp configure.bat junk.bat
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
152 if not exist junk.bat goto needcp
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
153 echo Checking for 'rm'...
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
154 rm junk.bat
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
155 if exist junk.bat goto needrm
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
156 goto checkcompiler
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
157 :needcp
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
158 echo You need 'cp' (the Unix file copy program) to build Emacs.
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
159 goto end
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
160 :needrm
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
161 del junk.bat
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
162 echo You need 'rm' (the Unix file delete program) to build Emacs.
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
163 goto end
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
164
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
165 rem ----------------------------------------------------------------------
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
166 rem Auto-detect compiler if not specified, and validate GCC if chosen.
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
167 :checkcompiler
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
168 if (%COMPILER%)==(cl) goto genmakefiles
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
169 if (%COMPILER%)==(gcc) goto checkgcc
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
170
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
171 echo Checking whether 'cl' is available...
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
172 echo main(){} >junk.c
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
173 cl -nologo -c junk.c
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
174 if exist junk.obj goto clOK
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
175
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
176 echo Checking whether 'gcc' is available...
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
177 gcc -c junk.c
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
178 if not exist junk.o goto nocompiler
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
179 del junk.o
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
180
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
181 :checkgcc
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
182 Rem WARNING -- COMMAND.COM on some systems only looks at the first
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
183 Rem 8 characters of a label. So do NOT be tempted to change
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
184 Rem chkapi* into something fancier like checkw32api
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
185 Rem You HAVE been warned!
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
186 if (%nocygwin%) == (Y) goto chkapi
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
187 echo Checking whether gcc requires '-mno-cygwin'...
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
188 echo #include "cygwin/version.h" >junk.c
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
189 echo main(){} >>junk.c
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
190 gcc -c junk.c
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
191 if not exist junk.o goto chkapi
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
192 gcc -mno-cygwin -c junk.c
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
193 if exist junk.o set nocygwin=Y
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
194 rm -f junk.c junk.o
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
195
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
196 :chkapi
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
197 rem ----------------------------------------------------------------------
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
198 rem Older versions of the Windows API headers either don't have any of
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
199 rem the IMAGE_xxx definitions (the headers that come with Cygwin b20.1
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
200 rem are like this), or have a typo in the definition of
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
201 rem IMAGE_FIRST_SECTION (the headers with gcc/mingw32 2.95 have this
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
202 rem problem). The gcc/mingw32 2.95.2 headers are okay, as are distros
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
203 rem of w32api-xxx.zip from Anders Norlander since 1999-11-18 at least.
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
204 rem
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
205 echo Checking whether W32 API headers are too old...
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
206 echo #include "windows.h" >junk.c
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
207 echo test(PIMAGE_NT_HEADERS pHeader) >>junk.c
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
208 echo {PIMAGE_SECTION_HEADER pSection = IMAGE_FIRST_SECTION(pHeader);} >>junk.c
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
209 if (%nocygwin%) == (Y) goto chkapi1
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
210 set cf=%usercflags%
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
211 goto chkapi2
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
212 :chkapi1
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
213 set cf=%usercflags% -mno-cygwin
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
214 :chkapi2
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
215 echo on
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
216 gcc %cf% -c junk.c
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
217 echo off
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
218 set cf=
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
219 if exist junk.o goto gccOk
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
220
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
221 :nocompiler
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
222 echo.
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
223 echo Configure failed.
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
224 echo To configure Emacs for Windows, you need to have either
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
225 echo gcc-2.95 or later with Mingw32 and the W32 API headers,
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
226 echo or MSVC 2.x or later.
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
227 del junk.c
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
228 goto end
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
229
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
230 :gccOk
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
231 set COMPILER=gcc
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
232 rm -f junk.c junk.o
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
233 echo Using 'gcc'
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
234 goto genmakefiles
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
235
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
236 :clOk
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
237 set COMPILER=cl
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
238 rm -f junk.c junk.obj
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
239 echo Using 'MSVC'
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
240 goto genmakefiles
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
241
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
242 rem ----------------------------------------------------------------------
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
243 :genmakefiles
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
244 echo Generating makefiles
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
245 if %COMPILER% == gcc set MAKECMD=gmake
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
246 if %COMPILER% == cl set MAKECMD=nmake
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
247
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
248 rem Pass on chosen settings to makefiles.
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
249 rem NB. Be very careful to not have a space before redirection symbols
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
250 rem except when there is a preceding digit, when a space is required.
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
251 rem
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
252 echo # Start of settings from configure.bat >config.settings
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
253 echo COMPILER=%COMPILER%>>config.settings
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
254 if (%nodebug%) == (Y) echo NODEBUG=1 >>config.settings
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
255 if (%noopt%) == (Y) echo NOOPT=1 >>config.settings
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
256 if (%nocygwin%) == (Y) echo NOCYGWIN=1 >>config.settings
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
257 if not "(%prefix%)" == "()" echo INSTALL_DIR=%prefix%>>config.settings
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
258 if not "(%usercflags%)" == "()" echo USER_CFLAGS=%usercflags%>>config.settings
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
259 if not "(%userldflags%)" == "()" echo USER_LDFLAGS=%userldflags%>>config.settings
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
260 echo # End of settings from configure.bat>>config.settings
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
261 echo. >>config.settings
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
262
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
263 copy config.nt ..\src\config.h
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
264 if not "(%usercflags%)" == "()" echo #define USER_CFLAGS " %usercflags%">>..\src\config.h
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
265 if not "(%userldflags%)" == "()" echo #define USER_LDFLAGS " %userldflags%">>..\src\config.h
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
266 copy paths.h ..\src\epaths.h
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
267
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
268 copy /b config.settings+%MAKECMD%.defs+..\nt\makefile.w32-in ..\nt\makefile
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
269 copy /b config.settings+%MAKECMD%.defs+..\lib-src\makefile.w32-in ..\lib-src\makefile
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
270 copy /b config.settings+%MAKECMD%.defs+..\src\makefile.w32-in ..\src\makefile
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
271 if not exist ..\lisp\Makefile.unix rename ..\lisp\Makefile.in Makefile.unix
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
272 if exist ..\lisp\makefile rm -f ../lisp/[Mm]akefile
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
273 copy /b config.settings+%MAKECMD%.defs+..\lisp\makefile.w32-in ..\lisp\makefile
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
274 rem Use the default (no-op) Makefile.in if the nt version is not present.
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
275 if exist ..\leim\makefile.w32-in copy /b config.settings+%MAKECMD%.defs+..\leim\makefile.w32-in ..\leim\makefile
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
276 if not exist ..\leim\makefile.w32-in copy /b config.settings+%MAKECMD%.defs+..\leim\Makefile.in ..\leim\makefile
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
277 del config.settings
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
278
39151
9c15101341c7 Make sure ../site-lisp exists; create if necessary.
Eli Zaretskii <eliz@gnu.org>
parents: 39055
diff changeset
279 Rem Some people use WinZip which doesn't create empty directories!
9c15101341c7 Make sure ../site-lisp exists; create if necessary.
Eli Zaretskii <eliz@gnu.org>
parents: 39055
diff changeset
280 if not exist ..\site-lisp\nul mkdir ..\site-lisp\
39055
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
281 if not exist ..\site-lisp\subdirs.el copy subdirs.el ..\site-lisp\subdirs.el
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
282
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
283 echo.
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
284 echo Emacs successfully configured.
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
285 echo Run `%MAKECMD%' to build, then run `%MAKECMD% install' to install.
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
286 goto end
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
287
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
288 :SmallEnv
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
289 echo Your environment size is too small. Please enlarge it and rerun configure.
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
290 echo For example, type "command.com /e:2048" to have 2048 bytes available.
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
291 set $foo$=
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
292 :end
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
293 set prefix=
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
294 set nodebug=
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
295 set noopt=
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
296 set nocygwin=
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
297 set COMPILER=
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
298 set MAKECMD=
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
299 set usercflags=
73fa3981d40c Convert EOLs to DOS format.
Eli Zaretskii <eliz@gnu.org>
parents: 39052
diff changeset
300 set userldflags=