Date: Fri, 14 Oct 2011 15:39:31 +0800 (CST) From: Jyun-Yan You <jyyou@cs.nctu.edu.tw> To: FreeBSD-gnats-submit@FreeBSD.org Subject: ports/161575: [NEW PORT] lang/ats: A language with a type system rooted in the Applied Type System Message-ID: <201110140739.p9E7dVCu014995@csduty.cs.nctu.edu.tw> Resent-Message-ID: <201110140740.p9E7e54w020523@freefall.freebsd.org>
next in thread | raw e-mail | index | archive | help
>Number: 161575 >Category: ports >Synopsis: [NEW PORT] lang/ats: A language with a type system rooted in the Applied Type System >Confidential: no >Severity: non-critical >Priority: low >Responsible: freebsd-ports-bugs >State: open >Quarter: >Keywords: >Date-Required: >Class: change-request >Submitter-Id: current-users >Arrival-Date: Fri Oct 14 07:40:04 UTC 2011 >Closed-Date: >Last-Modified: >Originator: Jyun-Yan You >Release: FreeBSD 8.2-RELEASE-p3 amd64 >Organization: >Environment: System: FreeBSD csduty.cs.nctu.edu.tw 8.2-RELEASE-p3 FreeBSD 8.2-RELEASE-p3 #0: Tue Sep 27 18:45:57 UTC 2011 >Description: ATS is a statically typed programming language that unifies implementation with formal specification. It is equipped with a highly expressive type system rooted in the framework Applied Type System, which gives the language its name. In particular, both dependent types and linear types are available in ATS. WWW: http://www.ats-lang.org/ Generated with FreeBSD Port Tools 0.99 >How-To-Repeat: >Fix: --- ats-0.2.5.shar begins here --- # 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 --- ats-0.2.5.shar ends here --- >Release-Note: >Audit-Trail: >Unformatted:
Want to link to this message? Use this URL: <https://mail-archive.FreeBSD.org/cgi/mid.cgi?201110140739.p9E7dVCu014995>