From owner-svn-ports-head@FreeBSD.ORG Sun Dec 1 12:46:49 2013 Return-Path: Delivered-To: svn-ports-head@freebsd.org Received: from mx1.freebsd.org (mx1.freebsd.org [8.8.178.115]) (using TLSv1 with cipher ADH-AES256-SHA (256/256 bits)) (No client certificate requested) by hub.freebsd.org (Postfix) with ESMTPS id 484769A7; Sun, 1 Dec 2013 12:46:49 +0000 (UTC) Received: from svn.freebsd.org (svn.freebsd.org [IPv6:2001:1900:2254:2068::e6a:0]) (using TLSv1.2 with cipher ECDHE-RSA-AES256-GCM-SHA384 (256/256 bits)) (No client certificate requested) by mx1.freebsd.org (Postfix) with ESMTPS id 34E2D12D4; Sun, 1 Dec 2013 12:46:49 +0000 (UTC) Received: from svn.freebsd.org ([127.0.1.70]) by svn.freebsd.org (8.14.7/8.14.7) with ESMTP id rB1Cknkc033496; Sun, 1 Dec 2013 12:46:49 GMT (envelope-from wg@svn.freebsd.org) Received: (from wg@localhost) by svn.freebsd.org (8.14.7/8.14.5/Submit) id rB1CknV3033495; Sun, 1 Dec 2013 12:46:49 GMT (envelope-from wg@svn.freebsd.org) Message-Id: <201312011246.rB1CknV3033495@svn.freebsd.org> From: William Grzybowski Date: Sun, 1 Dec 2013 12:46:49 +0000 (UTC) To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r335378 - head/lang/polyml X-SVN-Group: ports-head MIME-Version: 1.0 Content-Type: text/plain; charset=UTF-8 Content-Transfer-Encoding: 8bit X-BeenThere: svn-ports-head@freebsd.org X-Mailman-Version: 2.1.16 Precedence: list List-Id: SVN commit messages for the ports tree for head List-Unsubscribe: , List-Archive: List-Post: List-Help: List-Subscribe: , X-List-Received-Date: Sun, 01 Dec 2013 12:46:49 -0000 Author: wg Date: Sun Dec 1 12:46:48 2013 New Revision: 335378 URL: http://svnweb.freebsd.org/changeset/ports/335378 Log: lang/polyml: allow staging - Allow staging - Fix build on head PR: ports/184074 Submitted by: maintainer Modified: head/lang/polyml/Makefile Modified: head/lang/polyml/Makefile ============================================================================== --- head/lang/polyml/Makefile Sun Dec 1 12:32:13 2013 (r335377) +++ head/lang/polyml/Makefile Sun Dec 1 12:46:48 2013 (r335378) @@ -12,10 +12,10 @@ MAINTAINER= beyert@cs.ucr.edu COMMENT= Fast open-source implementation of Standard ML LICENSE= LGPL21 -LICENSE_FILE= ${WRKSRC}/COPYING GNU_CONFIGURE= yes CONFIGURE_ARGS= --without-x +USE_GCC= yes USE_LDCONFIG= yes ONLY_FOR_ARCHS= i386 amd64 @@ -26,10 +26,8 @@ PLIST_FILES= bin/poly \ lib/libpolyml.a \ lib/libpolyml.la \ lib/libpolyml.so \ - lib/libpolyml.so.4 + lib/libpolyml.so.4 \ + man/man1/poly.1.gz \ + man/man1/polyimport.1.gz -MAN1= poly.1 polyimport.1 -MANCOMPRESSED= no - -NO_STAGE= yes .include