Date: Thu, 24 Jan 2013 12:54:14 +0800 (CST) From: Jyun-Yan You <jyyou@cs.nctu.edu.tw> To: FreeBSD-gnats-submit@freebsd.org Subject: ports/175539: [MAINTAINER] lang/ats: update to 0.2.9 Message-ID: <201301240454.r0O4sEYR057010@alumni.cs.nctu.edu.tw> Resent-Message-ID: <201301240510.r0O5A1T9022497@freefall.freebsd.org>
next in thread | raw e-mail | index | archive | help
>Number: 175539
>Category: ports
>Synopsis: [MAINTAINER] lang/ats: update to 0.2.9
>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: Thu Jan 24 05:10:00 UTC 2013
>Closed-Date:
>Last-Modified:
>Originator: Jyun-Yan You
>Release: FreeBSD 9.1-RELEASE amd64
>Organization:
>Environment:
System: FreeBSD plaslab.cs.nctu.edu.tw 9.1-RELEASE FreeBSD 9.1-RELEASE #0 r243825: Tue Dec 4 09:23:10
>Description:
- Update to 0.2.9
Generated with FreeBSD Port Tools 0.99_6 (mode: change, diff: ports)
>How-To-Repeat:
>Fix:
--- ats-0.2.9.patch begins here ---
diff -ruN --exclude=CVS /usr/ports/lang/ats/Makefile ./Makefile
--- /usr/ports/lang/ats/Makefile 2012-12-11 03:24:02.000000000 +0800
+++ ./Makefile 2013-01-24 12:31:32.809774811 +0800
@@ -1,13 +1,8 @@
-# New ports collection makefile for: ats
-# Date created: September 29 2011
-# Whom: Jyun-Yan You <jyyou@cs.nctu.edu.tw>
-#
+# Created by: Jyun-Yan You <jyyou@cs.nctu.edu.tw>
# $FreeBSD: ports/lang/ats/Makefile,v 1.10 2012/12/10 19:24:02 svnexp Exp $
-#
PORTNAME= ats
PORTVERSION= ${ATS_VER}
-PORTREVISION= 1
CATEGORIES= lang
MASTER_SITES= SF
MASTER_SITE_SUBDIR= ${PORTNAME}-lang/${PORTNAME}-lang/${ATS_IMPL}-${PORTVERSION}
@@ -48,7 +43,8 @@
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 @@
.endif
post-install:
-.if !defined(NOPORTDOCS)
+.if ${PORT_OPTIONS:MDOCS}
${MKDIR} ${DOCSDIR}
cd ${WRKSRC}/doc && \
${COPYTREE_SHARE} "${PORTDOCS}" ${DOCSDIR}
diff -ruN --exclude=CVS /usr/ports/lang/ats/bsd.ats.mk ./bsd.ats.mk
--- /usr/ports/lang/ats/bsd.ats.mk 2012-09-07 13:09:41.000000000 +0800
+++ ./bsd.ats.mk 2013-01-24 11:04:40.974168178 +0800
@@ -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}
diff -ruN --exclude=CVS /usr/ports/lang/ats/distinfo ./distinfo
--- /usr/ports/lang/ats/distinfo 2012-09-07 13:09:41.000000000 +0800
+++ ./distinfo 2013-01-24 11:05:04.483068332 +0800
@@ -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
diff -ruN --exclude=CVS /usr/ports/lang/ats/files/patch-Makefile ./files/patch-Makefile
--- /usr/ports/lang/ats/files/patch-Makefile 2012-09-07 13:09:41.000000000 +0800
+++ ./files/patch-Makefile 2013-01-24 10:55:51.140037049 +0800
@@ -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
diff -ruN --exclude=CVS /usr/ports/lang/ats/pkg-plist ./pkg-plist
--- /usr/ports/lang/ats/pkg-plist 2012-09-07 13:09:41.000000000 +0800
+++ ./pkg-plist 2013-01-24 11:14:18.030038723 +0800
@@ -89,6 +89,7 @@
%%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 @@
%%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 @@
%%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 @@
%%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
--- ats-0.2.9.patch ends here ---
>Release-Note:
>Audit-Trail:
>Unformatted:
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201301240454.r0O4sEYR057010>