blob: ae3979cf0b3a5ccc4771ff7370b8215206210294 (
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
|
# New ports collection makefile for: proofgeneral
# Date created: 11 August 2005
# Whom: Timothy Bourke <timbob@bigpond.com>
#
# $FreeBSD$
#
PORTNAME= proofgeneral
PORTVERSION= 3.7.1
PORTREVISION= 2
CATEGORIES= math elisp
MASTER_SITES= http://proofgeneral.inf.ed.ac.uk/releases/
DISTNAME= ProofGeneral-3.7.1
EXTRACT_SUFX= .tgz
MAINTAINER= beyert@cs.ucr.edu
COMMENT= A generic interface for proof assistants
PKGNAMESUFFIX+= -${EMACS_NAME}
BUILD_DEPENDS+= bash:${PORTSDIR}/shells/bash
RUN_DEPENDS+= ${LOCALBASE}/share/icons/hicolor/index.theme:${PORTSDIR}/misc/hicolor-icon-theme
#
# Unless EMACS_PORT_NAME is overriden by the user,
# use any installed version of [X]Emacs.
#
# If there is none installed, use xemacs21-mule.
#
.if !defined(EMACS_PORT_NAME)
.if !exists(${LOCALBASE}/bin/emacs)
EMACS_PORT_NAME=xemacs21-mule
BUILD_DEPENDS+= ${LOCALBASE}/bin/xemacs:${PORTSDIR}/editors/${EMACS_PORT_NAME}
RUN_DEPENDS+= ${LOCALBASE}/bin/xemacs:${PORTSDIR}/editors/${EMACS_PORT_NAME}
# xemacs21-mule does not depend on xemacs-packages, so add a dependency here
BUILD_DEPENDS+= ${LOCALBASE}/lib/xemacs/xemacs-packages/lisp/xlib/xlib-xlib.el:${PORTSDIR}/editors/xemacs-packages
RUN_DEPENDS+= ${LOCALBASE}/lib/xemacs/xemacs-packages/lisp/xlib/xlib-xlib.el:${PORTSDIR}/editors/xemacs-packages
.else
EMACS_PORT_NAME=emacs
BUILD_DEPENDS+= ${LOCALBASE}/bin/emacs:${PORTSDIR}/editors/${EMACS_PORT_NAME}
RUN_DEPENDS+= ${LOCALBASE}/bin/emacs:${PORTSDIR}/editors/${EMACS_PORT_NAME}
.endif
.endif
USE_EMACS= yes
USE_GMAKE= yes
USE_GNOME= gnomehier
INSTALLS_ICONS= yes
USE_PERL5= yes
.include <bsd.port.pre.mk>
MAKE_ARGS+= EMACS_NAME=${EMACS_NAME} EMACS_SITE_LISPDIR=${EMACS_SITE_LISPDIR}
SUB_FILES= pkg-message
SUB_LIST= EMACS_SITE_LISPDIR=${EMACS_SITE_LISPDIR}
MAN1= proofgeneral.1
MANCOMPRESSED= no
INFO= PG-adapting ProofGeneral
.if !defined(NOPORTDOCS)
MAKE_ARGS+= DOCSDIR=${DOCSDIR} INSTALLDOC=install-doc
BUILD_DEPENDS+= ${LOCALBASE}/bin/texi2pdf:${PORTSDIR}/print/teTeX-base
.endif
post-patch:
@${REINPLACE_CMD} -e 's,%%PREFIX%%,${PREFIX},' \
${WRKSRC}/etc/desktop/proofgeneral.desktop
@${TOUCH} ${WRKSRC}/.byte-compile
@${REINPLACE_CMD} -e 's,%%EMACS_NAME%%,${EMACS_NAME},' \
${WRKSRC}/isar/interface
pre-build:
#.if defined(BYTE_COMPILE)
@${RM} ${WRKSRC}/.byte-compile || ${TRUE}
#.endif
pre-install:
@${MKDIR} ${PREFIX}/share/applications
post-install:
@${CAT} ${PKGMESSAGE}
.include <bsd.port.post.mk>
|
