annotate nt/configure.bat @ 36753:438ef3d46c8a

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