ports/109951: Update port: lang/polyml 4.2.0->5.0
Timothy Bourke
timbob at bigpond.com
Mon Mar 5 23:20:04 UTC 2007
>Number: 109951
>Category: ports
>Synopsis: Update port: lang/polyml 4.2.0->5.0
>Confidential: no
>Severity: non-critical
>Priority: low
>Responsible: freebsd-ports-bugs
>State: open
>Quarter:
>Keywords:
>Date-Required:
>Class: maintainer-update
>Submitter-Id: current-users
>Arrival-Date: Mon Mar 05 23:20:03 GMT 2007
>Closed-Date:
>Last-Modified:
>Originator: Timothy Bourke
>Release: FreeBSD 6.1-RELEASE-p6 i386 (uname -s -r -m)
>Organization:
n/a
>Environment:
>Description:
The latest version of Poly/ML is under the GPL and contains
major architectural updates that mean custom kernel settings
are no longer required. A corresponding update for
math/isabelle is forthcoming...
>How-To-Repeat:
>Fix:
--- polyml.diff begins here ---
Index: Makefile
===================================================================
RCS file: /home/ncvs/ports/lang/polyml/Makefile,v
retrieving revision 1.2
diff -u -r1.2 Makefile
--- Makefile 29 Mar 2006 14:05:30 -0000 1.2
+++ Makefile 5 Mar 2007 23:10:27 -0000
@@ -2,74 +2,35 @@
# Date created: 09 July 2005
# Whom: Timothy Bourke <timbob at bigpond.com>
#
-# $FreeBSD: ports/lang/polyml/Makefile,v 1.2 2006/03/29 14:05:30 mnag Exp $
+# $FreeBSD$
#
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 at 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}
+CONFIGURE_ARGS= --prefix=${PREFIX} --without-x
+INSTALLS_SHLIB= 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
-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
+MAN1= poly.1 polyimport.1
+MANCOMPRESSED= no
.include <bsd.port.mk>
Index: distinfo
===================================================================
RCS file: /home/ncvs/ports/lang/polyml/distinfo,v
retrieving revision 1.3
diff -u -r1.3 distinfo
--- distinfo 29 Mar 2006 14:05:30 -0000 1.3
+++ distinfo 5 Mar 2007 23:10:27 -0000
@@ -1,12 +1,3 @@
-MD5 (polyml/driver.420.tar.gz) = 3855385041e1a7d860ba72734c153ce4
-SHA256 (polyml/driver.420.tar.gz) = e9113992bd911a70de0d830e2f5bb2e6b314e00f24702a270f7116cc1515e84f
-SIZE (polyml/driver.420.tar.gz) = 496596
-MD5 (polyml/mlsource.420.tar.gz) = 873b02beab2e083232d6a8bbddab5225
-SHA256 (polyml/mlsource.420.tar.gz) = ebe29bd4290c95882b012b193dc25bda0d5a575d67d6a8ab8239314ee3de250a
-SIZE (polyml/mlsource.420.tar.gz) = 923393
-MD5 (polyml/basis.420.tar.gz) = fa307ceda8a6556d8407c4b5edc6e303
-SHA256 (polyml/basis.420.tar.gz) = bb381d5b99987b08064a707001766ea64113de4b1a75a12ad443ca8c9d0675cc
-SIZE (polyml/basis.420.tar.gz) = 148810
-MD5 (polyml/DB420.i386.unix.gz) = 7591ad2e94002c3827918c4846c0a4c4
-SHA256 (polyml/DB420.i386.unix.gz) = 6f3c40c2ac8f479a4e7307e20907e53af29b3a75e05fdd34184ee2b9b29309bf
-SIZE (polyml/DB420.i386.unix.gz) = 1848015
+MD5 (polyml/polyml.5.0.tar.gz) = 61537cf2b0ca983d42845778fe3bd42f
+SHA256 (polyml/polyml.5.0.tar.gz) = 0eb3ee7f05eabedf6cd62e0ac2476882ecf92ad08f52b85e13dd6399d17a52da
+SIZE (polyml/polyml.5.0.tar.gz) = 4183140
Index: pkg-install
===================================================================
RCS file: pkg-install
diff -N pkg-install
--- pkg-install 29 Jul 2005 07:19:55 -0000 1.1
+++ /dev/null 1 Jan 1970 00:00:00 -0000
@@ -1,36 +0,0 @@
-#!/bin/sh
-
-if [ "$2" = "POST-INSTALL" ]; then
- if test `ulimit -Hd` -lt 917504; then
- cat <<END
-!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
-! Poly/ML memory regions (heaps, database and IO Area) are stored at !
-! fixed addresses in the processes virtual memory space, for reasons !
-! of speed. !
-! !
-! The address space available to FreeBSD processes for heap and !
-! data storage is limited by an administrative setting: !
-! sh: ulimit -Hd !
-! csh: limit -h datasize !
-! !
-! The maximum administrative setting is limited in turn by a kernel !
-! parameter: maxdsiz. If the maximum datasize is too low, the !
-! dynamic linker will load libraries into the memory regions used !
-! by Poly/ML -- this may cause problems, including non-termination !
-! when committing large databases. !
-! !
-! One fix is to add the following line to /boot/loader.conf before !
-! restarting: !
-! kern.maxdsiz="896M" !
-!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
-
-!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
-! In order to be able to commit changes to Poly/ML's database, each !
-! user needs to have her/his own writable copy. !
-! !
-! Please login with the user you plan to use Poly/ML with and run !
-! "make install-user" from ports/lang/polyml. !
-!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!!
-END
- fi
-fi
--- polyml.diff ends here ---
>Release-Note:
>Audit-Trail:
>Unformatted:
More information about the freebsd-ports-bugs
mailing list