diff options
Diffstat (limited to 'math')
| -rw-r--r-- | math/coq/Makefile | 15 | ||||
| -rw-r--r-- | math/ess/Makefile | 5 | ||||
| -rw-r--r-- | math/proofgeneral/Makefile | 38 |
3 files changed, 29 insertions, 29 deletions
diff --git a/math/coq/Makefile b/math/coq/Makefile index 1ae05356c74b..f95b47f9a83a 100644 --- a/math/coq/Makefile +++ b/math/coq/Makefile @@ -2,11 +2,12 @@ PORTNAME= coq PORTVERSION= 8.6 -PORTREVISION= 1 +PORTREVISION= 2 PORTEPOCH= 3 CATEGORIES= math MASTER_SITES= http://coq.inria.fr/distrib/V${PORTVERSION}/files/ \ ftp://ftp.stack.nl/pub/users/johans/coq/ +PKGNAMESUFFIX= ${EMACS_PKGNAMESUFFIX} MAINTAINER= hrs@FreeBSD.org COMMENT= Theorem prover based on lambda-C @@ -14,20 +15,20 @@ COMMENT= Theorem prover based on lambda-C LICENSE= LGPL21 LICENSE_FILE= ${WRKSRC}/LICENSE +BROKEN_armv6= fails to compile: Fatal error: exception Invalid_argument("index out of bounds") +BROKEN_armv7= fails to compile: Fatal error: exception Invalid_argument("index out of bounds") +BROKEN_powerpc= fails to link + BUILD_DEPENDS= camlp5:devel/ocaml-camlp5 \ ocamlfind:devel/ocaml-findlib LIB_DEPENDS= libfontconfig.so:x11-fonts/fontconfig \ libfreetype.so:print/freetype2 -BROKEN_armv6= fails to compile: Fatal error: exception Invalid_argument("index out of bounds") -BROKEN_armv7= fails to compile: Fatal error: exception Invalid_argument("index out of bounds") -BROKEN_powerpc= fails to link - -USES= gmake gettext-runtime -USE_EMACS= yes +USES= emacs gmake gettext-runtime USE_GNOME= atk cairo gdkpixbuf2 glib20 gtk20 gtksourceview2 pango USE_LDCONFIG= ${PREFIX}/lib/coq USE_OCAML= yes + HAS_CONFIGURE= yes CONFIGURE_ARGS= -prefix ${PREFIX} \ -mandir ${PREFIX}/man \ diff --git a/math/ess/Makefile b/math/ess/Makefile index 4b6465306969..bfde590904cb 100644 --- a/math/ess/Makefile +++ b/math/ess/Makefile @@ -3,9 +3,11 @@ PORTNAME= ess DISTVERSION= 17.11 +PORTREVISION= 1 CATEGORIES= math MASTER_SITES= http://ess.r-project.org/downloads/ess/ \ http://stat.ethz.ch/ESS/downloads/ess/ +PKGNAMESUFFIX= ${EMACS_PKGNAMESUFFIX} MAINTAINER= rhurlin@gwdg.de COMMENT= R support for Emacsen @@ -17,8 +19,7 @@ RUN_DEPENDS= R:math/R NO_ARCH= yes -USES= gmake makeinfo tar:tgz -USE_EMACS= yes +USES= emacs gmake makeinfo tar:tgz INFO= ess 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> |