From owner-freebsd-ports-bugs@FreeBSD.ORG Mon Mar 5 23:20:04 2007 Return-Path: X-Original-To: freebsd-ports-bugs@hub.freebsd.org Delivered-To: freebsd-ports-bugs@hub.freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [69.147.83.52]) by hub.freebsd.org (Postfix) with ESMTP id BD78516A403 for ; Mon, 5 Mar 2007 23:20:04 +0000 (UTC) (envelope-from gnats@FreeBSD.org) Received: from freefall.freebsd.org (freefall.freebsd.org [69.147.83.40]) by mx1.freebsd.org (Postfix) with ESMTP id 9783C13C4A8 for ; Mon, 5 Mar 2007 23:20:04 +0000 (UTC) (envelope-from gnats@FreeBSD.org) Received: from freefall.freebsd.org (gnats@localhost [127.0.0.1]) by freefall.freebsd.org (8.13.4/8.13.4) with ESMTP id l25NK4cA088021 for ; Mon, 5 Mar 2007 23:20:04 GMT (envelope-from gnats@freefall.freebsd.org) Received: (from gnats@localhost) by freefall.freebsd.org (8.13.4/8.13.4/Submit) id l25NK4Pe088020; Mon, 5 Mar 2007 23:20:04 GMT (envelope-from gnats) Resent-Date: Mon, 5 Mar 2007 23:20:04 GMT Resent-Message-Id: <200703052320.l25NK4Pe088020@freefall.freebsd.org> Resent-From: FreeBSD-gnats-submit@FreeBSD.org (GNATS Filer) Resent-To: freebsd-ports-bugs@FreeBSD.org Resent-Reply-To: FreeBSD-gnats-submit@FreeBSD.org, Timothy Bourke Received: from mx1.freebsd.org (mx1.freebsd.org [69.147.83.52]) by hub.freebsd.org (Postfix) with ESMTP id F1B1116A400 for ; Mon, 5 Mar 2007 23:15:34 +0000 (UTC) (envelope-from tbourke@triptrop.cse.unsw.edu.au) Received: from mail16.syd.optusnet.com.au (mail16.syd.optusnet.com.au [211.29.132.197]) by mx1.freebsd.org (Postfix) with ESMTP id 798D013C428 for ; Mon, 5 Mar 2007 23:15:34 +0000 (UTC) (envelope-from tbourke@triptrop.cse.unsw.edu.au) Received: from triptrop.cse.unsw.edu.au (blaax9-a199.dialup.optusnet.com.au [203.164.126.199]) by mail16.syd.optusnet.com.au (8.13.1/8.13.1) with ESMTP id l25NFQoQ031146 (version=TLSv1/SSLv3 cipher=DHE-RSA-AES256-SHA bits=256 verify=NO) for ; Tue, 6 Mar 2007 10:15:29 +1100 Received: from triptrop.cse.unsw.edu.au (localhost [127.0.0.1]) by triptrop.cse.unsw.edu.au (8.13.8/8.13.6) with ESMTP id l25NDvoN038237 for ; Tue, 6 Mar 2007 10:13:57 +1100 (EST) (envelope-from tbourke@triptrop.cse.unsw.edu.au) Received: (from tbourke@localhost) by triptrop.cse.unsw.edu.au (8.13.8/8.13.6/Submit) id l25NDuKX038236; Tue, 6 Mar 2007 10:13:56 +1100 (EST) (envelope-from tbourke) Message-Id: <200703052313.l25NDuKX038236@triptrop.cse.unsw.edu.au> Date: Tue, 6 Mar 2007 10:13:56 +1100 (EST) From: Timothy Bourke To: FreeBSD-gnats-submit@FreeBSD.org X-Send-Pr-Version: 3.113 Cc: Subject: ports/109951: Update port: lang/polyml 4.2.0->5.0 X-BeenThere: freebsd-ports-bugs@freebsd.org X-Mailman-Version: 2.1.5 Precedence: list Reply-To: Timothy Bourke List-Id: Ports bug reports List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Mon, 05 Mar 2007 23:20:04 -0000 >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 # -# $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@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 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 <Release-Note: >Audit-Trail: >Unformatted: