Mercurial > emacs
annotate nt/configure.bat @ 37406:3886350a8826
(easy-mmode-defsyntax): Unquote `doc'.
author | Stefan Monnier <monnier@iro.umontreal.ca> |
---|---|
date | Thu, 19 Apr 2001 22:44:57 +0000 |
parents | 96df2a9b439e |
children | f3c91857bea7 |
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 | 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 |
37003
baaa260e9a27
Make the checkw32api* labels be distinct in the first 8 characters.
Eli Zaretskii <eliz@gnu.org>
parents:
36545
diff
changeset
|
182 Rem WARNING -- COMMAND.COM on some systems only looks at the first |
37127 | 183 Rem 8 characters of a label. So do NOT be tempted to change |
37003
baaa260e9a27
Make the checkw32api* labels be distinct in the first 8 characters.
Eli Zaretskii <eliz@gnu.org>
parents:
36545
diff
changeset
|
184 Rem chkapi* into something fancier like checkw32api |
baaa260e9a27
Make the checkw32api* labels be distinct in the first 8 characters.
Eli Zaretskii <eliz@gnu.org>
parents:
36545
diff
changeset
|
185 Rem You HAVE been warned! |
baaa260e9a27
Make the checkw32api* labels be distinct in the first 8 characters.
Eli Zaretskii <eliz@gnu.org>
parents:
36545
diff
changeset
|
186 if (%nocygwin%) == (Y) goto chkapi |
31353
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
187 echo Checking whether gcc requires '-mno-cygwin'... |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
188 echo #include "cygwin/version.h" >junk.c |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
189 echo main(){} >>junk.c |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
190 gcc -c junk.c |
37003
baaa260e9a27
Make the checkw32api* labels be distinct in the first 8 characters.
Eli Zaretskii <eliz@gnu.org>
parents:
36545
diff
changeset
|
191 if not exist junk.o goto chkapi |
31353
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
192 gcc -mno-cygwin -c junk.c |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
193 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
|
194 rm -f junk.c junk.o |
31353
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
195 |
37127 | 196 :chkapi |
31353
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
197 rem ---------------------------------------------------------------------- |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
198 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
|
199 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
|
200 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
|
201 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
|
202 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
|
203 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
|
204 rem |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
205 echo Checking whether W32 API headers are too old... |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
206 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
|
207 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
|
208 echo {PIMAGE_SECTION_HEADER pSection = IMAGE_FIRST_SECTION(pHeader);} >>junk.c |
37003
baaa260e9a27
Make the checkw32api* labels be distinct in the first 8 characters.
Eli Zaretskii <eliz@gnu.org>
parents:
36545
diff
changeset
|
209 if (%nocygwin%) == (Y) goto chkapi1 |
36545
aaea0580662b
Use correct options when compiling a test program with Cygwin.
Eli Zaretskii <eliz@gnu.org>
parents:
36377
diff
changeset
|
210 set cf=%usercflags% |
37003
baaa260e9a27
Make the checkw32api* labels be distinct in the first 8 characters.
Eli Zaretskii <eliz@gnu.org>
parents:
36545
diff
changeset
|
211 goto chkapi2 |
baaa260e9a27
Make the checkw32api* labels be distinct in the first 8 characters.
Eli Zaretskii <eliz@gnu.org>
parents:
36545
diff
changeset
|
212 :chkapi1 |
36545
aaea0580662b
Use correct options when compiling a test program with Cygwin.
Eli Zaretskii <eliz@gnu.org>
parents:
36377
diff
changeset
|
213 set cf=%usercflags% -mno-cygwin |
37003
baaa260e9a27
Make the checkw32api* labels be distinct in the first 8 characters.
Eli Zaretskii <eliz@gnu.org>
parents:
36545
diff
changeset
|
214 :chkapi2 |
36545
aaea0580662b
Use correct options when compiling a test program with Cygwin.
Eli Zaretskii <eliz@gnu.org>
parents:
36377
diff
changeset
|
215 echo on |
aaea0580662b
Use correct options when compiling a test program with Cygwin.
Eli Zaretskii <eliz@gnu.org>
parents:
36377
diff
changeset
|
216 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
|
217 echo off |
aaea0580662b
Use correct options when compiling a test program with Cygwin.
Eli Zaretskii <eliz@gnu.org>
parents:
36377
diff
changeset
|
218 set cf= |
31353
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
219 if exist junk.o goto gccOk |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
220 |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
221 :nocompiler |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
222 echo. |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
223 echo Configure failed. |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
224 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
|
225 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
|
226 echo or MSVC 2.x or later. |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
227 del junk.c |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
228 goto end |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
229 |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
230 :gccOk |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
231 set COMPILER=gcc |
35727
8e36e09f6fed
Don't copy lisp/Makefile, it doesn't exist; copy
Eli Zaretskii <eliz@gnu.org>
parents:
35101
diff
changeset
|
232 rm -f junk.c junk.o |
31353
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
233 echo Using 'gcc' |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
234 goto genmakefiles |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
235 |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
236 :clOk |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
237 set COMPILER=cl |
35727
8e36e09f6fed
Don't copy lisp/Makefile, it doesn't exist; copy
Eli Zaretskii <eliz@gnu.org>
parents:
35101
diff
changeset
|
238 rm -f junk.c junk.obj |
31353
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
239 echo Using 'MSVC' |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
240 goto genmakefiles |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
241 |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
242 rem ---------------------------------------------------------------------- |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
243 :genmakefiles |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
244 echo Generating makefiles |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
245 if %COMPILER% == gcc set MAKECMD=gmake |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
246 if %COMPILER% == cl set MAKECMD=nmake |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
247 |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
248 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
|
249 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
|
250 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
|
251 rem |
31353
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
252 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
|
253 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
|
254 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
|
255 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
|
256 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
|
257 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
|
258 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
|
259 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
|
260 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
|
261 echo. >>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 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
|
264 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
|
265 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
|
266 copy paths.h ..\src\epaths.h |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
267 |
31626
eb8bb73d0c23
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31353
diff
changeset
|
268 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
|
269 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
|
270 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
|
271 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
|
272 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
|
273 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
|
274 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
|
275 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
|
276 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
|
277 del config.settings |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
278 |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
279 echo. |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
280 echo Emacs successfully configured. |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
281 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
|
282 goto end |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
283 |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
284 :SmallEnv |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
285 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
|
286 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
|
287 set $foo$= |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
288 :end |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
289 set prefix= |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
290 set nodebug= |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
291 set noopt= |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
292 set nocygwin= |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
293 set COMPILER= |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
294 set MAKECMD= |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
295 set usercflags= |
7ba96d66b0c5
Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents:
31146
diff
changeset
|
296 set userldflags= |