diff options
author | Simon Barner <barner@FreeBSD.org> | 2005-07-29 07:19:56 +0000 |
---|---|---|
committer | Simon Barner <barner@FreeBSD.org> | 2005-07-29 07:19:56 +0000 |
commit | fbc1517ea717dc322deef60c6070ed186a37c29f (patch) | |
tree | 98fee6d0ad295caa4aab3758488d70c37a358ba6 /lang/polyml/Makefile | |
parent | Remove commented out USE_GNOME flag. (diff) |
Add polyml 4.1.3, a fast open-source implementation of Standard ML.
PR: 83433
Submitted by: Timothy Bourke <timbob@bigpond.com>
Notes
Notes:
svn path=/head/; revision=140373
Diffstat (limited to 'lang/polyml/Makefile')
-rw-r--r-- | lang/polyml/Makefile | 88 |
1 files changed, 88 insertions, 0 deletions
diff --git a/lang/polyml/Makefile b/lang/polyml/Makefile new file mode 100644 index 000000000000..45adbb8279f9 --- /dev/null +++ b/lang/polyml/Makefile @@ -0,0 +1,88 @@ +# New ports collection makefile for: polyml +# Date created: 09 July 2005 +# Whom: Timothy Bourke <timbob@bigpond.com> +# +# $FreeBSD$ +# + +PORTNAME= polyml +PORTVERSION= 4.1.3 +CATEGORIES= lang +DISTFILES= polyml-driver-4.1.3.tar.gz \ + polyml-mlsource-4.1.3.tar.gz \ + polyml-basis-4.1.3.tar.gz \ + polyml-4.1.3.i386.tar.gz +DIST_SUBDIR= ${PORTNAME} + +MAINTAINER= timbob@bigpond.com +COMMENT= Fast open-source implementation of Standard ML + +WRKSRC= ${WRKDIR}/driver +ONLY_FOR_ARCHS= i386 +HAS_CONFIGURE= yes +CONFIGURE_ARGS= ${PREFIX} + +SUB_FILES= poly pkg-message +PLIST_FILES= bin/poly \ + lib/polyml/poly \ + lib/polyml/LICENCE \ + lib/polyml/ML_dbase \ + lib/polyml/DB413Release +PLIST_DIRS= lib/polyml + +RESTRICTED= Downloading implies agreement to the licence. + +NO_INSTALL_MANPAGES=yes + +.include <bsd.port.pre.mk> +TO_BE_FETCHED= + +.for f in ${DISTFILES} +.if ! exists (${DISTDIR}/${DIST_SUBDIR}/${f}) +TO_BE_FETCHED+= ${f} +.endif +.endfor + +do-fetch: +.if ${TO_BE_FETCHED} != "" +ECHO_MSG=/usr/bin/printf +IGNORE= :\n\n\ +------------------------------------------------------------------\n\ +Downloading this software implies acceptance of the licence\n\ +agreement, which may be found at: http://www.polyml.org/Get.html\n\ +\n\ +Please download the following files into ${DISTDIR}/${DIST_SUBDIR}\n\ +\n +.for f in ${TO_BE_FETCHED} +IGNORE+= ${f}\n +.endfor +IGNORE+=------------------------------------------------------------------\n\n +.endif + +post-build: + (cd ${WRKDIR}/mlsource/MLCompiler/CodeTree; ${LN} -fs CodeCons.i386 CodeCons) + (cd ${WRKDIR}; ./driver/poly ML_dbase < mlsource/BuildAll.sml) + +post-install: + @${INSTALL_DATA} ${WRKDIR}/DB413Release ${PREFIX}/lib/polyml/ + @${INSTALL_SCRIPT} ${WRKDIR}/poly ${PREFIX}/bin/poly + (cd ${PREFIX}/lib/polyml; ${LN} -fs ./DB413Release ML_dbase) + @${CAT} ${PKGMESSAGE} + ${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 + +.include <bsd.port.post.mk> |