blob: 0de221d9298c643bff2b1230aafb1f3c06b671dc (
plain) (
blame)
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
|
--- Makefile.orig 2010-10-10 15:56:56.000000000 -0700
+++ Makefile 2012-04-11 22:30:19.000000000 -0700
@@ -41,7 +41,7 @@
ELISP_EXTRAS=isar/interface isar/isartags
EXTRA_DIRS = images
-DOC_FILES=AUTHORS BUGS COMPATIBILITY CHANGES COPYING INSTALL README REGISTER doc/*.pdf
+DOC_FILES=AUTHORS BUGS COMPATIBILITY CHANGES COPYING INSTALL README REGISTER
DOC_EXAMPLES=acl2/*.acl2 hol98/*.sml isar/*.thy lclam/*.lcm lego/*.l pgshell/*.pgsh phox/*.phx plastic/*.lf twelf/*.elf
DOC_SUBDIRS=${DOC_EXAMPLES} */README* */CHANGES */BUGS
@@ -135,22 +135,23 @@
MANDIR=${PREFIX}/share/man/man1
INFODIR=${PREFIX}/share/info
-install: install-desktop install-elisp install-bin install-init
+install: install-desktop install-elisp install-bin install-init ${INSTALLDOC}
install-desktop:
- mkdir -p ${DESKTOP}/icons/hicolor/16x16
- cp etc/desktop/icons/16x16/proofgeneral.png ${DESKTOP}/icons/hicolor/16x16
- mkdir -p ${DESKTOP}/icons/hicolor/32x32
- cp etc/desktop/icons/32x32/proofgeneral.png ${DESKTOP}/icons/hicolor/32x32
- mkdir -p ${DESKTOP}/icons/hicolor/48x48
- cp etc/desktop/icons/48x48/proofgeneral.png ${DESKTOP}/icons/hicolor/48x48
- mkdir -p ${DESKTOP}/pixmaps
- cp etc/desktop/icons/48x48/proofgeneral.png ${DESKTOP}/pixmaps
- mkdir -p ${DESKTOP}/applications
- cp etc/desktop/proofgeneral.desktop ${DESKTOP}/applications
- mkdir -p ${DESKTOP}/mime-info
- cp etc/desktop/mime-info/proofgeneral.mime ${DESKTOP}/mime-info
- cp etc/desktop/mime-info/proofgeneral.keys ${DESKTOP}/mime-info
+ for f in 16x16 32x32 48x48; do \
+ if [ ! -d "${DESKTOP}/icons/hicolor/$$f" ]; then \
+ mkdir -p ${DESKTOP}/icons/hicolor/$$f; \
+ fi; \
+ done
+ ${BSD_INSTALL_DATA} etc/desktop/icons/16x16/proofgeneral.png ${DESKTOP}/icons/hicolor/16x16/
+ ${BSD_INSTALL_DATA} etc/desktop/icons/32x32/proofgeneral.png ${DESKTOP}/icons/hicolor/32x32/
+ ${BSD_INSTALL_DATA} etc/desktop/icons/48x48/proofgeneral.png ${DESKTOP}/icons/hicolor/48x48/
+ ${BSD_INSTALL_DATA} etc/desktop/icons/48x48/proofgeneral.png ${DESKTOP}/pixmaps/
+ ${BSD_INSTALL_DATA} etc/desktop/proofgeneral.desktop ${DESKTOP}/applications
+ if [ ! -d ${DESKTOP}/mime-info ]; then mkdir ${DESKTOP}/mime-info; fi
+ ${BSD_INSTALL_DATA} etc/desktop/mime-info/proofgeneral.mime ${DESKTOP}/mime-info/
+ ${BSD_INSTALL_DATA} etc/desktop/mime-info/proofgeneral.keys ${DESKTOP}/mime-info/
+
# backwards compatibility with old linuxes
mkdir -p ${DESKTOP}/application-registry
cp etc/desktop/application-registry/proofgeneral.applications ${DESKTOP}/application-registry
@@ -168,15 +169,23 @@
install-el:
mkdir -p ${ELISP}
for f in ${ELISP_DIRS} ${EXTRA_DIRS}; do mkdir -p ${ELISP}/$$f; done
- for f in ${ELISP_DIRS}; do cp -pf $$f/*.el ${ELISP}/$$f; done
- for f in ${EXTRA_DIRS}; do cp -prf $$f/* ${ELISP}/$$f; done
- for f in ${ELISP_EXTRAS}; do cp -pf $$f ${ELISP}/$$f; done
+ for f in ${ELISP_DIRS}; do ${BSD_INSTALL_DATA} $$f/*.el ${ELISP}/$$f; done
+ for f in ${ELISP_EXTRAS}; do ${BSD_INSTALL_SCRIPT} $$f ${ELISP}/$$f; done
+ for f in ${EXTRA_DIRS}; \
+ do for g in `find -d $$f -type d`; \
+ do mkdir -p ${ELISP}/$$g; \
+ files=`find $$g -depth 1 -type f \\! -perm +u+x`; \
+ if [ "$$files" != "" ]; then ${BSD_INSTALL_DATA} $$files ${ELISP}/$$g; fi; \
+ scripts=`find $$g -depth 1 -type f -perm +u+x`; \
+ if [ "$$scripts" != "" ]; then ${BSD_INSTALL_SCRIPT} $$scripts ${ELISP}/$$g; fi; \
+ done; \
+ done
install-elc: compile
mkdir -p ${ELISP}
for f in ${ELISP_DIRS} ${EXTRA_DIRS}; do mkdir -p ${ELISP}/$$f; done
- for f in ${ELISP_DIRS}; do cp -pf $$f/*.elc ${ELISP}/$$f; done
- for f in ${ELISP_EXTRAS}; do cp -pf $$f ${ELISP}/$$f; done
+ for f in ${ELISP_DIRS}; do ${BSD_INSTALL_DATA} $$f/*.elc ${ELISP}/$$f; done
+ for f in ${ELISP_EXTRAS}; do ${BSD_INSTALL_SCRIPT} $$f ${ELISP}/$$f; done
install-init:
mkdir -p ${ELISP_START}
@@ -186,18 +195,23 @@
install-bin: scripts
mkdir -p ${BINDIR}
- cp -pf ${BIN_SCRIPTS} ${BINDIR}
+ ${BSD_INSTALL_SCRIPT} ${BIN_SCRIPTS} ${BINDIR}
-install-doc: doc.info doc.pdf
+install-doc: doc.html
mkdir -p ${MANDIR}
- cp -pf doc/proofgeneral.1 ${MANDIR}
- mkdir -p ${INFODIR}
- cp -pf doc/*.info ${INFODIR}
- /sbin/install-info ${INFODIR}/ProofGeneral.info* ${INFODIR}/dir
- /sbin/install-info ${INFODIR}/PG-adapting.info* ${INFODIR}/dir
+ ${BSD_INSTALL_MAN} doc/proofgeneral.1 ${MANDIR}
+ ${BSD_INSTALL_MAN} doc/PG-adapting.info ${INFODIR}
+ ${BSD_INSTALL_MAN} doc/ProofGeneral.info ${INFODIR}
mkdir -p ${DOCDIR}
- for f in ${DOC_FILES}; do cp -pf $$f ${DOCDIR}; done
- for f in ${DOC_EXAMPLES}; do mkdir -p ${DOCDIR}/`dirname $$f`; cp -pf $$f ${DOCDIR}/$$f; done
+ for f in ${DOC_FILES}; do ${BSD_INSTALL_MAN} $$f ${DOCDIR}; done
+ for f in ${DOC_EXAMPLES}; do mkdir -p ${DOCDIR}/`dirname $$f`; \
+ ${BSD_INSTALL_MAN} $$f ${DOCDIR}/$$f; done
+ mkdir -p ${DOCDIR}/ProofGeneral
+ for f in doc/ProofGeneral/*.html; do \
+ ${BSD_INSTALL_MAN} $$f ${DOCDIR}/ProofGeneral/`basename $$f`; done
+ mkdir -p ${DOCDIR}/PG-adapting
+ for f in doc/PG-adapting/*.html; do \
+ ${BSD_INSTALL_MAN} $$f ${DOCDIR}/PG-adapting/`basename $$f`; done
doc: FORCE
(cd doc; $(MAKE) EMACS=$(EMACS) $*)
|
