Mercurial > emacs
annotate config.bat @ 112133:0057170b4509
gnus/mml2015.el: Fix secret key validity check (Bug#7797).
* mml2015.el (epg-sub-key-fingerprint): Autoload.
(mml2015-epg-find-usable-secret-key): New function.
(mml2015-epg-sign): Use mml2015-epg-find-usable-secret-key instead of
mml2015-epg-find-usable-key (Bug#7797).
(mml2015-epg-encrypt): Ditto.
author | Daiki Ueno <ueno@unixuser.org> |
---|---|
date | Fri, 07 Jan 2011 18:28:29 +0900 |
parents | ced73eea562f |
children | 417b1e4d63cd |
rev | line source |
---|---|
111811
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
1 @echo off |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
2 rem ---------------------------------------------------------------------- |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
3 rem Configuration script for MSDOS |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
4 rem Copyright (C) 1994, 1995, 1996, 1997, 1998, 1999, 2001, 2002, 2003 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
5 rem 2004, 2005, 2006, 2007, 2008, 2009, 2010 Free Software Foundation, Inc. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
6 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
7 rem This file is part of GNU Emacs. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
8 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
9 rem GNU Emacs is free software: you can redistribute it and/or modify |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
10 rem it under the terms of the GNU General Public License as published by |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
11 rem the Free Software Foundation, either version 3 of the License, or |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
12 rem (at your option) any later version. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
13 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
14 rem GNU Emacs is distributed in the hope that it will be useful, |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
15 rem but WITHOUT ANY WARRANTY; without even the implied warranty of |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
16 rem MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. See the |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
17 rem GNU General Public License for more details. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
18 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
19 rem You should have received a copy of the GNU General Public License |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
20 rem along with GNU Emacs. If not, see http://www.gnu.org/licenses/. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
21 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
22 rem ---------------------------------------------------------------------- |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
23 rem YOU'LL NEED THE FOLLOWING UTILITIES TO MAKE EMACS: |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
24 rem |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
25 rem + msdos version 3 or better. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
26 rem + DJGPP version 2.0 or later (version 2.03 or later recommended). |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
27 rem + make utility that allows breaking of the 128 chars limit on |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
28 rem command lines. ndmake (as of version 4.5) won't work due to a |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
29 rem line length limit. The make that comes with DJGPP does work (and is |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
30 rem recommended). |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
31 rem + rm, mv, and cp (from GNU file utilities). |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
32 rem + sed (you can use the port that comes with DJGPP). |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
33 rem |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
34 rem You should be able to get all the above utilities from the DJGPP FTP |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
35 rem site, ftp.delorie.com, in the directory "pub/djgpp/current/v2gnu". |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
36 rem ---------------------------------------------------------------------- |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
37 set X11= |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
38 set nodebug= |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
39 set djgpp_ver= |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
40 set sys_malloc= |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
41 set libxml= |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
42 if "%1" == "" goto usage |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
43 rem ---------------------------------------------------------------------- |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
44 rem See if their environment is large enough. We need 28 bytes. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
45 set $foo$=789012345678901234567 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
46 if not "%$foo$%" == "789012345678901234567" goto SmallEnv |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
47 set $foo$= |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
48 :again |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
49 if "%1" == "" goto usage |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
50 if "%1" == "--with-x" goto withx |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
51 if "%1" == "--no-debug" goto nodebug |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
52 if "%1" == "msdos" goto msdos |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
53 if "%1" == "--with-system-malloc" goto sysmalloc |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
54 :usage |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
55 echo Usage: config [--no-debug] [--with-system-malloc] [--with-x] msdos |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
56 echo [Read the script before you run it.] |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
57 goto end |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
58 rem ---------------------------------------------------------------------- |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
59 :withx |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
60 set X11=Y |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
61 shift |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
62 goto again |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
63 rem ---------------------------------------------------------------------- |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
64 :nodebug |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
65 set nodebug=Y |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
66 shift |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
67 goto again |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
68 rem ---------------------------------------------------------------------- |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
69 :sysmalloc |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
70 set sys_malloc=Y |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
71 shift |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
72 goto again |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
73 rem ---------------------------------------------------------------------- |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
74 :msdos |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
75 Echo Checking whether 'sed' is available... |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
76 sed -e "w junk.$$$" <Nul |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
77 If Exist junk.$$$ Goto sedOk |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
78 Echo To configure 'Emacs' you need to have 'sed'! |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
79 Goto End |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
80 :sedOk |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
81 Echo Checking whether 'rm' is available... |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
82 rm -f junk.$$$ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
83 If Not Exist junk.$$$ Goto rmOk |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
84 Echo To configure 'Emacs' you need to have 'rm'! |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
85 Goto End |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
86 :rmOk |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
87 Echo Checking whether 'mv' is available... |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
88 rm -f junk.1 junk.2 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
89 echo foo >junk.1 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
90 mv junk.1 ./junk.2 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
91 If Exist junk.2 Goto mvOk |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
92 Echo To configure 'Emacs' you need to have 'mv'! |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
93 rm -f junk.1 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
94 Goto End |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
95 :mvOk |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
96 rm -f junk.2 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
97 Echo Checking whether 'gcc' is available... |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
98 echo main(){} >junk.c |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
99 gcc -c junk.c |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
100 if exist junk.o goto gccOk |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
101 Echo To configure 'Emacs' you need to have 'gcc'! |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
102 rm -f junk.c |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
103 Goto End |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
104 :gccOk |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
105 rm -f junk.c junk.o junk junk.exe |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
106 Echo Checking what version of DJGPP is installed... |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
107 If Not "%DJGPP%" == "" goto djgppOk |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
108 Echo To compile 'Emacs' under MS-DOS you MUST have DJGPP installed! |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
109 Goto End |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
110 :djgppOk |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
111 echo int main() >junk.c |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
112 echo #ifdef __DJGPP__ >>junk.c |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
113 echo {return (__DJGPP__)*10;} >>junk.c |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
114 echo #else >>junk.c |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
115 echo #ifdef __GO32__ >>junk.c |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
116 echo {return 10;} >>junk.c |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
117 echo #else >>junk.c |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
118 echo {return 0;} >>junk.c |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
119 echo #endif >>junk.c |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
120 echo #endif >>junk.c |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
121 gcc -o junk junk.c |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
122 if not exist junk.exe coff2exe junk |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
123 junk |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
124 If ErrorLevel 10 Goto go32Ok |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
125 rm -f junk.c junk junk.exe |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
126 Echo To compile 'Emacs' under MS-DOS you MUST have DJGPP installed! |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
127 Goto End |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
128 :go32Ok |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
129 set djgpp_ver=2 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
130 If Not ErrorLevel 20 Echo To build 'Emacs' you need DJGPP v2.0 or later! |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
131 If Not ErrorLevel 20 Goto End |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
132 rm -f junk.c junk junk.exe |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
133 rem DJECHO is used by the top-level Makefile in the v2.x build |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
134 Echo Checking whether 'djecho' is available... |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
135 redir -o Nul -eo djecho -o junk.$$$ foo |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
136 If Exist junk.$$$ Goto djechoOk |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
137 Echo To build 'Emacs' you need the 'djecho.exe' program! |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
138 Echo 'djecho.exe' is part of 'djdevNNN.zip' basic DJGPP development kit. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
139 Echo Versions of DJGPP before 2.02 called this program 'echo.exe'. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
140 Echo Either unpack 'djecho.exe' from the 'djdevNNN.zip' archive, |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
141 Echo or, if you have 'echo.exe', copy it to 'djecho.exe'. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
142 Echo Then run CONFIG.BAT again with the same arguments you did now. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
143 Goto End |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
144 :djechoOk |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
145 rm -f junk.$$$ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
146 Echo Configuring for DJGPP Version %DJGPP_VER% ... |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
147 Rem ---------------------------------------------------------------------- |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
148 Echo Configuring the source directory... |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
149 cd src |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
150 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
151 rem Create "epaths.h" |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
152 sed -f ../msdos/sed4.inp <epaths.in >epaths.tmp |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
153 update epaths.tmp epaths.h >nul |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
154 rm -f epaths.tmp |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
155 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
156 rem Create "config.h" |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
157 rm -f config.h2 config.tmp |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
158 sed -e '' config.in > config.tmp |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
159 if "%X11%" == "" goto src4 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
160 sed -f ../msdos/sed2x.inp <config.in >config.tmp |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
161 :src4 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
162 sed -f ../msdos/sed2v2.inp <config.tmp >config.h2 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
163 Rem See if DECL_ALIGN can be supported with this GCC |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
164 rm -f junk.c junk.o junk junk.exe |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
165 echo struct { int i; char *p; } __attribute__((__aligned__(8))) foo; >junk.c |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
166 rem Two percent signs because it is a special character for COMMAND.COM/CMD |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
167 rem Filter thru Sed because "&" is special for CMD.EXE |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
168 echo int main(void) { return (unsigned long)"&"foo %% 8; } | sed "s/.&./\&/" >>junk.c |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
169 gcc -o junk junk.c |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
170 if not exist junk.exe coff2exe junk |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
171 junk |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
172 If Not ErrorLevel 1 Goto alignOk |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
173 Echo WARNING: Your GCC does not support 8-byte aligned variables. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
174 Echo WARNING: Therefore Emacs cannot support buffers larger than 128MB. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
175 rem The following line disables DECL_ALIGN which in turn disables USE_LSB_TAG |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
176 rem For details see lisp.h where it defines USE_LSB_TAG |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
177 echo #define NO_DECL_ALIGN >>config.h2 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
178 :alignOk |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
179 Rem See if they have libxml2 later than v2.2.0 installed |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
180 Echo Checking whether libxml2 v2.2.1 or later is installed ... |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
181 rm -f junk.c junk.o junk junk.exe |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
182 rem Use djecho here because we need to quote brackets |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
183 djecho "#include <libxml/xmlversion.h>" >junk.c |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
184 djecho "int main()" >>junk.c |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
185 djecho "{return (LIBXML_VERSION > 20200 ? 0 : 1);}" >>junk.c |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
186 redir -o Nul -eo gcc -I/dev/env/DJDIR/include/libxml2 -o junk junk.c |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
187 if not exist junk Goto xmlDone |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
188 if not exist junk.exe coff2exe junk |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
189 junk |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
190 If ErrorLevel 1 Goto xmlDone |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
191 Echo Configuring with libxml2 ... |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
192 sed -e "/#undef HAVE_LIBXML2/s/^.*$/#define HAVE_LIBXML2 1/" <config.h2 >config.h3 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
193 mv config.h3 config.h2 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
194 set libxml=1 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
195 :xmlDone |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
196 rm -f junk.c junk junk.exe |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
197 Rem See if they requested a SYSTEM_MALLOC build |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
198 if "%sys_malloc%" == "" Goto cfgDone |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
199 rm -f config.tmp |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
200 ren config.h2 config.tmp |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
201 sed -f ../msdos/sedalloc.inp <config.tmp >config.h2 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
202 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
203 :cfgDone |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
204 rm -f junk.c junk junk.exe |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
205 update config.h2 config.h >nul |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
206 rm -f config.tmp config.h2 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
207 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
208 rem On my system dir.h gets in the way. It's a VMS file so who cares. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
209 if exist dir.h ren dir.h vmsdir.h |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
210 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
211 rem Create "makefile" from "makefile.in". |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
212 rm -f Makefile makefile.tmp |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
213 copy Makefile.in+deps.mk makefile.tmp |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
214 sed -f ../msdos/sed1v2.inp <makefile.tmp >Makefile |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
215 rm -f makefile.tmp |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
216 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
217 if "%X11%" == "" goto src5 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
218 mv Makefile makefile.tmp |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
219 sed -f ../msdos/sed1x.inp <makefile.tmp >Makefile |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
220 rm -f makefile.tmp |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
221 :src5 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
222 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
223 if "%sys_malloc%" == "" goto src5a |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
224 sed -e "/^GMALLOC_OBJ *=/s/gmalloc.o//" <Makefile >makefile.tmp |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
225 sed -e "/^VMLIMIT_OBJ *=/s/vm-limit.o//" <makefile.tmp >makefile.tmp2 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
226 sed -e "/^RALLOC_OBJ *=/s/ralloc.o//" <makefile.tmp2 >Makefile |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
227 rm -f makefile.tmp makefile.tmp2 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
228 :src5a |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
229 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
230 if "%nodebug%" == "" goto src6 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
231 sed -e "/^CFLAGS *=/s/ *-gcoff//" <Makefile >makefile.tmp |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
232 sed -e "/^LDFLAGS *=/s/=/=-s/" <makefile.tmp >Makefile |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
233 rm -f makefile.tmp |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
234 :src6 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
235 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
236 if "%libxml%" == "" goto src7 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
237 sed -e "/^LIBXML2_LIBS *=/s/=/= -lxml2 -lz -liconv/" <Makefile >makefile.tmp |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
238 sed -e "/^LIBXML2_CFLAGS *=/s|=|= -I/dev/env/DJDIR/include/libxml2|" <makefile.tmp >Makefile |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
239 rm -f makefile.tmp |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
240 :src7 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
241 cd .. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
242 rem ---------------------------------------------------------------------- |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
243 Echo Configuring the library source directory... |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
244 cd lib-src |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
245 sed -f ../msdos/sed3v2.inp <Makefile.in >Makefile |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
246 if "%X11%" == "" goto libsrc2a |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
247 mv Makefile makefile.tmp |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
248 sed -f ../msdos/sed3x.inp <makefile.tmp >Makefile |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
249 rm -f makefile.tmp |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
250 :libsrc2a |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
251 if "%nodebug%" == "" goto libsrc3 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
252 sed -e "/^CFLAGS *=/s/ *-gcoff//" <Makefile >makefile.tmp |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
253 sed -e "/^ALL_CFLAGS *=/s/=/= -s/" <makefile.tmp >Makefile |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
254 rm -f makefile.tmp |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
255 :libsrc3 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
256 cd .. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
257 rem ---------------------------------------------------------------------- |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
258 if "%X11%" == "" goto oldx1 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
259 Echo Configuring the oldxmenu directory... |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
260 cd oldxmenu |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
261 sed -f ../msdos/sed5x.inp <Makefile.in >Makefile |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
262 if "%nodebug%" == "" goto oldx2 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
263 sed -e "/^CFLAGS *=/s/ *-gcoff//" <Makefile >makefile.tmp |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
264 mv -f makefile.tmp Makefile |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
265 :oldx2 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
266 cd .. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
267 :oldx1 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
268 rem ---------------------------------------------------------------------- |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
269 Echo Configuring the doc directory, expect one "File not found" message... |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
270 cd doc |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
271 Rem The two variants for lispintro below is for when the shell |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
272 Rem supports long file names but DJGPP does not |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
273 for %%d in (emacs lispref lispintro lispintr misc) do sed -f ../msdos/sed6.inp < %%d\Makefile.in > %%d\Makefile |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
274 cd .. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
275 rem ---------------------------------------------------------------------- |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
276 Echo Configuring the lisp directory... |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
277 cd lisp |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
278 If Exist gnus\.dir-locals.el update gnus/.dir-locals.el gnus/_dir-locals.el |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
279 sed -f ../msdos/sedlisp.inp < Makefile.in > Makefile |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
280 cd .. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
281 rem ---------------------------------------------------------------------- |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
282 If not Exist leim\quail\latin-pre.el goto maindir |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
283 Echo Configuring the leim directory... |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
284 cd leim |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
285 sed -f ../msdos/sedleim.inp < Makefile.in > Makefile |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
286 cd .. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
287 rem ---------------------------------------------------------------------- |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
288 :maindir |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
289 Echo Configuring the main directory... |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
290 If Exist .dir-locals.el update .dir-locals.el _dir-locals.el |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
291 If Exist src\.dbxinit update src/.dbxinit src/_dbxinit |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
292 Echo Looking for the GDB init file... |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
293 If Exist src\.gdbinit update src/.gdbinit src/_gdbinit |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
294 If Exist src\_gdbinit goto gdbinitOk |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
295 Echo ERROR: |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
296 Echo I cannot find the GDB init file. It was called ".gdbinit" in |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
297 Echo the Emacs distribution, but was probably renamed to some other |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
298 Echo name without the leading dot when you untarred the archive. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
299 Echo It should be in the "src/" subdirectory. Please make sure this |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
300 Echo file exists and is called "_gdbinit" with a leading underscore. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
301 Echo Then run CONFIG.BAT again with the same arguments you did now. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
302 goto End |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
303 :gdbinitOk |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
304 Echo Looking for the GDB init file...found |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
305 copy msdos\mainmake.v2 Makefile >nul |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
306 rem ---------------------------------------------------------------------- |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
307 goto End |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
308 :SmallEnv |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
309 echo Your environment size is too small. Please enlarge it and run me again. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
310 echo For example, type "command.com /e:2048" to have 2048 bytes available. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
311 set $foo$= |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
312 :end |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
313 set X11= |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
314 set nodebug= |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
315 set djgpp_ver= |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
316 set sys_malloc= |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
317 set libxml= |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
318 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
319 goto skipArchTag |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
320 arch-tag: 2d2fed23-4dc6-4006-a2e4-49daf0031f33 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
321 :skipArchTag |