Mercurial > emacs
annotate Makefile.in @ 112302:c428fb33aede
Automate syncing from gnulib.
author | Paul Eggert <eggert@cs.ucla.edu> |
---|---|
date | Sat, 08 Jan 2011 13:02:38 -0800 |
parents | 5e63c33ad48c |
children | 9539682ee916 |
rev | line source |
---|---|
111811
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
1 # DIST: This is the distribution Makefile for Emacs. configure can |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
2 # DIST: make most of the changes to this file you might want, so try |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
3 # DIST: that first. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
4 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
5 # Copyright (C) 1992, 1993, 1994, 1995, 1996, 1997, 1998, 1999, 2000, |
112123
5e63c33ad48c
Don't use $MAKEINFO for both a flag and a program.
Glenn Morris <rgm@gnu.org>
parents:
111971
diff
changeset
|
6 # 2001, 2002, 2003, 2004, 2005, 2006, 2007, 2008, 2009, 2010, 2011 |
111811
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
7 # Free Software Foundation, Inc. |
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 # 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
|
10 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
11 # 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
|
12 # 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
|
13 # 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
|
14 # (at your option) any later version. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
15 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
16 # 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
|
17 # 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
|
18 # 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
|
19 # 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
|
20 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
21 # 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
|
22 # 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
|
23 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
24 ### Commentary: |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
25 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
26 # make all to compile and build Emacs. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
27 # make install to install it. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
28 # make TAGS to update tags tables. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
29 # |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
30 # make clean or make mostlyclean |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
31 # Delete all files from the current directory that are normally |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
32 # created by building the program. Don't delete the files that |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
33 # record the configuration. Also preserve files that could be made |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
34 # by building, but normally aren't because the distribution comes |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
35 # with them. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
36 # |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
37 # Delete `.dvi' files here if they are not part of the distribution. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
38 # |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
39 # make distclean |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
40 # Delete all files from the current directory that are created by |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
41 # configuring or building the program. If you have unpacked the |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
42 # source and built the program without creating any other files, |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
43 # `make distclean' should leave only the files that were in the |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
44 # distribution. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
45 # |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
46 # make maintainer-clean |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
47 # Delete everything from the current directory that can be |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
48 # reconstructed with this Makefile. This typically includes |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
49 # everything deleted by distclean, plus more: .elc files, |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
50 # C source files produced by Bison, tags tables, info files, |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
51 # and so on. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
52 # |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
53 # make extraclean |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
54 # Still more severe - delete backup and autosave files, too. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
55 # |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
56 # make bootstrap |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
57 # Removes all the compiled files to force a new bootstrap from a |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
58 # clean slate, and then build in the normal way. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
59 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
60 SHELL = /bin/sh |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
61 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
62 # This may not work with certain non-GNU make's. It only matters when |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
63 # inheriting a CDPATH not starting with the current directory. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
64 CDPATH= |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
65 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
66 # If Make doesn't predefine MAKE, set it here. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
67 @SET_MAKE@ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
68 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
69 # ==================== Things `configure' Might Edit ==================== |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
70 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
71 CC=@CC@ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
72 CFLAGS=@CFLAGS@ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
73 LDFLAGS=@LDFLAGS@ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
74 CPPFLAGS=@CPPFLAGS@ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
75 EXEEXT=@EXEEXT@ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
76 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
77 ### These help us choose version- and architecture-specific directories |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
78 ### to install files in. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
79 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
80 ### This should be the number of the Emacs version we're building, |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
81 ### like `18.59' or `19.0'. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
82 version=@version@ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
83 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
84 ### This should be the name of the configuration we're building Emacs |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
85 ### for, like `mips-dec-ultrix' or `sparc-sun-sunos'. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
86 configuration=@configuration@ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
87 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
88 # ==================== Where To Install Things ==================== |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
89 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
90 # The default location for installation. Everything is placed in |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
91 # subdirectories of this directory. The default values for many of |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
92 # the variables below are expressed in terms of this one, so you may |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
93 # not need to change them. This defaults to /usr/local. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
94 prefix=@prefix@ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
95 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
96 # Like `prefix', but used for architecture-specific files. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
97 exec_prefix=@exec_prefix@ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
98 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
99 # Where to install Emacs and other binaries that people will want to |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
100 # run directly (like etags). |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
101 bindir=@bindir@ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
102 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
103 # The root of the directory tree for read-only architecture-independent |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
104 # data files. ${datadir}, ${infodir} and ${mandir} are based on this. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
105 datarootdir=@datarootdir@ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
106 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
107 # Where to install architecture-independent data files. ${lispdir} |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
108 # and ${etcdir} are subdirectories of this. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
109 datadir=@datadir@ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
110 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
111 # Where to install and expect the files that Emacs modifies as it |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
112 # runs. These files are all architecture-independent. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
113 # Right now, this is not used. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
114 sharedstatedir=@sharedstatedir@ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
115 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
116 # Where to install and expect executable files to be run by Emacs |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
117 # rather than directly by users, and other architecture-dependent |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
118 # data. ${archlibdir} is a subdirectory of this. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
119 libexecdir=@libexecdir@ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
120 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
121 # Where to install Emacs's man pages. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
122 # This used to allow choice of the numeric extension, but this made |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
123 # little sense since the files were always installed in man1/ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
124 # (and they contain cross-references that expect them to be there). |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
125 mandir=@mandir@ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
126 man1dir=$(mandir)/man1 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
127 MAN_PAGES=ctags.1 ebrowse.1 emacs.1 emacsclient.1 etags.1 \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
128 grep-changelog.1 rcs-checkin.1 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
129 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
130 # Where to install and expect the info files describing Emacs. In the |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
131 # past, this defaulted to a subdirectory of ${prefix}/lib/emacs, but |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
132 # since there are now many packages documented with the texinfo |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
133 # system, it is inappropriate to imply that it is part of Emacs. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
134 infodir=@infodir@ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
135 INFO_FILES=ada-mode auth autotype calc ccmode cl dbus dired-x ebrowse \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
136 ede ediff edt eieio efaq eintr elisp emacs emacs-mime epa erc \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
137 eshell eudc flymake forms gnus idlwave info mairix-el \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
138 message mh-e newsticker nxml-mode org pcl-cvs pgg rcirc \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
139 reftex remember sasl sc semantic ses sieve smtpmail speedbar \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
140 tramp url vip viper widget woman |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
141 |
112123
5e63c33ad48c
Don't use $MAKEINFO for both a flag and a program.
Glenn Morris <rgm@gnu.org>
parents:
111971
diff
changeset
|
142 # If no makeinfo was found and configured --without-makeinfo, "no"; else "yes". |
5e63c33ad48c
Don't use $MAKEINFO for both a flag and a program.
Glenn Morris <rgm@gnu.org>
parents:
111971
diff
changeset
|
143 HAVE_MAKEINFO=@HAVE_MAKEINFO@ |
5e63c33ad48c
Don't use $MAKEINFO for both a flag and a program.
Glenn Morris <rgm@gnu.org>
parents:
111971
diff
changeset
|
144 |
111811
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
145 # Directory for local state files for all programs. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
146 localstatedir=@localstatedir@ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
147 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
148 # Where to look for bitmap files. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
149 bitmapdir=@bitmapdir@ |
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 # Where to find the source code. The source code for Emacs's C kernel is |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
152 # expected to be in ${srcdir}/src, and the source code for Emacs's |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
153 # utility programs is expected to be in ${srcdir}/lib-src. This is |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
154 # set by the configure script's `--srcdir' option. |
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 # We use $(srcdir) explicitly in dependencies so as not to depend on VPATH. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
157 srcdir=@srcdir@ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
158 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
159 # Where the manpage source files are kept. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
160 mansrcdir=$(srcdir)/doc/man |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
161 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
162 # Tell make where to find source files; this is needed for the makefiles. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
163 VPATH=@srcdir@ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
164 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
165 # Where to find the application default. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
166 x_default_search_path=@x_default_search_path@ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
167 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
168 # Location to install Emacs.app under NeXT/Open/GNUstep / Cocoa |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
169 ns_appbindir=@ns_appbindir@ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
170 ns_appresdir=@ns_appresdir@ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
171 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
172 # Where the etc/emacs.desktop file is to be installed. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
173 desktopdir=$(datarootdir)/applications |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
174 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
175 # Where the etc/images/icons/hicolor directory is to be installed. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
176 icondir=$(datarootdir)/icons |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
177 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
178 # The source directory for the icon files. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
179 iconsrcdir=$(srcdir)/etc/images/icons |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
180 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
181 # ==================== Emacs-specific directories ==================== |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
182 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
183 # These variables hold the values Emacs will actually use. They are |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
184 # based on the values of the standard Make variables above. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
185 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
186 # Where to install the lisp files distributed with |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
187 # Emacs. This includes the Emacs version, so that the |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
188 # lisp files for different versions of Emacs will install |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
189 # themselves in separate directories. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
190 lispdir=@lispdir@ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
191 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
192 # Directories Emacs should search for lisp files specific |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
193 # to this site (i.e. customizations), before consulting |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
194 # ${lispdir}. This should be a colon-separated list of |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
195 # directories. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
196 locallisppath=@locallisppath@ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
197 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
198 # Where Emacs will search to find its lisp files. Before |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
199 # changing this, check to see if your purpose wouldn't |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
200 # better be served by changing locallisppath. This |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
201 # should be a colon-separated list of directories. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
202 lisppath=@lisppath@ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
203 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
204 # Where Emacs will search for its lisp files while |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
205 # building. This is only used during the process of |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
206 # compiling Emacs, to help Emacs find its lisp files |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
207 # before they've been installed in their final location. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
208 # It's usually identical to lisppath, except that |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
209 # it does not include locallisppath, and the |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
210 # entry for the directory containing the installed lisp |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
211 # files has been replaced with ../lisp. This should be a |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
212 # colon-separated list of directories. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
213 buildlisppath=${srcdir}/lisp |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
214 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
215 # Where to install the other architecture-independent |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
216 # data files distributed with Emacs (like the tutorial, |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
217 # the cookie recipes and the Zippy database). This path |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
218 # usually contains the Emacs version number, so the data |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
219 # files for multiple versions of Emacs may be installed |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
220 # at once. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
221 etcdir=@etcdir@ |
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 # Where to put executables to be run by Emacs rather than |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
224 # the user. This path usually includes the Emacs version |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
225 # and configuration name, so that multiple configurations |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
226 # for multiple versions of Emacs may be installed at |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
227 # once. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
228 archlibdir=@archlibdir@ |
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 # Where to put the docstring file. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
231 docdir=@docdir@ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
232 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
233 # Where to install Emacs game score files. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
234 gamedir=@gamedir@ |
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 # ==================== Utility Programs for the Build ==================== |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
237 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
238 # Allow the user to specify the install program. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
239 INSTALL = @INSTALL@ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
240 INSTALL_PROGRAM = @INSTALL_PROGRAM@ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
241 INSTALL_DATA = @INSTALL_DATA@ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
242 INSTALL_INFO = @INSTALL_INFO@ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
243 # By default, we uphold the dignity of our programs. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
244 INSTALL_STRIP = |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
245 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
246 # We use gzip to compress installed .el files. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
247 GZIP_PROG = @GZIP_PROG@ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
248 # If non-nil, gzip the installed Info and man pages. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
249 GZIP_INFO = @GZIP_INFO@ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
250 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
251 # ============================= Targets ============================== |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
252 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
253 # Program name transformation. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
254 TRANSFORM = @program_transform_name@ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
255 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
256 # What emacs should be called when installed. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
257 EMACS = `echo emacs${EXEEXT} | sed '$(TRANSFORM)'` |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
258 EMACSFULL = `echo emacs-${version}${EXEEXT} | sed '$(TRANSFORM)'` |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
259 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
260 # Subdirectories to make recursively. `lisp' is not included |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
261 # because the compiled lisp files are part of the distribution. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
262 # leim is not included because it needs special handling. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
263 # |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
264 # Actually, we now include `lisp' as well, since the compiled files |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
265 # are not included any more in case of bootstrap or in case Emacs was |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
266 # checked out from a VCS. |
112302
c428fb33aede
Automate syncing from gnulib.
Paul Eggert <eggert@cs.ucla.edu>
parents:
112123
diff
changeset
|
267 SUBDIR = lib lib-src src lisp |
111811
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
268 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
269 # The subdir makefiles created by config.status. |
112302
c428fb33aede
Automate syncing from gnulib.
Paul Eggert <eggert@cs.ucla.edu>
parents:
112123
diff
changeset
|
270 SUBDIR_MAKEFILES = lib/Makefile lib-src/Makefile doc/emacs/Makefile doc/misc/Makefile doc/lispref/Makefile doc/lispintro/Makefile src/Makefile oldXMenu/Makefile lwlib/Makefile leim/Makefile lisp/Makefile |
111811
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
271 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
272 # Subdirectories to install, and where they'll go. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
273 # lib-src's makefile knows how to install it, so we don't do that here. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
274 # leim's makefile also knows how to install it, so we don't do that here. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
275 # When installing the info files, we need to do special things to |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
276 # avoid nuking an existing dir file, so we don't do that here; |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
277 # instead, we have written out explicit code in the `install' targets. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
278 COPYDIR = ${srcdir}/etc ${srcdir}/lisp |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
279 COPYDESTS = $(DESTDIR)${etcdir} $(DESTDIR)${lispdir} |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
280 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
281 all: ${SUBDIR} leim |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
282 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
283 removenullpaths=sed -e 's/^://g' -e 's/:$$//g' -e 's/::/:/g' |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
284 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
285 # Generate epaths.h from epaths.in. This target is invoked by `configure'. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
286 # See comments in configure.in for why it is done this way, as opposed |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
287 # to just letting configure generate epaths.h from epaths.in in a |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
288 # similar way to how Makefile is made from Makefile.in. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
289 epaths-force: FRC |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
290 @(lisppath=`echo ${lisppath} | ${removenullpaths}` ; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
291 buildlisppath=`echo ${buildlisppath} | ${removenullpaths}` ; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
292 x_default_search_path=`echo ${x_default_search_path}`; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
293 gamedir=`echo ${gamedir}`; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
294 sed < ${srcdir}/src/epaths.in > epaths.h.$$$$ \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
295 -e 's;\(#.*PATH_LOADSEARCH\).*$$;\1 "'"$${lisppath}"'";' \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
296 -e 's;\(#.*PATH_DUMPLOADSEARCH\).*$$;\1 "'"$${buildlisppath}"'";' \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
297 -e 's;\(#.*PATH_EXEC\).*$$;\1 "${archlibdir}";' \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
298 -e 's;\(#.*PATH_INFO\).*$$;\1 "${infodir}";' \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
299 -e 's;\(#.*PATH_DATA\).*$$;\1 "${etcdir}";' \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
300 -e 's;\(#.*PATH_BITMAPS\).*$$;\1 "${bitmapdir}";' \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
301 -e 's;\(#.*PATH_X_DEFAULTS\).*$$;\1 "${x_default_search_path}";' \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
302 -e 's;\(#.*PATH_GAME\).*$$;\1 "${gamedir}";' \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
303 -e 's;\(#.*PATH_DOC\).*$$;\1 "${docdir}";' \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
304 -e 's;/[*] *arch-tag:.*;/*;') && \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
305 ${srcdir}/move-if-change epaths.h.$$$$ src/epaths.h |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
306 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
307 # For parallel make, src should be built before leim. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
308 # "export PARALLEL=0" is for SGI's Make, to prevent it from |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
309 # running more than 1 process in the leim directory, especially for |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
310 # the $TIT files there. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
311 leim: src Makefile FRC |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
312 (export PARALLEL; PARALLEL=0; cd $@; $(MAKE) all $(MFLAGS) \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
313 CC='${CC}' CFLAGS='${CFLAGS}' CPPFLAGS='${CPPFLAGS}' \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
314 LDFLAGS='${LDFLAGS}' MAKE='${MAKE}') |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
315 |
112302
c428fb33aede
Automate syncing from gnulib.
Paul Eggert <eggert@cs.ucla.edu>
parents:
112123
diff
changeset
|
316 lib-src src: lib |
c428fb33aede
Automate syncing from gnulib.
Paul Eggert <eggert@cs.ucla.edu>
parents:
112123
diff
changeset
|
317 |
111811
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
318 src: lib-src FRC |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
319 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
320 .RECURSIVE: ${SUBDIR} leim |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
321 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
322 # We need to build `emacs' in `src' to compile the *.elc files in `lisp'. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
323 lisp: src |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
324 |
112302
c428fb33aede
Automate syncing from gnulib.
Paul Eggert <eggert@cs.ucla.edu>
parents:
112123
diff
changeset
|
325 # Maintainers can put a copy of gnulib into $(gnulib_srcdir). |
c428fb33aede
Automate syncing from gnulib.
Paul Eggert <eggert@cs.ucla.edu>
parents:
112123
diff
changeset
|
326 gnulib_srcdir = ../gnulib |
c428fb33aede
Automate syncing from gnulib.
Paul Eggert <eggert@cs.ucla.edu>
parents:
112123
diff
changeset
|
327 $(gnulib_srcdir): |
c428fb33aede
Automate syncing from gnulib.
Paul Eggert <eggert@cs.ucla.edu>
parents:
112123
diff
changeset
|
328 git clone git://git.savannah.gnu.org/gnulib.git $@ |
c428fb33aede
Automate syncing from gnulib.
Paul Eggert <eggert@cs.ucla.edu>
parents:
112123
diff
changeset
|
329 |
c428fb33aede
Automate syncing from gnulib.
Paul Eggert <eggert@cs.ucla.edu>
parents:
112123
diff
changeset
|
330 # Update modules from gnulib, for maintainers, who should have it in |
c428fb33aede
Automate syncing from gnulib.
Paul Eggert <eggert@cs.ucla.edu>
parents:
112123
diff
changeset
|
331 # $(gnulib_srcdir) (relative to $(srcdir) and should have build tools |
c428fb33aede
Automate syncing from gnulib.
Paul Eggert <eggert@cs.ucla.edu>
parents:
112123
diff
changeset
|
332 # as per $(gnulib_srcdir)/DEPENDENCIES. |
c428fb33aede
Automate syncing from gnulib.
Paul Eggert <eggert@cs.ucla.edu>
parents:
112123
diff
changeset
|
333 GNULIB_MODULES = dummy # Just a dummy for now, to establish the mechanism. |
c428fb33aede
Automate syncing from gnulib.
Paul Eggert <eggert@cs.ucla.edu>
parents:
112123
diff
changeset
|
334 GNULIB_TOOL_FLAGS = \ |
c428fb33aede
Automate syncing from gnulib.
Paul Eggert <eggert@cs.ucla.edu>
parents:
112123
diff
changeset
|
335 --import --no-changelog --no-vc-files --makefile-name=gnulib.mk |
c428fb33aede
Automate syncing from gnulib.
Paul Eggert <eggert@cs.ucla.edu>
parents:
112123
diff
changeset
|
336 sync-from-gnulib: $(gnulib_srcdir) |
c428fb33aede
Automate syncing from gnulib.
Paul Eggert <eggert@cs.ucla.edu>
parents:
112123
diff
changeset
|
337 cd $(srcdir) && \ |
c428fb33aede
Automate syncing from gnulib.
Paul Eggert <eggert@cs.ucla.edu>
parents:
112123
diff
changeset
|
338 $(gnulib_srcdir)/gnulib-tool $(GNULIB_TOOL_FLAGS) $(GNULIB_MODULES) |
c428fb33aede
Automate syncing from gnulib.
Paul Eggert <eggert@cs.ucla.edu>
parents:
112123
diff
changeset
|
339 cp $(gnulib_srcdir)/build-aux/texinfo.tex $(srcdir)/doc/misc |
c428fb33aede
Automate syncing from gnulib.
Paul Eggert <eggert@cs.ucla.edu>
parents:
112123
diff
changeset
|
340 cp \ |
c428fb33aede
Automate syncing from gnulib.
Paul Eggert <eggert@cs.ucla.edu>
parents:
112123
diff
changeset
|
341 $(gnulib_srcdir)/build-aux/config.sub \ |
c428fb33aede
Automate syncing from gnulib.
Paul Eggert <eggert@cs.ucla.edu>
parents:
112123
diff
changeset
|
342 $(gnulib_srcdir)/build-aux/config.guess \ |
c428fb33aede
Automate syncing from gnulib.
Paul Eggert <eggert@cs.ucla.edu>
parents:
112123
diff
changeset
|
343 $(gnulib_srcdir)/build-aux/install-sh \ |
c428fb33aede
Automate syncing from gnulib.
Paul Eggert <eggert@cs.ucla.edu>
parents:
112123
diff
changeset
|
344 $(gnulib_srcdir)/build-aux/mkinstalldirs \ |
c428fb33aede
Automate syncing from gnulib.
Paul Eggert <eggert@cs.ucla.edu>
parents:
112123
diff
changeset
|
345 $(gnulib_srcdir)/build-aux/move-if-change \ |
c428fb33aede
Automate syncing from gnulib.
Paul Eggert <eggert@cs.ucla.edu>
parents:
112123
diff
changeset
|
346 $(srcdir) |
c428fb33aede
Automate syncing from gnulib.
Paul Eggert <eggert@cs.ucla.edu>
parents:
112123
diff
changeset
|
347 .PHONY: sync-from-gnulib |
c428fb33aede
Automate syncing from gnulib.
Paul Eggert <eggert@cs.ucla.edu>
parents:
112123
diff
changeset
|
348 |
111811
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
349 # These targets should be "${SUBDIR} without `src'". |
112302
c428fb33aede
Automate syncing from gnulib.
Paul Eggert <eggert@cs.ucla.edu>
parents:
112123
diff
changeset
|
350 lib lib-src lisp: Makefile FRC |
111811
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
351 cd $@; $(MAKE) all $(MFLAGS) \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
352 CC='${CC}' CFLAGS='${CFLAGS}' CPPFLAGS='${CPPFLAGS}' \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
353 LDFLAGS='${LDFLAGS}' MAKE='${MAKE}' |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
354 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
355 # Pass to src/Makefile.in an additional BOOTSTRAPEMACS variable which |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
356 # is either set to bootstrap-emacs (in case bootstrap-emacs has not been |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
357 # constructed yet) or the empty string (otherwise). |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
358 # src/Makefile.in uses it to implement conditional dependencies, so that |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
359 # files that need bootstrap-emacs to be built do not additionally need |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
360 # to be kept fresher than bootstrap-emacs. Otherwise changing a single |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
361 # file src/foo.c forces dumping a new bootstrap-emacs, then re-byte-compiling |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
362 # all preloaded elisp files, and only then dump the actual src/emacs, which |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
363 # is not wrong, but is overkill in 99.99% of the cases. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
364 src: Makefile FRC |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
365 boot=bootstrap-emacs$(EXEEXT); \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
366 if [ ! -x "src/$$boot" ]; then \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
367 cd $@; $(MAKE) all $(MFLAGS) \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
368 CC='${CC}' CFLAGS='${CFLAGS}' CPPFLAGS='${CPPFLAGS}' \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
369 LDFLAGS='${LDFLAGS}' MAKE='${MAKE}' BOOTSTRAPEMACS="$$boot"; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
370 fi; |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
371 if [ -r .bzr/checkout/dirstate ]; then \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
372 vcswitness="$$(pwd)/.bzr/checkout/dirstate"; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
373 fi; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
374 cd $@; $(MAKE) all $(MFLAGS) \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
375 CC='${CC}' CFLAGS='${CFLAGS}' CPPFLAGS='${CPPFLAGS}' \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
376 LDFLAGS='${LDFLAGS}' MAKE='${MAKE}' BOOTSTRAPEMACS="" \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
377 VCSWITNESS="$$vcswitness" |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
378 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
379 blessmail: Makefile src FRC |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
380 cd lib-src; $(MAKE) maybe-blessmail $(MFLAGS) \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
381 MAKE='${MAKE}' archlibdir='$(archlibdir)' |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
382 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
383 # We used to have one rule per */Makefile.in, but that leads to race |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
384 # conditions with parallel makes, so let's assume that the time stamp on |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
385 # ./Makefile is representative of the time stamp on all the other Makefiles. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
386 Makefile: config.status $(srcdir)/src/config.in \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
387 $(srcdir)/Makefile.in \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
388 $(srcdir)/src/Makefile.in \ |
112302
c428fb33aede
Automate syncing from gnulib.
Paul Eggert <eggert@cs.ucla.edu>
parents:
112123
diff
changeset
|
389 $(srcdir)/lib/Makefile.in \ |
111811
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
390 $(srcdir)/lib-src/Makefile.in \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
391 $(srcdir)/doc/emacs/Makefile.in \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
392 $(srcdir)/doc/misc/Makefile.in \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
393 $(srcdir)/doc/lispref/Makefile.in \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
394 $(srcdir)/doc/lispintro/Makefile.in \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
395 $(srcdir)/oldXMenu/Makefile.in \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
396 $(srcdir)/lwlib/Makefile.in \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
397 $(srcdir)/leim/Makefile.in \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
398 $(srcdir)/lisp/Makefile.in |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
399 ./config.status |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
400 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
401 config.status: ${srcdir}/configure ${srcdir}/lisp/version.el |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
402 ./config.status --recheck |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
403 |
112302
c428fb33aede
Automate syncing from gnulib.
Paul Eggert <eggert@cs.ucla.edu>
parents:
112123
diff
changeset
|
404 AUTOCONF_INPUTS = @MAINT@ $(srcdir)/configure.in $(srcdir)/m4/getopt.m4 $(srcdir)/aclocal.m4 |
111811
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
405 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
406 $(srcdir)/configure: $(AUTOCONF_INPUTS) |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
407 cd ${srcdir} && autoconf |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
408 |
112302
c428fb33aede
Automate syncing from gnulib.
Paul Eggert <eggert@cs.ucla.edu>
parents:
112123
diff
changeset
|
409 ACLOCAL_INPUTS = @MAINT@ $(srcdir)/m4/gnulib-comp.m4 |
c428fb33aede
Automate syncing from gnulib.
Paul Eggert <eggert@cs.ucla.edu>
parents:
112123
diff
changeset
|
410 $(srcdir)/aclocal.m4: $(ACLOCAL_INPUTS) |
c428fb33aede
Automate syncing from gnulib.
Paul Eggert <eggert@cs.ucla.edu>
parents:
112123
diff
changeset
|
411 cd $(srcdir) && aclocal -I m4 |
c428fb33aede
Automate syncing from gnulib.
Paul Eggert <eggert@cs.ucla.edu>
parents:
112123
diff
changeset
|
412 |
c428fb33aede
Automate syncing from gnulib.
Paul Eggert <eggert@cs.ucla.edu>
parents:
112123
diff
changeset
|
413 AUTOMAKE_INPUTS = @MAINT@ $(srcdir)/aclocal.m4 $(srcdir)/lib/Makefile.am |
c428fb33aede
Automate syncing from gnulib.
Paul Eggert <eggert@cs.ucla.edu>
parents:
112123
diff
changeset
|
414 $(srcdir)/lib/Makefile.in: $(AUTOMAKE_INPUTS) |
c428fb33aede
Automate syncing from gnulib.
Paul Eggert <eggert@cs.ucla.edu>
parents:
112123
diff
changeset
|
415 cd $(srcdir) && automake --gnu -a -c lib/Makefile |
c428fb33aede
Automate syncing from gnulib.
Paul Eggert <eggert@cs.ucla.edu>
parents:
112123
diff
changeset
|
416 am--refresh: |
c428fb33aede
Automate syncing from gnulib.
Paul Eggert <eggert@cs.ucla.edu>
parents:
112123
diff
changeset
|
417 |
111811
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
418 $(srcdir)/src/config.in: $(srcdir)/src/stamp-h.in |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
419 @ # Usually, there's no need to rebuild src/config.in just |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
420 @ # because stamp-h.in has changed (since building stamp-h.in |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
421 @ # refreshes config.in as well), but if config.in is missing |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
422 @ # then we really need to do something more. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
423 [ -r "$@" ] || ( cd ${srcdir} && autoheader ) |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
424 $(srcdir)/src/stamp-h.in: $(AUTOCONF_INPUTS) |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
425 cd ${srcdir} && autoheader |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
426 rm -f $(srcdir)/src/stamp-h.in |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
427 echo timestamp > $(srcdir)/src/stamp-h.in |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
428 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
429 # ==================== Installation ==================== |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
430 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
431 ## If we let lib-src do its own installation, that means we |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
432 ## don't have to duplicate the list of utilities to install in |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
433 ## this Makefile as well. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
434 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
435 ## On AIX, use tar xBf. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
436 ## On Xenix, use tar xpf. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
437 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
438 .PHONY: install mkdir |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
439 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
440 ## We delete each directory in ${COPYDESTS} before we copy into it; |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
441 ## that way, we can reinstall over directories that have been put in |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
442 ## place with their files read-only (perhaps because they are checked |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
443 ## into RCS). In order to make this safe, we make sure that the |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
444 ## source exists and is distinct from the destination. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
445 ### We do install-arch-indep first because |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
446 ### the executable needs the Lisp files and DOC file to work properly. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
447 install: all install-arch-indep install-arch-dep install-leim blessmail |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
448 @true |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
449 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
450 MV_DIRS = for i in $$dir; do rm -fr `basename "$$i"` ; mv "$$i" . ; done |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
451 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
452 ### Install the executables that were compiled specifically for this machine. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
453 ### It would be nice to do something for a parallel make |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
454 ### to ensure that install-arch-indep finishes before this starts. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
455 install-arch-dep: mkdir |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
456 (cd lib-src; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
457 $(MAKE) install $(MFLAGS) prefix=${prefix} \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
458 exec_prefix=${exec_prefix} bindir=${bindir} \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
459 libexecdir=${libexecdir} archlibdir=${archlibdir} \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
460 INSTALL_STRIP=${INSTALL_STRIP}) |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
461 ${INSTALL_PROGRAM} $(INSTALL_STRIP) src/emacs${EXEEXT} $(DESTDIR)${bindir}/$(EMACSFULL) |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
462 -chmod 1755 $(DESTDIR)${bindir}/$(EMACSFULL) |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
463 rm -f $(DESTDIR)${bindir}/$(EMACS) |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
464 -ln $(DESTDIR)${bindir}/$(EMACSFULL) $(DESTDIR)${bindir}/$(EMACS) |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
465 if test "${ns_appresdir}" != ""; then \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
466 ( cd ${ns_appresdir} ; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
467 if test -d share/emacs ; then dir=share/emacs/*/*; $(MV_DIRS); fi;\ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
468 if test -d share/info ; then dir=share/info; $(MV_DIRS) ; fi ; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
469 rm -fr share ) ; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
470 ( cd ${ns_appbindir}libexec ; dir=emacs/*/*/* ; $(MV_DIRS); \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
471 rm -fr emacs ) ; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
472 ( cd ${ns_appbindir}bin ; rm -f emacs emacs-24* ; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
473 ln -sf ../libexec/* .) ; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
474 else true ; fi |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
475 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
476 ## FIXME is the emacs-24* bit above really necessary and correct? |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
477 ## What if I have 24.1 and 24.2 installed at the same time? |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
478 ## In any case, it should use something like echo $version | sed 's/\..*//' |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
479 ## instead of hard-coding a version. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
480 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
481 ## http://lists.gnu.org/archive/html/emacs-devel/2007-10/msg01672.html |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
482 ## Needs to be the user running install, so configure can't set it. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
483 set_installuser=for installuser in $${LOGNAME} $${USERNAME} $${USER} \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
484 `id -un 2> /dev/null`; do \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
485 [ -n "$${installuser}" ] && break ; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
486 done |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
487 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
488 ### Install the files that are machine-independent. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
489 ### Most of them come straight from the distribution; |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
490 ### the exception is the DOC-* files, which are copied |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
491 ### from the build directory. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
492 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
493 ## Note that we copy DOC* and then delete DOC |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
494 ## as a workaround for a bug in tar on Ultrix 4.2. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
495 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
496 ## We install only the relevant DOC file if possible |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
497 ## (ie DOC-${version}.buildnumber), otherwise DOC-${version}*. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
498 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
499 ## If people complain about the h flag in tar command, take that out. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
500 ## That flag is also used in leim/Makefile.in |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
501 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
502 ## Note that the Makefiles in the etc directory are potentially useful |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
503 ## in an installed Emacs, so should not be excluded. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
504 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
505 install-arch-indep: mkdir info install-etc |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
506 -set ${COPYDESTS} ; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
507 unset CDPATH; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
508 for dir in ${COPYDIR} ; do \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
509 if [ `(cd $$1 && /bin/pwd)` != `(cd $${dir} && /bin/pwd)` ] ; then \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
510 rm -rf $$1 ; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
511 fi ; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
512 shift ; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
513 done |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
514 -set ${COPYDESTS} ; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
515 mkdir ${COPYDESTS} ; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
516 chmod ugo+rx ${COPYDESTS} ; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
517 unset CDPATH; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
518 $(set_installuser); \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
519 for dir in ${COPYDIR} ; do \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
520 dest=$$1 ; shift ; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
521 [ -d $${dir} ] \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
522 && [ `(cd $${dir} && /bin/pwd)` != `(cd $${dest} && /bin/pwd)` ] \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
523 && (echo "Copying $${dir} to $${dest}..." ; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
524 (cd $${dir}; tar -chf - . ) \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
525 | (cd $${dest}; umask 022; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
526 tar -xvf - && cat > /dev/null) || exit 1; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
527 find $${dest} -exec chown $${installuser} {} ';' ;\ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
528 for subdir in `find $${dest} -type d -print` ; do \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
529 chmod a+rx $${subdir} ; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
530 rm -f $${subdir}/.gitignore ; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
531 rm -f $${subdir}/.arch-inventory ; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
532 rm -f $${subdir}/.DS_Store ; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
533 rm -f $${subdir}/\#* ; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
534 rm -f $${subdir}/.\#* ; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
535 rm -f $${subdir}/*~ ; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
536 rm -f $${subdir}/*.orig ; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
537 [ "$${dir}" != "${srcdir}/etc" ] && \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
538 rm -f $${subdir}/[mM]akefile*.c $${subdir}/[mM]akefile*[.-]in \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
539 $${subdir}/[mM]akefile ; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
540 rm -f $${subdir}/ChangeLog* ; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
541 done) ; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
542 done |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
543 -rm -f $(DESTDIR)${lispdir}/subdirs.el |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
544 $(srcdir)/update-subdirs $(DESTDIR)${lispdir} |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
545 if [ -f $(DESTDIR)${datadir}/emacs/${version}/site-lisp/subdirs.el ]; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
546 then true; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
547 else \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
548 (echo "(if (fboundp 'normal-top-level-add-subdirs-to-load-path)"; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
549 echo " (normal-top-level-add-subdirs-to-load-path))") \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
550 > $(DESTDIR)${datadir}/emacs/${version}/site-lisp/subdirs.el; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
551 fi |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
552 chmod a+r $(DESTDIR)${datadir}/emacs/${version}/site-lisp/subdirs.el |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
553 -if [ -f $(DESTDIR)${datadir}/emacs/site-lisp/subdirs.el ]; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
554 then true; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
555 else \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
556 (echo "(if (fboundp 'normal-top-level-add-subdirs-to-load-path)"; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
557 echo " (normal-top-level-add-subdirs-to-load-path))") \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
558 > $(DESTDIR)${datadir}/emacs/site-lisp/subdirs.el; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
559 fi |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
560 -chmod a+r $(DESTDIR)${datadir}/emacs/site-lisp/subdirs.el |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
561 -unset CDPATH; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
562 if [ `(cd ./etc; /bin/pwd)` != `(cd $(DESTDIR)${docdir}; /bin/pwd)` ]; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
563 then \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
564 fullversion=`./src/emacs --version | sed -n '1 s/GNU Emacs *//p'`; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
565 if [ -f "./etc/DOC-$${fullversion}" ]; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
566 then \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
567 docfile="DOC-$${fullversion}"; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
568 else \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
569 docfile="DOC"; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
570 fi; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
571 echo "Copying etc/$${docfile} to $(DESTDIR)${docdir} ..." ; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
572 (cd ./etc; tar -chf - $${docfile}) \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
573 |(cd $(DESTDIR)${docdir}; umask 022; tar -xvf - && cat > /dev/null) || exit 1; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
574 (cd $(DESTDIR)$(docdir); \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
575 $(set_installuser); \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
576 chown $${installuser} DOC*; chmod a+r DOC*; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
577 if test "`echo DOC-*`" != "DOC-*"; then rm -f DOC; fi); \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
578 else true; fi |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
579 -unset CDPATH; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
580 if [ -r ./lisp ] \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
581 && [ -r ./lisp/simple.el ] \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
582 && [ x`(cd ./lisp; /bin/pwd)` != x`(cd $(DESTDIR)${lispdir}; /bin/pwd)` ] \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
583 && [ x`(cd ${srcdir}/lisp; /bin/pwd)` != x`(cd ./lisp; /bin/pwd)` ]; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
584 then \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
585 echo "Copying lisp/*.el and lisp/*.elc to $(DESTDIR)${lispdir} ..." ; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
586 (cd lisp; tar -chf - *.el *.elc) \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
587 |(cd $(DESTDIR)${lispdir}; umask 022; tar -xvf - && cat > /dev/null) || exit 1; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
588 (cd $(DESTDIR)${lispdir}; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
589 $(set_installuser); \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
590 find . -exec chown $${installuser} {} ';') ; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
591 else true; fi |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
592 -unset CDPATH; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
593 if [ -n "${GZIP_PROG}" ]; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
594 then \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
595 echo "Compressing *.el ..." ; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
596 (cd $(DESTDIR)${lispdir}; for f in `find . -name "*.elc" -print`; do \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
597 ${GZIP_PROG} -9n `echo $$f|sed 's/.elc$$/.el/'` ; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
598 done) \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
599 else true; fi |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
600 -unset CDPATH; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
601 thisdir=`/bin/pwd`; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
602 if [ `(cd ${srcdir}/info && /bin/pwd)` != `(cd $(DESTDIR)${infodir} && /bin/pwd)` ]; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
603 then \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
604 (cd $(DESTDIR)${infodir}; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
605 if [ -f dir ]; then true; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
606 else \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
607 (cd $${thisdir}; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
608 ${INSTALL_DATA} ${srcdir}/info/dir $(DESTDIR)${infodir}/dir; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
609 chmod a+r $(DESTDIR)${infodir}/dir); \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
610 fi; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
611 cd ${srcdir}/info ; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
612 for elt in $(INFO_FILES); do \ |
112123
5e63c33ad48c
Don't use $MAKEINFO for both a flag and a program.
Glenn Morris <rgm@gnu.org>
parents:
111971
diff
changeset
|
613 test "$(HAVE_MAKEINFO)" = "no" && ! test -e $$elt && continue; \ |
111811
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
614 for f in `ls $$elt $$elt-[1-9] $$elt-[1-9][0-9] 2>/dev/null`; do \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
615 ${INSTALL_DATA} $$f $(DESTDIR)${infodir}/$$f; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
616 chmod a+r $(DESTDIR)${infodir}/$$f; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
617 if [ -n "${GZIP_INFO}" ] && [ -n "${GZIP_PROG}" ]; then \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
618 rm -f $(DESTDIR)${infodir}/$$f.gz; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
619 ${GZIP_PROG} -9n $(DESTDIR)${infodir}/$$f; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
620 else true; fi; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
621 done; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
622 done); \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
623 else true; fi |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
624 -unset CDPATH; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
625 thisdir=`/bin/pwd`; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
626 if [ `(cd ${srcdir}/info && /bin/pwd)` != `(cd $(DESTDIR)${infodir} && /bin/pwd)` ]; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
627 then \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
628 for elt in $(INFO_FILES); do \ |
112123
5e63c33ad48c
Don't use $MAKEINFO for both a flag and a program.
Glenn Morris <rgm@gnu.org>
parents:
111971
diff
changeset
|
629 test "$(HAVE_MAKEINFO)" = "no" && ! test -e $$elt && continue; \ |
111811
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
630 (cd $${thisdir}; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
631 ${INSTALL_INFO} --info-dir=$(DESTDIR)${infodir} $(DESTDIR)${infodir}/$$elt); \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
632 done; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
633 else true; fi |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
634 -chmod -R a+r $(DESTDIR)${datadir}/emacs/${version} ${COPYDESTS} |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
635 thisdir=`/bin/pwd`; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
636 cd ${mansrcdir}; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
637 for page in ${MAN_PAGES}; do \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
638 (cd $${thisdir}; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
639 ${INSTALL_DATA} ${mansrcdir}/$${page} $(DESTDIR)${man1dir}/$${page}; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
640 chmod a+r $(DESTDIR)${man1dir}/$${page}; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
641 if [ -n "${GZIP_INFO}" ] && [ -n "${GZIP_PROG}" ]; then \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
642 rm -f $(DESTDIR)${man1dir}/$${page}.gz; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
643 ${GZIP_PROG} -9n $(DESTDIR)${man1dir}/$${page}; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
644 else true; fi ); \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
645 done |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
646 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
647 ## Install those items from etc/ that need to end up elsewhere. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
648 install-etc: mkdir |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
649 ${INSTALL_DATA} ${srcdir}/etc/emacs.desktop \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
650 $(DESTDIR)${desktopdir}/emacs.desktop |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
651 for icon in $(iconsrcdir)/*/*/apps/*.* \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
652 $(iconsrcdir)/*/*/mimetypes/*.*; do \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
653 if [ -r $${icon} ]; then \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
654 iicon=`echo "$${icon}" | sed 's,$(srcdir)/etc/images/icons,$(DESTDIR)${icondir},'` ; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
655 ${INSTALL_DATA} $${icon} $${iicon} ; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
656 fi ; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
657 done |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
658 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
659 ### Install LEIM files. Although they are machine-independent, we |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
660 ### have separate target here instead of including it in |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
661 ### `install-arch-indep'. People who extracted LEIM files after they |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
662 ### insalled Emacs itself can install only LEIM files by this target. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
663 install-leim: leim/Makefile mkdir |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
664 cd leim; $(MAKE) install |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
665 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
666 ### Build Emacs and install it, stripping binaries while installing them. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
667 install-strip: |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
668 $(MAKE) INSTALL_STRIP=-s install |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
669 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
670 ### Build all the directories we're going to install Emacs in. Since |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
671 ### we may be creating several layers of directories (for example, |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
672 ### /usr/local/lib/emacs/19.0/mips-dec-ultrix4.2), we use mkinstalldirs |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
673 ### instead of mkdir. Not all systems' mkdir programs have the `-p' flag. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
674 ### We set the umask so that any created directories are world-readable. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
675 ### FIXME it would be good to warn about non-standard permissions of |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
676 ### pre-existing directories, but that does not seem easy. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
677 mkdir: FRC |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
678 icondirs= ; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
679 for dir in $(iconsrcdir)/*/*/apps $(iconsrcdir)/*/*/mimetypes; do \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
680 if [ -d $${dir} ]; then \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
681 icondirs="$${icondirs} $${dir}" ; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
682 fi ; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
683 done ; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
684 icondirs=`echo "$${icondirs}" | sed 's,$(srcdir)/etc/images/icons,$(DESTDIR)${icondir},g'` ; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
685 umask 022 ; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
686 $(srcdir)/mkinstalldirs $(DESTDIR)${datadir} ${COPYDESTS} \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
687 $(DESTDIR)${infodir} $(DESTDIR)${man1dir} \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
688 $(DESTDIR)${bindir} $(DESTDIR)${docdir} $(DESTDIR)${libexecdir} \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
689 $(DESTDIR)${datadir}/emacs/site-lisp \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
690 $(DESTDIR)${datadir}/emacs/${version}/site-lisp \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
691 $(DESTDIR)`echo ${locallisppath} | sed 's,:, $(DESTDIR),g'` \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
692 $(DESTDIR)${desktopdir} $${icondirs} |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
693 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
694 ### Delete all the installed files that the `install' target would |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
695 ### create (but not the noninstalled files such as `make all' would create). |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
696 ### |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
697 ### Don't delete the lisp and etc directories if they're in the source tree. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
698 uninstall: |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
699 (cd lib-src; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
700 $(MAKE) $(MFLAGS) uninstall \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
701 prefix=${prefix} exec_prefix=${exec_prefix} \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
702 bindir=${bindir} libexecdir=${libexecdir} archlibdir=${archlibdir}) |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
703 -unset CDPATH; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
704 for dir in $(DESTDIR)${lispdir} $(DESTDIR)${etcdir} ; do \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
705 if [ -d $${dir} ]; then \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
706 case `(cd $${dir} ; /bin/pwd)` in \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
707 `(cd ${srcdir} ; /bin/pwd)`* ) ;; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
708 * ) rm -rf $${dir} ;; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
709 esac ; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
710 case $${dir} in \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
711 $(DESTDIR)${datadir}/emacs/${version}/* ) \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
712 rm -rf $(DESTDIR)${datadir}/emacs/${version} \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
713 ;; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
714 esac ; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
715 fi ; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
716 done |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
717 -rm -rf $(DESTDIR)${libexecdir}/emacs/${version} |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
718 (cd $(DESTDIR)${infodir} && \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
719 for elt in $(INFO_FILES); do \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
720 $(INSTALL_INFO) --remove --info-dir=. $$elt; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
721 for f in `ls $$elt $$elt-[1-9] $$elt-[1-9][0-9] 2>/dev/null`; do \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
722 rm -f $$f; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
723 done; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
724 done;) |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
725 (cd $(DESTDIR)${man1dir} && rm -f $(MAN_PAGES)) |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
726 (cd $(DESTDIR)${bindir} && rm -f $(EMACSFULL) $(EMACS)) |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
727 (cd $(DESTDIR)${icondir} && rm -f hicolor/*x*/apps/emacs.png hicolor/*x*/apps/emacs22.png hicolor/scalable/apps/emacs.svg hicolor/scalable/mimetypes/emacs-document.svg ) |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
728 -rm -f $(DESTDIR)${desktopdir}/emacs.desktop |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
729 for file in snake-scores tetris-scores; do \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
730 file=$(DESTDIR)${gamedir}/$${file}; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
731 [ -s $${file} ] || rm -f $$file; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
732 done |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
733 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
734 FRC: |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
735 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
736 # ==================== Cleaning up and miscellanea ==================== |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
737 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
738 .PHONY: mostlyclean clean distclean maintainer-clean extraclean |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
739 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
740 ### `mostlyclean' |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
741 ### Like `clean', but may refrain from deleting a few files that people |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
742 ### normally don't want to recompile. For example, the `mostlyclean' |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
743 ### target for GCC does not delete `libgcc.a', because recompiling it |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
744 ### is rarely necessary and takes a lot of time. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
745 mostlyclean: FRC |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
746 (cd src; $(MAKE) $(MFLAGS) mostlyclean) |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
747 (cd oldXMenu; $(MAKE) $(MFLAGS) mostlyclean) |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
748 (cd lwlib; $(MAKE) $(MFLAGS) mostlyclean) |
112302
c428fb33aede
Automate syncing from gnulib.
Paul Eggert <eggert@cs.ucla.edu>
parents:
112123
diff
changeset
|
749 (cd lib; $(MAKE) $(MFLAGS) mostlyclean) |
111811
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
750 (cd lib-src; $(MAKE) $(MFLAGS) mostlyclean) |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
751 -(cd doc/emacs && $(MAKE) $(MFLAGS) mostlyclean) |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
752 -(cd doc/misc && $(MAKE) $(MFLAGS) mostlyclean) |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
753 -(cd doc/lispref && $(MAKE) $(MFLAGS) mostlyclean) |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
754 -(cd doc/lispintro && $(MAKE) $(MFLAGS) mostlyclean) |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
755 (cd leim; $(MAKE) $(MFLAGS) mostlyclean) |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
756 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
757 ### `clean' |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
758 ### Delete all files from the current directory that are normally |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
759 ### created by building the program. Don't delete the files that |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
760 ### record the configuration. Also preserve files that could be made |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
761 ### by building, but normally aren't because the distribution comes |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
762 ### with them. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
763 ### |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
764 ### Delete `.dvi' files here if they are not part of the distribution. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
765 clean: FRC |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
766 (cd src; $(MAKE) $(MFLAGS) clean) |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
767 (cd oldXMenu; $(MAKE) $(MFLAGS) clean) |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
768 (cd lwlib; $(MAKE) $(MFLAGS) clean) |
112302
c428fb33aede
Automate syncing from gnulib.
Paul Eggert <eggert@cs.ucla.edu>
parents:
112123
diff
changeset
|
769 (cd lib; $(MAKE) $(MFLAGS) clean) |
111811
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
770 (cd lib-src; $(MAKE) $(MFLAGS) clean) |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
771 -(cd doc/emacs && $(MAKE) $(MFLAGS) clean) |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
772 -(cd doc/misc && $(MAKE) $(MFLAGS) clean) |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
773 -(cd doc/lispref && $(MAKE) $(MFLAGS) clean) |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
774 -(cd doc/lispintro && $(MAKE) $(MFLAGS) clean) |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
775 (cd leim; $(MAKE) $(MFLAGS) clean) |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
776 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
777 ### `bootclean' |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
778 ### Delete all files that need to be remade for a clean bootstrap. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
779 top_bootclean=\ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
780 rm -f config.cache config.log |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
781 ### `distclean' |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
782 ### Delete all files from the current directory that are created by |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
783 ### configuring or building the program. If you have unpacked the |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
784 ### source and built the program without creating any other files, |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
785 ### `make distclean' should leave only the files that were in the |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
786 ### distribution. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
787 top_distclean=\ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
788 ${top_bootclean}; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
789 rm -f config.status Makefile ${SUBDIR_MAKEFILES} |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
790 distclean: FRC |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
791 (cd src; $(MAKE) $(MFLAGS) distclean) |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
792 (cd oldXMenu; $(MAKE) $(MFLAGS) distclean) |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
793 (cd lwlib; $(MAKE) $(MFLAGS) distclean) |
112302
c428fb33aede
Automate syncing from gnulib.
Paul Eggert <eggert@cs.ucla.edu>
parents:
112123
diff
changeset
|
794 (cd lib; $(MAKE) $(MFLAGS) distclean) |
111811
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
795 (cd lib-src; $(MAKE) $(MFLAGS) distclean) |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
796 (cd doc/emacs && $(MAKE) $(MFLAGS) distclean) |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
797 (cd doc/misc && $(MAKE) $(MFLAGS) distclean) |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
798 (cd doc/lispref && $(MAKE) $(MFLAGS) distclean) |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
799 (cd doc/lispintro && $(MAKE) $(MFLAGS) distclean) |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
800 (cd leim; $(MAKE) $(MFLAGS) distclean) |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
801 (cd lisp; $(MAKE) $(MFLAGS) distclean) |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
802 ${top_distclean} |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
803 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
804 ### `bootstrap-clean' |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
805 ### Delete everything that can be reconstructed by `make' and that |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
806 ### needs to be deleted in order to force a bootstrap from a clean state. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
807 bootstrap-clean: FRC |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
808 (cd src; $(MAKE) $(MFLAGS) bootstrap-clean) |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
809 (cd oldXMenu; $(MAKE) $(MFLAGS) maintainer-clean) |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
810 (cd lwlib; $(MAKE) $(MFLAGS) maintainer-clean) |
112302
c428fb33aede
Automate syncing from gnulib.
Paul Eggert <eggert@cs.ucla.edu>
parents:
112123
diff
changeset
|
811 (cd lib; $(MAKE) $(MFLAGS) maintainer-clean) |
111811
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
812 (cd lib-src; $(MAKE) $(MFLAGS) maintainer-clean) |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
813 -(cd doc/emacs && $(MAKE) $(MFLAGS) maintainer-clean) |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
814 -(cd doc/misc && $(MAKE) $(MFLAGS) maintainer-clean) |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
815 -(cd doc/lispref && $(MAKE) $(MFLAGS) maintainer-clean) |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
816 -(cd doc/lispintro && $(MAKE) $(MFLAGS) maintainer-clean) |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
817 (cd leim; $(MAKE) $(MFLAGS) maintainer-clean) |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
818 (cd lisp; $(MAKE) $(MFLAGS) bootstrap-clean) |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
819 ${top_bootclean} |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
820 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
821 ### `maintainer-clean' |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
822 ### Delete everything from the current directory that can be |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
823 ### reconstructed with this Makefile. This typically includes |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
824 ### everything deleted by distclean, plus more: C source files |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
825 ### produced by Bison, tags tables, info files, and so on. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
826 ### |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
827 ### One exception, however: `make maintainer-clean' should not delete |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
828 ### `configure' even if `configure' can be remade using a rule in the |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
829 ### Makefile. More generally, `make maintainer-clean' should not delete |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
830 ### anything that needs to exist in order to run `configure' and then |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
831 ### begin to build the program. |
112302
c428fb33aede
Automate syncing from gnulib.
Paul Eggert <eggert@cs.ucla.edu>
parents:
112123
diff
changeset
|
832 top_maintainer_clean=\ |
c428fb33aede
Automate syncing from gnulib.
Paul Eggert <eggert@cs.ucla.edu>
parents:
112123
diff
changeset
|
833 ${top_distclean}; \ |
c428fb33aede
Automate syncing from gnulib.
Paul Eggert <eggert@cs.ucla.edu>
parents:
112123
diff
changeset
|
834 rm -fr autom4te.cache; \ |
c428fb33aede
Automate syncing from gnulib.
Paul Eggert <eggert@cs.ucla.edu>
parents:
112123
diff
changeset
|
835 rm -f aclocal.m4 lib/gnulib.mk m4/gnulib-cache.m4 |
111811
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
836 maintainer-clean: bootstrap-clean FRC |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
837 (cd src; $(MAKE) $(MFLAGS) maintainer-clean) |
112302
c428fb33aede
Automate syncing from gnulib.
Paul Eggert <eggert@cs.ucla.edu>
parents:
112123
diff
changeset
|
838 (cd lib; $(MAKE) $(MFLAGS) maintainer-clean) |
111811
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
839 (cd lisp; $(MAKE) $(MFLAGS) maintainer-clean) |
112302
c428fb33aede
Automate syncing from gnulib.
Paul Eggert <eggert@cs.ucla.edu>
parents:
112123
diff
changeset
|
840 ${top_maintainer_clean} |
111811
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
841 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
842 ### This doesn't actually appear in the coding standards, but Karl |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
843 ### says GCC supports it, and that's where the configuration part of |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
844 ### the coding standards seem to come from. It's like distclean, but |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
845 ### it deletes backup and autosave files too. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
846 extraclean: |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
847 for i in ${SUBDIR} leim; do (cd $$i; $(MAKE) $(MFLAGS) extraclean); done |
112302
c428fb33aede
Automate syncing from gnulib.
Paul Eggert <eggert@cs.ucla.edu>
parents:
112123
diff
changeset
|
848 ${top_maintainer_clean} |
111811
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
849 -rm -f config-tmp-* |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
850 -rm -f *~ \#* |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
851 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
852 # The src subdir knows how to do the right thing |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
853 # even when the build directory and source dir are different. |
112302
c428fb33aede
Automate syncing from gnulib.
Paul Eggert <eggert@cs.ucla.edu>
parents:
112123
diff
changeset
|
854 TAGS tags: lib lib-src src |
111811
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
855 cd src; $(MAKE) tags |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
856 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
857 check: |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
858 @echo "We don't have any tests for GNU Emacs yet." |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
859 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
860 dist: |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
861 cd ${srcdir}; ./make-dist |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
862 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
863 .PHONY: info dvi dist check html |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
864 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
865 info-real: |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
866 (cd doc/emacs; $(MAKE) $(MFLAGS) info) |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
867 (cd doc/misc; $(MAKE) $(MFLAGS) info) |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
868 (cd doc/lispref; $(MAKE) $(MFLAGS) info) |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
869 (cd doc/lispintro; $(MAKE) $(MFLAGS) info) |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
870 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
871 force-info: |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
872 # Note that man/Makefile knows how to put the info files in $(srcdir), |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
873 # so we can do ok running make in the build dir. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
874 # This used to have a clause that exited with an error if MAKEINFO = no. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
875 # But it is inappropriate to do so without checking if makeinfo is |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
876 # actually needed - it is not if the info files are up-to-date. (Bug#3982) |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
877 # Only the doc/*/Makefiles can decide that, so we let those rules run |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
878 # and give a standard error if makeinfo is needed but missing. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
879 # While it would be nice to give a more detailed error message, that |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
880 # would require changing every rule in doc/ that builds an info file, |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
881 # and it's not worth it. This case is only relevant if you download a |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
882 # release, then change the .texi files. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
883 info: force-info |
112123
5e63c33ad48c
Don't use $MAKEINFO for both a flag and a program.
Glenn Morris <rgm@gnu.org>
parents:
111971
diff
changeset
|
884 @if test "$(HAVE_MAKEINFO)" = "no"; then \ |
111811
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
885 echo "Configured --without-makeinfo, not building manuals" ; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
886 else \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
887 $(MAKE) $(MFLAGS) info-real ; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
888 fi |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
889 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
890 # The info/dir file must be updated by hand when new manuals are added. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
891 check-info-dir: info |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
892 cd info ; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
893 missing= ; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
894 for file in *; do \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
895 test -f "$${file}" || continue ; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
896 case $${file} in \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
897 *-[0-9]*|COPYING|dir) continue ;; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
898 esac ; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
899 grep -q -F ": ($${file})." dir || missing="$${missing} $${file}" ; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
900 done ; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
901 if test -n "$${missing}"; then \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
902 echo "Missing info/dir entries: $${missing}" ; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
903 exit 1 ; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
904 fi ; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
905 echo "info/dir is OK" |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
906 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
907 dvi: |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
908 (cd doc/emacs; $(MAKE) $(MFLAGS) dvi) |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
909 (cd doc/misc; $(MAKE) $(MFLAGS) dvi) |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
910 (cd doc/lispref; $(MAKE) $(MFLAGS) elisp.dvi) |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
911 (cd doc/lispintro; $(MAKE) $(MFLAGS) emacs-lisp-intro.dvi) |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
912 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
913 #### Bootstrapping. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
914 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
915 ### This first cleans the lisp subdirectory, removing all compiled |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
916 ### Lisp files. Then re-run make to build all the files anew. |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
917 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
918 .PHONY: bootstrap |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
919 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
920 bootstrap: bootstrap-clean FRC |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
921 if [ -x ./config.status ]; then \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
922 ./config.status; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
923 else \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
924 ./configure --enable-maintainer-mode; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
925 fi |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
926 $(MAKE) $(MFLAGS) info all |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
927 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
928 .PHONY: check-declare |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
929 |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
930 check-declare: |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
931 @if [ ! -e $(srcdir)/src/emacs ]; then \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
932 echo "You must build Emacs to use this command"; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
933 exit 1; \ |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
934 fi |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
935 (cd leim; $(MAKE) $(MFLAGS) $@) |
ced73eea562f
Restore files that I seem to have mistakenly deleted.
Katsumi Yamaoka <yamaoka@jpl.org>
parents:
diff
changeset
|
936 (cd lisp; $(MAKE) $(MFLAGS) $@) |