From owner-svn-ports-head@FreeBSD.ORG Thu Jan 24 10:06:11 2013 Return-Path: Delivered-To: svn-ports-head@freebsd.org Received: from mx1.freebsd.org (mx1.FreeBSD.org [8.8.178.115]) by hub.freebsd.org (Postfix) with ESMTP id 4937896F; Thu, 24 Jan 2013 10:06:11 +0000 (UTC) (envelope-from ak@FreeBSD.org) Received: from svn.freebsd.org (svn.freebsd.org [IPv6:2001:1900:2254:2068::e6a:0]) by mx1.freebsd.org (Postfix) with ESMTP id 3059292D; Thu, 24 Jan 2013 10:06:11 +0000 (UTC) Received: from svn.freebsd.org ([127.0.1.70]) by svn.freebsd.org (8.14.5/8.14.5) with ESMTP id r0OA6BaF086732; Thu, 24 Jan 2013 10:06:11 GMT (envelope-from ak@svn.freebsd.org) Received: (from ak@localhost) by svn.freebsd.org (8.14.5/8.14.5/Submit) id r0OA6AlB086726; Thu, 24 Jan 2013 10:06:10 GMT (envelope-from ak@svn.freebsd.org) Message-Id: <201301241006.r0OA6AlB086726@svn.freebsd.org> From: Alex Kozlov Date: Thu, 24 Jan 2013 10:06:10 +0000 (UTC) To: ports-committers@freebsd.org, svn-ports-all@freebsd.org, svn-ports-head@freebsd.org Subject: svn commit: r310921 - in head/lang/ats: . files 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.14 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: Thu, 24 Jan 2013 10:06:11 -0000 Author: ak Date: Thu Jan 24 10:06:09 2013 New Revision: 310921 URL: http://svnweb.freebsd.org/changeset/ports/310921 Log: - Update to 0.2.9 - Convert Makefile headers to new style - Remove indefinite article from COMMENT PR: ports/175539 Submitted by: Jyun-Yan You (maintainer) Modified: head/lang/ats/Makefile (contents, props changed) head/lang/ats/bsd.ats.mk (contents, props changed) head/lang/ats/distinfo (contents, props changed) head/lang/ats/files/patch-Makefile (contents, props changed) head/lang/ats/pkg-plist (contents, props changed) Modified: head/lang/ats/Makefile ============================================================================== --- head/lang/ats/Makefile Thu Jan 24 09:18:05 2013 (r310920) +++ head/lang/ats/Makefile Thu Jan 24 10:06:09 2013 (r310921) @@ -1,13 +1,8 @@ -# New ports collection makefile for: ats -# Date created: September 29 2011 -# Whom: Jyun-Yan You -# +# Created by: Jyun-Yan You # $FreeBSD$ -# PORTNAME= ats PORTVERSION= ${ATS_VER} -PORTREVISION= 1 CATEGORIES= lang MASTER_SITES= SF MASTER_SITE_SUBDIR= ${PORTNAME}-lang/${PORTNAME}-lang/${ATS_IMPL}-${PORTVERSION} @@ -15,7 +10,7 @@ DISTNAME= ${PORTNAME}-lang-${ATS_IMPL}-$ EXTRACT_SUFX= .tgz MAINTAINER= jyyou@cs.nctu.edu.tw -COMMENT= A language with a type system rooted in the Applied Type System +COMMENT= Language with a type system rooted in the Applied Type System ONLY_FOR_ARCHS= i386 amd64 USE_GMAKE= yes @@ -48,7 +43,8 @@ LIB_DEPENDS+= pcre:${PORTSDIR}/devel/pcr post-patch: ${SED} -i '' -e 's/gcc/${CC}/' \ ${WRKSRC}/ccomp/runtime/GCATS/Makefile \ - ${WRKSRC}/utils/scripts/Makefile + ${WRKSRC}/utils/scripts/Makefile \ + ${WRKSRC}/libatsdoc/Makefile ${SED} -i '' -e 's/ATSCCOMP_def "gcc"/ATSCCOMP_def "${CC}"/' \ ${WRKSRC}/utils/scripts/basics.dats ${SED} -i '' -e 's/argv_p = "gcc"/argv_p = "${CC}"/' \ @@ -64,7 +60,7 @@ post-configure: .endif post-install: -.if !defined(NOPORTDOCS) +.if ${PORT_OPTIONS:MDOCS} ${MKDIR} ${DOCSDIR} cd ${WRKSRC}/doc && \ ${COPYTREE_SHARE} "${PORTDOCS}" ${DOCSDIR} Modified: head/lang/ats/bsd.ats.mk ============================================================================== --- head/lang/ats/bsd.ats.mk Thu Jan 24 09:18:05 2013 (r310920) +++ head/lang/ats/bsd.ats.mk Thu Jan 24 10:06:09 2013 (r310921) @@ -1,5 +1,5 @@ ATS_IMPL= anairiats -ATS_VER= 0.2.8 +ATS_VER= 0.2.9 ATS_LIBDIR_REL= lib/ats-${ATS_IMPL}-${ATS_VER} ATS_LIBDIR= ${LOCALBASE}/${ATS_LIBDIR_REL} Modified: head/lang/ats/distinfo ============================================================================== --- head/lang/ats/distinfo Thu Jan 24 09:18:05 2013 (r310920) +++ head/lang/ats/distinfo Thu Jan 24 10:06:09 2013 (r310921) @@ -1,2 +1,2 @@ -SHA256 (ats-lang-anairiats-0.2.8.tgz) = caa9a17ea3ddd7938bc50f25b323379453fba9f27fd1a66d202404bbac734d32 -SIZE (ats-lang-anairiats-0.2.8.tgz) = 2318886 +SHA256 (ats-lang-anairiats-0.2.9.tgz) = 44bbf49f7bea0e411c5a24ae0ea3ecf1d771886b6bd19ea6798badb01f1512fd +SIZE (ats-lang-anairiats-0.2.9.tgz) = 2466767 Modified: head/lang/ats/files/patch-Makefile ============================================================================== --- head/lang/ats/files/patch-Makefile Thu Jan 24 09:18:05 2013 (r310920) +++ head/lang/ats/files/patch-Makefile Thu Jan 24 10:06:09 2013 (r310921) @@ -1,5 +1,5 @@ ---- Makefile.orig 2012-09-04 11:37:57.000000000 +0800 -+++ Makefile 2012-09-06 19:21:24.886921581 +0800 +--- Makefile.orig 2013-01-24 10:49:41.547037509 +0800 ++++ Makefile 2013-01-24 10:55:14.781718163 +0800 @@ -59,12 +59,6 @@ autoheader $< touch $@ @@ -40,27 +40,19 @@ ###### -@@ -151,12 +147,11 @@ - libfiles_mt \ - bin/atspack \ - bin/atslex \ -- libatsdoca \ -- bin/atsdoc \ - ccomp/runtime/GCATS/gc.o \ +@@ -155,8 +151,7 @@ ccomp/runtime/GCATS/gc_mt.o \ atsopt1_gc \ + bin/atslex \ +- bin/atsdoc \ - contrib -+ libatsdoca \ + bin/atsdoc @echo "ATS/Anairiats has been built up successfully!" @echo "The value of ATSHOME for this build is \"$(ATSHOME)\"." @echo "The value of ATSHOMERELOC for this build is \"$(ATSHOMERELOC)\"." -@@ -215,25 +210,25 @@ - - ATSLIB=$(ATSHOMEQ)/bin/atslib +@@ -217,23 +212,23 @@ --.libfiles_local: .libfiles ; $(CC) -E -P -x c -o $@ $< -+.libfiles_local: .libfiles ; $(CC) -E -P -x c -o $@ $< ; sed -i '' -e '/linordset_randbst/d' $@ + .libfiles_local: .libfiles ; $(CC) -E -P -x c -o $@ $< libfiles: .libfiles_local - $(ATSLIB) $(ATS_PROOFCHECK) -O2 --libats - $(ATSLIB) $(ATS_PROOFCHECK) -O2 --libats_lex Modified: head/lang/ats/pkg-plist ============================================================================== --- head/lang/ats/pkg-plist Thu Jan 24 09:18:05 2013 (r310920) +++ head/lang/ats/pkg-plist Thu Jan 24 10:06:09 2013 (r310921) @@ -89,6 +89,7 @@ bin/atspack %%ATS_LIBDIR%%/libats/DATS/linheap_binomial.dats %%ATS_LIBDIR%%/libats/DATS/linmap_avltree.dats %%ATS_LIBDIR%%/libats/DATS/linmap_rbtree.dats +%%ATS_LIBDIR%%/libats/DATS/linmap_skiplist.dats %%ATS_LIBDIR%%/libats/DATS/linordset_randbst.dats %%ATS_LIBDIR%%/libats/DATS/linqueue_arr.dats %%ATS_LIBDIR%%/libats/DATS/linqueue_lst.dats @@ -132,6 +133,7 @@ bin/atspack %%ATS_LIBDIR%%/libats/SATS/linheap_binomial.sats %%ATS_LIBDIR%%/libats/SATS/linmap_avltree.sats %%ATS_LIBDIR%%/libats/SATS/linmap_rbtree.sats +%%ATS_LIBDIR%%/libats/SATS/linmap_skiplist.sats %%ATS_LIBDIR%%/libats/SATS/linordset_randbst.sats %%ATS_LIBDIR%%/libats/SATS/linqueue_arr.sats %%ATS_LIBDIR%%/libats/SATS/linqueue_lst.sats @@ -144,7 +146,9 @@ bin/atspack %%ATS_LIBDIR%%/libats/SATS/parworkshop.sats %%ATS_LIBDIR%%/libats/SATS/rarray.sats %%ATS_LIBDIR%%/libats/SATS/refcount.sats +%%ATS_LIBDIR%%/libats/SATS/refcountr.sats %%ATS_LIBDIR%%/libats/SATS/regexp.sats +%%ATS_LIBDIR%%/libats/SATS/sobjptr.sats %%ATS_LIBDIR%%/libats/SATS/vector.sats %%ATS_LIBDIR%%/libats/lex/lexing.dats %%ATS_LIBDIR%%/libats/lex/lexing.sats @@ -382,6 +386,7 @@ bin/atspack %%ATS_LIBDIR%%/prelude/DATS/string.dats %%ATS_LIBDIR%%/prelude/DATS/syndef.dats %%ATS_LIBDIR%%/prelude/DATS/unsafe.dats +%%ATS_LIBDIR%%/prelude/DATS/vsubrw.dats %%ATS_LIBDIR%%/prelude/HATS/lmacrodef.hats %%ATS_LIBDIR%%/prelude/HATS/number.hats %%ATS_LIBDIR%%/prelude/HATS/syndef.hats