Attachment 119110 Details for Bug 161575 – ats-0.2.5.shar

ats-0.2.5.shar

ats-0.2.5.shar (text/plain), 25.39 KB, created by Jyun-Yan You on 2011-10-14 08:40:04 UTC

(hide)

Description:

Filename:

MIME Type:

Creator: Jyun-Yan You

Created: 2011-10-14 08:40:04 UTC

Size: 25.39 KB

patch

obsolete

># This is a shell archive.  Save it in a file, remove anything before
># this line, and then unpack it by entering "sh file".  Note, it may
># create directories; files and directories will be owned by you and
># have default permissions.
>#
># This archive contains:
>#
>#	ats
>#	ats/Makefile
>#	ats/pkg-plist
>#	ats/distinfo
>#	ats/files
>#	ats/files/patch-Makefile
>#	ats/files/patch-Makefile__bootstrap
>#	ats/files/bsd.ats.mk
>#	ats/pkg-descr
>#
>echo c - ats
>mkdir -p ats > /dev/null 2>&1
>echo x - ats/Makefile
>sed 's/^X//' >ats/Makefile << '9b0df0dad159d930c73d31e2bb1a37ee'
>X# New ports collection makefile for: ats
>X# Date created: September 29 2011
>X# Whom: Jyun-Yan You <jyyou@cs.nctu.edu.tw>
>X#
>X# $FreeBSD$
>X#
>X
>XPORTNAME=	ats
>XPORTVERSION=	${ATS_VER}
>XCATEGORIES?=	lang
>XMASTER_SITES=	${MASTER_SITE_SOURCEFORGE}
>XMASTER_SITE_SUBDIR=	${PORTNAME}-lang/${PORTNAME}-lang/${ATS_IMPL}-${PORTVERSION}
>XDISTNAME=	${PORTNAME}-lang-${ATS_IMPL}-${PORTVERSION}
>X
>XMAINTAINER=	jyyou@cs.nctu.edu.tw
>XCOMMENT=	A language with a type system rooted in the Applied Type System
>X
>XOPTIONS=	GMP	"Build with GMP support" on \
>X		PCRE	"Build with PCRE support" on
>X
>XONLY_FOR_ARCHS=	i386 amd64
>XUSE_GMAKE=	yes
>XGNU_CONFIGURE=	yes
>XCFLAGS+=	-I${LOCALBASE}/include \
>X		-L${LOCALBASE}/lib
>X
>XPORTDOCS=	FAQ.txt BOOK TUTORIAL
>XPORTEXAMPLES=	AUP INTRO KernighanRitchie MISC MULTICORE TEST
>X
>X.include <bsd.port.pre.mk>
>X
>X.if ${ARCH} == amd64
>XPLIST_SUB+=	LIBDIR="lib64"
>X.else
>XPLIST_SUB+=	LIBDIR="lib"
>X.endif
>X
>X.if !defined(WITHOUT_GMP)
>XLIB_DEPENDS+=	gmp.10:${PORTSDIR}/math/gmp
>X.endif
>X
>X.if !defined(WITHOUT_PCRE)
>XLIB_DEPENDS+=	pcre.0:${PORTSDIR}/devel/pcre
>X.endif
>X
>Xpost-configure:
>X.if defined(WITHOUT_GMP)
>X	${SED} -i '' -e '/HAVE_GMP_H/d' ${WRKSRC}/config.h
>X.endif
>X.if defined(WITHOUT_PCRE)
>X	${SED} -i '' -e '/HAVE_PCRE_H/d' ${WRKSRC}/config.h
>X.endif
>X
>Xpost-install:
>X.if !defined(NOPORTDOCS)
>X	${MKDIR} ${DOCSDIR}
>X.for x in ${PORTDOCS}
>X	cd ${WRKSRC}/doc; \
>X	${FIND} ${x} -type d -exec ${INSTALL} -d ${DOCSDIR}/{} \;
>X.endfor
>X.for x in ${PORTDOCS}
>X	cd ${WRKSRC}/doc; \
>X	${FIND} ${x} -type f -exec ${INSTALL_DATA} {} ${DOCSDIR}/{} \;
>X.endfor
>X.endif
>X.if !defined(NOPORTEXAMPLES)
>X	${MKDIR} ${EXAMPLESDIR}
>X.for x in ${PORTEXAMPLES}
>X	cd ${WRKSRC}/doc/EXAMPLE; \
>X	${FIND} ${x} -type d -exec ${INSTALL} -d ${EXAMPLESDIR}/{} \;
>X.endfor
>X.for x in ${PORTEXAMPLES}
>X	cd ${WRKSRC}/doc/EXAMPLE; \
>X	${FIND} ${x} -type f -exec ${INSTALL_DATA} {} ${EXAMPLESDIR}/{} \;
>X.endfor
>X	${FIND} ${EXAMPLESDIR} -name Makefile \
>X	    -exec ${SED} -i '' -e 's|^ATSUSRQ=.*|ATSUSRQ="${PREFIX}"|' {} \;
>X.endif
>X
>X.include "files/bsd.ats.mk"
>X.include <bsd.port.post.mk>
>9b0df0dad159d930c73d31e2bb1a37ee
>echo x - ats/pkg-plist
>sed 's/^X//' >ats/pkg-plist << '41548163e41c2846b855073ec5630f1f'
>Xbin/atscc
>Xbin/atslex
>Xbin/atslib
>Xbin/atsopt
>Xbin/atspack
>X%%ATS_LIBDIR%%/INSTALL
>X%%ATS_LIBDIR%%/VERSION.txt
>X%%ATS_LIBDIR%%/bin/atscc
>X%%ATS_LIBDIR%%/bin/atslex
>X%%ATS_LIBDIR%%/bin/atslib
>X%%ATS_LIBDIR%%/bin/atsopt
>X%%ATS_LIBDIR%%/bin/atspack
>X%%ATS_LIBDIR%%/ccomp/%%LIBDIR%%/libats.a
>X%%ATS_LIBDIR%%/ccomp/%%LIBDIR%%/libats_lex.a
>X%%ATS_LIBDIR%%/ccomp/%%LIBDIR%%/libats_mt.a
>X%%ATS_LIBDIR%%/ccomp/%%LIBDIR%%/libats_smlbas.a
>X%%ATS_LIBDIR%%/ccomp/runtime/GCATS/Makefile
>X%%ATS_LIBDIR%%/ccomp/runtime/GCATS/README
>X%%ATS_LIBDIR%%/ccomp/runtime/GCATS/X.sats
>X%%ATS_LIBDIR%%/ccomp/runtime/GCATS/gc.o
>X%%ATS_LIBDIR%%/ccomp/runtime/GCATS/gc_mt.o
>X%%ATS_LIBDIR%%/ccomp/runtime/GCATS/gcats1.cats
>X%%ATS_LIBDIR%%/ccomp/runtime/GCATS/gcats1.sats
>X%%ATS_LIBDIR%%/ccomp/runtime/GCATS/gcats1_all.cats
>X%%ATS_LIBDIR%%/ccomp/runtime/GCATS/gcats1_autops.dats
>X%%ATS_LIBDIR%%/ccomp/runtime/GCATS/gcats1_chunk.dats
>X%%ATS_LIBDIR%%/ccomp/runtime/GCATS/gcats1_collecting.dats
>X%%ATS_LIBDIR%%/ccomp/runtime/GCATS/gcats1_freeitmlst.dats
>X%%ATS_LIBDIR%%/ccomp/runtime/GCATS/gcats1_globalentry.dats
>X%%ATS_LIBDIR%%/ccomp/runtime/GCATS/gcats1_main.dats
>X%%ATS_LIBDIR%%/ccomp/runtime/GCATS/gcats1_manops.dats
>X%%ATS_LIBDIR%%/ccomp/runtime/GCATS/gcats1_marking.dats
>X%%ATS_LIBDIR%%/ccomp/runtime/GCATS/gcats1_master.hats
>X%%ATS_LIBDIR%%/ccomp/runtime/GCATS/gcats1_misc.dats
>X%%ATS_LIBDIR%%/ccomp/runtime/GCATS/gcats1_multithread.dats
>X%%ATS_LIBDIR%%/ccomp/runtime/GCATS/gcats1_top.dats
>X%%ATS_LIBDIR%%/ccomp/runtime/ats_basics.h
>X%%ATS_LIBDIR%%/ccomp/runtime/ats_bootstrap.c
>X%%ATS_LIBDIR%%/ccomp/runtime/ats_config.h
>X%%ATS_LIBDIR%%/ccomp/runtime/ats_exception.h
>X%%ATS_LIBDIR%%/ccomp/runtime/ats_memory.h
>X%%ATS_LIBDIR%%/ccomp/runtime/ats_prelude.c
>X%%ATS_LIBDIR%%/ccomp/runtime/ats_prelude_gcats.c
>X%%ATS_LIBDIR%%/ccomp/runtime/ats_prelude_gcbdw.c
>X%%ATS_LIBDIR%%/ccomp/runtime/ats_prelude_ngc.c
>X%%ATS_LIBDIR%%/ccomp/runtime/ats_types.h
>X%%ATS_LIBDIR%%/config.h
>X%%ATS_LIBDIR%%/libats/CATS/fmatrix.cats
>X%%ATS_LIBDIR%%/libats/CATS/genarrays.cats
>X%%ATS_LIBDIR%%/libats/CATS/hashtable_chain.cats
>X%%ATS_LIBDIR%%/libats/CATS/intinf.cats
>X%%ATS_LIBDIR%%/libats/CATS/linbitvec.cats
>X%%ATS_LIBDIR%%/libats/CATS/linqueue_arr.cats
>X%%ATS_LIBDIR%%/libats/CATS/linqueue_lst.cats
>X%%ATS_LIBDIR%%/libats/CATS/linstack_arr.cats
>X%%ATS_LIBDIR%%/libats/CATS/parworkshop.cats
>X%%ATS_LIBDIR%%/libats/CATS/regexp.cats
>X%%ATS_LIBDIR%%/libats/CATS/slseg.cats
>X%%ATS_LIBDIR%%/libats/CATS/vector.cats
>X%%ATS_LIBDIR%%/libats/DATS/fmatrix.dats
>X%%ATS_LIBDIR%%/libats/DATS/freelst.dats
>X%%ATS_LIBDIR%%/libats/DATS/funarray_braun.dats
>X%%ATS_LIBDIR%%/libats/DATS/fundeque_fingertree.dats
>X%%ATS_LIBDIR%%/libats/DATS/funheap_braun.dats
>X%%ATS_LIBDIR%%/libats/DATS/funmap_avltree.dats
>X%%ATS_LIBDIR%%/libats/DATS/funralist_nested.dats
>X%%ATS_LIBDIR%%/libats/DATS/funset_avltree.dats
>X%%ATS_LIBDIR%%/libats/DATS/funset_listord.dats
>X%%ATS_LIBDIR%%/libats/DATS/genarrays.dats
>X%%ATS_LIBDIR%%/libats/DATS/gfarray.dats
>X%%ATS_LIBDIR%%/libats/DATS/gflist.dats
>X%%ATS_LIBDIR%%/libats/DATS/gflist_vt.dats
>X%%ATS_LIBDIR%%/libats/DATS/hashtable_chain.dats
>X%%ATS_LIBDIR%%/libats/DATS/hashtable_linprb.dats
>X%%ATS_LIBDIR%%/libats/DATS/ilistp.dats
>X%%ATS_LIBDIR%%/libats/DATS/intinf.dats
>X%%ATS_LIBDIR%%/libats/DATS/iterint.dats
>X%%ATS_LIBDIR%%/libats/DATS/linbitvec.dats
>X%%ATS_LIBDIR%%/libats/DATS/linmap_avltree.dats
>X%%ATS_LIBDIR%%/libats/DATS/linqueue_arr.dats
>X%%ATS_LIBDIR%%/libats/DATS/linqueue_lst.dats
>X%%ATS_LIBDIR%%/libats/DATS/linstack_arr.dats
>X%%ATS_LIBDIR%%/libats/DATS/parworkshop.dats
>X%%ATS_LIBDIR%%/libats/DATS/rarray.dats
>X%%ATS_LIBDIR%%/libats/DATS/regexp.dats
>X%%ATS_LIBDIR%%/libats/DATS/vector.dats
>X%%ATS_LIBDIR%%/libats/SATS/fmatrix.sats
>X%%ATS_LIBDIR%%/libats/SATS/freelst.sats
>X%%ATS_LIBDIR%%/libats/SATS/funarray_braun.sats
>X%%ATS_LIBDIR%%/libats/SATS/fundeque_fingertree.sats
>X%%ATS_LIBDIR%%/libats/SATS/funheap_braun.sats
>X%%ATS_LIBDIR%%/libats/SATS/funmap_avltree.sats
>X%%ATS_LIBDIR%%/libats/SATS/funralist_nested.sats
>X%%ATS_LIBDIR%%/libats/SATS/funset_avltree.sats
>X%%ATS_LIBDIR%%/libats/SATS/funset_listord.sats
>X%%ATS_LIBDIR%%/libats/SATS/genarrays.sats
>X%%ATS_LIBDIR%%/libats/SATS/gfarray.sats
>X%%ATS_LIBDIR%%/libats/SATS/gflist.sats
>X%%ATS_LIBDIR%%/libats/SATS/gflist_vt.sats
>X%%ATS_LIBDIR%%/libats/SATS/gftree.sats
>X%%ATS_LIBDIR%%/libats/SATS/hashtable_chain.sats
>X%%ATS_LIBDIR%%/libats/SATS/hashtable_linprb.sats
>X%%ATS_LIBDIR%%/libats/SATS/ilistp.sats
>X%%ATS_LIBDIR%%/libats/SATS/imsetp.sats
>X%%ATS_LIBDIR%%/libats/SATS/intinf.sats
>X%%ATS_LIBDIR%%/libats/SATS/iterint.sats
>X%%ATS_LIBDIR%%/libats/SATS/itreep.sats
>X%%ATS_LIBDIR%%/libats/SATS/linbitvec.sats
>X%%ATS_LIBDIR%%/libats/SATS/linmap_avltree.sats
>X%%ATS_LIBDIR%%/libats/SATS/linqueue_arr.sats
>X%%ATS_LIBDIR%%/libats/SATS/linqueue_lst.sats
>X%%ATS_LIBDIR%%/libats/SATS/linstack_arr.sats
>X%%ATS_LIBDIR%%/libats/SATS/optini.sats
>X%%ATS_LIBDIR%%/libats/SATS/parworkshop.sats
>X%%ATS_LIBDIR%%/libats/SATS/rarray.sats
>X%%ATS_LIBDIR%%/libats/SATS/regexp.sats
>X%%ATS_LIBDIR%%/libats/SATS/vector.sats
>X%%ATS_LIBDIR%%/libats/lex/lexing.dats
>X%%ATS_LIBDIR%%/libats/lex/lexing.sats
>X%%ATS_LIBDIR%%/libats/lex/tables.dats
>X%%ATS_LIBDIR%%/libats/ngc/CATS/deque_arr.cats
>X%%ATS_LIBDIR%%/libats/ngc/DATS/deque_arr.dats
>X%%ATS_LIBDIR%%/libats/ngc/DATS/dlist.dats
>X%%ATS_LIBDIR%%/libats/ngc/DATS/slist.dats
>X%%ATS_LIBDIR%%/libats/ngc/SATS/deque_arr.sats
>X%%ATS_LIBDIR%%/libats/ngc/SATS/dlist.sats
>X%%ATS_LIBDIR%%/libats/ngc/SATS/slist.sats
>X%%ATS_LIBDIR%%/libats/smlbas/.libfiles
>X%%ATS_LIBDIR%%/libats/smlbas/DATS/array.dats
>X%%ATS_LIBDIR%%/libats/smlbas/DATS/array2.dats
>X%%ATS_LIBDIR%%/libats/smlbas/DATS/bool.dats
>X%%ATS_LIBDIR%%/libats/smlbas/DATS/char.dats
>X%%ATS_LIBDIR%%/libats/smlbas/DATS/date.dats
>X%%ATS_LIBDIR%%/libats/smlbas/DATS/list.dats
>X%%ATS_LIBDIR%%/libats/smlbas/DATS/listPair.dats
>X%%ATS_LIBDIR%%/libats/smlbas/DATS/math.dats
>X%%ATS_LIBDIR%%/libats/smlbas/DATS/real.dats
>X%%ATS_LIBDIR%%/libats/smlbas/DATS/string.dats
>X%%ATS_LIBDIR%%/libats/smlbas/DATS/time.dats
>X%%ATS_LIBDIR%%/libats/smlbas/SATS/array.sats
>X%%ATS_LIBDIR%%/libats/smlbas/SATS/array2.sats
>X%%ATS_LIBDIR%%/libats/smlbas/SATS/bool.sats
>X%%ATS_LIBDIR%%/libats/smlbas/SATS/char.sats
>X%%ATS_LIBDIR%%/libats/smlbas/SATS/date.sats
>X%%ATS_LIBDIR%%/libats/smlbas/SATS/general.sats
>X%%ATS_LIBDIR%%/libats/smlbas/SATS/list.sats
>X%%ATS_LIBDIR%%/libats/smlbas/SATS/listPair.sats
>X%%ATS_LIBDIR%%/libats/smlbas/SATS/math.sats
>X%%ATS_LIBDIR%%/libats/smlbas/SATS/real.sats
>X%%ATS_LIBDIR%%/libats/smlbas/SATS/string.sats
>X%%ATS_LIBDIR%%/libats/smlbas/SATS/time.sats
>X%%ATS_LIBDIR%%/libc/CATS/SIMD_v2df.cats
>X%%ATS_LIBDIR%%/libc/CATS/complex.cats
>X%%ATS_LIBDIR%%/libc/CATS/ctype.cats
>X%%ATS_LIBDIR%%/libc/CATS/curses.cats
>X%%ATS_LIBDIR%%/libc/CATS/dirent.cats
>X%%ATS_LIBDIR%%/libc/CATS/dlfcn.cats
>X%%ATS_LIBDIR%%/libc/CATS/errno.cats
>X%%ATS_LIBDIR%%/libc/CATS/fcntl.cats
>X%%ATS_LIBDIR%%/libc/CATS/float.cats
>X%%ATS_LIBDIR%%/libc/CATS/gmp.cats
>X%%ATS_LIBDIR%%/libc/CATS/grp.cats
>X%%ATS_LIBDIR%%/libc/CATS/math.cats
>X%%ATS_LIBDIR%%/libc/CATS/netdb.cats
>X%%ATS_LIBDIR%%/libc/CATS/printf.cats
>X%%ATS_LIBDIR%%/libc/CATS/pthread.cats
>X%%ATS_LIBDIR%%/libc/CATS/pthread_upbarr.cats
>X%%ATS_LIBDIR%%/libc/CATS/pthread_uplock.cats
>X%%ATS_LIBDIR%%/libc/CATS/pwd.cats
>X%%ATS_LIBDIR%%/libc/CATS/random.cats
>X%%ATS_LIBDIR%%/libc/CATS/sched.cats
>X%%ATS_LIBDIR%%/libc/CATS/signal.cats
>X%%ATS_LIBDIR%%/libc/CATS/stdarg.cats
>X%%ATS_LIBDIR%%/libc/CATS/stdio.cats
>X%%ATS_LIBDIR%%/libc/CATS/stdlib.cats
>X%%ATS_LIBDIR%%/libc/CATS/string.cats
>X%%ATS_LIBDIR%%/libc/CATS/strings.cats
>X%%ATS_LIBDIR%%/libc/CATS/termios.cats
>X%%ATS_LIBDIR%%/libc/CATS/time.cats
>X%%ATS_LIBDIR%%/libc/CATS/unistd.cats
>X%%ATS_LIBDIR%%/libc/CATS/unistd_pathconf.cats
>X%%ATS_LIBDIR%%/libc/CATS/unistd_sysconf.cats
>X%%ATS_LIBDIR%%/libc/CATS/utime.cats
>X%%ATS_LIBDIR%%/libc/DATS/complex.dats
>X%%ATS_LIBDIR%%/libc/DATS/dirent.dats
>X%%ATS_LIBDIR%%/libc/DATS/dlfcn.dats
>X%%ATS_LIBDIR%%/libc/DATS/errno.dats
>X%%ATS_LIBDIR%%/libc/DATS/fcntl.dats
>X%%ATS_LIBDIR%%/libc/DATS/gmp.dats
>X%%ATS_LIBDIR%%/libc/DATS/math.dats
>X%%ATS_LIBDIR%%/libc/DATS/printf.dats
>X%%ATS_LIBDIR%%/libc/DATS/pthread.dats
>X%%ATS_LIBDIR%%/libc/DATS/pthread_upbarr.dats
>X%%ATS_LIBDIR%%/libc/DATS/pthread_uplock.dats
>X%%ATS_LIBDIR%%/libc/DATS/random.dats
>X%%ATS_LIBDIR%%/libc/DATS/stdarg.dats
>X%%ATS_LIBDIR%%/libc/DATS/stdio.dats
>X%%ATS_LIBDIR%%/libc/DATS/stdlib.dats
>X%%ATS_LIBDIR%%/libc/DATS/string.dats
>X%%ATS_LIBDIR%%/libc/DATS/unistd.dats
>X%%ATS_LIBDIR%%/libc/HATS/float.hats
>X%%ATS_LIBDIR%%/libc/HATS/math.hats
>X%%ATS_LIBDIR%%/libc/SATS/SIMD_v2df.sats
>X%%ATS_LIBDIR%%/libc/SATS/complex.sats
>X%%ATS_LIBDIR%%/libc/SATS/ctype.sats
>X%%ATS_LIBDIR%%/libc/SATS/curses.sats
>X%%ATS_LIBDIR%%/libc/SATS/dirent.sats
>X%%ATS_LIBDIR%%/libc/SATS/dlfcn.sats
>X%%ATS_LIBDIR%%/libc/SATS/errno.sats
>X%%ATS_LIBDIR%%/libc/SATS/fcntl.sats
>X%%ATS_LIBDIR%%/libc/SATS/float.sats
>X%%ATS_LIBDIR%%/libc/SATS/gmp.sats
>X%%ATS_LIBDIR%%/libc/SATS/grp.sats
>X%%ATS_LIBDIR%%/libc/SATS/math.sats
>X%%ATS_LIBDIR%%/libc/SATS/netdb.sats
>X%%ATS_LIBDIR%%/libc/SATS/printf.sats
>X%%ATS_LIBDIR%%/libc/SATS/pthread.sats
>X%%ATS_LIBDIR%%/libc/SATS/pthread_upbarr.sats
>X%%ATS_LIBDIR%%/libc/SATS/pthread_uplock.sats
>X%%ATS_LIBDIR%%/libc/SATS/pwd.sats
>X%%ATS_LIBDIR%%/libc/SATS/random.sats
>X%%ATS_LIBDIR%%/libc/SATS/sched.sats
>X%%ATS_LIBDIR%%/libc/SATS/signal.sats
>X%%ATS_LIBDIR%%/libc/SATS/stdarg.sats
>X%%ATS_LIBDIR%%/libc/SATS/stdio.sats
>X%%ATS_LIBDIR%%/libc/SATS/stdlib.sats
>X%%ATS_LIBDIR%%/libc/SATS/string.sats
>X%%ATS_LIBDIR%%/libc/SATS/strings.sats
>X%%ATS_LIBDIR%%/libc/SATS/termios.sats
>X%%ATS_LIBDIR%%/libc/SATS/time.sats
>X%%ATS_LIBDIR%%/libc/SATS/unistd.sats
>X%%ATS_LIBDIR%%/libc/SATS/unistd_pathconf.sats
>X%%ATS_LIBDIR%%/libc/SATS/unistd_sysconf.sats
>X%%ATS_LIBDIR%%/libc/SATS/utime.sats
>X%%ATS_LIBDIR%%/libc/arpa/CATS/inet.cats
>X%%ATS_LIBDIR%%/libc/arpa/SATS/inet.sats
>X%%ATS_LIBDIR%%/libc/netinet/CATS/in.cats
>X%%ATS_LIBDIR%%/libc/netinet/SATS/in.sats
>X%%ATS_LIBDIR%%/libc/sys/CATS/poll.cats
>X%%ATS_LIBDIR%%/libc/sys/CATS/resource.cats
>X%%ATS_LIBDIR%%/libc/sys/CATS/select.cats
>X%%ATS_LIBDIR%%/libc/sys/CATS/sockaddr.cats
>X%%ATS_LIBDIR%%/libc/sys/CATS/socket.cats
>X%%ATS_LIBDIR%%/libc/sys/CATS/socket_in.cats
>X%%ATS_LIBDIR%%/libc/sys/CATS/socket_un.cats
>X%%ATS_LIBDIR%%/libc/sys/CATS/sockopt.cats
>X%%ATS_LIBDIR%%/libc/sys/CATS/stat.cats
>X%%ATS_LIBDIR%%/libc/sys/CATS/statvfs.cats
>X%%ATS_LIBDIR%%/libc/sys/CATS/time.cats
>X%%ATS_LIBDIR%%/libc/sys/CATS/types.cats
>X%%ATS_LIBDIR%%/libc/sys/CATS/un.cats
>X%%ATS_LIBDIR%%/libc/sys/CATS/utsname.cats
>X%%ATS_LIBDIR%%/libc/sys/CATS/wait.cats
>X%%ATS_LIBDIR%%/libc/sys/DATS/socket.dats
>X%%ATS_LIBDIR%%/libc/sys/DATS/socket_in.dats
>X%%ATS_LIBDIR%%/libc/sys/DATS/socket_un.dats
>X%%ATS_LIBDIR%%/libc/sys/DATS/stat.dats
>X%%ATS_LIBDIR%%/libc/sys/SATS/poll.sats
>X%%ATS_LIBDIR%%/libc/sys/SATS/resource.sats
>X%%ATS_LIBDIR%%/libc/sys/SATS/select.sats
>X%%ATS_LIBDIR%%/libc/sys/SATS/sockaddr.sats
>X%%ATS_LIBDIR%%/libc/sys/SATS/socket.sats
>X%%ATS_LIBDIR%%/libc/sys/SATS/socket_in.sats
>X%%ATS_LIBDIR%%/libc/sys/SATS/socket_un.sats
>X%%ATS_LIBDIR%%/libc/sys/SATS/sockopt.sats
>X%%ATS_LIBDIR%%/libc/sys/SATS/stat.sats
>X%%ATS_LIBDIR%%/libc/sys/SATS/statvfs.sats
>X%%ATS_LIBDIR%%/libc/sys/SATS/time.sats
>X%%ATS_LIBDIR%%/libc/sys/SATS/types.sats
>X%%ATS_LIBDIR%%/libc/sys/SATS/un.sats
>X%%ATS_LIBDIR%%/libc/sys/SATS/utsname.sats
>X%%ATS_LIBDIR%%/libc/sys/SATS/wait.sats
>X%%ATS_LIBDIR%%/prelude/CATS/array.cats
>X%%ATS_LIBDIR%%/prelude/CATS/basics.cats
>X%%ATS_LIBDIR%%/prelude/CATS/bool.cats
>X%%ATS_LIBDIR%%/prelude/CATS/byte.cats
>X%%ATS_LIBDIR%%/prelude/CATS/char.cats
>X%%ATS_LIBDIR%%/prelude/CATS/float.cats
>X%%ATS_LIBDIR%%/prelude/CATS/integer.cats
>X%%ATS_LIBDIR%%/prelude/CATS/integer_fixed.cats
>X%%ATS_LIBDIR%%/prelude/CATS/integer_ptr.cats
>X%%ATS_LIBDIR%%/prelude/CATS/lazy.cats
>X%%ATS_LIBDIR%%/prelude/CATS/lazy_vt.cats
>X%%ATS_LIBDIR%%/prelude/CATS/list.cats
>X%%ATS_LIBDIR%%/prelude/CATS/list_vt.cats
>X%%ATS_LIBDIR%%/prelude/CATS/matrix.cats
>X%%ATS_LIBDIR%%/prelude/CATS/option.cats
>X%%ATS_LIBDIR%%/prelude/CATS/pointer.cats
>X%%ATS_LIBDIR%%/prelude/CATS/printf.cats
>X%%ATS_LIBDIR%%/prelude/CATS/reference.cats
>X%%ATS_LIBDIR%%/prelude/CATS/sizetype.cats
>X%%ATS_LIBDIR%%/prelude/CATS/string.cats
>X%%ATS_LIBDIR%%/prelude/DATS/arith.dats
>X%%ATS_LIBDIR%%/prelude/DATS/array.dats
>X%%ATS_LIBDIR%%/prelude/DATS/array0.dats
>X%%ATS_LIBDIR%%/prelude/DATS/array_v.dats
>X%%ATS_LIBDIR%%/prelude/DATS/basics.dats
>X%%ATS_LIBDIR%%/prelude/DATS/bool.dats
>X%%ATS_LIBDIR%%/prelude/DATS/filebas.dats
>X%%ATS_LIBDIR%%/prelude/DATS/float.dats
>X%%ATS_LIBDIR%%/prelude/DATS/integer.dats
>X%%ATS_LIBDIR%%/prelude/DATS/lazy.dats
>X%%ATS_LIBDIR%%/prelude/DATS/lazy_vt.dats
>X%%ATS_LIBDIR%%/prelude/DATS/list.dats
>X%%ATS_LIBDIR%%/prelude/DATS/list0.dats
>X%%ATS_LIBDIR%%/prelude/DATS/list_vt.dats
>X%%ATS_LIBDIR%%/prelude/DATS/matrix.dats
>X%%ATS_LIBDIR%%/prelude/DATS/matrix0.dats
>X%%ATS_LIBDIR%%/prelude/DATS/option.dats
>X%%ATS_LIBDIR%%/prelude/DATS/option0.dats
>X%%ATS_LIBDIR%%/prelude/DATS/option_vt.dats
>X%%ATS_LIBDIR%%/prelude/DATS/pointer.dats
>X%%ATS_LIBDIR%%/prelude/DATS/printf.dats
>X%%ATS_LIBDIR%%/prelude/DATS/ptrarr.dats
>X%%ATS_LIBDIR%%/prelude/DATS/reference.dats
>X%%ATS_LIBDIR%%/prelude/DATS/sizetype.dats
>X%%ATS_LIBDIR%%/prelude/DATS/string.dats
>X%%ATS_LIBDIR%%/prelude/DATS/syndef.dats
>X%%ATS_LIBDIR%%/prelude/DATS/unsafe.dats
>X%%ATS_LIBDIR%%/prelude/DATS/vsubrw.dats
>X%%ATS_LIBDIR%%/prelude/HATS/lmacrodef.hats
>X%%ATS_LIBDIR%%/prelude/HATS/number.hats
>X%%ATS_LIBDIR%%/prelude/HATS/syndef.hats
>X%%ATS_LIBDIR%%/prelude/SATS/arith.sats
>X%%ATS_LIBDIR%%/prelude/SATS/array.sats
>X%%ATS_LIBDIR%%/prelude/SATS/array0.sats
>X%%ATS_LIBDIR%%/prelude/SATS/bool.sats
>X%%ATS_LIBDIR%%/prelude/SATS/byte.sats
>X%%ATS_LIBDIR%%/prelude/SATS/char.sats
>X%%ATS_LIBDIR%%/prelude/SATS/extern.sats
>X%%ATS_LIBDIR%%/prelude/SATS/filebas.sats
>X%%ATS_LIBDIR%%/prelude/SATS/float.sats
>X%%ATS_LIBDIR%%/prelude/SATS/integer.sats
>X%%ATS_LIBDIR%%/prelude/SATS/integer_fixed.sats
>X%%ATS_LIBDIR%%/prelude/SATS/integer_ptr.sats
>X%%ATS_LIBDIR%%/prelude/SATS/lazy.sats
>X%%ATS_LIBDIR%%/prelude/SATS/lazy_vt.sats
>X%%ATS_LIBDIR%%/prelude/SATS/list.sats
>X%%ATS_LIBDIR%%/prelude/SATS/list0.sats
>X%%ATS_LIBDIR%%/prelude/SATS/list_vt.sats
>X%%ATS_LIBDIR%%/prelude/SATS/matrix.sats
>X%%ATS_LIBDIR%%/prelude/SATS/matrix0.sats
>X%%ATS_LIBDIR%%/prelude/SATS/memory.sats
>X%%ATS_LIBDIR%%/prelude/SATS/multiset.sats
>X%%ATS_LIBDIR%%/prelude/SATS/number.sats
>X%%ATS_LIBDIR%%/prelude/SATS/option.sats
>X%%ATS_LIBDIR%%/prelude/SATS/option0.sats
>X%%ATS_LIBDIR%%/prelude/SATS/option_vt.sats
>X%%ATS_LIBDIR%%/prelude/SATS/pointer.sats
>X%%ATS_LIBDIR%%/prelude/SATS/printf.sats
>X%%ATS_LIBDIR%%/prelude/SATS/ptrarr.sats
>X%%ATS_LIBDIR%%/prelude/SATS/reference.sats
>X%%ATS_LIBDIR%%/prelude/SATS/sizetype.sats
>X%%ATS_LIBDIR%%/prelude/SATS/string.sats
>X%%ATS_LIBDIR%%/prelude/SATS/syndef.sats
>X%%ATS_LIBDIR%%/prelude/SATS/unsafe.sats
>X%%ATS_LIBDIR%%/prelude/SATS/vsubrw.sats
>X%%ATS_LIBDIR%%/prelude/ats_main_prelude.dats
>X%%ATS_LIBDIR%%/prelude/basics_dyn.sats
>X%%ATS_LIBDIR%%/prelude/basics_sta.sats
>X%%ATS_LIBDIR%%/prelude/fixity.ats
>X%%ATS_LIBDIR%%/prelude/macrodef.sats
>X%%ATS_LIBDIR%%/prelude/params.hats
>X%%ATS_LIBDIR%%/prelude/params_system.hats
>X%%ATS_LIBDIR%%/prelude/sortdef.sats
>X@dirrm %%ATS_LIBDIR%%/bin
>X@dirrm %%ATS_LIBDIR%%/ccomp/lib64
>X@dirrm %%ATS_LIBDIR%%/ccomp/runtime/GCATS
>X@dirrm %%ATS_LIBDIR%%/ccomp/runtime
>X@dirrm %%ATS_LIBDIR%%/ccomp
>X@dirrm %%ATS_LIBDIR%%/libats/CATS
>X@dirrm %%ATS_LIBDIR%%/libats/DATS
>X@dirrm %%ATS_LIBDIR%%/libats/SATS
>X@dirrm %%ATS_LIBDIR%%/libats/lex
>X@dirrm %%ATS_LIBDIR%%/libats/ngc/CATS
>X@dirrm %%ATS_LIBDIR%%/libats/ngc/DATS
>X@dirrm %%ATS_LIBDIR%%/libats/ngc/SATS
>X@dirrm %%ATS_LIBDIR%%/libats/ngc
>X@dirrm %%ATS_LIBDIR%%/libats/smlbas/DATS
>X@dirrm %%ATS_LIBDIR%%/libats/smlbas/SATS
>X@dirrm %%ATS_LIBDIR%%/libats/smlbas
>X@dirrm %%ATS_LIBDIR%%/libats
>X@dirrm %%ATS_LIBDIR%%/libc/CATS
>X@dirrm %%ATS_LIBDIR%%/libc/DATS
>X@dirrm %%ATS_LIBDIR%%/libc/HATS
>X@dirrm %%ATS_LIBDIR%%/libc/SATS
>X@dirrm %%ATS_LIBDIR%%/libc/arpa/CATS
>X@dirrm %%ATS_LIBDIR%%/libc/arpa/SATS
>X@dirrm %%ATS_LIBDIR%%/libc/arpa
>X@dirrm %%ATS_LIBDIR%%/libc/netinet/CATS
>X@dirrm %%ATS_LIBDIR%%/libc/netinet/SATS
>X@dirrm %%ATS_LIBDIR%%/libc/netinet
>X@dirrm %%ATS_LIBDIR%%/libc/sys/CATS
>X@dirrm %%ATS_LIBDIR%%/libc/sys/DATS
>X@dirrm %%ATS_LIBDIR%%/libc/sys/SATS
>X@dirrm %%ATS_LIBDIR%%/libc/sys
>X@dirrm %%ATS_LIBDIR%%/libc
>X@dirrm %%ATS_LIBDIR%%/prelude/CATS
>X@dirrm %%ATS_LIBDIR%%/prelude/DATS
>X@dirrm %%ATS_LIBDIR%%/prelude/HATS
>X@dirrm %%ATS_LIBDIR%%/prelude/SATS
>X@dirrm %%ATS_LIBDIR%%/prelude
>X@dirrm %%ATS_LIBDIR%%
>41548163e41c2846b855073ec5630f1f
>echo x - ats/distinfo
>sed 's/^X//' >ats/distinfo << 'c512418cef02887b67be69a65e24509f'
>XSHA256 (ats-lang-anairiats-0.2.5.tar.gz) = ded96413d4b58ed195d2f8ef4cefed807c7b1667a8f9235c9065b3666321aa0b
>XSIZE (ats-lang-anairiats-0.2.5.tar.gz) = 2445429
>c512418cef02887b67be69a65e24509f
>echo c - ats/files
>mkdir -p ats/files > /dev/null 2>&1
>echo x - ats/files/patch-Makefile
>sed 's/^X//' >ats/files/patch-Makefile << '735d44c8c35157a912637d07bc73a908'
>X--- Makefile.orig	2011-10-06 17:27:15.000000000 +0800
>X+++ Makefile	2011-10-07 02:01:05.000000000 +0800
>X@@ -92,7 +92,7 @@
>X 	cd $(abs_top_srcdir)
>X 	[ -d $(DESTDIR)/$(bindir) ] || $(MKDIR_P) $(DESTDIR)/$(bindir)
>X 	$(MKDIR_P) $(DESTDIR)$(ATSNEWHOME)/bin
>X-	find ccomp contrib doc libats libc prelude -type d \
>X+	find ccomp libats libc prelude -type d \
>X 	  -exec $(MKDIR_P) $(DESTDIR)$(ATSNEWHOME)/\{} \; \
>X 	  -print
>X 
>X@@ -100,7 +100,7 @@
>X #
>X # recursively install all files in the list except .svn control files.
>X #
>X-	for d in ccomp/runtime contrib doc libats libc prelude; do \
>X+	for d in ccomp/runtime libats libc prelude; do \
>X 	  cd $(abs_top_srcdir) && \
>X 	  $(INSTALL) -d $(DESTDIR)$(ATSNEWHOME)/"$$d" && \
>X 	  find "$$d" -name .svn -prune -o -type f \
>X@@ -140,6 +140,7 @@
>X 	done
>X 
>X install:: install_files
>X+	find $(DESTDIR)$(ATSNEWHOME) -depth -type d -empty -delete
>X 
>X ######
>X 
>X@@ -152,8 +153,7 @@
>X   bin/atslex \
>X   ccomp/runtime/GCATS/gc.o \
>X   ccomp/runtime/GCATS/gc_mt.o \
>X-  atsopt1_gc \
>X-  contrib
>X+  atsopt1_gc
>X 	@echo "ATS/Anairiats has been built up successfully!"
>X 	@echo "The value of ATSHOME for this build is \"$(ATSHOME)\"."
>X 	@echo "The value of ATSHOMERELOC for this build is \"$(ATSHOMERELOC)\"."
>X@@ -214,23 +214,23 @@
>X 
>X .libfiles_local: .libfiles ; $(CC) -E -P -x c -o $@ $<
>X libfiles: .libfiles_local
>X-	$(ATSLIB) $(ATS_PROOFCHECK) -D_XOPEN_SOURCE -O2 --libats
>X-	$(ATSLIB) $(ATS_PROOFCHECK) -O2 --libats_lex
>X-	$(ATSLIB) $(ATS_PROOFCHECK) -O2 --libats_smlbas
>X+	$(ATSLIB) $(ATS_PROOFCHECK) -D_XOPEN_SOURCE -O2 $(CFLAGS) --libats
>X+	$(ATSLIB) $(ATS_PROOFCHECK) -O2 $(CFLAGS) --libats_lex
>X+	$(ATSLIB) $(ATS_PROOFCHECK) -O2 $(CFLAGS) --libats_smlbas
>X 
>X lib32files: .libfiles_local
>X-	$(ATSLIB) $(ATS_PROOFCHECK) -m32 -D_XOPEN_SOURCE -O2 --libats
>X-	$(ATSLIB) $(ATS_PROOFCHECK) -m32 -O2 --libats_lex
>X-	$(ATSLIB) $(ATS_PROOFCHECK) -m32 -O2 --libats_smlbas
>X+	$(ATSLIB) $(ATS_PROOFCHECK) -m32 -D_XOPEN_SOURCE -O2 $(CFLAGS) --libats
>X+	$(ATSLIB) $(ATS_PROOFCHECK) -m32 -O2 $(CFLAGS) --libats_lex
>X+	$(ATSLIB) $(ATS_PROOFCHECK) -m32 -O2 $(CFLAGS) --libats_smlbas
>X 
>X lib64files: .libfiles_local
>X-	$(ATSLIB) $(ATS_PROOFCHECK) -m64 -D_XOPEN_SOURCE -O2 --libats
>X-	$(ATSLIB) $(ATS_PROOFCHECK) -m64 -O2 --libats_lex
>X-	$(ATSLIB) $(ATS_PROOFCHECK) -m64 -O2 --libats_smlbas
>X+	$(ATSLIB) $(ATS_PROOFCHECK) -m64 -D_XOPEN_SOURCE -O2 $(CFLAGS) --libats
>X+	$(ATSLIB) $(ATS_PROOFCHECK) -m64 -O2 $(CFLAGS) --libats_lex
>X+	$(ATSLIB) $(ATS_PROOFCHECK) -m64 -O2 $(CFLAGS) --libats_smlbas
>X 
>X .libfiles_mt_local: .libfiles_mt ; $(CC) -E -P -x c -o $@ $<
>X libfiles_mt: .libfiles_mt_local
>X-	$(ATSLIB) $(ATS_PROOFCHECK) -D_ATS_MULTITHREAD -O2 --libats_mt
>X+	$(ATSLIB) $(ATS_PROOFCHECK) -D_ATS_MULTITHREAD -O2 $(CFLAGS) --libats_mt
>X 
>X ###### a lexer for ATS ######
>X 
>735d44c8c35157a912637d07bc73a908
>echo x - ats/files/patch-Makefile__bootstrap
>sed 's/^X//' >ats/files/patch-Makefile__bootstrap << '753e5928783cefd5e317c50f98d9afde'
>X--- Makefile_bootstrap.orig	2011-10-06 21:17:51.000000000 +0800
>X+++ Makefile_bootstrap	2011-10-06 21:18:13.000000000 +0800
>X@@ -78,7 +78,7 @@
>X 
>X BOOTSTRAP1=1
>X ifdef BOOTSTRAP1
>X-ATSCCFLAGS=-I$(ATSHOMEQ) -I$(ATSRUNTIME) -O2 -g
>X+ATSCCFLAGS=-I$(ATSHOMEQ) -I$(ATSRUNTIME) -O2 -g $(CFLAGS)
>X endif
>X 
>X LIBGMP=
>753e5928783cefd5e317c50f98d9afde
>echo x - ats/files/bsd.ats.mk
>sed 's/^X//' >ats/files/bsd.ats.mk << '70ee2be92365cd44f47cfd56735c748f'
>XATS_IMPL=	anairiats
>XATS_VER=	0.2.5
>X
>XATS_LIBDIR_REL=	lib/ats-${ATS_IMPL}-${ATS_VER}
>XATS_LIBDIR=	${LOCALBASE}/${ATS_LIBDIR_REL}
>X
>XPLIST_SUB+=	ATS_LIBDIR="${ATS_LIBDIR_REL}"
>X
>X.if defined(ATS_CTRB)
>X
>XPKGNAMEPREFIX=	${ATS_CTRBPREFIX}
>XATS_CTRBPREFIX=	ats-contrib-
>XATS_CTRBEXAMPLEDIR=	${PREFIX}/share/examples/${ATS_CTRBPREFIX}${PORTNAME}
>X
>XBUILD_DEPENDS+=	${LOCALBASE}/bin/atscc:${PORTSDIR}/lang/ats \
>X		${NONEXISTENT}:${PORTSDIR}/lang/ats:patch
>X
>XUSE_GMAKE=	yes
>XMAKE_ENV+=	ATSHOME=${LOCALBASE}
>XMAKE_ARGS+=	-C contrib/${ATS_CTRB}
>X
>XATS_WRKSRC=	cd ${PORTSDIR}/lang/ats; ${MAKE} -V WRKSRC
>X
>Xdo-extract:
>X	${MKDIR} ${WRKDIR}
>X	${LN} -sf $$(${ATS_WRKSRC}) ${WRKDIR}/${DISTNAME}
>X
>Xpre-build:
>X	${SED} -i '' \
>X	    -e 's/^ATSCC=$.*$/ATSCC=\1 $$(CFLAGS)/' \
>X	    ${BUILD_WRKSRC}/contrib/${ATS_CTRB}/Makefile
>X	${LN} -sf ${BUILD_WRKSRC}/contrib ${BUILD_WRKSRC}/contrib/${ATS_CTRB}/
>X
>Xdo-install:
>X	cd ${INSTALL_WRKSRC}/contrib; \
>X	${FIND} -d ${ATS_CTRB} -type d \
>X	    -exec ${INSTALL} -d ${ATS_LIBDIR}/contrib/{} \; ; \
>X	${FIND} ${ATS_CTRB} -type f \
>X	    -exec ${INSTALL_DATA} {} ${ATS_LIBDIR}/contrib/{} \;
>X.if !defined(NOPORTEXAMPLES) && defined(ATS_CTRBEXAMPLE)
>X	cd ${INSTALL_WRKSRC}/doc/EXAMPLE/${ATS_CTRBEXAMPLE}; \
>X	${FIND} -d . -type d \
>X	    -exec ${INSTALL} -d ${ATS_CTRBEXAMPLEDIR}/{} \; ; \
>X	${FIND} . -type f \
>X	    -exec ${INSTALL_DATA} {} ${ATS_CTRBEXAMPLEDIR}/{} \;
>X	${FIND} ${ATS_CTRBEXAMPLEDIR} -name Makefile \
>X	    -exec ${SED} -i '' \
>X	                 -e 's|^ATSUSRQ=.*|ATSUSRQ="${LOCALBASE}"|' \
>X	                 -e 's|^ATSLIBQ=.*|ATSLIBQ="${ATS_LIBDIR}"|' {} \;
>X.endif
>X
>Xpost-install-script:
>X	@${FIND} -ds ${ATS_LIBDIR}/contrib/${ATS_CTRB} -type f -print | \
>X	    ${SED} -e 's|^${LOCALBASE}/||' >> ${TMPPLIST}
>X	@${FIND} -ds ${ATS_LIBDIR}/contrib/${ATS_CTRB} -type d -print | \
>X	    ${SED} -e 's|^${LOCALBASE}/|@dirrm |' >> ${TMPPLIST}
>X.if !defined(NOPORTEXAMPLES) && defined(ATS_CTRBEXAMPLE)
>X	@${FIND} -ds ${ATS_CTRBEXAMPLEDIR} -type f -print | \
>X	    ${SED} -E -e 's|^${PREFIX}/?||' >> ${TMPPLIST}
>X	@${FIND} -ds ${ATS_CTRBEXAMPLEDIR} -type d -print | \
>X	    ${SED} -E -e 's|^${PREFIX}/?|@dirrm |' >> ${TMPPLIST}
>X.endif
>X	@${ECHO_CMD} '@unexec rmdir %D/${ATS_LIBDIR_REL}/contrib 2>/dev/null || true' >> ${TMPPLIST}
>X.endif
>70ee2be92365cd44f47cfd56735c748f
>echo x - ats/pkg-descr
>sed 's/^X//' >ats/pkg-descr << 'd4330155ab16d072db89692c37c81092'
>XATS is a statically typed programming language
>Xthat unifies implementation with formal specification.
>XIt is equipped with a highly expressive type system rooted in
>Xthe framework Applied Type System, which gives the language its name.
>XIn particular, both dependent types and linear types are available in ATS.
>X
>XWWW: http://www.ats-lang.org/
>d4330155ab16d072db89692c37c81092
>exit

Actions: View

Attachments on bug 161575: 119110