Changeset View

Standalone View

	# Created by: Timothy Bourke <timbob@bigpond.com>			# Created by: Timothy Bourke <timbob@bigpond.com>
	# $FreeBSD$			# $FreeBSD$

	PORTNAME= proofgeneral			PORTNAME= proofgeneral
	PORTVERSION= 4.1			PORTVERSION= 4.1
	PORTREVISION= 11			PORTREVISION= 11
	CATEGORIES= math elisp			CATEGORIES= math elisp
	MASTER_SITES= http://proofgeneral.inf.ed.ac.uk/releases/			MASTER_SITES= http://proofgeneral.inf.ed.ac.uk/releases/
	PKGNAMESUFFIX= -${EMACS_NAME}			PKGNAMESUFFIX= ${EMACS_PKGNAMESUFFIX}
	DISTNAME= ProofGeneral-${PORTVERSION}			DISTNAME= ProofGeneral-${PORTVERSION}

	MAINTAINER= beyert@cs.ucr.edu			MAINTAINER= beyert@cs.ucr.edu
	COMMENT= Generic interface for proof assistants			COMMENT= Generic interface for proof assistants

	LICENSE= GPLv2			LICENSE= GPLv2
	LICENSE_FILE= ${WRKSRC}/COPYING			LICENSE_FILE= ${WRKSRC}/COPYING

	BUILD_DEPENDS= bash:shells/bash			BUILD_DEPENDS= bash:shells/bash
	RUN_DEPENDS= ${LOCALBASE}/share/icons/hicolor/index.theme:misc/hicolor-icon-theme			RUN_DEPENDS= ${LOCALBASE}/share/icons/hicolor/index.theme:misc/hicolor-icon-theme

	USE_EMACS= yes			USE_EMACS= yes
				EMACS_EXCLUDE_FLAVORS= lite devel_lite
	INSTALLS_ICONS= yes			INSTALLS_ICONS= yes
	USES= gmake perl5 shebangfix tar:tgz			USES= gmake perl5 shebangfix tar:tgz
	SHEBANG_FILES= lego/legotags coq/coqtags isar/isartags			SHEBANG_FILES= lego/legotags coq/coqtags isar/isartags
	NO_ARCH= yes			NO_ARCH= yes

	.include <bsd.port.pre.mk>			.include <bsd.port.pre.mk>

	.if ${EMACS_NAME} == xemacs			.if ${EMACS_NAME} == xemacs
	▲ Show 20 Lines • Show All 52 Lines • Show Last 20 Lines