Index: head/lang/polyml/Makefile =================================================================== --- head/lang/polyml/Makefile (revision 250360) +++ head/lang/polyml/Makefile (revision 250361) @@ -1,35 +1,35 @@ # New ports collection makefile for: polyml # Date created: 09 July 2005 # Whom: Timothy Bourke # # $FreeBSD$ # PORTNAME= polyml PORTVERSION= 5.2.1 CATEGORIES= lang MASTER_SITES= SF DISTNAME= ${PORTNAME}.${PORTVERSION} DIST_SUBDIR= ${PORTNAME} -MAINTAINER= timbob@bigpond.com +MAINTAINER= beyert.cs.ucr.edu COMMENT= Fast open-source implementation of Standard ML GNU_CONFIGURE= yes CONFIGURE_ARGS= --without-x USE_LDCONFIG= yes ONLY_FOR_ARCHS= i386 PLIST_FILES= bin/poly \ bin/polyimport \ lib/libpolymain.a \ lib/libpolymain.la \ lib/libpolyml.a \ lib/libpolyml.la \ lib/libpolyml.so \ lib/libpolyml.so.1 MAN1= poly.1 polyimport.1 MANCOMPRESSED= no .include Property changes on: head/lang/polyml/Makefile ___________________________________________________________________ Modified: cvs2svn:cvs-rev ## -1 +1 ## -1.9 \ No newline at end of property +1.10 \ No newline at end of property Index: head/math/isabelle/Makefile =================================================================== --- head/math/isabelle/Makefile (revision 250360) +++ head/math/isabelle/Makefile (revision 250361) @@ -1,165 +1,165 @@ # New ports collection makefile for: isabelle # Date created: 08 August 2005 # Whom: Timothy Bourke # # $FreeBSD$ # PORTNAME= isabelle PORTVERSION= 2009 PORTREVISION= 1 CATEGORIES= math MASTER_SITES= http://isabelle.in.tum.de/dist/ \ http://www.cl.cam.ac.uk/Research/HVG/Isabelle/dist/ \ http://mirror.cse.unsw.edu.au/pub/isabelle/dist/ DISTNAME= Isabelle2009 .if !defined(NOPORTDOCS) DISTFILES= Isabelle2009.tar.gz \ Isabelle2009_library.tar.gz \ Isabelle2009_pdf.tar.gz .endif -MAINTAINER= timbob@bigpond.com +MAINTAINER= beyert@cs.ucr.edu COMMENT= A generic proof assistant OPTIONS= SMLNJ "Use SML/NJ (devel) instead of faster Poly/ML" off OPTIONS+= RLWRAP "Use rlwrap as line editor" on OPTIONS+= LEDIT "Use ledit as line editor" off OPTIONS+= HOL_ALGEBRA "Build optional heap: HOL-Algebra" off OPTIONS+= HOL_NOMINAL "Build optional heap: HOL-Nominal" off OPTIONS+= HOL_NSA "Build optional heap: HOL-NSA" off OPTIONS+= HOL_WORD "Build optional heap: HOL-Word" off OPTIONS+= HOL_TLA "Build optional heap: TLA" off OPTIONS+= HOL_HOL4 "Build optional heap: HOL4" off USE_PERL5= yes USE_EMACS= yes # for EMACS_SITE_LISPDIR EMACS_NO_BUILD_DEPENDS=yes EMACS_NO_RUN_DEPENDS=yes BUILD_DEPENDS+= bash:${PORTSDIR}/shells/bash RUN_DEPENDS+= proofgeneral:${PORTSDIR}/math/proofgeneral RUN_DEPENDS+= bash:${PORTSDIR}/shells/bash DOCFILES= Contents *.pdf *.eps *.ps *.dvi .include .if defined(WITH_RLWRAP) RUN_DEPENDS+= rlwrap:${PORTSDIR}/devel/rlwrap LINE_EDIT= "${PREFIX}/bin/rlwrap" .else .if defined(WITH_LEDIT) RUN_DEPENDS+= ledit:${PORTSDIR}/sysutils/ledit LINE_EDIT= "${PREFIX}/bin/ledit" .else LINE_EDIT= "" .endif .endif .if defined(WITH_HOL_ALGEBRA) HEAP_HOL_ALGEBRA="" EXTRA_HOL+=-m HOL-Algebra .else HEAP_HOL_ALGEBRA="@comment " .endif .if defined(WITH_HOL_NOMINAL) HEAP_HOL_NOMINAL="" EXTRA_HOL+=-m HOL-Nominal .else HEAP_HOL_NOMINAL="@comment " .endif .if defined(WITH_HOL_NSA) HEAP_HOL_NSA="" EXTRA_HOL+=-m HOL-NSA .else HEAP_HOL_NSA="@comment " .endif .if defined(WITH_HOL_WORD) HEAP_HOL_WORD="" EXTRA_HOL+=-m HOL-Word .else HEAP_HOL_WORD="@comment " .endif .if defined(WITH_HOL_TLA) HEAP_HOL_TLA="" EXTRA_HOL+=-m TLA .else HEAP_HOL_TLA="@comment " .endif .if defined(WITH_HOL_HOL4) HEAP_HOL_HOL4="" EXTRA_HOL+=-m HOL4 .else HEAP_HOL_HOL4="@comment " .endif .if defined(WITH_SMLNJ) ML_SYSTEM= smlnj-110 ML_HOME= ${LOCALBASE}/bin ML_OPTIONS= @SMLdebug=/dev/null .else ML_SYSTEM= polyml-5.2 ML_HOME= ${LOCALBASE}/bin ML_OPTIONS= -H 500 ML_DBASE= "" .endif ML_PLATFORM= x86-bsd PLIST_SUB+= HEAPSUBDIR=${ML_SYSTEM}_${ML_PLATFORM} \ HEAP_HOL_ALGEBRA=${HEAP_HOL_ALGEBRA} \ HEAP_HOL_NOMINAL=${HEAP_HOL_NOMINAL} \ HEAP_HOL_NSA=${HEAP_HOL_NSA} \ HEAP_HOL_WORD=${HEAP_HOL_WORD} \ HEAP_HOL_TLA=${HEAP_HOL_TLA} \ HEAP_HOL_HOL4=${HEAP_HOL_HOL4} .if defined(WITH_SMLNJ) BUILD_DEPENDS+= smlnj-devel>=110.71:${PORTSDIR}/lang/sml-nj-devel MAKE_ENV+= SMLNJ_DEVEL=yes .else BUILD_DEPENDS+= polyml>=5.2.1:${PORTSDIR}/lang/polyml RUN_DEPENDS+= polyml>=5.2.1:${PORTSDIR}/lang/polyml .endif NO_INSTALL_MANPAGES=yes post-extract: @${CP} ${FILESDIR}/Makefile ${WRKSRC} post-patch: @${MV} ${WRKSRC}/etc/settings ${WRKSRC}/etc/settings.presed @${SED} "s|%%ML_SYSTEM%%|${ML_SYSTEM}|; \ s|%%ML_HOME%%|${ML_HOME}|; \ s|%%ML_OPTIONS%%|\"${ML_OPTIONS}\"|; \ s|%%ML_DBASE%%|${ML_DBASE}|; \ s|%%ML_PLATFORM%%|${ML_PLATFORM}|; \ s|%%PREFIX%%|${PREFIX}|; \ s|%%LINE_EDIT%%|${LINE_EDIT}|; \ s|%%SYSTMPDIR%%|/tmp|; \ s|%%JAVASHAREDIR%%|${PREFIX}/share/java|; \ s|%%EMACS_SITE_LISPDIR%%|${EMACS_SITE_LISPDIR}|" \ ${WRKSRC}/etc/settings.presed > ${WRKSRC}/etc/settings @${RM} ${WRKSRC}/etc/settings.presed @${TOUCH} ${WRKSRC}/contrib/.keep @${REINPLACE_CMD} -e 's|%%SMLNJ_VERSION%%|SMLNJ_DEVEL=yes|' \ ${WRKSRC}/lib/scripts/run-smlnj post-build: .if defined(EXTRA_HOL) ${WRKSRC}/build -b ${EXTRA_HOL} HOL .endif post-install: ${WRKSRC}/bin/isabelle install \ -d ${PREFIX}/share/isabelle \ -p ${PREFIX}/bin .if !defined(NOPORTDOCS) ${MKDIR} ${DOCSDIR} .for file in ${DOCFILES} ${INSTALL_DATA} ${WRKSRC}/doc/${file} ${DOCSDIR} .endfor (cd ${WRKSRC}; \ ${FIND} -d browser_info -type d -exec ${MKDIR} ${DOCSDIR}/{} \; ; \ ${FIND} -d browser_info -type f -exec ${INSTALL_DATA} {} ${DOCSDIR}/{} \;) .endif .include Property changes on: head/math/isabelle/Makefile ___________________________________________________________________ Modified: cvs2svn:cvs-rev ## -1 +1 ## -1.12 \ No newline at end of property +1.13 \ No newline at end of property Index: head/math/proofgeneral/Makefile =================================================================== --- head/math/proofgeneral/Makefile (revision 250360) +++ head/math/proofgeneral/Makefile (revision 250361) @@ -1,86 +1,86 @@ # New ports collection makefile for: proofgeneral # Date created: 11 August 2005 # Whom: Timothy Bourke # # $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= timbob@bigpond.com +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 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 Property changes on: head/math/proofgeneral/Makefile ___________________________________________________________________ Modified: cvs2svn:cvs-rev ## -1 +1 ## -1.23 \ No newline at end of property +1.24 \ No newline at end of property