diff options
Diffstat (limited to 'lang/polyml/Makefile')
| -rw-r--r-- | lang/polyml/Makefile | 71 |
1 files changed, 16 insertions, 55 deletions
diff --git a/lang/polyml/Makefile b/lang/polyml/Makefile index b9faa033597a..4dcdd11476ec 100644 --- a/lang/polyml/Makefile +++ b/lang/polyml/Makefile @@ -6,70 +6,31 @@ # PORTNAME= polyml -PORTVERSION= 4.2.0 +PORTVERSION= 5.0 CATEGORIES= lang MASTER_SITES= ${MASTER_SITE_SOURCEFORGE} MASTER_SITE_SUBDIR= ${PORTNAME} -DISTFILES= driver.420.tar.gz \ - mlsource.420.tar.gz \ - basis.420.tar.gz \ - DB420.i386.unix.gz +DISTNAME= ${PORTNAME}.${PORTVERSION} DIST_SUBDIR= ${PORTNAME} -EXTRACT_ONLY= driver.420.tar.gz \ - mlsource.420.tar.gz \ - basis.420.tar.gz MAINTAINER= timbob@bigpond.com COMMENT= Fast open-source implementation of Standard ML -WRKSRC= ${WRKDIR}/driver - -ONLY_FOR_ARCHS= i386 - USE_GCC= 3.2+ HAS_CONFIGURE= yes -CONFIGURE_ARGS= ${PREFIX} - -SUB_FILES= poly -PLIST_FILES= bin/poly \ - lib/polyml/poly \ - lib/polyml/COPYING \ - lib/polyml/ML_dbase \ - lib/polyml/DB420.i386.unix -PLIST_DIRS= lib/polyml - -NO_INSTALL_MANPAGES=yes - -post-extract: - @${EXTRACT_CMD} ${EXTRACT_BEFORE_ARGS} ${_DISTDIR}/DB420.i386.unix.gz \ - > ${WRKDIR}/DB420.i386.unix - -post-patch: - @${REINPLACE_CMD} -e "s|gcc|${CC}|g" ${WRKSRC}/configure - -post-build: - (cd ${WRKDIR}/mlsource/MLCompiler/CodeTree; ${LN} -fs CodeCons.i386 CodeCons) - (cd ${WRKDIR}; ./driver/poly DB420.i386.unix < mlsource/BuildAll.sml) - -post-install: - ${INSTALL_DATA} ${WRKDIR}/DB420.i386.unix ${PREFIX}/lib/polyml/ - ${INSTALL_SCRIPT} ${WRKDIR}/poly ${PREFIX}/bin/poly - @(cd ${PREFIX}/lib/polyml; ${LN} -fs ./DB420.i386.unix ML_dbase) - ${SETENV} PKG_PREFIX=${PREFIX} ${SH} ${PKGINSTALL} ${PKGNAME} POST-INSTALL - -install-user: -.if !exists (${LOCALBASE}/lib/polyml/ML_dbase) - @${ECHO_CMD} - @${ECHO_CMD} "You need to install the Poly/ML port first!" - @${ECHO_CMD} -.elif exists (${HOME}/.polyml/ML_dbase) - @${ECHO_CMD} - @${ECHO_CMD} "User copy of database already exists. Aborting!" - @${ECHO_CMD} -.else - @${MKDIR} ${HOME}/.polyml - @${CP} ${LOCALBASE}/lib/polyml/ML_dbase ${HOME}/.polyml - @${CHMOD} 0600 ${HOME}/.polyml/ML_dbase -.endif +CONFIGURE_ARGS= --prefix=${PREFIX} --without-x +USE_LDCONFIG= yes + +PLIST_FILES= bin/poly \ + bin/polyimport \ + lib/libpolymain.a \ + lib/libpolymain.la \ + lib/libpolyml.a \ + lib/libpolyml.la \ + lib/libpolyml.so \ + lib/libpolyml.so.0 + +MAN1= poly.1 polyimport.1 +MANCOMPRESSED= no .include <bsd.port.mk> |