Mercurial > emacs
annotate nt/configure.bat @ 32308:cd03345c07c1
Mark `keep-lines', `flush-lines' and `how-many' as documented in the manual.
Mark C-down-mouse-3 as documented.
author | Eli Zaretskii <eliz@gnu.org> |
---|---|
date | Sun, 08 Oct 2000 19:10:44 +0000 |
parents | eb8bb73d0c23 |
children | 73acaa7d1cb9 |
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 |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
4 rem Copyright (C) 1999, 2000 Free Software Foundation, Inc. |
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 |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
190 del junk.o junk.c |
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 |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
203 echo test(PIMAGE_NT_HEADERS pHeader)>>junk.c |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
204 echo {PIMAGE_SECTION_HEADER pSection = IMAGE_FIRST_SECTION(pHeader);}>>junk.c |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
205 gcc -c junk.c |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
206 if exist junk.o goto gccOk |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
207 |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
208 :nocompiler |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
209 echo. |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
210 echo Configure failed. |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
211 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
|
212 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
|
213 echo or MSVC 2.x or later. |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
214 del junk.c |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
215 goto end |
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 :gccOk |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
218 set COMPILER=gcc |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
219 del junk.c junk.o |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
220 echo Using 'gcc' |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
221 goto genmakefiles |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
222 |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
223 :clOk |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
224 set COMPILER=cl |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
225 del junk.c junk.obj |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
226 echo Using 'MSVC' |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
227 goto genmakefiles |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
228 |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
229 rem ---------------------------------------------------------------------- |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
230 :genmakefiles |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
231 echo Generating makefiles |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
232 if %COMPILER% == gcc set MAKECMD=gmake |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
233 if %COMPILER% == cl set MAKECMD=nmake |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
234 |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
235 rem Pass on chosen settings to makefiles. |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
236 echo # Start of settings from configure.bat >config.settings |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
237 echo COMPILER=%COMPILER% >>config.settings |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
238 if (%nodebug%) == (Y) echo NODEBUG=1 >>config.settings |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
239 if (%noopt%) == (Y) echo NOOPT=1 >>config.settings |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
240 if (%nocygwin%) == (Y) echo NOCYGWIN=1 >>config.settings |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
241 if not "(%prefix%)" == "()" echo INSTALL_DIR=%prefix% >>config.settings |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
242 if not "(%usercflags%)" == "()" echo USER_CFLAGS=%usercflags% >>config.settings |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
243 if not "(%userldflags%)" == "()" echo USER_LDFLAGS=%userldflags% >>config.settings |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
244 echo # End of settings from configure.bat >>config.settings |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
245 echo. >>config.settings |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
246 |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
247 copy config.nt ..\src\config.h |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
248 if not "(%usercflags%)" == "()" echo #define USER_CFLAGS " %usercflags%">>..\src\config.h |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
249 if not "(%userldflags%)" == "()" echo #define USER_LDFLAGS " %userldflags%">>..\src\config.h |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
250 copy paths.h ..\src\epaths.h |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
251 |
31626
eb8bb73d0c23
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31353
diff
changeset
|
252 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
|
253 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
|
254 copy /b config.settings+%MAKECMD%.defs+..\src\makefile.w32-in ..\src\makefile |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
255 if not exist ..\lisp\Makefile.unix rename ..\lisp\Makefile Makefile.unix |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
256 if exist ..\lisp\makefile del /f ..\lisp\makefile |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
257 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
|
258 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
|
259 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
|
260 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
|
261 del config.settings |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
262 |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
263 echo. |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
264 echo Emacs successfully configured. |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
265 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
|
266 goto end |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
267 |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
268 :SmallEnv |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
269 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
|
270 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
|
271 set $foo$= |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
272 :end |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
273 set prefix= |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
274 set nodebug= |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
275 set noopt= |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
276 set nocygwin= |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
277 set COMPILER= |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
278 set MAKECMD= |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
279 set usercflags= |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
280 set userldflags= |