annotate nt/configure.bat @ 31385:b1e1a94dfc0a

(vc-sccs-latest-on-branch-p): Always return t; we don't support anything else under SCCS yet. (vc-sccs-update-changelog): Dummy implementation that simply signals an error. (vc-sccs-state-heuristic): Use file-ownership-preserved-p. (vc-sccs-workfile-unchanged-p): Fix call to vc-do-command. (vc-sccs-state-heuristic): Don't use file-writable-p. (vc-sccs-workfile-unchanged-p): Fix parenthesis. (vc-sccs-print-log, vc-sccs-diff): Insert in the current buffer. (vc-sccs-workfile-unchanged-p): Rewritten. (vc-sccs-diff): Remove optional arg CMP. (vc-sccs-state): Call vc-workfile-unchanged-p, not the SCCS-specific function. (vc-sccs-state): Fix obviously wrong parenthesis. (vc-sccs-state-heuristic): Use file-writable-p instead of comparing userids. (vc-sccs-checkout): Use `unless'. (vc-sccs-state): Use with-temp-buffer. (vc-sccs-workfile-version): Use with-temp-buffer and new vc-parse-buffer and don't bother setting the property. (vc-sccs-add-triple): Use with-current-buffer and find-file-noselect. (vc-sccs-lookup-triple): New vc-parse-buffer and turn cond -> if. Merge in code from vc-sccs-hooks.el. (vc-sccs-release, vc-sccs-system-release): Remove. Don't require 'vc anymore. (vc-sccs-responsible-p): Use expand-file-name instead of concat and file-directory-p instead of file-exists-p. (vc-sccs-check-headers): Simplify the regexp. (vc-sccs-responsible-p, vc-sccs-register): Use `vc-sccs-search-project-dir' instead of `vc-sccs-project-dir'. (vc-sccs-header): New var. (vc-sccs-rename-file): Renamed from vc-sccs-record-rename. Use `find-file-noselect' rather than `find-file' and call `vc-rename-master' to do the actual move. (vc-sccs-diff): Remove unused `backend' variable. (tail): Provide vc-sccs. (vc-sccs-checkout): Removed call to vc-file-clear-masterprops. If writable, set vc-state to 'edited rather than user login name. Require 'vc and 'vc-sccs-hooks. (vc-sccs-register-switches): New var, copied off of vc-rcs-hooks. (vc-sccs-latest-on-branch-p): Add a `FIXME' for a call to the unknown `vc-latest-version' function. It should probably refer to vc-workfile-version or somesuch, but it's very unclear to me and I don't have SCCS to test things. (vc-sccs-steal-lock): Renamed from `vc-sccs-steal'. (vc-BACKEND-responsible-p): New functions. (vc-BACKEND-register): Renamed from `vc-BACKEND-admin'. Removed query option. Redocumented. (vc-sccs-diff): Function changed name from `vc-backend-diff'. This makes `vc-diff' work. (vc-sccs-release): Doc fix. (vc-sccs-admin): Added the query-only option as required by the vc.el file. (vc-sccs-latest-on-branch-p): Function added. (vc-sccs-diff): Function added. (vc-sccs-checkout): Added function `vc-sccs-checkout'. Require vc when compiling. (vc-sccs-print-log, vc-sccs-assign-name, vc-sccs-merge) (vc-sccs-check-headers, vc-sccs-steal, vc-sccs-uncheck) (vc-sccs-revert) (vc-sccs-checkin, vc-sccs-logentry-check): New functions (code from vc.el). (vc-sccs-add-triple, vc-sccs-record-rename) (vc-sccs-lookup-triple): Moved from vc.el and renamed. (vc-sccs-admin): Doc fix. (vc-admin-sccs): Added from vc.el (vc-sccs-system-release): Renamed from vc-sccs-backend-release. (vc-sccs-release): Moved from vc.el. (vc-sccs-backend-release): New function.
author Gerd Moellmann <gerd@gnu.org>
date Mon, 04 Sep 2000 19:48:23 +0000
parents 7ba96d66b0c5
children eb8bb73d0c23
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
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
7ba96d66b0c5 Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents: 31146
diff changeset
252 rem gmake doesn't support "cd foo" in commands (except as part of a
7ba96d66b0c5 Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents: 31146
diff changeset
253 rem compound statement which command.com doesn't support), but nmake
7ba96d66b0c5 Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents: 31146
diff changeset
254 rem doesn't support the -C dir command line switch, so generate the
7ba96d66b0c5 Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents: 31146
diff changeset
255 rem necessary makefile fragment for targets that involve changing dir.
7ba96d66b0c5 Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents: 31146
diff changeset
256 rem
7ba96d66b0c5 Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents: 31146
diff changeset
257 if %MAKECMD% == nmake goto gen1
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 echo. > make-frag
7ba96d66b0c5 Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents: 31146
diff changeset
260 echo all-other-dirs: >> make-frag
7ba96d66b0c5 Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents: 31146
diff changeset
261 echo. $(MAKE) -C ../lib-src all >> make-frag
7ba96d66b0c5 Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents: 31146
diff changeset
262 echo. $(MAKE) -C ../src all >> make-frag
7ba96d66b0c5 Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents: 31146
diff changeset
263 echo. $(MAKE) -C ../lisp all >> make-frag
7ba96d66b0c5 Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents: 31146
diff changeset
264 echo. $(MAKE) -C ../leim all >> make-frag
7ba96d66b0c5 Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents: 31146
diff changeset
265 echo. >> make-frag
7ba96d66b0c5 Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents: 31146
diff changeset
266 echo clean-other-dirs: >> make-frag
7ba96d66b0c5 Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents: 31146
diff changeset
267 echo. $(MAKE) -C ../lib-src clean >> make-frag
7ba96d66b0c5 Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents: 31146
diff changeset
268 echo. $(MAKE) -C ../src clean >> make-frag
7ba96d66b0c5 Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents: 31146
diff changeset
269 echo. $(MAKE) -C ../lisp clean >> make-frag
7ba96d66b0c5 Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents: 31146
diff changeset
270 echo. $(MAKE) -C ../leim clean >> make-frag
7ba96d66b0c5 Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents: 31146
diff changeset
271 echo. >> make-frag
7ba96d66b0c5 Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents: 31146
diff changeset
272 echo install-other-dirs: >> make-frag
7ba96d66b0c5 Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents: 31146
diff changeset
273 echo. $(MAKE) -C ../lib-src install >> make-frag
7ba96d66b0c5 Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents: 31146
diff changeset
274 echo. $(MAKE) -C ../src install >> make-frag
7ba96d66b0c5 Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents: 31146
diff changeset
275 echo. $(MAKE) -C ../lisp install >> make-frag
7ba96d66b0c5 Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents: 31146
diff changeset
276 echo. $(MAKE) -C ../leim install >> make-frag
7ba96d66b0c5 Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents: 31146
diff changeset
277 echo. >> make-frag
7ba96d66b0c5 Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents: 31146
diff changeset
278 goto gen2
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 :gen1
7ba96d66b0c5 Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents: 31146
diff changeset
281 echo. > make-frag
7ba96d66b0c5 Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents: 31146
diff changeset
282 echo all-other-dirs: >> make-frag
7ba96d66b0c5 Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents: 31146
diff changeset
283 echo. cd ..\lib-src >> make-frag
7ba96d66b0c5 Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents: 31146
diff changeset
284 echo. $(MAKE) all >> make-frag
7ba96d66b0c5 Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents: 31146
diff changeset
285 echo. cd ..\src >> make-frag
7ba96d66b0c5 Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents: 31146
diff changeset
286 echo. $(MAKE) all >> make-frag
7ba96d66b0c5 Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents: 31146
diff changeset
287 echo. cd ..\lisp >> make-frag
7ba96d66b0c5 Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents: 31146
diff changeset
288 echo. $(MAKE) all >> make-frag
7ba96d66b0c5 Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents: 31146
diff changeset
289 echo. cd ..\leim >> make-frag
7ba96d66b0c5 Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents: 31146
diff changeset
290 echo. $(MAKE) all >> make-frag
7ba96d66b0c5 Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents: 31146
diff changeset
291 echo. cd ..\nt >> make-frag
7ba96d66b0c5 Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents: 31146
diff changeset
292 echo. >> make-frag
7ba96d66b0c5 Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents: 31146
diff changeset
293 echo clean-other-dirs: >> make-frag
7ba96d66b0c5 Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents: 31146
diff changeset
294 echo. cd ..\lib-src >> make-frag
7ba96d66b0c5 Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents: 31146
diff changeset
295 echo. $(MAKE) clean >> make-frag
7ba96d66b0c5 Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents: 31146
diff changeset
296 echo. cd ..\src >> make-frag
7ba96d66b0c5 Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents: 31146
diff changeset
297 echo. $(MAKE) clean >> make-frag
7ba96d66b0c5 Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents: 31146
diff changeset
298 echo. cd ..\lisp >> make-frag
7ba96d66b0c5 Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents: 31146
diff changeset
299 echo. $(MAKE) clean >> make-frag
7ba96d66b0c5 Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents: 31146
diff changeset
300 echo. cd ..\leim >> make-frag
7ba96d66b0c5 Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents: 31146
diff changeset
301 echo. $(MAKE) clean >> make-frag
7ba96d66b0c5 Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents: 31146
diff changeset
302 echo. cd ..\nt >> make-frag
7ba96d66b0c5 Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents: 31146
diff changeset
303 echo. >> make-frag
7ba96d66b0c5 Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents: 31146
diff changeset
304 echo install-other-dirs: >> make-frag
7ba96d66b0c5 Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents: 31146
diff changeset
305 echo. cd ..\lib-src >> make-frag
7ba96d66b0c5 Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents: 31146
diff changeset
306 echo. $(MAKE) install >> make-frag
7ba96d66b0c5 Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents: 31146
diff changeset
307 echo. cd ..\src >> make-frag
7ba96d66b0c5 Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents: 31146
diff changeset
308 echo. $(MAKE) install >> make-frag
7ba96d66b0c5 Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents: 31146
diff changeset
309 echo. cd ..\lisp >> make-frag
7ba96d66b0c5 Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents: 31146
diff changeset
310 echo. $(MAKE) install >> make-frag
7ba96d66b0c5 Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents: 31146
diff changeset
311 echo. cd ..\leim >> make-frag
7ba96d66b0c5 Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents: 31146
diff changeset
312 echo. $(MAKE) install >> make-frag
7ba96d66b0c5 Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents: 31146
diff changeset
313 echo. cd ..\nt >> make-frag
7ba96d66b0c5 Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents: 31146
diff changeset
314 echo. >> make-frag
7ba96d66b0c5 Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents: 31146
diff changeset
315
7ba96d66b0c5 Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents: 31146
diff changeset
316 :gen2
7ba96d66b0c5 Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents: 31146
diff changeset
317 copy /b config.settings+%MAKECMD%.defs+make-frag+..\nt\makefile.w32-in ..\nt\makefile
7ba96d66b0c5 Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents: 31146
diff changeset
318 del make-frag
7ba96d66b0c5 Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents: 31146
diff changeset
319 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
320 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
321 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
322 if exist ..\lisp\makefile del /f ..\lisp\makefile
7ba96d66b0c5 Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents: 31146
diff changeset
323 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
324 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
325 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
326 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
327 del config.settings
7ba96d66b0c5 Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents: 31146
diff changeset
328
7ba96d66b0c5 Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents: 31146
diff changeset
329 echo.
7ba96d66b0c5 Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents: 31146
diff changeset
330 echo Emacs successfully configured.
7ba96d66b0c5 Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents: 31146
diff changeset
331 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
332 goto end
7ba96d66b0c5 Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents: 31146
diff changeset
333
7ba96d66b0c5 Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents: 31146
diff changeset
334 :SmallEnv
7ba96d66b0c5 Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents: 31146
diff changeset
335 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
336 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
337 set $foo$=
7ba96d66b0c5 Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents: 31146
diff changeset
338 :end
7ba96d66b0c5 Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents: 31146
diff changeset
339 set prefix=
7ba96d66b0c5 Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents: 31146
diff changeset
340 set nodebug=
7ba96d66b0c5 Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents: 31146
diff changeset
341 set noopt=
7ba96d66b0c5 Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents: 31146
diff changeset
342 set nocygwin=
7ba96d66b0c5 Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents: 31146
diff changeset
343 set COMPILER=
7ba96d66b0c5 Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents: 31146
diff changeset
344 set MAKECMD=
7ba96d66b0c5 Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents: 31146
diff changeset
345 set usercflags=
7ba96d66b0c5 Change to DOS line endings.
Andrew Innes <andrewi@gnu.org>
parents: 31146
diff changeset
346 set userldflags=