Add ats 0.2.5, a language with a type system rooted in the Applied Type

System.

PR:		ports/161575
Submitted by:	Jyun-Yan You <jyyou@cs.nctu.edu.tw>

8 files changed, 641 insertions, 0 deletions

diff --git a/lang/Makefile b/lang/Makefile
index ea5559b..948b8b8 100644
--- a/lang/Makefile
+++ b/lang/Makefile
@@ -14,6 +14,7 @@
     SUBDIR += arena
     SUBDIR += asn1c
     SUBDIR += atlast
+    SUBDIR += ats
     SUBDIR += awka
     SUBDIR += bas2tap
     SUBDIR += basic256
diff --git a/lang/ats/Makefile b/lang/ats/Makefile
new file mode 100644
index 0000000..425b4ed
--- /dev/null
+++ b/lang/ats/Makefile
@@ -0,0 +1,81 @@
+# New ports collection makefile for: ats
+# Date created: September 29 2011
+# Whom: Jyun-Yan You <jyyou@cs.nctu.edu.tw>
+#
+# $FreeBSD$
+#
+
+PORTNAME=	ats
+PORTVERSION=	${ATS_VER}
+CATEGORIES?=	lang
+MASTER_SITES=	${MASTER_SITE_SOURCEFORGE}
+MASTER_SITE_SUBDIR=	${PORTNAME}-lang/${PORTNAME}-lang/${ATS_IMPL}-${PORTVERSION}
+DISTNAME=	${PORTNAME}-lang-${ATS_IMPL}-${PORTVERSION}
+
+MAINTAINER=	jyyou@cs.nctu.edu.tw
+COMMENT=	A language with a type system rooted in the Applied Type System
+
+OPTIONS=	GMP	"Build with GMP support" on \
+		PCRE	"Build with PCRE support" on
+
+ONLY_FOR_ARCHS=	i386 amd64
+USE_GMAKE=	yes
+GNU_CONFIGURE=	yes
+CFLAGS+=	-I${LOCALBASE}/include \
+		-L${LOCALBASE}/lib
+
+PORTDOCS=	FAQ.txt BOOK TUTORIAL
+PORTEXAMPLES=	AUP INTRO KernighanRitchie MISC MULTICORE TEST
+
+.include <bsd.port.pre.mk>
+
+.if ${ARCH} == amd64
+PLIST_SUB+=	LIBDIR="lib64"
+.else
+PLIST_SUB+=	LIBDIR="lib"
+.endif
+
+.if !defined(WITHOUT_GMP)
+LIB_DEPENDS+=	gmp.10:${PORTSDIR}/math/gmp
+.endif
+
+.if !defined(WITHOUT_PCRE)
+LIB_DEPENDS+=	pcre.0:${PORTSDIR}/devel/pcre
+.endif
+
+post-configure:
+.if defined(WITHOUT_GMP)
+	${SED} -i '' -e '/HAVE_GMP_H/d' ${WRKSRC}/config.h
+.endif
+.if defined(WITHOUT_PCRE)
+	${SED} -i '' -e '/HAVE_PCRE_H/d' ${WRKSRC}/config.h
+.endif
+
+post-install:
+.if !defined(NOPORTDOCS)
+	${MKDIR} ${DOCSDIR}
+.for x in ${PORTDOCS}
+	cd ${WRKSRC}/doc; \
+	${FIND} ${x} -type d -exec ${INSTALL} -d ${DOCSDIR}/{} \;
+.endfor
+.for x in ${PORTDOCS}
+	cd ${WRKSRC}/doc; \
+	${FIND} ${x} -type f -exec ${INSTALL_DATA} {} ${DOCSDIR}/{} \;
+.endfor
+.endif
+.if !defined(NOPORTEXAMPLES)
+	${MKDIR} ${EXAMPLESDIR}
+.for x in ${PORTEXAMPLES}
+	cd ${WRKSRC}/doc/EXAMPLE; \
+	${FIND} ${x} -type d -exec ${INSTALL} -d ${EXAMPLESDIR}/{} \;
+.endfor
+.for x in ${PORTEXAMPLES}
+	cd ${WRKSRC}/doc/EXAMPLE; \
+	${FIND} ${x} -type f -exec ${INSTALL_DATA} {} ${EXAMPLESDIR}/{} \;
+.endfor
+	${FIND} ${EXAMPLESDIR} -name Makefile \
+	    -exec ${SED} -i '' -e 's|^ATSUSRQ=.*|ATSUSRQ="${PREFIX}"|' {} \;
+.endif
+
+.include "bsd.ats.mk"
+.include <bsd.port.post.mk>
diff --git a/lang/ats/bsd.ats.mk b/lang/ats/bsd.ats.mk
new file mode 100644
index 0000000..fd14f94
--- /dev/null
+++ b/lang/ats/bsd.ats.mk
@@ -0,0 +1,64 @@
+ATS_IMPL=	anairiats
+ATS_VER=	0.2.5
+
+ATS_LIBDIR_REL=	lib/ats-${ATS_IMPL}-${ATS_VER}
+ATS_LIBDIR=	${LOCALBASE}/${ATS_LIBDIR_REL}
+
+PLIST_SUB+=	ATS_LIBDIR="${ATS_LIBDIR_REL}"
+
+.if defined(ATS_CTRB)
+
+PKGNAMEPREFIX=	${ATS_CTRBPREFIX}
+ATS_CTRBPREFIX=	ats-contrib-
+ATS_CTRBEXAMPLEDIR=	${PREFIX}/share/examples/${ATS_CTRBPREFIX}${PORTNAME}
+
+BUILD_DEPENDS+=	${LOCALBASE}/bin/atscc:${PORTSDIR}/lang/ats \
+		${NONEXISTENT}:${PORTSDIR}/lang/ats:patch
+
+USE_GMAKE=	yes
+MAKE_ENV+=	ATSHOME=${LOCALBASE}
+MAKE_ARGS+=	-C contrib/${ATS_CTRB}
+
+ATS_WRKSRC=	cd ${PORTSDIR}/lang/ats; ${MAKE} -V WRKSRC
+
+do-extract:
+	${MKDIR} ${WRKDIR}
+	${LN} -sf $$(${ATS_WRKSRC}) ${WRKDIR}/${DISTNAME}
+
+pre-build:
+	${SED} -i '' \
+	    -e 's/^ATSCC=\(.*\)/ATSCC=\1 $$(CFLAGS)/' \
+	    ${BUILD_WRKSRC}/contrib/${ATS_CTRB}/Makefile
+	${LN} -sf ${BUILD_WRKSRC}/contrib ${BUILD_WRKSRC}/contrib/${ATS_CTRB}/
+
+do-install:
+	cd ${INSTALL_WRKSRC}/contrib; \
+	${FIND} -d ${ATS_CTRB} -type d \
+	    -exec ${INSTALL} -d ${ATS_LIBDIR}/contrib/{} \; ; \
+	${FIND} ${ATS_CTRB} -type f \
+	    -exec ${INSTALL_DATA} {} ${ATS_LIBDIR}/contrib/{} \;
+.if !defined(NOPORTEXAMPLES) && defined(ATS_CTRBEXAMPLE)
+	cd ${INSTALL_WRKSRC}/doc/EXAMPLE/${ATS_CTRBEXAMPLE}; \
+	${FIND} -d . -type d \
+	    -exec ${INSTALL} -d ${ATS_CTRBEXAMPLEDIR}/{} \; ; \
+	${FIND} . -type f \
+	    -exec ${INSTALL_DATA} {} ${ATS_CTRBEXAMPLEDIR}/{} \;
+	${FIND} ${ATS_CTRBEXAMPLEDIR} -name Makefile \
+	    -exec ${SED} -i '' \
+	                 -e 's|^ATSUSRQ=.*|ATSUSRQ="${LOCALBASE}"|' \
+	                 -e 's|^ATSLIBQ=.*|ATSLIBQ="${ATS_LIBDIR}"|' {} \;
+.endif
+
+post-install-script:
+	@${FIND} -ds ${ATS_LIBDIR}/contrib/${ATS_CTRB} -type f -print | \
+	    ${SED} -e 's|^${LOCALBASE}/||' >> ${TMPPLIST}
+	@${FIND} -ds ${ATS_LIBDIR}/contrib/${ATS_CTRB} -type d -print | \
+	    ${SED} -e 's|^${LOCALBASE}/|@dirrm |' >> ${TMPPLIST}
+.if !defined(NOPORTEXAMPLES) && defined(ATS_CTRBEXAMPLE)
+	@${FIND} -ds ${ATS_CTRBEXAMPLEDIR} -type f -print | \
+	    ${SED} -E -e 's|^${PREFIX}/?||' >> ${TMPPLIST}
+	@${FIND} -ds ${ATS_CTRBEXAMPLEDIR} -type d -print | \
+	    ${SED} -E -e 's|^${PREFIX}/?|@dirrm |' >> ${TMPPLIST}
+.endif
+	@${ECHO_CMD} '@unexec rmdir %D/${ATS_LIBDIR_REL}/contrib 2>/dev/null || true' >> ${TMPPLIST}
+.endif
diff --git a/lang/ats/distinfo b/lang/ats/distinfo
new file mode 100644
index 0000000..6891492
--- /dev/null
+++ b/lang/ats/distinfo
@@ -0,0 +1,2 @@
+SHA256 (ats-lang-anairiats-0.2.5.tar.gz) = ded96413d4b58ed195d2f8ef4cefed807c7b1667a8f9235c9065b3666321aa0b
+SIZE (ats-lang-anairiats-0.2.5.tar.gz) = 2445429
diff --git a/lang/ats/files/patch-Makefile b/lang/ats/files/patch-Makefile
new file mode 100644
index 0000000..b02515f
--- /dev/null
+++ b/lang/ats/files/patch-Makefile
@@ -0,0 +1,72 @@
+--- Makefile.orig	2011-10-06 17:27:15.000000000 +0800
++++ Makefile	2011-10-07 02:01:05.000000000 +0800
+@@ -92,7 +92,7 @@
+ 	cd $(abs_top_srcdir)
+ 	[ -d $(DESTDIR)/$(bindir) ] || $(MKDIR_P) $(DESTDIR)/$(bindir)
+ 	$(MKDIR_P) $(DESTDIR)$(ATSNEWHOME)/bin
+-	find ccomp contrib doc libats libc prelude -type d \
++	find ccomp libats libc prelude -type d \
+ 	  -exec $(MKDIR_P) $(DESTDIR)$(ATSNEWHOME)/\{} \; \
+ 	  -print
+ 
+@@ -100,7 +100,7 @@
+ #
+ # recursively install all files in the list except .svn control files.
+ #
+-	for d in ccomp/runtime contrib doc libats libc prelude; do \
++	for d in ccomp/runtime libats libc prelude; do \
+ 	  cd $(abs_top_srcdir) && \
+ 	  $(INSTALL) -d $(DESTDIR)$(ATSNEWHOME)/"$$d" && \
+ 	  find "$$d" -name .svn -prune -o -type f \
+@@ -140,6 +140,7 @@
+ 	done
+ 
+ install:: install_files
++	find $(DESTDIR)$(ATSNEWHOME) -depth -type d -empty -delete
+ 
+ ######
+ 
+@@ -152,8 +153,7 @@
+   bin/atslex \
+   ccomp/runtime/GCATS/gc.o \
+   ccomp/runtime/GCATS/gc_mt.o \
+-  atsopt1_gc \
+-  contrib
++  atsopt1_gc
+ 	@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)\"."
+@@ -214,23 +214,23 @@
+ 
+ .libfiles_local: .libfiles ; $(CC) -E -P -x c -o $@ $<
+ libfiles: .libfiles_local
+-	$(ATSLIB) $(ATS_PROOFCHECK) -D_XOPEN_SOURCE -O2 --libats
+-	$(ATSLIB) $(ATS_PROOFCHECK) -O2 --libats_lex
+-	$(ATSLIB) $(ATS_PROOFCHECK) -O2 --libats_smlbas
++	$(ATSLIB) $(ATS_PROOFCHECK) -D_XOPEN_SOURCE -O2 $(CFLAGS) --libats
++	$(ATSLIB) $(ATS_PROOFCHECK) -O2 $(CFLAGS) --libats_lex
++	$(ATSLIB) $(ATS_PROOFCHECK) -O2 $(CFLAGS) --libats_smlbas
+ 
+ lib32files: .libfiles_local
+-	$(ATSLIB) $(ATS_PROOFCHECK) -m32 -D_XOPEN_SOURCE -O2 --libats
+-	$(ATSLIB) $(ATS_PROOFCHECK) -m32 -O2 --libats_lex
+-	$(ATSLIB) $(ATS_PROOFCHECK) -m32 -O2 --libats_smlbas
++	$(ATSLIB) $(ATS_PROOFCHECK) -m32 -D_XOPEN_SOURCE -O2 $(CFLAGS) --libats
++	$(ATSLIB) $(ATS_PROOFCHECK) -m32 -O2 $(CFLAGS) --libats_lex
++	$(ATSLIB) $(ATS_PROOFCHECK) -m32 -O2 $(CFLAGS) --libats_smlbas
+ 
+ lib64files: .libfiles_local
+-	$(ATSLIB) $(ATS_PROOFCHECK) -m64 -D_XOPEN_SOURCE -O2 --libats
+-	$(ATSLIB) $(ATS_PROOFCHECK) -m64 -O2 --libats_lex
+-	$(ATSLIB) $(ATS_PROOFCHECK) -m64 -O2 --libats_smlbas
++	$(ATSLIB) $(ATS_PROOFCHECK) -m64 -D_XOPEN_SOURCE -O2 $(CFLAGS) --libats
++	$(ATSLIB) $(ATS_PROOFCHECK) -m64 -O2 $(CFLAGS) --libats_lex
++	$(ATSLIB) $(ATS_PROOFCHECK) -m64 -O2 $(CFLAGS) --libats_smlbas
+ 
+ .libfiles_mt_local: .libfiles_mt ; $(CC) -E -P -x c -o $@ $<
+ libfiles_mt: .libfiles_mt_local
+-	$(ATSLIB) $(ATS_PROOFCHECK) -D_ATS_MULTITHREAD -O2 --libats_mt
++	$(ATSLIB) $(ATS_PROOFCHECK) -D_ATS_MULTITHREAD -O2 $(CFLAGS) --libats_mt
+ 
+ ###### a lexer for ATS ######
+ 
diff --git a/lang/ats/files/patch-Makefile__bootstrap b/lang/ats/files/patch-Makefile__bootstrap
new file mode 100644
index 0000000..a20bbab
--- /dev/null
+++ b/lang/ats/files/patch-Makefile__bootstrap
@@ -0,0 +1,11 @@
+--- Makefile_bootstrap.orig	2011-10-06 21:17:51.000000000 +0800
++++ Makefile_bootstrap	2011-10-06 21:18:13.000000000 +0800
+@@ -78,7 +78,7 @@
+ 
+ BOOTSTRAP1=1
+ ifdef BOOTSTRAP1
+-ATSCCFLAGS=-I$(ATSHOMEQ) -I$(ATSRUNTIME) -O2 -g
++ATSCCFLAGS=-I$(ATSHOMEQ) -I$(ATSRUNTIME) -O2 -g $(CFLAGS)
+ endif
+ 
+ LIBGMP=
diff --git a/lang/ats/pkg-descr b/lang/ats/pkg-descr
new file mode 100644
index 0000000..ff3e203
--- /dev/null
+++ b/lang/ats/pkg-descr
@@ -0,0 +1,7 @@
+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/
diff --git a/lang/ats/pkg-plist b/lang/ats/pkg-plist
new file mode 100644
index 0000000..50ddc02
--- /dev/null
+++ b/lang/ats/pkg-plist
@@ -0,0 +1,403 @@
+bin/atscc
+bin/atslex
+bin/atslib
+bin/atsopt
+bin/atspack
+%%ATS_LIBDIR%%/INSTALL
+%%ATS_LIBDIR%%/VERSION.txt
+%%ATS_LIBDIR%%/bin/atscc
+%%ATS_LIBDIR%%/bin/atslex
+%%ATS_LIBDIR%%/bin/atslib
+%%ATS_LIBDIR%%/bin/atsopt
+%%ATS_LIBDIR%%/bin/atspack
+%%ATS_LIBDIR%%/ccomp/%%LIBDIR%%/libats.a
+%%ATS_LIBDIR%%/ccomp/%%LIBDIR%%/libats_lex.a
+%%ATS_LIBDIR%%/ccomp/%%LIBDIR%%/libats_mt.a
+%%ATS_LIBDIR%%/ccomp/%%LIBDIR%%/libats_smlbas.a
+%%ATS_LIBDIR%%/ccomp/runtime/GCATS/Makefile
+%%ATS_LIBDIR%%/ccomp/runtime/GCATS/README
+%%ATS_LIBDIR%%/ccomp/runtime/GCATS/X.sats
+%%ATS_LIBDIR%%/ccomp/runtime/GCATS/gc.o
+%%ATS_LIBDIR%%/ccomp/runtime/GCATS/gc_mt.o
+%%ATS_LIBDIR%%/ccomp/runtime/GCATS/gcats1.cats
+%%ATS_LIBDIR%%/ccomp/runtime/GCATS/gcats1.sats
+%%ATS_LIBDIR%%/ccomp/runtime/GCATS/gcats1_all.cats
+%%ATS_LIBDIR%%/ccomp/runtime/GCATS/gcats1_autops.dats
+%%ATS_LIBDIR%%/ccomp/runtime/GCATS/gcats1_chunk.dats
+%%ATS_LIBDIR%%/ccomp/runtime/GCATS/gcats1_collecting.dats
+%%ATS_LIBDIR%%/ccomp/runtime/GCATS/gcats1_freeitmlst.dats
+%%ATS_LIBDIR%%/ccomp/runtime/GCATS/gcats1_globalentry.dats
+%%ATS_LIBDIR%%/ccomp/runtime/GCATS/gcats1_main.dats
+%%ATS_LIBDIR%%/ccomp/runtime/GCATS/gcats1_manops.dats
+%%ATS_LIBDIR%%/ccomp/runtime/GCATS/gcats1_marking.dats
+%%ATS_LIBDIR%%/ccomp/runtime/GCATS/gcats1_master.hats
+%%ATS_LIBDIR%%/ccomp/runtime/GCATS/gcats1_misc.dats
+%%ATS_LIBDIR%%/ccomp/runtime/GCATS/gcats1_multithread.dats
+%%ATS_LIBDIR%%/ccomp/runtime/GCATS/gcats1_top.dats
+%%ATS_LIBDIR%%/ccomp/runtime/ats_basics.h
+%%ATS_LIBDIR%%/ccomp/runtime/ats_bootstrap.c
+%%ATS_LIBDIR%%/ccomp/runtime/ats_config.h
+%%ATS_LIBDIR%%/ccomp/runtime/ats_exception.h
+%%ATS_LIBDIR%%/ccomp/runtime/ats_memory.h
+%%ATS_LIBDIR%%/ccomp/runtime/ats_prelude.c
+%%ATS_LIBDIR%%/ccomp/runtime/ats_prelude_gcats.c
+%%ATS_LIBDIR%%/ccomp/runtime/ats_prelude_gcbdw.c
+%%ATS_LIBDIR%%/ccomp/runtime/ats_prelude_ngc.c
+%%ATS_LIBDIR%%/ccomp/runtime/ats_types.h
+%%ATS_LIBDIR%%/config.h
+%%ATS_LIBDIR%%/libats/CATS/fmatrix.cats
+%%ATS_LIBDIR%%/libats/CATS/genarrays.cats
+%%ATS_LIBDIR%%/libats/CATS/hashtable_chain.cats
+%%ATS_LIBDIR%%/libats/CATS/intinf.cats
+%%ATS_LIBDIR%%/libats/CATS/linbitvec.cats
+%%ATS_LIBDIR%%/libats/CATS/linqueue_arr.cats
+%%ATS_LIBDIR%%/libats/CATS/linqueue_lst.cats
+%%ATS_LIBDIR%%/libats/CATS/linstack_arr.cats
+%%ATS_LIBDIR%%/libats/CATS/parworkshop.cats
+%%ATS_LIBDIR%%/libats/CATS/regexp.cats
+%%ATS_LIBDIR%%/libats/CATS/slseg.cats
+%%ATS_LIBDIR%%/libats/CATS/vector.cats
+%%ATS_LIBDIR%%/libats/DATS/fmatrix.dats
+%%ATS_LIBDIR%%/libats/DATS/freelst.dats
+%%ATS_LIBDIR%%/libats/DATS/funarray_braun.dats
+%%ATS_LIBDIR%%/libats/DATS/fundeque_fingertree.dats
+%%ATS_LIBDIR%%/libats/DATS/funheap_braun.dats
+%%ATS_LIBDIR%%/libats/DATS/funmap_avltree.dats
+%%ATS_LIBDIR%%/libats/DATS/funralist_nested.dats
+%%ATS_LIBDIR%%/libats/DATS/funset_avltree.dats
+%%ATS_LIBDIR%%/libats/DATS/funset_listord.dats
+%%ATS_LIBDIR%%/libats/DATS/genarrays.dats
+%%ATS_LIBDIR%%/libats/DATS/gfarray.dats
+%%ATS_LIBDIR%%/libats/DATS/gflist.dats
+%%ATS_LIBDIR%%/libats/DATS/gflist_vt.dats
+%%ATS_LIBDIR%%/libats/DATS/hashtable_chain.dats
+%%ATS_LIBDIR%%/libats/DATS/hashtable_linprb.dats
+%%ATS_LIBDIR%%/libats/DATS/ilistp.dats
+%%ATS_LIBDIR%%/libats/DATS/intinf.dats
+%%ATS_LIBDIR%%/libats/DATS/iterint.dats
+%%ATS_LIBDIR%%/libats/DATS/linbitvec.dats
+%%ATS_LIBDIR%%/libats/DATS/linmap_avltree.dats
+%%ATS_LIBDIR%%/libats/DATS/linqueue_arr.dats
+%%ATS_LIBDIR%%/libats/DATS/linqueue_lst.dats
+%%ATS_LIBDIR%%/libats/DATS/linstack_arr.dats
+%%ATS_LIBDIR%%/libats/DATS/parworkshop.dats
+%%ATS_LIBDIR%%/libats/DATS/rarray.dats
+%%ATS_LIBDIR%%/libats/DATS/regexp.dats
+%%ATS_LIBDIR%%/libats/DATS/vector.dats
+%%ATS_LIBDIR%%/libats/SATS/fmatrix.sats
+%%ATS_LIBDIR%%/libats/SATS/freelst.sats
+%%ATS_LIBDIR%%/libats/SATS/funarray_braun.sats
+%%ATS_LIBDIR%%/libats/SATS/fundeque_fingertree.sats
+%%ATS_LIBDIR%%/libats/SATS/funheap_braun.sats
+%%ATS_LIBDIR%%/libats/SATS/funmap_avltree.sats
+%%ATS_LIBDIR%%/libats/SATS/funralist_nested.sats
+%%ATS_LIBDIR%%/libats/SATS/funset_avltree.sats
+%%ATS_LIBDIR%%/libats/SATS/funset_listord.sats
+%%ATS_LIBDIR%%/libats/SATS/genarrays.sats
+%%ATS_LIBDIR%%/libats/SATS/gfarray.sats
+%%ATS_LIBDIR%%/libats/SATS/gflist.sats
+%%ATS_LIBDIR%%/libats/SATS/gflist_vt.sats
+%%ATS_LIBDIR%%/libats/SATS/gftree.sats
+%%ATS_LIBDIR%%/libats/SATS/hashtable_chain.sats
+%%ATS_LIBDIR%%/libats/SATS/hashtable_linprb.sats
+%%ATS_LIBDIR%%/libats/SATS/ilistp.sats
+%%ATS_LIBDIR%%/libats/SATS/imsetp.sats
+%%ATS_LIBDIR%%/libats/SATS/intinf.sats
+%%ATS_LIBDIR%%/libats/SATS/iterint.sats
+%%ATS_LIBDIR%%/libats/SATS/itreep.sats
+%%ATS_LIBDIR%%/libats/SATS/linbitvec.sats
+%%ATS_LIBDIR%%/libats/SATS/linmap_avltree.sats
+%%ATS_LIBDIR%%/libats/SATS/linqueue_arr.sats
+%%ATS_LIBDIR%%/libats/SATS/linqueue_lst.sats
+%%ATS_LIBDIR%%/libats/SATS/linstack_arr.sats
+%%ATS_LIBDIR%%/libats/SATS/optini.sats
+%%ATS_LIBDIR%%/libats/SATS/parworkshop.sats
+%%ATS_LIBDIR%%/libats/SATS/rarray.sats
+%%ATS_LIBDIR%%/libats/SATS/regexp.sats
+%%ATS_LIBDIR%%/libats/SATS/vector.sats
+%%ATS_LIBDIR%%/libats/lex/lexing.dats
+%%ATS_LIBDIR%%/libats/lex/lexing.sats
+%%ATS_LIBDIR%%/libats/lex/tables.dats
+%%ATS_LIBDIR%%/libats/ngc/CATS/deque_arr.cats
+%%ATS_LIBDIR%%/libats/ngc/DATS/deque_arr.dats
+%%ATS_LIBDIR%%/libats/ngc/DATS/dlist.dats
+%%ATS_LIBDIR%%/libats/ngc/DATS/slist.dats
+%%ATS_LIBDIR%%/libats/ngc/SATS/deque_arr.sats
+%%ATS_LIBDIR%%/libats/ngc/SATS/dlist.sats
+%%ATS_LIBDIR%%/libats/ngc/SATS/slist.sats
+%%ATS_LIBDIR%%/libats/smlbas/.libfiles
+%%ATS_LIBDIR%%/libats/smlbas/DATS/array.dats
+%%ATS_LIBDIR%%/libats/smlbas/DATS/array2.dats
+%%ATS_LIBDIR%%/libats/smlbas/DATS/bool.dats
+%%ATS_LIBDIR%%/libats/smlbas/DATS/char.dats
+%%ATS_LIBDIR%%/libats/smlbas/DATS/date.dats
+%%ATS_LIBDIR%%/libats/smlbas/DATS/list.dats
+%%ATS_LIBDIR%%/libats/smlbas/DATS/listPair.dats
+%%ATS_LIBDIR%%/libats/smlbas/DATS/math.dats
+%%ATS_LIBDIR%%/libats/smlbas/DATS/real.dats
+%%ATS_LIBDIR%%/libats/smlbas/DATS/string.dats
+%%ATS_LIBDIR%%/libats/smlbas/DATS/time.dats
+%%ATS_LIBDIR%%/libats/smlbas/SATS/array.sats
+%%ATS_LIBDIR%%/libats/smlbas/SATS/array2.sats
+%%ATS_LIBDIR%%/libats/smlbas/SATS/bool.sats
+%%ATS_LIBDIR%%/libats/smlbas/SATS/char.sats
+%%ATS_LIBDIR%%/libats/smlbas/SATS/date.sats
+%%ATS_LIBDIR%%/libats/smlbas/SATS/general.sats
+%%ATS_LIBDIR%%/libats/smlbas/SATS/list.sats
+%%ATS_LIBDIR%%/libats/smlbas/SATS/listPair.sats
+%%ATS_LIBDIR%%/libats/smlbas/SATS/math.sats
+%%ATS_LIBDIR%%/libats/smlbas/SATS/real.sats
+%%ATS_LIBDIR%%/libats/smlbas/SATS/string.sats
+%%ATS_LIBDIR%%/libats/smlbas/SATS/time.sats
+%%ATS_LIBDIR%%/libc/CATS/SIMD_v2df.cats
+%%ATS_LIBDIR%%/libc/CATS/complex.cats
+%%ATS_LIBDIR%%/libc/CATS/ctype.cats
+%%ATS_LIBDIR%%/libc/CATS/curses.cats
+%%ATS_LIBDIR%%/libc/CATS/dirent.cats
+%%ATS_LIBDIR%%/libc/CATS/dlfcn.cats
+%%ATS_LIBDIR%%/libc/CATS/errno.cats
+%%ATS_LIBDIR%%/libc/CATS/fcntl.cats
+%%ATS_LIBDIR%%/libc/CATS/float.cats
+%%ATS_LIBDIR%%/libc/CATS/gmp.cats
+%%ATS_LIBDIR%%/libc/CATS/grp.cats
+%%ATS_LIBDIR%%/libc/CATS/math.cats
+%%ATS_LIBDIR%%/libc/CATS/netdb.cats
+%%ATS_LIBDIR%%/libc/CATS/printf.cats
+%%ATS_LIBDIR%%/libc/CATS/pthread.cats
+%%ATS_LIBDIR%%/libc/CATS/pthread_upbarr.cats
+%%ATS_LIBDIR%%/libc/CATS/pthread_uplock.cats
+%%ATS_LIBDIR%%/libc/CATS/pwd.cats
+%%ATS_LIBDIR%%/libc/CATS/random.cats
+%%ATS_LIBDIR%%/libc/CATS/sched.cats
+%%ATS_LIBDIR%%/libc/CATS/signal.cats
+%%ATS_LIBDIR%%/libc/CATS/stdarg.cats
+%%ATS_LIBDIR%%/libc/CATS/stdio.cats
+%%ATS_LIBDIR%%/libc/CATS/stdlib.cats
+%%ATS_LIBDIR%%/libc/CATS/string.cats
+%%ATS_LIBDIR%%/libc/CATS/strings.cats
+%%ATS_LIBDIR%%/libc/CATS/termios.cats
+%%ATS_LIBDIR%%/libc/CATS/time.cats
+%%ATS_LIBDIR%%/libc/CATS/unistd.cats
+%%ATS_LIBDIR%%/libc/CATS/unistd_pathconf.cats
+%%ATS_LIBDIR%%/libc/CATS/unistd_sysconf.cats
+%%ATS_LIBDIR%%/libc/CATS/utime.cats
+%%ATS_LIBDIR%%/libc/DATS/complex.dats
+%%ATS_LIBDIR%%/libc/DATS/dirent.dats
+%%ATS_LIBDIR%%/libc/DATS/dlfcn.dats
+%%ATS_LIBDIR%%/libc/DATS/errno.dats
+%%ATS_LIBDIR%%/libc/DATS/fcntl.dats
+%%ATS_LIBDIR%%/libc/DATS/gmp.dats
+%%ATS_LIBDIR%%/libc/DATS/math.dats
+%%ATS_LIBDIR%%/libc/DATS/printf.dats
+%%ATS_LIBDIR%%/libc/DATS/pthread.dats
+%%ATS_LIBDIR%%/libc/DATS/pthread_upbarr.dats
+%%ATS_LIBDIR%%/libc/DATS/pthread_uplock.dats
+%%ATS_LIBDIR%%/libc/DATS/random.dats
+%%ATS_LIBDIR%%/libc/DATS/stdarg.dats
+%%ATS_LIBDIR%%/libc/DATS/stdio.dats
+%%ATS_LIBDIR%%/libc/DATS/stdlib.dats
+%%ATS_LIBDIR%%/libc/DATS/string.dats
+%%ATS_LIBDIR%%/libc/DATS/unistd.dats
+%%ATS_LIBDIR%%/libc/HATS/float.hats
+%%ATS_LIBDIR%%/libc/HATS/math.hats
+%%ATS_LIBDIR%%/libc/SATS/SIMD_v2df.sats
+%%ATS_LIBDIR%%/libc/SATS/complex.sats
+%%ATS_LIBDIR%%/libc/SATS/ctype.sats
+%%ATS_LIBDIR%%/libc/SATS/curses.sats
+%%ATS_LIBDIR%%/libc/SATS/dirent.sats
+%%ATS_LIBDIR%%/libc/SATS/dlfcn.sats
+%%ATS_LIBDIR%%/libc/SATS/errno.sats
+%%ATS_LIBDIR%%/libc/SATS/fcntl.sats
+%%ATS_LIBDIR%%/libc/SATS/float.sats
+%%ATS_LIBDIR%%/libc/SATS/gmp.sats
+%%ATS_LIBDIR%%/libc/SATS/grp.sats
+%%ATS_LIBDIR%%/libc/SATS/math.sats
+%%ATS_LIBDIR%%/libc/SATS/netdb.sats
+%%ATS_LIBDIR%%/libc/SATS/printf.sats
+%%ATS_LIBDIR%%/libc/SATS/pthread.sats
+%%ATS_LIBDIR%%/libc/SATS/pthread_upbarr.sats
+%%ATS_LIBDIR%%/libc/SATS/pthread_uplock.sats
+%%ATS_LIBDIR%%/libc/SATS/pwd.sats
+%%ATS_LIBDIR%%/libc/SATS/random.sats
+%%ATS_LIBDIR%%/libc/SATS/sched.sats
+%%ATS_LIBDIR%%/libc/SATS/signal.sats
+%%ATS_LIBDIR%%/libc/SATS/stdarg.sats
+%%ATS_LIBDIR%%/libc/SATS/stdio.sats
+%%ATS_LIBDIR%%/libc/SATS/stdlib.sats
+%%ATS_LIBDIR%%/libc/SATS/string.sats
+%%ATS_LIBDIR%%/libc/SATS/strings.sats
+%%ATS_LIBDIR%%/libc/SATS/termios.sats
+%%ATS_LIBDIR%%/libc/SATS/time.sats
+%%ATS_LIBDIR%%/libc/SATS/unistd.sats
+%%ATS_LIBDIR%%/libc/SATS/unistd_pathconf.sats
+%%ATS_LIBDIR%%/libc/SATS/unistd_sysconf.sats
+%%ATS_LIBDIR%%/libc/SATS/utime.sats
+%%ATS_LIBDIR%%/libc/arpa/CATS/inet.cats
+%%ATS_LIBDIR%%/libc/arpa/SATS/inet.sats
+%%ATS_LIBDIR%%/libc/netinet/CATS/in.cats
+%%ATS_LIBDIR%%/libc/netinet/SATS/in.sats
+%%ATS_LIBDIR%%/libc/sys/CATS/poll.cats
+%%ATS_LIBDIR%%/libc/sys/CATS/resource.cats
+%%ATS_LIBDIR%%/libc/sys/CATS/select.cats
+%%ATS_LIBDIR%%/libc/sys/CATS/sockaddr.cats
+%%ATS_LIBDIR%%/libc/sys/CATS/socket.cats
+%%ATS_LIBDIR%%/libc/sys/CATS/socket_in.cats
+%%ATS_LIBDIR%%/libc/sys/CATS/socket_un.cats
+%%ATS_LIBDIR%%/libc/sys/CATS/sockopt.cats
+%%ATS_LIBDIR%%/libc/sys/CATS/stat.cats
+%%ATS_LIBDIR%%/libc/sys/CATS/statvfs.cats
+%%ATS_LIBDIR%%/libc/sys/CATS/time.cats
+%%ATS_LIBDIR%%/libc/sys/CATS/types.cats
+%%ATS_LIBDIR%%/libc/sys/CATS/un.cats
+%%ATS_LIBDIR%%/libc/sys/CATS/utsname.cats
+%%ATS_LIBDIR%%/libc/sys/CATS/wait.cats
+%%ATS_LIBDIR%%/libc/sys/DATS/socket.dats
+%%ATS_LIBDIR%%/libc/sys/DATS/socket_in.dats
+%%ATS_LIBDIR%%/libc/sys/DATS/socket_un.dats
+%%ATS_LIBDIR%%/libc/sys/DATS/stat.dats
+%%ATS_LIBDIR%%/libc/sys/SATS/poll.sats
+%%ATS_LIBDIR%%/libc/sys/SATS/resource.sats
+%%ATS_LIBDIR%%/libc/sys/SATS/select.sats
+%%ATS_LIBDIR%%/libc/sys/SATS/sockaddr.sats
+%%ATS_LIBDIR%%/libc/sys/SATS/socket.sats
+%%ATS_LIBDIR%%/libc/sys/SATS/socket_in.sats
+%%ATS_LIBDIR%%/libc/sys/SATS/socket_un.sats
+%%ATS_LIBDIR%%/libc/sys/SATS/sockopt.sats
+%%ATS_LIBDIR%%/libc/sys/SATS/stat.sats
+%%ATS_LIBDIR%%/libc/sys/SATS/statvfs.sats
+%%ATS_LIBDIR%%/libc/sys/SATS/time.sats
+%%ATS_LIBDIR%%/libc/sys/SATS/types.sats
+%%ATS_LIBDIR%%/libc/sys/SATS/un.sats
+%%ATS_LIBDIR%%/libc/sys/SATS/utsname.sats
+%%ATS_LIBDIR%%/libc/sys/SATS/wait.sats
+%%ATS_LIBDIR%%/prelude/CATS/array.cats
+%%ATS_LIBDIR%%/prelude/CATS/basics.cats
+%%ATS_LIBDIR%%/prelude/CATS/bool.cats
+%%ATS_LIBDIR%%/prelude/CATS/byte.cats
+%%ATS_LIBDIR%%/prelude/CATS/char.cats
+%%ATS_LIBDIR%%/prelude/CATS/float.cats
+%%ATS_LIBDIR%%/prelude/CATS/integer.cats
+%%ATS_LIBDIR%%/prelude/CATS/integer_fixed.cats
+%%ATS_LIBDIR%%/prelude/CATS/integer_ptr.cats
+%%ATS_LIBDIR%%/prelude/CATS/lazy.cats
+%%ATS_LIBDIR%%/prelude/CATS/lazy_vt.cats
+%%ATS_LIBDIR%%/prelude/CATS/list.cats
+%%ATS_LIBDIR%%/prelude/CATS/list_vt.cats
+%%ATS_LIBDIR%%/prelude/CATS/matrix.cats
+%%ATS_LIBDIR%%/prelude/CATS/option.cats
+%%ATS_LIBDIR%%/prelude/CATS/pointer.cats
+%%ATS_LIBDIR%%/prelude/CATS/printf.cats
+%%ATS_LIBDIR%%/prelude/CATS/reference.cats
+%%ATS_LIBDIR%%/prelude/CATS/sizetype.cats
+%%ATS_LIBDIR%%/prelude/CATS/string.cats
+%%ATS_LIBDIR%%/prelude/DATS/arith.dats
+%%ATS_LIBDIR%%/prelude/DATS/array.dats
+%%ATS_LIBDIR%%/prelude/DATS/array0.dats
+%%ATS_LIBDIR%%/prelude/DATS/array_v.dats
+%%ATS_LIBDIR%%/prelude/DATS/basics.dats
+%%ATS_LIBDIR%%/prelude/DATS/bool.dats
+%%ATS_LIBDIR%%/prelude/DATS/filebas.dats
+%%ATS_LIBDIR%%/prelude/DATS/float.dats
+%%ATS_LIBDIR%%/prelude/DATS/integer.dats
+%%ATS_LIBDIR%%/prelude/DATS/lazy.dats
+%%ATS_LIBDIR%%/prelude/DATS/lazy_vt.dats
+%%ATS_LIBDIR%%/prelude/DATS/list.dats
+%%ATS_LIBDIR%%/prelude/DATS/list0.dats
+%%ATS_LIBDIR%%/prelude/DATS/list_vt.dats
+%%ATS_LIBDIR%%/prelude/DATS/matrix.dats
+%%ATS_LIBDIR%%/prelude/DATS/matrix0.dats
+%%ATS_LIBDIR%%/prelude/DATS/option.dats
+%%ATS_LIBDIR%%/prelude/DATS/option0.dats
+%%ATS_LIBDIR%%/prelude/DATS/option_vt.dats
+%%ATS_LIBDIR%%/prelude/DATS/pointer.dats
+%%ATS_LIBDIR%%/prelude/DATS/printf.dats
+%%ATS_LIBDIR%%/prelude/DATS/ptrarr.dats
+%%ATS_LIBDIR%%/prelude/DATS/reference.dats
+%%ATS_LIBDIR%%/prelude/DATS/sizetype.dats
+%%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_LIBDIR%%/prelude/SATS/arith.sats
+%%ATS_LIBDIR%%/prelude/SATS/array.sats
+%%ATS_LIBDIR%%/prelude/SATS/array0.sats
+%%ATS_LIBDIR%%/prelude/SATS/bool.sats
+%%ATS_LIBDIR%%/prelude/SATS/byte.sats
+%%ATS_LIBDIR%%/prelude/SATS/char.sats
+%%ATS_LIBDIR%%/prelude/SATS/extern.sats
+%%ATS_LIBDIR%%/prelude/SATS/filebas.sats
+%%ATS_LIBDIR%%/prelude/SATS/float.sats
+%%ATS_LIBDIR%%/prelude/SATS/integer.sats
+%%ATS_LIBDIR%%/prelude/SATS/integer_fixed.sats
+%%ATS_LIBDIR%%/prelude/SATS/integer_ptr.sats
+%%ATS_LIBDIR%%/prelude/SATS/lazy.sats
+%%ATS_LIBDIR%%/prelude/SATS/lazy_vt.sats
+%%ATS_LIBDIR%%/prelude/SATS/list.sats
+%%ATS_LIBDIR%%/prelude/SATS/list0.sats
+%%ATS_LIBDIR%%/prelude/SATS/list_vt.sats
+%%ATS_LIBDIR%%/prelude/SATS/matrix.sats
+%%ATS_LIBDIR%%/prelude/SATS/matrix0.sats
+%%ATS_LIBDIR%%/prelude/SATS/memory.sats
+%%ATS_LIBDIR%%/prelude/SATS/multiset.sats
+%%ATS_LIBDIR%%/prelude/SATS/number.sats
+%%ATS_LIBDIR%%/prelude/SATS/option.sats
+%%ATS_LIBDIR%%/prelude/SATS/option0.sats
+%%ATS_LIBDIR%%/prelude/SATS/option_vt.sats
+%%ATS_LIBDIR%%/prelude/SATS/pointer.sats
+%%ATS_LIBDIR%%/prelude/SATS/printf.sats
+%%ATS_LIBDIR%%/prelude/SATS/ptrarr.sats
+%%ATS_LIBDIR%%/prelude/SATS/reference.sats
+%%ATS_LIBDIR%%/prelude/SATS/sizetype.sats
+%%ATS_LIBDIR%%/prelude/SATS/string.sats
+%%ATS_LIBDIR%%/prelude/SATS/syndef.sats
+%%ATS_LIBDIR%%/prelude/SATS/unsafe.sats
+%%ATS_LIBDIR%%/prelude/SATS/vsubrw.sats
+%%ATS_LIBDIR%%/prelude/ats_main_prelude.dats
+%%ATS_LIBDIR%%/prelude/basics_dyn.sats
+%%ATS_LIBDIR%%/prelude/basics_sta.sats
+%%ATS_LIBDIR%%/prelude/fixity.ats
+%%ATS_LIBDIR%%/prelude/macrodef.sats
+%%ATS_LIBDIR%%/prelude/params.hats
+%%ATS_LIBDIR%%/prelude/params_system.hats
+%%ATS_LIBDIR%%/prelude/sortdef.sats
+@dirrm %%ATS_LIBDIR%%/bin
+@dirrm %%ATS_LIBDIR%%/ccomp/lib64
+@dirrm %%ATS_LIBDIR%%/ccomp/runtime/GCATS
+@dirrm %%ATS_LIBDIR%%/ccomp/runtime
+@dirrm %%ATS_LIBDIR%%/ccomp
+@dirrm %%ATS_LIBDIR%%/libats/CATS
+@dirrm %%ATS_LIBDIR%%/libats/DATS
+@dirrm %%ATS_LIBDIR%%/libats/SATS
+@dirrm %%ATS_LIBDIR%%/libats/lex
+@dirrm %%ATS_LIBDIR%%/libats/ngc/CATS
+@dirrm %%ATS_LIBDIR%%/libats/ngc/DATS
+@dirrm %%ATS_LIBDIR%%/libats/ngc/SATS
+@dirrm %%ATS_LIBDIR%%/libats/ngc
+@dirrm %%ATS_LIBDIR%%/libats/smlbas/DATS
+@dirrm %%ATS_LIBDIR%%/libats/smlbas/SATS
+@dirrm %%ATS_LIBDIR%%/libats/smlbas
+@dirrm %%ATS_LIBDIR%%/libats
+@dirrm %%ATS_LIBDIR%%/libc/CATS
+@dirrm %%ATS_LIBDIR%%/libc/DATS
+@dirrm %%ATS_LIBDIR%%/libc/HATS
+@dirrm %%ATS_LIBDIR%%/libc/SATS
+@dirrm %%ATS_LIBDIR%%/libc/arpa/CATS
+@dirrm %%ATS_LIBDIR%%/libc/arpa/SATS
+@dirrm %%ATS_LIBDIR%%/libc/arpa
+@dirrm %%ATS_LIBDIR%%/libc/netinet/CATS
+@dirrm %%ATS_LIBDIR%%/libc/netinet/SATS
+@dirrm %%ATS_LIBDIR%%/libc/netinet
+@dirrm %%ATS_LIBDIR%%/libc/sys/CATS
+@dirrm %%ATS_LIBDIR%%/libc/sys/DATS
+@dirrm %%ATS_LIBDIR%%/libc/sys/SATS
+@dirrm %%ATS_LIBDIR%%/libc/sys
+@dirrm %%ATS_LIBDIR%%/libc
+@dirrm %%ATS_LIBDIR%%/prelude/CATS
+@dirrm %%ATS_LIBDIR%%/prelude/DATS
+@dirrm %%ATS_LIBDIR%%/prelude/HATS
+@dirrm %%ATS_LIBDIR%%/prelude/SATS
+@dirrm %%ATS_LIBDIR%%/prelude
+@dirrm %%ATS_LIBDIR%%