View | Details | Raw Unified | Return to bug 126066
Collapse All | Expand All

(-)Makefile (-5 / +6 lines)
Lines 2-16 Link Here
2
# Date created:        11 August 2005
2
# Date created:        11 August 2005
3
# Whom:                Timothy Bourke <timbob@bigpond.com>
3
# Whom:                Timothy Bourke <timbob@bigpond.com>
4
#
4
#
5
# $FreeBSD: ports/math/proofgeneral/Makefile,v 1.20 2008/06/06 13:44:02 edwin Exp $
5
# $FreeBSD$
6
#
6
#
7
7
8
PORTNAME=	proofgeneral
8
PORTNAME=	proofgeneral
9
PORTVERSION=	3.7
9
PORTVERSION=	3.7.1
10
PORTREVISION=	1
11
CATEGORIES=	math elisp
10
CATEGORIES=	math elisp
12
MASTER_SITES=	http://proofgeneral.inf.ed.ac.uk/releases/
11
MASTER_SITES=	http://proofgeneral.inf.ed.ac.uk/releases/
13
DISTNAME=	ProofGeneral-3.7
12
DISTNAME=	ProofGeneral-3.7.1
14
EXTRACT_SUFX=	.tgz
13
EXTRACT_SUFX=	.tgz
15
14
16
MAINTAINER=	timbob@bigpond.com
15
MAINTAINER=	timbob@bigpond.com
Lines 68-74 Link Here
68
post-patch:
67
post-patch:
69
	@${REINPLACE_CMD} -e 's,%%PREFIX%%,${PREFIX},' \
68
	@${REINPLACE_CMD} -e 's,%%PREFIX%%,${PREFIX},' \
70
		${WRKSRC}/etc/desktop/proofgeneral.desktop
69
		${WRKSRC}/etc/desktop/proofgeneral.desktop
71
	${TOUCH} ${WRKSRC}/.byte-compile
70
	@${TOUCH} ${WRKSRC}/.byte-compile
71
	@${REINPLACE_CMD} -e 's,%%EMACS_NAME%%,${EMACS_NAME},' \
72
		${WRKSRC}/isar/interface
72
73
73
pre-build:
74
pre-build:
74
#.if defined(BYTE_COMPILE)
75
#.if defined(BYTE_COMPILE)
(-)distinfo (-3 / +3 lines)
Lines 1-3 Link Here
1
MD5 (ProofGeneral-3.7.tgz) = 87c546b914a08dfe014ef55af3e9f92f
1
MD5 (ProofGeneral-3.7.1.tgz) = eebfff672b5941823fe893075316b02e
2
SHA256 (ProofGeneral-3.7.tgz) = 2bdd9ef83d836391f779c41883b3ecdd5da7256cfa25d10c1442ba00cefd3e8e
2
SHA256 (ProofGeneral-3.7.1.tgz) = e613aa2f24564465f450b06b2d804e6815b220652c9f778e3d3471b644fdaa93
3
SIZE (ProofGeneral-3.7.tgz) = 1981651
3
SIZE (ProofGeneral-3.7.1.tgz) = 2023176
(-)pkg-plist (+6 lines)
Lines 56-61 Link Here
56
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/pg-xml.elc
56
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/pg-xml.elc
57
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-autoloads.el
57
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-autoloads.el
58
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-autoloads.elc
58
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-autoloads.elc
59
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-auxmodes.el
60
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-auxmodes.elc
59
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-config.el
61
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-config.el
60
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-config.elc
62
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-config.elc
61
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-depends.el
63
%%EMACS_SITE_LISPDIR%%/ProofGeneral/generic/proof-depends.el
Lines 188-193 Link Here
188
%%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/maths-menu.el
190
%%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/maths-menu.el
189
%%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/pg-dev.el
191
%%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/pg-dev.el
190
%%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/pg-dev.elc
192
%%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/pg-dev.elc
193
%%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/pg-fontsets.el
194
%%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/pg-fontsets.elc
191
%%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/proof-compat.el
195
%%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/proof-compat.el
192
%%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/proof-compat.elc
196
%%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/proof-compat.elc
193
%%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/span-extent.el
197
%%EMACS_SITE_LISPDIR%%/ProofGeneral/lib/span-extent.el
Lines 276-281 Link Here
276
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/escherknot.xbm
280
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/escherknot.xbm
277
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/fonts-ttf/README
281
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/fonts-ttf/README
278
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/fonts-ttf/isaxsym.ttf
282
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/fonts-ttf/isaxsym.ttf
283
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/fonts-ttf/XSymb0Medium.ttf
284
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/fonts-ttf/XSymb1Medium.ttf
279
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/fonts/2helvR12.bdf
285
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/fonts/2helvR12.bdf
280
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/fonts/2helvR14.bdf
286
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/fonts/2helvR14.bdf
281
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/fonts/3helvR12.bdf
287
%%EMACS_SITE_LISPDIR%%/ProofGeneral/x-symbol/etc/fonts/3helvR12.bdf
(-)files/patch-Makefile (-5 / +9 lines)
Lines 1-5 Link Here
1
--- Makefile.orig	2008-02-01 00:06:38.000000000 +1100
1
--- Makefile.orig	2008-02-01 00:06:38.000000000 +1100
2
+++ Makefile	2008-02-23 20:45:58.000000000 +1100
2
+++ Makefile	2008-07-29 13:09:58.000000000 +1000
3
@@ -21,7 +21,7 @@
3
@@ -21,7 +21,7 @@
4
 
