diff options
| author | Joseph Mingrone <jrm@FreeBSD.org> | 2018-02-01 18:03:09 +0000 |
|---|---|---|
| committer | Joseph Mingrone <jrm@FreeBSD.org> | 2018-02-01 18:03:09 +0000 |
| commit | a3cc513bfc69ef10d52ed310dd9a6e6bb8c57491 (patch) | |
| tree | 4a6b8513515fb032f2183d945863a1d39dbcd0c1 /math/proofgeneral | |
| parent | Add patch that forces configuration files in $H/.KeeperRL directory (diff) | |
Flavorize and modernize Emacs ports
- Convert USE_EMACS to USES=emacs
- Remove editors/emacs-nox11 (refer to nox flavors of editors/emacs and
editors/emacs-devel)
- Permit default Emacs flavor to be specified in make.conf
- Rename japanese/migemo-emacs23 to japanese/migemo-emacs
- Update and simplify audio/emms and fix build on FreeBSD 10 [1]
- Update databases/bbdd and fix build on FreeBSD 10 [1]
- Update editors/emacs-devel
- Ensure Makefile shell commands that change directory are executed in a
subshell
- Silence some portlint warnings
[1] By not depending on base texinfo
PR: 225404
Reviewed by: antoine
Approved by: portmgr (mat) ashish (maintainer)
Differential Revision: https://reviews.freebsd.org/D13506
Notes
Notes:
svn path=/head/; revision=460621
Diffstat (limited to 'math/proofgeneral')
| -rw-r--r-- | math/proofgeneral/Makefile | 38 |
1 files changed, 18 insertions, 20 deletions
diff --git a/math/proofgeneral/Makefile b/math/proofgeneral/Makefile index bebf05cbecf6..88622f1d54bd 100644 --- a/math/proofgeneral/Makefile +++ b/math/proofgeneral/Makefile @@ -3,10 +3,10 @@ PORTNAME= proofgeneral PORTVERSION= 4.1 -PORTREVISION= 11 +PORTREVISION= 12 CATEGORIES= math elisp MASTER_SITES= http://proofgeneral.inf.ed.ac.uk/releases/ -PKGNAMESUFFIX= -${EMACS_NAME} +PKGNAMESUFFIX= ${EMACS_PKGNAMESUFFIX} DISTNAME= ProofGeneral-${PORTVERSION} MAINTAINER= beyert@cs.ucr.edu @@ -18,20 +18,15 @@ LICENSE_FILE= ${WRKSRC}/COPYING BUILD_DEPENDS= bash:shells/bash RUN_DEPENDS= ${LOCALBASE}/share/icons/hicolor/index.theme:misc/hicolor-icon-theme -USE_EMACS= yes +USES= emacs gmake perl5 shebangfix tar:tgz +EMACS_FLAVORS_EXCLUDE= nox devel_nox + INSTALLS_ICONS= yes -USES= gmake perl5 shebangfix tar:tgz SHEBANG_FILES= lego/legotags coq/coqtags isar/isartags NO_ARCH= yes -.include <bsd.port.pre.mk> - -.if ${EMACS_NAME} == xemacs -IGNORE= the ProofGeneral developers no longer support XEmacs -.endif - MAKE_ARGS+= PREFIX="${LOCALBASE}" DEST_PREFIX="${STAGEDIR}${PREFIX}" \ - MAKE="${MAKE_CMD}" EMACS="${EMACS_NAME}" EMACS_NAME="${EMACS_NAME}" \ + MAKE="${MAKE_CMD}" EMACS=emacs EMACS_NAME=emacs \ DOCDIR="${STAGEDIR}${DOCSDIR}" MANDIR="${STAGEDIR}${PREFIX}/man/man1" \ INFODIR="${STAGEDIR}${PREFIX}/info" \ BINDIR="${STAGEDIR}${PREFIX}/bin" DESKTOP="${STAGEDIR}${PREFIX}/share" \ @@ -45,16 +40,15 @@ SUB_FILES= pkg-message SUB_LIST= EMACS_SITE_LISPDIR=${EMACS_SITE_LISPDIR} INFO= PG-adapting ProofGeneral - -.if ${PORT_OPTIONS:MDOCS} -MAKE_ARGS+= DOCSDIR=${DOCSDIR} INSTALLDOC=install-doc -BUILD_DEPENDS+= texi2html:textproc/texi2html -.endif - PORTDOCS= AUTHORS BUGS CHANGES COMPATIBILITY COPYING INSTALL \ PG-adapting ProofGeneral README REGISTER acl2 hol98 isar lego \ pgshell phox twelf +OPTIONS_DEFINE= DOCS + +DOCS_MAKE_ARGS= DOCSDIR=${DOCSDIR} INSTALLDOC=install-doc +DOCS_BUILD_DEPENDS= texi2html:textproc/texi2html + post-patch: @${REINPLACE_CMD} -e 's,%%PREFIX%%,${PREFIX},' \ ${WRKSRC}/etc/desktop/proofgeneral.desktop @@ -67,7 +61,7 @@ post-patch: 's|PGHOMEDEFAULT=$$HOME|PGHOMEDEFAULT=${PREFIX}/${EMACS_SITE_LISPDIR}|g' \ ${WRKSRC}/bin/proofgeneral @${TOUCH} ${WRKSRC}/.byte-compile - @${REINPLACE_CMD} -e 's,%%EMACS_NAME%%,${EMACS_NAME},' \ + @${REINPLACE_CMD} -e 's,%%EMACS_NAME%%,emacs,' \ ${WRKSRC}/isar/interface pre-build: @@ -75,7 +69,11 @@ pre-build: @${RM} ${WRKSRC}/.byte-compile || ${TRUE} #.endif -post-install: +post-install-DOCS-on: @${FIND} ${STAGEDIR}${DOCSDIR} -type d -empty -delete -.include <bsd.port.post.mk> +post-install-DOCS-off: + ${INSTALL_MAN} ${WRKSRC}/doc/${PORTNAME}.1 \ + ${STAGEDIR}${MAN1PREFIX}/man/man1 + +.include <bsd.port.mk> |