mirror of
https://git.FreeBSD.org/ports.git
synced 2024-12-04 01:48:54 +00:00
77 lines
2.1 KiB
Makefile
77 lines
2.1 KiB
Makefile
# New ports collection makefile for: proofgeneral
|
|
# Date created: 11 August 2005
|
|
# Whom: Timothy Bourke <timbob@bigpond.com>
|
|
#
|
|
# $FreeBSD$
|
|
#
|
|
|
|
PORTNAME= proofgeneral
|
|
PORTVERSION= 3.5
|
|
CATEGORIES= math elisp
|
|
MASTER_SITES= http://proofgeneral.inf.ed.ac.uk/releases/ \
|
|
http://www.cl.cam.ac.uk/Research/HVG/Isabelle/dist/contrib/ \
|
|
http://isabelle.in.tum.de/dist/contrib/ \
|
|
http://mirror.cse.unsw.edu.au/pub/isabelle/contrib/
|
|
DISTNAME= ProofGeneral-3.5
|
|
|
|
MAINTAINER= timbob@bigpond.com
|
|
COMMENT= A generic interface for proof assistants
|
|
|
|
BUILD_DEPENDS= bash:${PORTSDIR}/shells/bash \
|
|
${EMACS_NAME}:${EMACS_PORTSDIR}
|
|
|
|
.if exists(${LOCALBASE}/bin/xemacs)
|
|
BUILD_DEPENDS+= ${LOCALBASE}/lib/xemacs/xemacs-packages:${PORTSDIR}/editors/xemacs-packages
|
|
RUN_DEPENDS+= ${LOCALBASE}/share/applications/.keep_me:${PORTSDIR}/misc/kdehier
|
|
.endif
|
|
|
|
.if exists(${LOCALBASE}/bin/xemacs) || !exists(${LOCALBASE}/bin/emacs)
|
|
EMACS_PORT_NAME=xemacs21-mule
|
|
.else
|
|
EMACS_PORT_NAME=emacs21
|
|
.endif
|
|
|
|
MAKE_ARGS+= EMACS_NAME=${EMACS_NAME} EMACS_SITE_LISPDIR=${EMACS_SITE_LISPDIR}
|
|
USE_GMAKE= yes
|
|
USE_PERL5= yes
|
|
USE_REINPLACE= yes
|
|
|
|
SUB_FILES= pkg-message
|
|
SUB_LIST= EMACS_SITE_LISPDIR=${EMACS_SITE_LISPDIR}
|
|
|
|
MAN1= proofgeneral.1
|
|
MANCOMPRESSED= no
|
|
INFO= PG-adapting ProofGeneral
|
|
|
|
.if !defined(NOPORTDOCS)
|
|
PORTDOCS= PG-adapting_*.html ProofGeneral_*.html \
|
|
ProofGeneral.pdf PG-adapting.pdf
|
|
MAKE_ARGS+= INSTALL_DOC=doc.pdf
|
|
BUILD_DEPENDS+= ${LOCALBASE}/bin/texi2pdf:${PORTSDIR}/print/teTeX-base
|
|
.endif
|
|
|
|
post-patch:
|
|
@${TOUCH} -m -r ${WRKSRC}/generic/proof-menu.el.orig \
|
|
${WRKSRC}/generic/proof-menu.el
|
|
@${REINPLACE_CMD} -e 's,%%PREFIX%%,${PREFIX},' \
|
|
${WRKSRC}/etc/desktop/proofgeneral.desktop
|
|
|
|
pre-build:
|
|
.if defined(BYTE_COMPILE)
|
|
@${ECHO_CMD} "************************************************************"
|
|
@${ECHO_CMD} "* Byte compilation may not work properly for all files... *"
|
|
@${ECHO_CMD} "************************************************************"
|
|
@${RM} ${WRKSRC}/.byte-compile
|
|
.endif
|
|
|
|
post-install:
|
|
.if !defined(NOPORTDOCS)
|
|
${MKDIR} ${DOCSDIR}
|
|
.for file in ${PORTDOCS}
|
|
${INSTALL_DATA} ${WRKSRC}/doc/${file} ${DOCSDIR}
|
|
.endfor
|
|
.endif
|
|
@${CAT} ${PKGMESSAGE}
|
|
|
|
.include <bsd.port.mk>
|