4
 
5
 # Set this to "emacs" or "xemacs" according to your version of Emacs.
5
 # Set this to "emacs" or "xemacs" according to your version of Emacs.
Lines 30-36 Link Here
30
 
30
 
31
 ## Compiling can show up errors in the code, but be wary of fixing obsoletion
31
 ## Compiling can show up errors in the code, but be wary of fixing obsoletion
32
 ## or argument call warnings unless they're valid for both Emacsen.
32
 ## or argument call warnings unless they're valid for both Emacsen.
33
@@ -85,7 +84,7 @@
33
@@ -85,10 +84,10 @@
34
 	@echo "****************************************************************"
34
 	@echo "****************************************************************"
35
 	@echo " Byte compiling... "
35
 	@echo " Byte compiling... "
36
 	@echo "****************************************************************"
36
 	@echo "****************************************************************"
Lines 38-44 Link Here
38
+	$(MAKE) elc
38
+	$(MAKE) elc
39
 	@echo " Byte compiling X-Symbol..."
39
 	@echo " Byte compiling X-Symbol..."
40
 	(cd x-symbol/lisp; $(MAKE) EMACS="$(EMACS) -q -no-site-file")
40
 	(cd x-symbol/lisp; $(MAKE) EMACS="$(EMACS) -q -no-site-file")
41
 	echo $(EMACS) > $(@)
41
-	echo $(EMACS) > $(@)
42
+	echo $(EMACS_NAME) > $(@)
43
 	@echo "****************************************************************"
44
 	@echo " Finished."
45
 	@echo "****************************************************************"
42
@@ -137,39 +136,35 @@
46
@@ -137,39 +136,35 @@
43
 # Set Elisp directories according to paths used in Red Hat RPMs
47
 # Set Elisp directories according to paths used in Red Hat RPMs
44
 # (which may or may not be official Emacs policy).  We generate
48
 # (which may or may not be official Emacs policy).  We generate
Lines 107-113 Link Here
107
-	for f in ${EXTRA_DIRS}; do cp -prf $$f/* ${ELISP}/$$f; done
111
-	for f in ${EXTRA_DIRS}; do cp -prf $$f/* ${ELISP}/$$f; done
108
-	for f in ${ELISP_EXTRAS}; do cp -pf $$f ${ELISP}/$$f; done
112
-	for f in ${ELISP_EXTRAS}; do cp -pf $$f ${ELISP}/$$f; done
109
+	for f in ${ELISP_DIRS}; do ${BSD_INSTALL_DATA} $$f/*.el ${ELISP}/$$f; done
113
+	for f in ${ELISP_DIRS}; do ${BSD_INSTALL_DATA} $$f/*.el ${ELISP}/$$f; done
110
+	for f in ${ELISP_EXTRAS}; do ${BSD_INSTALL_DATA} $$f ${ELISP}/$$f; done
114
+	for f in ${ELISP_EXTRAS}; do ${BSD_INSTALL_SCRIPT} $$f ${ELISP}/$$f; done
111
+	for f in ${EXTRA_DIRS}; \
115
+	for f in ${EXTRA_DIRS}; \
112
+		do for g in `find -d $$f -type d`; \
116
+		do for g in `find -d $$f -type d`; \
113
+		   do mkdir -p ${ELISP}/$$g; \
117
+		   do mkdir -p ${ELISP}/$$g; \
Lines 124-130 Link Here
124
-	for f in ${ELISP_DIRS}; do cp -pf $$f/*.elc ${ELISP}/$$f; done
128
-	for f in ${ELISP_DIRS}; do cp -pf $$f/*.elc ${ELISP}/$$f; done
125
-	for f in ${ELISP_EXTRAS}; do cp -pf $$f ${ELISP}/$$f; done
129
-	for f in ${ELISP_EXTRAS}; do cp -pf $$f ${ELISP}/$$f; done
126
+	for f in ${ELISP_DIRS}; do ${BSD_INSTALL_DATA} $$f/*.elc ${ELISP}/$$f; done
130
+	for f in ${ELISP_DIRS}; do ${BSD_INSTALL_DATA} $$f/*.elc ${ELISP}/$$f; done
127
+	for f in ${ELISP_EXTRAS}; do ${BSD_INSTALL_DATA} $$f ${ELISP}/$$f; done
131
+	for f in ${ELISP_EXTRAS}; do ${BSD_INSTALL_SCRIPT} $$f ${ELISP}/$$f; done
128
 
132
 
129
 install-init:
133
 install-init:
130
 	mkdir -p ${ELISP_START}
134
 	mkdir -p ${ELISP_START}
(-)files/patch-isar-interface (+11 lines)
Added Link Here
1
--- isar/interface.orig	2008-07-29 13:22:58.000000000 +1000
2
+++ isar/interface	2008-07-29 13:25:10.000000000 +1000
3
@@ -60,7 +60,7 @@
4
 GEOMETRY=""
5
 KEYWORDS=""
6
 LOGIC="$ISABELLE_LOGIC"
7
-PROGNAME="emacs"
8
+PROGNAME="%%EMACS_NAME%%"
9
 INITFILE="true"
10
 WINDOWSYSTEM="true"
11
 XSYMBOL=""

Return to bug 126066