>>> ats2: Building community/ats2 0.4.2-r0 (using abuild 3.15.0-r0) started Wed, 08 Oct 2025 19:09:42 +0000
>>> ats2: Validating /home/udu/aports/community/ats2/APKBUILD...
>>> ats2: Analyzing dependencies...
>>> ats2: Installing for build: build-base gmp-dev
WARNING: opening /home/udu/packages//community: No such file or directory
WARNING: opening /home/udu/packages//main: No such file or directory
(1/3) Installing libgmpxx (6.3.0-r3)
(2/3) Installing gmp-dev (6.3.0-r3)
(3/3) Installing .makedepends-ats2 (20251008.190942)
OK: 297 MiB in 92 packages
>>> ats2: Cleaning up srcdir
>>> ats2: Cleaning up pkgdir
>>> ats2: Cleaning up tmpdir
>>> ats2: Fetching https://downloads.sourceforge.net/sourceforge/ats2-lang/ATS2-Postiats-gmp-0.4.2.tgz
>>> ats2: Fetching https://downloads.sourceforge.net/sourceforge/ats2-lang/ATS2-Postiats-gmp-0.4.2.tgz
>>> ats2: Checking sha512sums...
ATS2-Postiats-gmp-0.4.2.tgz: OK
prelude-function-prototypes.patch: OK
>>> ats2: Unpacking /var/cache/distfiles/ATS2-Postiats-gmp-0.4.2.tgz...
>>> ats2: prelude-function-prototypes.patch
patching file src/CBOOT/prelude/ats_main_prelude_dats.c
checking for x86_64-alpine-linux-musl-gcc... cc
checking whether the C compiler works... yes
checking for C compiler default output file name... a.out
checking for suffix of executables... 
checking whether we are cross compiling... no
checking for suffix of object files... o
checking whether we are using the GNU C compiler... yes
checking whether cc accepts -g... yes
checking for cc option to accept ISO C89... none needed
checking for a BSD-compatible install... /usr/bin/install -c
checking for a thread-safe mkdir -p... ./install-sh -c -d
checking whether ln -s works... yes
checking how to run the C preprocessor... cc -E
checking for grep that handles long lines and -e... /bin/grep
checking for egrep... /bin/grep -E
checking for ANSI C header files... yes
checking for sys/types.h... yes
checking for sys/stat.h... yes
checking for stdlib.h... yes
checking for string.h... yes
checking for memory.h... yes
checking for strings.h... yes
checking for inttypes.h... yes
checking for stdint.h... yes
checking for unistd.h... yes
checking gmp.h usability... yes
checking gmp.h presence... yes
checking for gmp.h... yes
checking size of void*... 8
checking for posix_memalign... yes
checking for memalign... yes
configure: creating ./config.status
config.status: creating config.mk
config.status: creating bin/patscc_env.sh
config.status: creating bin/myatscc_env.sh
config.status: creating bin/patsopt_env.sh
config.status: creating config.h
config.status: config.h is unchanged
\
make -j4 -C src/CBOOT patsopt \
CCOMP=cc GCFLAG= LDFLAGS= 
make[1]: Entering directory '/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2/src/CBOOT'
cc -O2 -I. -I./ccomp/runtime -c -o pats_main_dats.o pats_main_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_error_sats.o pats_error_sats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_intinf_sats.o pats_intinf_sats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_counter_sats.o pats_counter_sats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_utils_sats.o pats_utils_sats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_global_sats.o pats_global_sats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_basics_sats.o pats_basics_sats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_stamp_sats.o pats_stamp_sats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_symbol_sats.o pats_symbol_sats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_filename_sats.o pats_filename_sats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_location_sats.o pats_location_sats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_jsonize_sats.o pats_jsonize_sats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_errmsg_sats.o pats_errmsg_sats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_reader_sats.o pats_reader_sats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_lexbuf_sats.o pats_lexbuf_sats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_lexing_sats.o pats_lexing_sats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_label_sats.o pats_label_sats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_effect_sats.o pats_effect_sats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_fixity_sats.o pats_fixity_sats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_syntax_sats.o pats_syntax_sats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_depgen_sats.o pats_depgen_sats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_taggen_sats.o pats_taggen_sats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_tokbuf_sats.o pats_tokbuf_sats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_parsing_sats.o pats_parsing_sats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_symmap_sats.o pats_symmap_sats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_symenv_sats.o pats_symenv_sats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_staexp1_sats.o pats_staexp1_sats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_dynexp1_sats.o pats_dynexp1_sats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_trans1_sats.o pats_trans1_sats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_trans1_env_sats.o pats_trans1_env_sats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_e1xpval_sats.o pats_e1xpval_sats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_staexp2_sats.o pats_staexp2_sats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_stacst2_sats.o pats_stacst2_sats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_staexp2_util_sats.o pats_staexp2_util_sats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_staexp2_error_sats.o pats_staexp2_error_sats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_staexp2_solve_sats.o pats_staexp2_solve_sats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_patcst2_sats.o pats_patcst2_sats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_dynexp2_sats.o pats_dynexp2_sats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_dyncst2_sats.o pats_dyncst2_sats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_codegen2_sats.o pats_codegen2_sats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_jsonize_synent2_sats.o pats_jsonize_synent2_sats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_trans2_sats.o pats_trans2_sats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_namespace_sats.o pats_namespace_sats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_trans2_env_sats.o pats_trans2_env_sats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_dynexp3_sats.o pats_dynexp3_sats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_trans3_sats.o pats_trans3_sats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_trans3_env_sats.o pats_trans3_env_sats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_dmacro2_sats.o pats_dmacro2_sats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_lintprgm_sats.o pats_lintprgm_sats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_constraint3_sats.o pats_constraint3_sats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_histaexp_sats.o pats_histaexp_sats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_hidynexp_sats.o pats_hidynexp_sats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_typerase_sats.o pats_typerase_sats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_ccomp_sats.o pats_ccomp_sats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_comarg_sats.o pats_comarg_sats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_error_dats.o pats_error_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_intinf_dats.o pats_intinf_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_counter_dats.o pats_counter_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_utils_dats.o pats_utils_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_global_dats.o pats_global_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_basics_dats.o pats_basics_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_stamp_dats.o pats_stamp_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_symbol_dats.o pats_symbol_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_filename_dats.o pats_filename_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_location_dats.o pats_location_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_jsonize_dats.o pats_jsonize_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_errmsg_dats.o pats_errmsg_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_reader_dats.o pats_reader_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_lexbuf_dats.o pats_lexbuf_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_lexing_dats.o pats_lexing_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_lexing_print_dats.o pats_lexing_print_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_lexing_error_dats.o pats_lexing_error_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_lexing_token_dats.o pats_lexing_token_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_label_dats.o pats_label_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_effect_dats.o pats_effect_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_fixity_prec_dats.o pats_fixity_prec_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_fixity_fxty_dats.o pats_fixity_fxty_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_syntax_dats.o pats_syntax_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_syntax_print_dats.o pats_syntax_print_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_depgen_dats.o pats_depgen_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_taggen_dats.o pats_taggen_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_tokbuf_dats.o pats_tokbuf_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_parsing_dats.o pats_parsing_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_parsing_error_dats.o pats_parsing_error_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_parsing_util_dats.o pats_parsing_util_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_parsing_kwds_dats.o pats_parsing_kwds_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_parsing_base_dats.o pats_parsing_base_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_parsing_e0xp_dats.o pats_parsing_e0xp_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_parsing_sort_dats.o pats_parsing_sort_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_parsing_staexp_dats.o pats_parsing_staexp_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_parsing_p0at_dats.o pats_parsing_p0at_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_parsing_dynexp_dats.o pats_parsing_dynexp_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_parsing_decl_dats.o pats_parsing_decl_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_parsing_toplevel_dats.o pats_parsing_toplevel_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_symmap_dats.o pats_symmap_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_symenv_dats.o pats_symenv_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_staexp1_dats.o pats_staexp1_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_staexp1_print_dats.o pats_staexp1_print_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_dynexp1_dats.o pats_dynexp1_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_dynexp1_print_dats.o pats_dynexp1_print_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_trans1_env_dats.o pats_trans1_env_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_e1xpval_dats.o pats_e1xpval_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_e1xpval_error_dats.o pats_e1xpval_error_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_filename_reloc_dats.o pats_filename_reloc_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_trans1_error_dats.o pats_trans1_error_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_trans1_e0xp_dats.o pats_trans1_e0xp_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_trans1_effect_dats.o pats_trans1_effect_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_trans1_sort_dats.o pats_trans1_sort_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_trans1_staexp_dats.o pats_trans1_staexp_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_trans1_p0at_dats.o pats_trans1_p0at_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_trans1_syndef_dats.o pats_trans1_syndef_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_trans1_dynexp_dats.o pats_trans1_dynexp_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_trans1_decl_dats.o pats_trans1_decl_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_staexp2_dats.o pats_staexp2_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_stacst2_dats.o pats_stacst2_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_staexp2_print_dats.o pats_staexp2_print_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_staexp2_pprint_dats.o pats_staexp2_pprint_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_staexp2_sort_dats.o pats_staexp2_sort_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_staexp2_scst_dats.o pats_staexp2_scst_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_staexp2_svar_dats.o pats_staexp2_svar_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_staexp2_svvar_dats.o pats_staexp2_svvar_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_staexp2_hole_dats.o pats_staexp2_hole_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_staexp2_ctxt_dats.o pats_staexp2_ctxt_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_staexp2_dcon_dats.o pats_staexp2_dcon_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_staexp2_skexp_dats.o pats_staexp2_skexp_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_staexp2_szexp_dats.o pats_staexp2_szexp_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_staexp2_util1_dats.o pats_staexp2_util1_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_staexp2_util2_dats.o pats_staexp2_util2_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_staexp2_util3_dats.o pats_staexp2_util3_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_staexp2_error_dats.o pats_staexp2_error_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_staexp2_solve_dats.o pats_staexp2_solve_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_patcst2_dats.o pats_patcst2_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_dynexp2_dats.o pats_dynexp2_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_dyncst2_dats.o pats_dyncst2_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_dynexp2_print_dats.o pats_dynexp2_print_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_dynexp2_dcst_dats.o pats_dynexp2_dcst_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_dynexp2_dvar_dats.o pats_dynexp2_dvar_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_dynexp2_dmac_dats.o pats_dynexp2_dmac_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_dynexp2_util_dats.o pats_dynexp2_util_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_dynexp2_mapgen_dats.o pats_dynexp2_mapgen_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_codegen2_dats.o pats_codegen2_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_codegen2_util_dats.o pats_codegen2_util_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_codegen2_absrec_dats.o pats_codegen2_absrec_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_codegen2_datype_dats.o pats_codegen2_datype_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_codegen2_fprint_dats.o pats_codegen2_fprint_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_jsonize_synent2_dats.o pats_jsonize_synent2_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_namespace_dats.o pats_namespace_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_trans2_env_dats.o pats_trans2_env_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_trans2_error_dats.o pats_trans2_error_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_trans2_sort_dats.o pats_trans2_sort_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_trans2_staexp_dats.o pats_trans2_staexp_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_trans2_p1at_dats.o pats_trans2_p1at_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_trans2_dynexp_dats.o pats_trans2_dynexp_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_trans2_impdec_dats.o pats_trans2_impdec_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_trans2_decl_dats.o pats_trans2_decl_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_dynexp3_dats.o pats_dynexp3_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_dynexp3_print_dats.o pats_dynexp3_print_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_trans3_error_dats.o pats_trans3_error_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_trans3_util_dats.o pats_trans3_util_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_trans3_env_dats.o pats_trans3_env_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_trans3_env_print_dats.o pats_trans3_env_print_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_trans3_env_scst_dats.o pats_trans3_env_scst_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_trans3_env_svar_dats.o pats_trans3_env_svar_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_trans3_env_termet_dats.o pats_trans3_env_termet_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_trans3_env_effect_dats.o pats_trans3_env_effect_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_trans3_env_dvar_dats.o pats_trans3_env_dvar_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_trans3_env_lamlp_dats.o pats_trans3_env_lamlp_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_trans3_env_pfman_dats.o pats_trans3_env_pfman_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_trans3_env_lstate_dats.o pats_trans3_env_lstate_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_dmacro2_dats.o pats_dmacro2_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_dmacro2_print_dats.o pats_dmacro2_print_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_dmacro2_eval0_dats.o pats_dmacro2_eval0_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_dmacro2_eval1_dats.o pats_dmacro2_eval1_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_trans3_p2at_dats.o pats_trans3_p2at_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_trans3_patcon_dats.o pats_trans3_patcon_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_trans3_syncst_dats.o pats_trans3_syncst_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_trans3_dynexp_up_dats.o pats_trans3_dynexp_up_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_trans3_dynexp_dn_dats.o pats_trans3_dynexp_dn_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_trans3_appsym_dats.o pats_trans3_appsym_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_trans3_caseof_dats.o pats_trans3_caseof_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_trans3_selab_dats.o pats_trans3_selab_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_trans3_ptrof_dats.o pats_trans3_ptrof_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_trans3_viewat_dats.o pats_trans3_viewat_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_trans3_deref_dats.o pats_trans3_deref_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_trans3_assgn_dats.o pats_trans3_assgn_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_trans3_xchng_dats.o pats_trans3_xchng_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_trans3_lvalres_dats.o pats_trans3_lvalres_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_trans3_fldfrat_dats.o pats_trans3_fldfrat_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_trans3_looping_dats.o pats_trans3_looping_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_trans3_decl_dats.o pats_trans3_decl_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_lintprgm_dats.o pats_lintprgm_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_lintprgm_print_dats.o pats_lintprgm_print_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_lintprgm_myint_dats.o pats_lintprgm_myint_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_lintprgm_solve_dats.o pats_lintprgm_solve_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_constraint3_dats.o pats_constraint3_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_constraint3_print_dats.o pats_constraint3_print_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_constraint3_mapgen_dats.o pats_constraint3_mapgen_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_constraint3_jsonize_dats.o pats_constraint3_jsonize_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_constraint3_init_dats.o pats_constraint3_init_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_constraint3_simplify_dats.o pats_constraint3_simplify_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_constraint3_icnstr_dats.o pats_constraint3_icnstr_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_constraint3_solve_dats.o pats_constraint3_solve_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_histaexp_dats.o pats_histaexp_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_histaexp_print_dats.o pats_histaexp_print_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_histaexp_funlab_dats.o pats_histaexp_funlab_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_hidynexp_dats.o pats_hidynexp_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_hidynexp_print_dats.o pats_hidynexp_print_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_hidynexp_util_dats.o pats_hidynexp_util_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_typerase_error_dats.o pats_typerase_error_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_typerase_staexp_dats.o pats_typerase_staexp_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_typerase_dynexp_dats.o pats_typerase_dynexp_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_typerase_decl_dats.o pats_typerase_decl_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_ccomp_dats.o pats_ccomp_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_ccomp_print_dats.o pats_ccomp_print_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_ccomp_hitype_dats.o pats_ccomp_hitype_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_ccomp_tmplab_dats.o pats_ccomp_tmplab_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_ccomp_tmpvar_dats.o pats_ccomp_tmpvar_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_ccomp_d2env_dats.o pats_ccomp_d2env_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_ccomp_funlab_dats.o pats_ccomp_funlab_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_ccomp_funent_dats.o pats_ccomp_funent_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_ccomp_util_dats.o pats_ccomp_util_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_ccomp_ccompenv_dats.o pats_ccomp_ccompenv_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_ccomp_instrseq_dats.o pats_ccomp_instrseq_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_ccomp_hipat_dats.o pats_ccomp_hipat_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_ccomp_dynexp_dats.o pats_ccomp_dynexp_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_ccomp_caseof_dats.o pats_ccomp_caseof_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_ccomp_claulst_dats.o pats_ccomp_claulst_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_ccomp_lazyeval_dats.o pats_ccomp_lazyeval_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_ccomp_trywith_dats.o pats_ccomp_trywith_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_ccomp_looping_dats.o pats_ccomp_looping_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_ccomp_decl_dats.o pats_ccomp_decl_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_ccomp_subst_dats.o pats_ccomp_subst_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_ccomp_environ_dats.o pats_ccomp_environ_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_ccomp_template_dats.o pats_ccomp_template_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_ccomp_emit_dats.o pats_ccomp_emit_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_ccomp_emit2_dats.o pats_ccomp_emit2_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_ccomp_emit3_dats.o pats_ccomp_emit3_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_ccomp_main_dats.o pats_ccomp_main_dats.c
cc -O2 -I. -I./ccomp/runtime -c -o pats_comarg_dats.o pats_comarg_dats.c
cc -I. -I./ccomp/runtime -c -o prelude_basics_sta_sats.o prelude/basics_sta_sats.c
cc -I. -I./ccomp/runtime -c -o prelude_basics_dyn_sats.o prelude/basics_dyn_sats.c
cc -I. -I./ccomp/runtime -c -o prelude_ats_main_prelude_dats.o prelude/ats_main_prelude_dats.c
cc -I. -I./ccomp/runtime -c -o prelude_DATS_basics_dats.o prelude/DATS_basics_dats.c
cc -I. -I./ccomp/runtime -c -o prelude_DATS_bool_dats.o prelude/DATS_bool_dats.c
cc -I. -I./ccomp/runtime -c -o prelude_DATS_char_dats.o prelude/DATS_char_dats.c
cc -I. -I./ccomp/runtime -c -o prelude_DATS_float_dats.o prelude/DATS_float_dats.c
cc -I. -I./ccomp/runtime -c -o prelude_DATS_integer_dats.o prelude/DATS_integer_dats.c
cc -I. -I./ccomp/runtime -c -o prelude_DATS_sizetype_dats.o prelude/DATS_sizetype_dats.c
cc -I. -I./ccomp/runtime -c -o prelude_DATS_pointer_dats.o prelude/DATS_pointer_dats.c
cc -I. -I./ccomp/runtime -c -o prelude_DATS_reference_dats.o prelude/DATS_reference_dats.c
cc -I. -I./ccomp/runtime -c -o prelude_DATS_string_dats.o prelude/DATS_string_dats.c
cc -I. -I./ccomp/runtime -c -o prelude_DATS_lazy_dats.o prelude/DATS_lazy_dats.c
cc -I. -I./ccomp/runtime -c -o prelude_DATS_lazy_vt_dats.o prelude/DATS_lazy_vt_dats.c
cc -I. -I./ccomp/runtime -c -o prelude_DATS_printf_dats.o prelude/DATS_printf_dats.c
cc -I. -I./ccomp/runtime -c -o prelude_DATS_filebas_dats.o prelude/DATS_filebas_dats.c
cc -I. -I./ccomp/runtime -c -o prelude_DATS_list_dats.o prelude/DATS_list_dats.c
cc -I. -I./ccomp/runtime -c -o prelude_DATS_list_vt_dats.o prelude/DATS_list_vt_dats.c
cc -I. -I./ccomp/runtime -c -o prelude_DATS_list0_dats.o prelude/DATS_list0_dats.c
cc -I. -I./ccomp/runtime -c -o prelude_DATS_option_dats.o prelude/DATS_option_dats.c
cc -I. -I./ccomp/runtime -c -o prelude_DATS_option_vt_dats.o prelude/DATS_option_vt_dats.c
cc -I. -I./ccomp/runtime -c -o prelude_DATS_option0_dats.o prelude/DATS_option0_dats.c
cc -I. -I./ccomp/runtime -c -o prelude_DATS_array_dats.o prelude/DATS_array_dats.c
cc -I. -I./ccomp/runtime -c -o prelude_DATS_array0_dats.o prelude/DATS_array0_dats.c
cc -I. -I./ccomp/runtime -c -o prelude_DATS_matrix_dats.o prelude/DATS_matrix_dats.c
cc -I. -I./ccomp/runtime -c -o prelude_DATS_matrix0_dats.o prelude/DATS_matrix0_dats.c
cc -I. -I./ccomp/runtime -c -o prelude_DATS_ptrarr_dats.o prelude/DATS_ptrarr_dats.c
cc -I. -I./ccomp/runtime -c -o prelude_DATS_unsafe_dats.o prelude/DATS_unsafe_dats.c
cc -I. -I./ccomp/runtime -c -o libc_SATS_errno_sats.o libc/SATS_errno_sats.c
cc -I. -I./ccomp/runtime -c -o libc_SATS_fcntl_sats.o libc/SATS_fcntl_sats.c
cc -I. -I./ccomp/runtime -c -o libc_DATS_fcntl_dats.o libc/DATS_fcntl_dats.c
cc -I. -I./ccomp/runtime -c -o libc_SATS_stdarg_sats.o libc/SATS_stdarg_sats.c
cc -I. -I./ccomp/runtime -c -o libc_SATS_stdio_sats.o libc/SATS_stdio_sats.c
cc -I. -I./ccomp/runtime -c -o libc_SATS_stdlib_sats.o libc/SATS_stdlib_sats.c
cc -I. -I./ccomp/runtime -c -o libc_SATS_string_sats.o libc/SATS_string_sats.c
cc -I. -I./ccomp/runtime -c -o libc_SATS_time_sats.o libc/SATS_time_sats.c
cc -I. -I./ccomp/runtime -c -o libc_SATS_unistd_sats.o libc/SATS_unistd_sats.c
cc -I. -I./ccomp/runtime -c -o libc_DATS_unistd_dats.o libc/DATS_unistd_dats.c
cc -I. -I./ccomp/runtime -c -o libc_sys_SATS_stat_sats.o libc/sys_SATS_stat_sats.c
cc -I. -I./ccomp/runtime -c -o libc_sys_SATS_wait_sats.o libc/sys_SATS_wait_sats.c
cc -I. -I./ccomp/runtime -c -o libc_sys_SATS_types_sats.o libc/sys_SATS_types_sats.c
cc -I. -I./ccomp/runtime -c -o libc_SATS_gmp_sats.o libc/SATS_gmp_sats.c
cc -I. -I./ccomp/runtime -c -o libc_DATS_gmp_dats.o libc/DATS_gmp_dats.c
cc -I. -I./ccomp/runtime -c -o libats_SATS_funmap_avltree_sats.o libats/SATS_funmap_avltree_sats.c
cc -I. -I./ccomp/runtime -c -o libats_DATS_funmap_avltree_dats.o libats/DATS_funmap_avltree_dats.c
cc -I. -I./ccomp/runtime -c -o libats_SATS_funset_avltree_sats.o libats/SATS_funset_avltree_sats.c
cc -I. -I./ccomp/runtime -c -o libats_DATS_funset_avltree_dats.o libats/DATS_funset_avltree_dats.c
cc -I. -I./ccomp/runtime -c -o libats_SATS_funset_listord_sats.o libats/SATS_funset_listord_sats.c
cc -I. -I./ccomp/runtime -c -o libats_DATS_funset_listord_dats.o libats/DATS_funset_listord_dats.c
cc -I. -I./ccomp/runtime -c -o libats_SATS_funmset_listord_sats.o libats/SATS_funmset_listord_sats.c
cc -I. -I./ccomp/runtime -c -o libats_DATS_funmset_listord_dats.o libats/DATS_funmset_listord_dats.c
cc -I. -I./ccomp/runtime -c -o libats_SATS_hashtable_chain_sats.o libats/SATS_hashtable_chain_sats.c
cc -I. -I./ccomp/runtime -c -o libats_DATS_hashtable_chain_dats.o libats/DATS_hashtable_chain_dats.c
cc -I. -I./ccomp/runtime -c -o libats_SATS_hashtable_linprb_sats.o libats/SATS_hashtable_linprb_sats.c
cc -I. -I./ccomp/runtime -c -o libats_DATS_hashtable_linprb_dats.o libats/DATS_hashtable_linprb_dats.c
cc -I. -I./ccomp/runtime -c -o libats_SATS_linqueue_arr_sats.o libats/SATS_linqueue_arr_sats.c
cc -I. -I./ccomp/runtime -c -o libats_DATS_linqueue_arr_dats.o libats/DATS_linqueue_arr_dats.c
cc -I. -I./ccomp/runtime -c -o libats_SATS_linqueue_lst_sats.o libats/SATS_linqueue_lst_sats.c
cc -I. -I./ccomp/runtime -c -o libats_DATS_linqueue_lst_dats.o libats/DATS_linqueue_lst_dats.c
cc -I. -I./ccomp/runtime -c -o libats_ngc_SATS_deque_arr_sats.o libats/ngc_SATS_deque_arr_sats.c
cc -I. -I./ccomp/runtime -c -o libats_ngc_DATS_deque_arr_dats.o libats/ngc_DATS_deque_arr_dats.c
ld -r -o prelude_libats.o prelude_basics_sta_sats.o prelude_basics_dyn_sats.o prelude_ats_main_prelude_dats.o prelude_DATS_basics_dats.o prelude_DATS_bool_dats.o prelude_DATS_char_dats.o prelude_DATS_float_dats.o prelude_DATS_integer_dats.o prelude_DATS_sizetype_dats.o prelude_DATS_pointer_dats.o prelude_DATS_reference_dats.o prelude_DATS_string_dats.o prelude_DATS_lazy_dats.o prelude_DATS_lazy_vt_dats.o prelude_DATS_printf_dats.o prelude_DATS_filebas_dats.o prelude_DATS_list_dats.o prelude_DATS_list_vt_dats.o prelude_DATS_list0_dats.o prelude_DATS_option_dats.o prelude_DATS_option_vt_dats.o prelude_DATS_option0_dats.o prelude_DATS_array_dats.o prelude_DATS_array0_dats.o prelude_DATS_matrix_dats.o prelude_DATS_matrix0_dats.o prelude_DATS_ptrarr_dats.o prelude_DATS_unsafe_dats.o
ld -r -o libc_libats.o libc_SATS_errno_sats.o libc_SATS_fcntl_sats.o libc_DATS_fcntl_dats.o libc_SATS_stdarg_sats.o libc_SATS_stdio_sats.o libc_SATS_stdlib_sats.o libc_SATS_string_sats.o libc_SATS_time_sats.o libc_SATS_unistd_sats.o libc_DATS_unistd_dats.o libc_sys_SATS_stat_sats.o libc_sys_SATS_wait_sats.o libc_sys_SATS_types_sats.o libc_SATS_gmp_sats.o libc_DATS_gmp_dats.o
ld -r -o libats_libats.o libats_SATS_funmap_avltree_sats.o libats_DATS_funmap_avltree_dats.o libats_SATS_funset_avltree_sats.o libats_DATS_funset_avltree_dats.o libats_SATS_funset_listord_sats.o libats_DATS_funset_listord_dats.o libats_SATS_funmset_listord_sats.o libats_DATS_funmset_listord_dats.o libats_SATS_hashtable_chain_sats.o libats_DATS_hashtable_chain_dats.o libats_SATS_hashtable_linprb_sats.o libats_DATS_hashtable_linprb_dats.o libats_SATS_linqueue_arr_sats.o libats_DATS_linqueue_arr_dats.o libats_SATS_linqueue_lst_sats.o libats_DATS_linqueue_lst_dats.o libats_ngc_SATS_deque_arr_sats.o libats_ngc_DATS_deque_arr_dats.o
\
cc -O2 -I.  -o patsopt \
  ccomp/runtime/ats_prelude.c pats_main_dats.o pats_error_sats.o pats_intinf_sats.o pats_counter_sats.o pats_utils_sats.o pats_global_sats.o pats_basics_sats.o pats_stamp_sats.o pats_symbol_sats.o pats_filename_sats.o pats_location_sats.o pats_jsonize_sats.o pats_errmsg_sats.o pats_reader_sats.o pats_lexbuf_sats.o pats_lexing_sats.o pats_label_sats.o pats_effect_sats.o pats_fixity_sats.o pats_syntax_sats.o pats_depgen_sats.o pats_taggen_sats.o pats_tokbuf_sats.o pats_parsing_sats.o pats_symmap_sats.o pats_symenv_sats.o pats_staexp1_sats.o pats_dynexp1_sats.o pats_trans1_sats.o pats_trans1_env_sats.o pats_e1xpval_sats.o pats_staexp2_sats.o pats_stacst2_sats.o pats_staexp2_util_sats.o pats_staexp2_error_sats.o pats_staexp2_solve_sats.o pats_patcst2_sats.o pats_dynexp2_sats.o pats_dyncst2_sats.o pats_codegen2_sats.o pats_jsonize_synent2_sats.o pats_trans2_sats.o pats_namespace_sats.o pats_trans2_env_sats.o pats_dynexp3_sats.o pats_trans3_sats.o pats_trans3_env_sats.o pats_dmacro2_sats.o pats_lintprgm_sats.o pats_constraint3_sats.o pats_histaexp_sats.o pats_hidynexp_sats.o pats_typerase_sats.o pats_ccomp_sats.o pats_comarg_sats.o pats_error_dats.o pats_intinf_dats.o pats_counter_dats.o pats_utils_dats.o pats_global_dats.o pats_basics_dats.o pats_stamp_dats.o pats_symbol_dats.o pats_filename_dats.o pats_location_dats.o pats_jsonize_dats.o pats_errmsg_dats.o pats_reader_dats.o pats_lexbuf_dats.o pats_lexing_dats.o pats_lexing_print_dats.o pats_lexing_error_dats.o pats_lexing_token_dats.o pats_label_dats.o pats_effect_dats.o pats_fixity_prec_dats.o pats_fixity_fxty_dats.o pats_syntax_dats.o pats_syntax_print_dats.o pats_depgen_dats.o pats_taggen_dats.o pats_tokbuf_dats.o pats_parsing_dats.o pats_parsing_error_dats.o pats_parsing_util_dats.o pats_parsing_kwds_dats.o pats_parsing_base_dats.o pats_parsing_e0xp_dats.o pats_parsing_sort_dats.o pats_parsing_staexp_dats.o pats_parsing_p0at_dats.o pats_parsing_dynexp_dats.o pats_parsing_decl_dats.o pats_parsing_toplevel_dats.o pats_symmap_dats.o pats_symenv_dats.o pats_staexp1_dats.o pats_staexp1_print_dats.o pats_dynexp1_dats.o pats_dynexp1_print_dats.o pats_trans1_env_dats.o pats_e1xpval_dats.o pats_e1xpval_error_dats.o pats_filename_reloc_dats.o pats_trans1_error_dats.o pats_trans1_e0xp_dats.o pats_trans1_effect_dats.o pats_trans1_sort_dats.o pats_trans1_staexp_dats.o pats_trans1_p0at_dats.o pats_trans1_syndef_dats.o pats_trans1_dynexp_dats.o pats_trans1_decl_dats.o pats_staexp2_dats.o pats_stacst2_dats.o pats_staexp2_print_dats.o pats_staexp2_pprint_dats.o pats_staexp2_sort_dats.o pats_staexp2_scst_dats.o pats_staexp2_svar_dats.o pats_staexp2_svvar_dats.o pats_staexp2_hole_dats.o pats_staexp2_ctxt_dats.o pats_staexp2_dcon_dats.o pats_staexp2_skexp_dats.o pats_staexp2_szexp_dats.o pats_staexp2_util1_dats.o pats_staexp2_util2_dats.o pats_staexp2_util3_dats.o pats_staexp2_error_dats.o pats_staexp2_solve_dats.o pats_patcst2_dats.o pats_dynexp2_dats.o pats_dyncst2_dats.o pats_dynexp2_print_dats.o pats_dynexp2_dcst_dats.o pats_dynexp2_dvar_dats.o pats_dynexp2_dmac_dats.o pats_dynexp2_util_dats.o pats_dynexp2_mapgen_dats.o pats_codegen2_dats.o pats_codegen2_util_dats.o pats_codegen2_absrec_dats.o pats_codegen2_datype_dats.o pats_codegen2_fprint_dats.o pats_jsonize_synent2_dats.o pats_namespace_dats.o pats_trans2_env_dats.o pats_trans2_error_dats.o pats_trans2_sort_dats.o pats_trans2_staexp_dats.o pats_trans2_p1at_dats.o pats_trans2_dynexp_dats.o pats_trans2_impdec_dats.o pats_trans2_decl_dats.o pats_dynexp3_dats.o pats_dynexp3_print_dats.o pats_trans3_error_dats.o pats_trans3_util_dats.o pats_trans3_env_dats.o pats_trans3_env_print_dats.o pats_trans3_env_scst_dats.o pats_trans3_env_svar_dats.o pats_trans3_env_termet_dats.o pats_trans3_env_effect_dats.o pats_trans3_env_dvar_dats.o pats_trans3_env_lamlp_dats.o pats_trans3_env_pfman_dats.o pats_trans3_env_lstate_dats.o pats_dmacro2_dats.o pats_dmacro2_print_dats.o pats_dmacro2_eval0_dats.o pats_dmacro2_eval1_dats.o pats_trans3_p2at_dats.o pats_trans3_patcon_dats.o pats_trans3_syncst_dats.o pats_trans3_dynexp_up_dats.o pats_trans3_dynexp_dn_dats.o pats_trans3_appsym_dats.o pats_trans3_caseof_dats.o pats_trans3_selab_dats.o pats_trans3_ptrof_dats.o pats_trans3_viewat_dats.o pats_trans3_deref_dats.o pats_trans3_assgn_dats.o pats_trans3_xchng_dats.o pats_trans3_lvalres_dats.o pats_trans3_fldfrat_dats.o pats_trans3_looping_dats.o pats_trans3_decl_dats.o pats_lintprgm_dats.o pats_lintprgm_print_dats.o pats_lintprgm_myint_dats.o pats_lintprgm_solve_dats.o pats_constraint3_dats.o pats_constraint3_print_dats.o pats_constraint3_mapgen_dats.o pats_constraint3_jsonize_dats.o pats_constraint3_init_dats.o pats_constraint3_simplify_dats.o pats_constraint3_icnstr_dats.o pats_constraint3_solve_dats.o pats_histaexp_dats.o pats_histaexp_print_dats.o pats_histaexp_funlab_dats.o pats_hidynexp_dats.o pats_hidynexp_print_dats.o pats_hidynexp_util_dats.o pats_typerase_error_dats.o pats_typerase_staexp_dats.o pats_typerase_dynexp_dats.o pats_typerase_decl_dats.o pats_ccomp_dats.o pats_ccomp_print_dats.o pats_ccomp_hitype_dats.o pats_ccomp_tmplab_dats.o pats_ccomp_tmpvar_dats.o pats_ccomp_d2env_dats.o pats_ccomp_funlab_dats.o pats_ccomp_funent_dats.o pats_ccomp_util_dats.o pats_ccomp_ccompenv_dats.o pats_ccomp_instrseq_dats.o pats_ccomp_hipat_dats.o pats_ccomp_dynexp_dats.o pats_ccomp_caseof_dats.o pats_ccomp_claulst_dats.o pats_ccomp_lazyeval_dats.o pats_ccomp_trywith_dats.o pats_ccomp_looping_dats.o pats_ccomp_decl_dats.o pats_ccomp_subst_dats.o pats_ccomp_environ_dats.o pats_ccomp_template_dats.o pats_ccomp_emit_dats.o pats_ccomp_emit2_dats.o pats_ccomp_emit3_dats.o pats_ccomp_main_dats.o pats_comarg_dats.o prelude_libats.o libc_libats.o libats_libats.o   -lgmp 
make[1]: Leaving directory '/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2/src/CBOOT'
cp -f src/CBOOT/patsopt bin/patsopt
\
make -C src/CBOOT CCOMP=cc libatsopt
make[1]: Entering directory '/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2/src/CBOOT'
cc -O2 -I. -I./ccomp/runtime -c -o pats_main_none_dats.o pats_main_none_dats.c
\
ar -r libatsopt.a pats_main_none_dats.o pats_error_sats.o pats_intinf_sats.o pats_counter_sats.o pats_utils_sats.o pats_global_sats.o pats_basics_sats.o pats_stamp_sats.o pats_symbol_sats.o pats_filename_sats.o pats_location_sats.o pats_jsonize_sats.o pats_errmsg_sats.o pats_reader_sats.o pats_lexbuf_sats.o pats_lexing_sats.o pats_label_sats.o pats_effect_sats.o pats_fixity_sats.o pats_syntax_sats.o pats_depgen_sats.o pats_taggen_sats.o pats_tokbuf_sats.o pats_parsing_sats.o pats_symmap_sats.o pats_symenv_sats.o pats_staexp1_sats.o pats_dynexp1_sats.o pats_trans1_sats.o pats_trans1_env_sats.o pats_e1xpval_sats.o pats_staexp2_sats.o pats_stacst2_sats.o pats_staexp2_util_sats.o pats_staexp2_error_sats.o pats_staexp2_solve_sats.o pats_patcst2_sats.o pats_dynexp2_sats.o pats_dyncst2_sats.o pats_codegen2_sats.o pats_jsonize_synent2_sats.o pats_trans2_sats.o pats_namespace_sats.o pats_trans2_env_sats.o pats_dynexp3_sats.o pats_trans3_sats.o pats_trans3_env_sats.o pats_dmacro2_sats.o pats_lintprgm_sats.o pats_constraint3_sats.o pats_histaexp_sats.o pats_hidynexp_sats.o pats_typerase_sats.o pats_ccomp_sats.o pats_comarg_sats.o pats_error_dats.o pats_intinf_dats.o pats_counter_dats.o pats_utils_dats.o pats_global_dats.o pats_basics_dats.o pats_stamp_dats.o pats_symbol_dats.o pats_filename_dats.o pats_location_dats.o pats_jsonize_dats.o pats_errmsg_dats.o pats_reader_dats.o pats_lexbuf_dats.o pats_lexing_dats.o pats_lexing_print_dats.o pats_lexing_error_dats.o pats_lexing_token_dats.o pats_label_dats.o pats_effect_dats.o pats_fixity_prec_dats.o pats_fixity_fxty_dats.o pats_syntax_dats.o pats_syntax_print_dats.o pats_depgen_dats.o pats_taggen_dats.o pats_tokbuf_dats.o pats_parsing_dats.o pats_parsing_error_dats.o pats_parsing_util_dats.o pats_parsing_kwds_dats.o pats_parsing_base_dats.o pats_parsing_e0xp_dats.o pats_parsing_sort_dats.o pats_parsing_staexp_dats.o pats_parsing_p0at_dats.o pats_parsing_dynexp_dats.o pats_parsing_decl_dats.o pats_parsing_toplevel_dats.o pats_symmap_dats.o pats_symenv_dats.o pats_staexp1_dats.o pats_staexp1_print_dats.o pats_dynexp1_dats.o pats_dynexp1_print_dats.o pats_trans1_env_dats.o pats_e1xpval_dats.o pats_e1xpval_error_dats.o pats_filename_reloc_dats.o pats_trans1_error_dats.o pats_trans1_e0xp_dats.o pats_trans1_effect_dats.o pats_trans1_sort_dats.o pats_trans1_staexp_dats.o pats_trans1_p0at_dats.o pats_trans1_syndef_dats.o pats_trans1_dynexp_dats.o pats_trans1_decl_dats.o pats_staexp2_dats.o pats_stacst2_dats.o pats_staexp2_print_dats.o pats_staexp2_pprint_dats.o pats_staexp2_sort_dats.o pats_staexp2_scst_dats.o pats_staexp2_svar_dats.o pats_staexp2_svvar_dats.o pats_staexp2_hole_dats.o pats_staexp2_ctxt_dats.o pats_staexp2_dcon_dats.o pats_staexp2_skexp_dats.o pats_staexp2_szexp_dats.o pats_staexp2_util1_dats.o pats_staexp2_util2_dats.o pats_staexp2_util3_dats.o pats_staexp2_error_dats.o pats_staexp2_solve_dats.o pats_patcst2_dats.o pats_dynexp2_dats.o pats_dyncst2_dats.o pats_dynexp2_print_dats.o pats_dynexp2_dcst_dats.o pats_dynexp2_dvar_dats.o pats_dynexp2_dmac_dats.o pats_dynexp2_util_dats.o pats_dynexp2_mapgen_dats.o pats_codegen2_dats.o pats_codegen2_util_dats.o pats_codegen2_absrec_dats.o pats_codegen2_datype_dats.o pats_codegen2_fprint_dats.o pats_jsonize_synent2_dats.o pats_namespace_dats.o pats_trans2_env_dats.o pats_trans2_error_dats.o pats_trans2_sort_dats.o pats_trans2_staexp_dats.o pats_trans2_p1at_dats.o pats_trans2_dynexp_dats.o pats_trans2_impdec_dats.o pats_trans2_decl_dats.o pats_dynexp3_dats.o pats_dynexp3_print_dats.o pats_trans3_error_dats.o pats_trans3_util_dats.o pats_trans3_env_dats.o pats_trans3_env_print_dats.o pats_trans3_env_scst_dats.o pats_trans3_env_svar_dats.o pats_trans3_env_termet_dats.o pats_trans3_env_effect_dats.o pats_trans3_env_dvar_dats.o pats_trans3_env_lamlp_dats.o pats_trans3_env_pfman_dats.o pats_trans3_env_lstate_dats.o pats_dmacro2_dats.o pats_dmacro2_print_dats.o pats_dmacro2_eval0_dats.o pats_dmacro2_eval1_dats.o pats_trans3_p2at_dats.o pats_trans3_patcon_dats.o pats_trans3_syncst_dats.o pats_trans3_dynexp_up_dats.o pats_trans3_dynexp_dn_dats.o pats_trans3_appsym_dats.o pats_trans3_caseof_dats.o pats_trans3_selab_dats.o pats_trans3_ptrof_dats.o pats_trans3_viewat_dats.o pats_trans3_deref_dats.o pats_trans3_assgn_dats.o pats_trans3_xchng_dats.o pats_trans3_lvalres_dats.o pats_trans3_fldfrat_dats.o pats_trans3_looping_dats.o pats_trans3_decl_dats.o pats_lintprgm_dats.o pats_lintprgm_print_dats.o pats_lintprgm_myint_dats.o pats_lintprgm_solve_dats.o pats_constraint3_dats.o pats_constraint3_print_dats.o pats_constraint3_mapgen_dats.o pats_constraint3_jsonize_dats.o pats_constraint3_init_dats.o pats_constraint3_simplify_dats.o pats_constraint3_icnstr_dats.o pats_constraint3_solve_dats.o pats_histaexp_dats.o pats_histaexp_print_dats.o pats_histaexp_funlab_dats.o pats_hidynexp_dats.o pats_hidynexp_print_dats.o pats_hidynexp_util_dats.o pats_typerase_error_dats.o pats_typerase_staexp_dats.o pats_typerase_dynexp_dats.o pats_typerase_decl_dats.o pats_ccomp_dats.o pats_ccomp_print_dats.o pats_ccomp_hitype_dats.o pats_ccomp_tmplab_dats.o pats_ccomp_tmpvar_dats.o pats_ccomp_d2env_dats.o pats_ccomp_funlab_dats.o pats_ccomp_funent_dats.o pats_ccomp_util_dats.o pats_ccomp_ccompenv_dats.o pats_ccomp_instrseq_dats.o pats_ccomp_hipat_dats.o pats_ccomp_dynexp_dats.o pats_ccomp_caseof_dats.o pats_ccomp_claulst_dats.o pats_ccomp_lazyeval_dats.o pats_ccomp_trywith_dats.o pats_ccomp_looping_dats.o pats_ccomp_decl_dats.o pats_ccomp_subst_dats.o pats_ccomp_environ_dats.o pats_ccomp_template_dats.o pats_ccomp_emit_dats.o pats_ccomp_emit2_dats.o pats_ccomp_emit3_dats.o pats_ccomp_main_dats.o pats_comarg_dats.o prelude_libats.o libc_libats.o libats_libats.o 
ar: creating libatsopt.a
make[1]: Leaving directory '/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2/src/CBOOT'
\
cp -f src/CBOOT/libatsopt.a ccomp/atslib/lib/.
\
make -C utils/atscc copy build clean
make[1]: Entering directory '/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2/utils/atscc'
\
cp -f DATS/*.?ats BUILD/.
\
make \
-C BUILD -f ../Makefile_build
make[2]: Entering directory '/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2/utils/atscc/BUILD'
rm -f *~
rm -f *_?ats.o
rm -f *_?ats.c
"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/bin/patsopt --output patscc_dats.c --dynamic patscc.dats
"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/bin/patsopt --output atscc_main_dats.c --dynamic atscc_main.dats
"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/bin/patsopt --output atscc_print_dats.c --dynamic atscc_print.dats
\
  cc -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2" -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/ccomp/runtime -std=c99 -D_XOPEN_SOURCE -DATS_MEMALLOC_LIBC -O2 -o patscc patscc_dats.c atscc_main_dats.c atscc_print_dats.c
make[2]: Leaving directory '/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2/utils/atscc/BUILD'
rm -f ./BUILD/*.o
rm -f ./BUILD/*.c
rm -f ./BUILD/*.?ats
make[1]: Leaving directory '/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2/utils/atscc'
\
mv -f utils/atscc/BUILD/patscc bin/patscc
\
make -C utils/myatscc copy build clean
make[1]: Entering directory '/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2/utils/myatscc'
\
cp -f DATS/*.?ats BUILD/.
\
make \
-C BUILD -f ../Makefile_build
make[2]: Entering directory '/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2/utils/myatscc/BUILD'
/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2/bin/patsopt --output myatscc_main_dats.c --dynamic myatscc_main.dats
/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2/bin/patsopt --output myatscc_parcomb_sats.c --static myatscc_parcomb.sats
/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2/bin/patsopt --output myatscc_parcomb_dats.c --dynamic myatscc_parcomb.dats
\
/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2/bin/patscc -verbose -atsccomp "cc" -O2 -I/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2 -I/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2/ccomp/runtime -D_GNU_SOURCE -DATS_MEMALLOC_LIBC -o myatscc myatscc_main_dats.c myatscc_parcomb_sats.c myatscc_parcomb_dats.c
exec(cc -O2 -I/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2 -I/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2/ccomp/runtime -D_GNU_SOURCE -DATS_MEMALLOC_LIBC -o myatscc myatscc_main_dats.c myatscc_parcomb_sats.c myatscc_parcomb_dats.c)
exec(cc -O2 -I/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2 -I/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2/ccomp/runtime -D_GNU_SOURCE -DATS_MEMALLOC_LIBC -o myatscc myatscc_main_dats.c myatscc_parcomb_sats.c myatscc_parcomb_dats.c) = 0
make[2]: Leaving directory '/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2/utils/myatscc/BUILD'
rm -f ./BUILD/*.o
rm -f ./BUILD/*.c
rm -f ./BUILD/*.?ats
make[1]: Leaving directory '/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2/utils/myatscc'
\
mv -f utils/myatscc/BUILD/myatscc bin/myatscc
make -C ccomp/atslib atslib
make[1]: Entering directory '/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2/ccomp/atslib'
"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/bin/patsopt -o output/atslib_prelude_DATS_basics_dats.c --dynamic /home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2/prelude/DATS/basics.dats
\
  cc -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2" -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/ccomp/runtime  -fPIC -O2 -c -o output/atslib_prelude_DATS_basics_dats.o output/atslib_prelude_DATS_basics_dats.c
ar -r lib/libatslib.a output/atslib_prelude_DATS_basics_dats.o
ar: creating lib/libatslib.a
"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/bin/patsopt -o output/atslib_prelude_DATS_integer_dats.c --dynamic /home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2/prelude/DATS/integer.dats
\
  cc -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2" -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/ccomp/runtime  -fPIC -O2 -c -o output/atslib_prelude_DATS_integer_dats.o output/atslib_prelude_DATS_integer_dats.c
ar -r lib/libatslib.a output/atslib_prelude_DATS_integer_dats.o
"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/bin/patsopt -o output/atslib_prelude_DATS_pointer_dats.c --dynamic /home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2/prelude/DATS/pointer.dats
\
  cc -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2" -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/ccomp/runtime  -fPIC -O2 -c -o output/atslib_prelude_DATS_pointer_dats.o output/atslib_prelude_DATS_pointer_dats.c
ar -r lib/libatslib.a output/atslib_prelude_DATS_pointer_dats.o
"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/bin/patsopt -o output/atslib_prelude_DATS_integer_long_dats.c --dynamic /home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2/prelude/DATS/integer_long.dats
\
  cc -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2" -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/ccomp/runtime  -fPIC -O2 -c -o output/atslib_prelude_DATS_integer_long_dats.o output/atslib_prelude_DATS_integer_long_dats.c
ar -r lib/libatslib.a output/atslib_prelude_DATS_integer_long_dats.o
"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/bin/patsopt -o output/atslib_prelude_DATS_integer_size_dats.c --dynamic /home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2/prelude/DATS/integer_size.dats
\
  cc -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2" -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/ccomp/runtime  -fPIC -O2 -c -o output/atslib_prelude_DATS_integer_size_dats.o output/atslib_prelude_DATS_integer_size_dats.c
ar -r lib/libatslib.a output/atslib_prelude_DATS_integer_size_dats.o
"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/bin/patsopt -o output/atslib_prelude_DATS_integer_short_dats.c --dynamic /home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2/prelude/DATS/integer_short.dats
\
  cc -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2" -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/ccomp/runtime  -fPIC -O2 -c -o output/atslib_prelude_DATS_integer_short_dats.o output/atslib_prelude_DATS_integer_short_dats.c
ar -r lib/libatslib.a output/atslib_prelude_DATS_integer_short_dats.o
"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/bin/patsopt -o output/atslib_prelude_DATS_bool_dats.c --dynamic /home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2/prelude/DATS/bool.dats
\
  cc -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2" -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/ccomp/runtime  -fPIC -O2 -c -o output/atslib_prelude_DATS_bool_dats.o output/atslib_prelude_DATS_bool_dats.c
ar -r lib/libatslib.a output/atslib_prelude_DATS_bool_dats.o
"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/bin/patsopt -o output/atslib_prelude_DATS_char_dats.c --dynamic /home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2/prelude/DATS/char.dats
\
  cc -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2" -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/ccomp/runtime  -fPIC -O2 -c -o output/atslib_prelude_DATS_char_dats.o output/atslib_prelude_DATS_char_dats.c
ar -r lib/libatslib.a output/atslib_prelude_DATS_char_dats.o
"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/bin/patsopt -o output/atslib_prelude_DATS_float_dats.c --dynamic /home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2/prelude/DATS/float.dats
\
  cc -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2" -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/ccomp/runtime  -fPIC -O2 -c -o output/atslib_prelude_DATS_float_dats.o output/atslib_prelude_DATS_float_dats.c
ar -r lib/libatslib.a output/atslib_prelude_DATS_float_dats.o
"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/bin/patsopt -o output/atslib_prelude_DATS_string_dats.c --dynamic /home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2/prelude/DATS/string.dats
\
  cc -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2" -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/ccomp/runtime  -fPIC -O2 -c -o output/atslib_prelude_DATS_string_dats.o output/atslib_prelude_DATS_string_dats.c
ar -r lib/libatslib.a output/atslib_prelude_DATS_string_dats.o
"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/bin/patsopt -o output/atslib_prelude_DATS_strptr_dats.c --dynamic /home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2/prelude/DATS/strptr.dats
\
  cc -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2" -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/ccomp/runtime  -fPIC -O2 -c -o output/atslib_prelude_DATS_strptr_dats.o output/atslib_prelude_DATS_strptr_dats.c
ar -r lib/libatslib.a output/atslib_prelude_DATS_strptr_dats.o
"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/bin/patsopt -o output/atslib_prelude_DATS_integer_ptr_dats.c --dynamic /home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2/prelude/DATS/integer_ptr.dats
\
  cc -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2" -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/ccomp/runtime  -fPIC -O2 -c -o output/atslib_prelude_DATS_integer_ptr_dats.o output/atslib_prelude_DATS_integer_ptr_dats.c
ar -r lib/libatslib.a output/atslib_prelude_DATS_integer_ptr_dats.o
"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/bin/patsopt -o output/atslib_prelude_DATS_integer_fixed_dats.c --dynamic /home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2/prelude/DATS/integer_fixed.dats
\
  cc -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2" -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/ccomp/runtime  -fPIC -O2 -c -o output/atslib_prelude_DATS_integer_fixed_dats.o output/atslib_prelude_DATS_integer_fixed_dats.c
ar -r lib/libatslib.a output/atslib_prelude_DATS_integer_fixed_dats.o
"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/bin/patsopt -o output/atslib_prelude_DATS_filebas_dats.c --dynamic /home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2/prelude/DATS/filebas.dats
\
  cc -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2" -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/ccomp/runtime  -fPIC -O2 -c -o output/atslib_prelude_DATS_filebas_dats.o output/atslib_prelude_DATS_filebas_dats.c
ar -r lib/libatslib.a output/atslib_prelude_DATS_filebas_dats.o
"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/bin/patsopt -o output/atslib_libats_DATS_stringbuf_dats.c --dynamic /home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2/libats/DATS/stringbuf.dats
\
  cc -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2" -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/ccomp/runtime  -fPIC -O2 -c -o output/atslib_libats_DATS_stringbuf_dats.o output/atslib_libats_DATS_stringbuf_dats.c
ar -r lib/libatslib.a output/atslib_libats_DATS_stringbuf_dats.o
"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/bin/patsopt -o output/atslib_libats_DATS_funmap_list_dats.c --dynamic /home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2/libats/DATS/funmap_list.dats
\
  cc -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2" -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/ccomp/runtime  -fPIC -O2 -c -o output/atslib_libats_DATS_funmap_list_dats.o output/atslib_libats_DATS_funmap_list_dats.c
ar -r lib/libatslib.a output/atslib_libats_DATS_funmap_list_dats.o
"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/bin/patsopt -o output/atslib_libats_DATS_funmap_avltree_dats.c --dynamic /home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2/libats/DATS/funmap_avltree.dats
\
  cc -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2" -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/ccomp/runtime  -fPIC -O2 -c -o output/atslib_libats_DATS_funmap_avltree_dats.o output/atslib_libats_DATS_funmap_avltree_dats.c
ar -r lib/libatslib.a output/atslib_libats_DATS_funmap_avltree_dats.o
"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/bin/patsopt -o output/atslib_libats_DATS_funset_listord_dats.c --dynamic /home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2/libats/DATS/funset_listord.dats
\
  cc -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2" -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/ccomp/runtime  -fPIC -O2 -c -o output/atslib_libats_DATS_funset_listord_dats.o output/atslib_libats_DATS_funset_listord_dats.c
ar -r lib/libatslib.a output/atslib_libats_DATS_funset_listord_dats.o
"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/bin/patsopt -o output/atslib_libats_DATS_funset_avltree_dats.c --dynamic /home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2/libats/DATS/funset_avltree.dats
\
  cc -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2" -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/ccomp/runtime  -fPIC -O2 -c -o output/atslib_libats_DATS_funset_avltree_dats.o output/atslib_libats_DATS_funset_avltree_dats.c
ar -r lib/libatslib.a output/atslib_libats_DATS_funset_avltree_dats.o
"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/bin/patsopt -o output/atslib_libats_DATS_funarray_braunt_dats.c --dynamic /home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2/libats/DATS/funarray_braunt.dats
\
  cc -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2" -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/ccomp/runtime  -fPIC -O2 -c -o output/atslib_libats_DATS_funarray_braunt_dats.o output/atslib_libats_DATS_funarray_braunt_dats.c
ar -r lib/libatslib.a output/atslib_libats_DATS_funarray_braunt_dats.o
"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/bin/patsopt -o output/atslib_libats_DATS_fundeque_fngtree_dats.c --dynamic /home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2/libats/DATS/fundeque_fngtree.dats
\
  cc -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2" -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/ccomp/runtime  -fPIC -O2 -c -o output/atslib_libats_DATS_fundeque_fngtree_dats.o output/atslib_libats_DATS_fundeque_fngtree_dats.c
ar -r lib/libatslib.a output/atslib_libats_DATS_fundeque_fngtree_dats.o
"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/bin/patsopt -o output/atslib_libats_DATS_funralist_nested_dats.c --dynamic /home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2/libats/DATS/funralist_nested.dats
\
  cc -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2" -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/ccomp/runtime  -fPIC -O2 -c -o output/atslib_libats_DATS_funralist_nested_dats.o output/atslib_libats_DATS_funralist_nested_dats.c
ar -r lib/libatslib.a output/atslib_libats_DATS_funralist_nested_dats.o
"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/bin/patsopt -o output/atslib_libats_DATS_linmap_list_dats.c --dynamic /home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2/libats/DATS/linmap_list.dats
\
  cc -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2" -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/ccomp/runtime  -fPIC -O2 -c -o output/atslib_libats_DATS_linmap_list_dats.o output/atslib_libats_DATS_linmap_list_dats.c
ar -r lib/libatslib.a output/atslib_libats_DATS_linmap_list_dats.o
"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/bin/patsopt -o output/atslib_libats_DATS_linmap_randbst_dats.c --dynamic /home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2/libats/DATS/linmap_randbst.dats
\
  cc -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2" -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/ccomp/runtime  -fPIC -O2 -c -o output/atslib_libats_DATS_linmap_randbst_dats.o output/atslib_libats_DATS_linmap_randbst_dats.c
ar -r lib/libatslib.a output/atslib_libats_DATS_linmap_randbst_dats.o
"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/bin/patsopt -o output/atslib_libats_DATS_linmap_skiplist_dats.c --dynamic /home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2/libats/DATS/linmap_skiplist.dats
\
  cc -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2" -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/ccomp/runtime  -fPIC -O2 -c -o output/atslib_libats_DATS_linmap_skiplist_dats.o output/atslib_libats_DATS_linmap_skiplist_dats.c
ar -r lib/libatslib.a output/atslib_libats_DATS_linmap_skiplist_dats.o
"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/bin/patsopt -o output/atslib_libats_DATS_linset_listord_dats.c --dynamic /home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2/libats/DATS/linset_listord.dats
\
  cc -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2" -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/ccomp/runtime  -fPIC -O2 -c -o output/atslib_libats_DATS_linset_listord_dats.o output/atslib_libats_DATS_linset_listord_dats.c
ar -r lib/libatslib.a output/atslib_libats_DATS_linset_listord_dats.o
"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/bin/patsopt -o output/atslib_libats_DATS_linset_avltree_dats.c --dynamic /home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2/libats/DATS/linset_avltree.dats
\
  cc -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2" -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/ccomp/runtime  -fPIC -O2 -c -o output/atslib_libats_DATS_linset_avltree_dats.o output/atslib_libats_DATS_linset_avltree_dats.c
ar -r lib/libatslib.a output/atslib_libats_DATS_linset_avltree_dats.o
"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/bin/patsopt -o output/atslib_libats_DATS_linralist_nested_dats.c --dynamic /home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2/libats/DATS/linralist_nested.dats
\
  cc -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2" -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/ccomp/runtime  -fPIC -O2 -c -o output/atslib_libats_DATS_linralist_nested_dats.o output/atslib_libats_DATS_linralist_nested_dats.c
ar -r lib/libatslib.a output/atslib_libats_DATS_linralist_nested_dats.o
"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/bin/patsopt -o output/atslib_libats_DATS_hashtbl_chain_dats.c --dynamic /home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2/libats/DATS/hashtbl_chain.dats
\
  cc -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2" -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/ccomp/runtime  -fPIC -O2 -c -o output/atslib_libats_DATS_hashtbl_chain_dats.o output/atslib_libats_DATS_hashtbl_chain_dats.c
ar -r lib/libatslib.a output/atslib_libats_DATS_hashtbl_chain_dats.o
"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/bin/patsopt -o output/atslib_libats_ML_DATS_list0_dats.c --dynamic /home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2/libats/ML/DATS/list0.dats
\
  cc -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2" -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/ccomp/runtime  -fPIC -O2 -c -o output/atslib_libats_ML_DATS_list0_dats.o output/atslib_libats_ML_DATS_list0_dats.c
ar -r lib/libatslib.a output/atslib_libats_ML_DATS_list0_dats.o
"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/bin/patsopt -o output/atslib_libats_ML_DATS_option0_dats.c --dynamic /home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2/libats/ML/DATS/option0.dats
\
  cc -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2" -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/ccomp/runtime  -fPIC -O2 -c -o output/atslib_libats_ML_DATS_option0_dats.o output/atslib_libats_ML_DATS_option0_dats.c
ar -r lib/libatslib.a output/atslib_libats_ML_DATS_option0_dats.o
"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/bin/patsopt -o output/atslib_libats_ML_DATS_array0_dats.c --dynamic /home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2/libats/ML/DATS/array0.dats
\
  cc -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2" -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/ccomp/runtime  -fPIC -O2 -c -o output/atslib_libats_ML_DATS_array0_dats.o output/atslib_libats_ML_DATS_array0_dats.c
ar -r lib/libatslib.a output/atslib_libats_ML_DATS_array0_dats.o
"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/bin/patsopt -o output/atslib_libats_ML_DATS_matrix0_dats.c --dynamic /home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2/libats/ML/DATS/matrix0.dats
\
  cc -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2" -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/ccomp/runtime  -fPIC -O2 -c -o output/atslib_libats_ML_DATS_matrix0_dats.o output/atslib_libats_ML_DATS_matrix0_dats.c
ar -r lib/libatslib.a output/atslib_libats_ML_DATS_matrix0_dats.o
"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/bin/patsopt -o output/atslib_libats_ML_DATS_string_dats.c --dynamic /home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2/libats/ML/DATS/string.dats
\
  cc -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2" -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/ccomp/runtime  -fPIC -O2 -c -o output/atslib_libats_ML_DATS_string_dats.o output/atslib_libats_ML_DATS_string_dats.c
ar -r lib/libatslib.a output/atslib_libats_ML_DATS_string_dats.o
"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/bin/patsopt -o output/atslib_libats_ML_DATS_strarr_dats.c --dynamic /home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2/libats/ML/DATS/strarr.dats
\
  cc -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2" -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/ccomp/runtime  -fPIC -O2 -c -o output/atslib_libats_ML_DATS_strarr_dats.o output/atslib_libats_ML_DATS_strarr_dats.c
ar -r lib/libatslib.a output/atslib_libats_ML_DATS_strarr_dats.o
"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/bin/patsopt -o output/atslib_libats_ML_DATS_argvec_dats.c --dynamic /home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2/libats/ML/DATS/argvec.dats
\
  cc -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2" -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/ccomp/runtime  -fPIC -O2 -c -o output/atslib_libats_ML_DATS_argvec_dats.o output/atslib_libats_ML_DATS_argvec_dats.c
ar -r lib/libatslib.a output/atslib_libats_ML_DATS_argvec_dats.o
"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/bin/patsopt -o output/atslib_libats_ML_DATS_gvalue_dats.c --dynamic /home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2/libats/ML/DATS/gvalue.dats
\
  cc -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2" -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/ccomp/runtime  -fPIC -O2 -c -o output/atslib_libats_ML_DATS_gvalue_dats.o output/atslib_libats_ML_DATS_gvalue_dats.c
ar -r lib/libatslib.a output/atslib_libats_ML_DATS_gvalue_dats.o
"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/bin/patsopt -o output/atslib_libats_ML_DATS_dynarray_dats.c --dynamic /home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2/libats/ML/DATS/dynarray.dats
\
  cc -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2" -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/ccomp/runtime  -fPIC -O2 -c -o output/atslib_libats_ML_DATS_dynarray_dats.o output/atslib_libats_ML_DATS_dynarray_dats.c
ar -r lib/libatslib.a output/atslib_libats_ML_DATS_dynarray_dats.o
"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/bin/patsopt -o output/atslib_libats_ML_DATS_hashtblref_dats.c --dynamic /home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2/libats/ML/DATS/hashtblref.dats
\
  cc -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2" -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/ccomp/runtime  -fPIC -O2 -c -o output/atslib_libats_ML_DATS_hashtblref_dats.o output/atslib_libats_ML_DATS_hashtblref_dats.c
ar -r lib/libatslib.a output/atslib_libats_ML_DATS_hashtblref_dats.o
"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/bin/patsopt -o output/atslib_libats_ML_DATS_filebas_dats.c --dynamic /home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2/libats/ML/DATS/filebas.dats
\
  cc -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2" -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/ccomp/runtime  -fPIC -O2 -c -o output/atslib_libats_ML_DATS_filebas_dats.o output/atslib_libats_ML_DATS_filebas_dats.c
ar -r lib/libatslib.a output/atslib_libats_ML_DATS_filebas_dats.o
"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/bin/patsopt -o output/atslib_libats_ML_DATS_filebas_dirent_dats.c --dynamic /home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2/libats/ML/DATS/filebas_dirent.dats
\
  cc -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2" -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/ccomp/runtime  -fPIC -O2 -c -o output/atslib_libats_ML_DATS_filebas_dirent_dats.o output/atslib_libats_ML_DATS_filebas_dirent_dats.c
ar -r lib/libatslib.a output/atslib_libats_ML_DATS_filebas_dirent_dats.o
"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/bin/patsopt -o output/atslib_libats_ML_COMPILE_DATS_array0_dats.c --dynamic /home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2/libats/ML/COMPILE/DATS/array0.dats
\
  cc -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2" -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/ccomp/runtime  -fPIC -O2 -c -o output/atslib_libats_ML_COMPILE_DATS_array0_dats.o output/atslib_libats_ML_COMPILE_DATS_array0_dats.c
ar -r lib/libatslib.a output/atslib_libats_ML_COMPILE_DATS_array0_dats.o
"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/bin/patsopt -o output/atslib_libats_ML_COMPILE_DATS_string_dats.c --dynamic /home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2/libats/ML/COMPILE/DATS/string.dats
\
  cc -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2" -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/ccomp/runtime  -fPIC -O2 -c -o output/atslib_libats_ML_COMPILE_DATS_string_dats.o output/atslib_libats_ML_COMPILE_DATS_string_dats.c
ar -r lib/libatslib.a output/atslib_libats_ML_COMPILE_DATS_string_dats.o
"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/bin/patsopt -o output/atslib_libats_ML_COMPILE_DATS_funmap_dats.c --dynamic /home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2/libats/ML/COMPILE/DATS/funmap.dats
\
  cc -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2" -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/ccomp/runtime  -fPIC -O2 -c -o output/atslib_libats_ML_COMPILE_DATS_funmap_dats.o output/atslib_libats_ML_COMPILE_DATS_funmap_dats.c
ar -r lib/libatslib.a output/atslib_libats_ML_COMPILE_DATS_funmap_dats.o
"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/bin/patsopt -o output/atslib_libats_ML_COMPILE_DATS_funarray_dats.c --dynamic /home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2/libats/ML/COMPILE/DATS/funarray.dats
\
  cc -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2" -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/ccomp/runtime  -fPIC -O2 -c -o output/atslib_libats_ML_COMPILE_DATS_funarray_dats.o output/atslib_libats_ML_COMPILE_DATS_funarray_dats.c
ar -r lib/libatslib.a output/atslib_libats_ML_COMPILE_DATS_funarray_dats.o
"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/bin/patsopt -o output/atslib_libats_ML_COMPILE_DATS_hashtblref_dats.c --dynamic /home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2/libats/ML/COMPILE/DATS/hashtblref.dats
\
  cc -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2" -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/ccomp/runtime  -fPIC -O2 -c -o output/atslib_libats_ML_COMPILE_DATS_hashtblref_dats.o output/atslib_libats_ML_COMPILE_DATS_hashtblref_dats.c
ar -r lib/libatslib.a output/atslib_libats_ML_COMPILE_DATS_hashtblref_dats.o
"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/bin/patsopt -o output/atslib_libats_libc_DATS_math_dats.c --dynamic /home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2/libats/libc/DATS/math.dats
\
  cc -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2" -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/ccomp/runtime  -fPIC -O2 -c -o output/atslib_libats_libc_DATS_math_dats.o output/atslib_libats_libc_DATS_math_dats.c
ar -r lib/libatslib.a output/atslib_libats_libc_DATS_math_dats.o
"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/bin/patsopt -o output/atslib_libats_libc_DATS_float_dats.c --dynamic /home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2/libats/libc/DATS/float.dats
\
  cc -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2" -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/ccomp/runtime  -fPIC -O2 -c -o output/atslib_libats_libc_DATS_float_dats.o output/atslib_libats_libc_DATS_float_dats.c
ar -r lib/libatslib.a output/atslib_libats_libc_DATS_float_dats.o
"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/bin/patsopt -o output/atslib_libats_libc_DATS_errno_dats.c --dynamic /home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2/libats/libc/DATS/errno.dats
\
  cc -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2" -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/ccomp/runtime  -fPIC -O2 -c -o output/atslib_libats_libc_DATS_errno_dats.o output/atslib_libats_libc_DATS_errno_dats.c
ar -r lib/libatslib.a output/atslib_libats_libc_DATS_errno_dats.o
"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/bin/patsopt -o output/atslib_libats_libc_DATS_fcntl_dats.c --dynamic /home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2/libats/libc/DATS/fcntl.dats
\
  cc -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2" -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/ccomp/runtime  -fPIC -O2 -c -o output/atslib_libats_libc_DATS_fcntl_dats.o output/atslib_libats_libc_DATS_fcntl_dats.c
ar -r lib/libatslib.a output/atslib_libats_libc_DATS_fcntl_dats.o
"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/bin/patsopt -o output/atslib_libats_libc_DATS_dirent_dats.c --dynamic /home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2/libats/libc/DATS/dirent.dats
\
  cc -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2" -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/ccomp/runtime  -fPIC -O2 -c -o output/atslib_libats_libc_DATS_dirent_dats.o output/atslib_libats_libc_DATS_dirent_dats.c
ar -r lib/libatslib.a output/atslib_libats_libc_DATS_dirent_dats.o
"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/bin/patsopt -o output/atslib_libats_libc_DATS_stdio_dats.c --dynamic /home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2/libats/libc/DATS/stdio.dats
\
  cc -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2" -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/ccomp/runtime  -fPIC -O2 -c -o output/atslib_libats_libc_DATS_stdio_dats.o output/atslib_libats_libc_DATS_stdio_dats.c
ar -r lib/libatslib.a output/atslib_libats_libc_DATS_stdio_dats.o
"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/bin/patsopt -o output/atslib_libats_libc_DATS_stdlib_dats.c --dynamic /home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2/libats/libc/DATS/stdlib.dats
\
  cc -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2" -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/ccomp/runtime  -fPIC -O2 -c -o output/atslib_libats_libc_DATS_stdlib_dats.o output/atslib_libats_libc_DATS_stdlib_dats.c
ar -r lib/libatslib.a output/atslib_libats_libc_DATS_stdlib_dats.o
"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/bin/patsopt -o output/atslib_libats_libc_DATS_string_dats.c --dynamic /home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2/libats/libc/DATS/string.dats
\
  cc -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2" -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/ccomp/runtime  -fPIC -O2 -c -o output/atslib_libats_libc_DATS_string_dats.o output/atslib_libats_libc_DATS_string_dats.c
ar -r lib/libatslib.a output/atslib_libats_libc_DATS_string_dats.o
"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/bin/patsopt -o output/atslib_libats_libc_DATS_strings_dats.c --dynamic /home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2/libats/libc/DATS/strings.dats
\
  cc -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2" -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/ccomp/runtime  -fPIC -O2 -c -o output/atslib_libats_libc_DATS_strings_dats.o output/atslib_libats_libc_DATS_strings_dats.c
ar -r lib/libatslib.a output/atslib_libats_libc_DATS_strings_dats.o
"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/bin/patsopt -o output/atslib_libats_libc_DATS_time_dats.c --dynamic /home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2/libats/libc/DATS/time.dats
\
  cc -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2" -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/ccomp/runtime  -fPIC -O2 -c -o output/atslib_libats_libc_DATS_time_dats.o output/atslib_libats_libc_DATS_time_dats.c
ar -r lib/libatslib.a output/atslib_libats_libc_DATS_time_dats.o
"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/bin/patsopt -o output/atslib_libats_libc_DATS_unistd_dats.c --dynamic /home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2/libats/libc/DATS/unistd.dats
\
  cc -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2" -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/ccomp/runtime  -fPIC -O2 -c -o output/atslib_libats_libc_DATS_unistd_dats.o output/atslib_libats_libc_DATS_unistd_dats.c
ar -r lib/libatslib.a output/atslib_libats_libc_DATS_unistd_dats.o
"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/bin/patsopt -o output/atslib_libats_libc_DATS_sys_stat_dats.c --dynamic /home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2/libats/libc/DATS/sys/stat.dats
\
  cc -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2" -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/ccomp/runtime  -fPIC -O2 -c -o output/atslib_libats_libc_DATS_sys_stat_dats.o output/atslib_libats_libc_DATS_sys_stat_dats.c
ar -r lib/libatslib.a output/atslib_libats_libc_DATS_sys_stat_dats.o
"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/bin/patsopt -o output/atslib_libats_libc_DATS_sys_types_dats.c --dynamic /home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2/libats/libc/DATS/sys/types.dats
\
  cc -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2" -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/ccomp/runtime  -fPIC -O2 -c -o output/atslib_libats_libc_DATS_sys_types_dats.o output/atslib_libats_libc_DATS_sys_types_dats.c
ar -r lib/libatslib.a output/atslib_libats_libc_DATS_sys_types_dats.o
"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/bin/patsopt -o output/atslib_libats_libc_DATS_sys_socket_dats.c --dynamic /home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2/libats/libc/DATS/sys/socket.dats
\
  cc -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2" -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/ccomp/runtime  -fPIC -O2 -c -o output/atslib_libats_libc_DATS_sys_socket_dats.o output/atslib_libats_libc_DATS_sys_socket_dats.c
ar -r lib/libatslib.a output/atslib_libats_libc_DATS_sys_socket_dats.o
"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/bin/patsopt -o output/atslib_libats_libc_DATS_sys_socket_in_dats.c --dynamic /home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2/libats/libc/DATS/sys/socket_in.dats
\
  cc -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2" -I"/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2"/ccomp/runtime  -fPIC -O2 -c -o output/atslib_libats_libc_DATS_sys_socket_in_dats.o output/atslib_libats_libc_DATS_sys_socket_in_dats.c
ar -r lib/libatslib.a output/atslib_libats_libc_DATS_sys_socket_in_dats.o
make[1]: Leaving directory '/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2/ccomp/atslib'
>>> ats2: Entering fakeroot...
\
  cd "/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2" && \
  ./install-sh -c -d /home/udu/aports/community/ats2/pkg/ats2/usr/lib/ats2-postiats-0.4.2/bin && \
  if [ ! -d /home/udu/aports/community/ats2/pkg/ats2/usr/bin ] ; then ./install-sh -c -d /home/udu/aports/community/ats2/pkg/ats2/usr/bin ; fi && \
  for x in share ccomp prelude libats contrib ; do \
    find "$x" -type d -exec ./install-sh -c -d /home/udu/aports/community/ats2/pkg/ats2/usr/lib/ats2-postiats-0.4.2/\{} \; -print; \
  done
share
share/H
share/HATS
ccomp
ccomp/runtime
ccomp/atslib
ccomp/atslib/lib
ccomp/atslib/lib32
ccomp/atslib/lib64
ccomp/atslib/output
prelude
prelude/DATS
prelude/DATS/SHARE
prelude/CATS
prelude/SATS
libats
libats/DATS
libats/DATS/Number
libats/DATS/Number/SHARE
libats/DATS/SHARE
libats/ATS1
libats/ATS1/DATS
libats/ATS1/SATS
libats/ML
libats/ML/DATS
libats/ML/DATS/SHARE
libats/ML/COMPILE
libats/ML/COMPILE/DATS
libats/ML/CATS
libats/ML/HATS
libats/ML/SATS
libats/ML/SATS/SHARE
libats/libc
libats/libc/DATS
libats/libc/DATS/netinet
libats/libc/DATS/gdbm
libats/libc/DATS/sys
libats/libc/DATS/arpa
libats/libc/CATS
libats/libc/CATS/netinet
libats/libc/CATS/gdbm
libats/libc/CATS/sys
libats/libc/CATS/arpa
libats/libc/SATS
libats/libc/SATS/netinet
libats/libc/SATS/gdbm
libats/libc/SATS/gdbm/SHARE
libats/libc/SATS/sys
libats/libc/SATS/arpa
libats/CATS
libats/BUCS320
libats/BUCS320/DivideConquer
libats/BUCS320/DivideConquer/DATS
libats/BUCS320/GraphSearch
libats/BUCS320/GraphSearch/DATS
libats/BUCS320/parcomb
libats/BUCS320/parcomb/DATS
libats/ATS2
libats/ATS2/DATS
libats/ATS2/DATS/fcntainer
libats/ATS2/SATS
libats/SATS
libats/SATS/Number
libats/SATS/SHARE
contrib
contrib/CATS-atscc2scm
contrib/CATS-atscc2scm/DATS
contrib/CATS-atscc2scm/bin
contrib/atscntrb
contrib/atscntrb/atscntrb-hx-getargs
contrib/atscntrb/atscntrb-hx-getargs/DATS
contrib/atscntrb/atscntrb-hx-getargs/TEST
contrib/atscntrb/atscntrb-hx-getargs/SATS
contrib/atscntrb/atscntrb-hx-intinf
contrib/atscntrb/atscntrb-hx-intinf/DATS
contrib/atscntrb/atscntrb-hx-intinf/TEST
contrib/atscntrb/atscntrb-hx-intinf/SATS
contrib/atscntrb/atscntrb-hx-intinf/SATS/DOCUGEN
contrib/atscntrb/atscntrb-hx-intinf/SATS/DOCUGEN/HTML
contrib/atscntrb/atscntrb-hx-libjson-c
contrib/atscntrb/atscntrb-hx-libjson-c/DATS
contrib/atscntrb/atscntrb-hx-libjson-c/CATS
contrib/atscntrb/atscntrb-hx-libjson-c/TEST
contrib/atscntrb/atscntrb-hx-libjson-c/SATS
contrib/atscntrb/atscntrb-hx-libjson-c/SATS/DOCUGEN
contrib/atscntrb/atscntrb-hx-libgmp
contrib/atscntrb/atscntrb-hx-libgmp/DATS
contrib/atscntrb/atscntrb-hx-libgmp/CATS
contrib/atscntrb/atscntrb-hx-libgmp/TEST
contrib/atscntrb/atscntrb-hx-libgmp/TEST/pidigits
contrib/atscntrb/atscntrb-hx-libgmp/SATS
contrib/atscntrb/atscntrb-hx-libgmp/SATS/DOCUGEN
contrib/atscntrb/atscntrb-hx-libgmp/SATS/DOCUGEN/HTML
contrib/atscntrb/atscntrb-hx-libcurl
contrib/atscntrb/atscntrb-hx-libcurl/DATS
contrib/atscntrb/atscntrb-hx-libcurl/CATS
contrib/atscntrb/atscntrb-hx-libcurl/TEST
contrib/atscntrb/atscntrb-hx-libcurl/SATS
contrib/atscntrb/atscntrb-hx-globals
contrib/atscntrb/atscntrb-hx-globals/HATS
contrib/atscntrb/atscntrb-hx-globals/TEST
contrib/atscntrb/atscntrb-hx-mytesting
contrib/atscntrb/atscntrb-hx-mytesting/DATS
contrib/atscntrb/atscntrb-hx-mytesting/TEST
contrib/atscntrb/atscntrb-hx-mytesting/SATS
contrib/atscntrb/atscntrb-hx-sdstring
contrib/atscntrb/atscntrb-hx-sdstring/DATS
contrib/atscntrb/atscntrb-hx-sdstring/H
contrib/atscntrb/atscntrb-hx-sdstring/CATS
contrib/atscntrb/atscntrb-hx-sdstring/TEST
contrib/atscntrb/atscntrb-hx-sdstring/SATS
contrib/atscntrb/atscntrb-hx-cstream
contrib/atscntrb/atscntrb-hx-cstream/DATS
contrib/atscntrb/atscntrb-hx-cstream/TEST
contrib/atscntrb/atscntrb-hx-cstream/SATS
contrib/atscntrb/atscntrb-hx-cstream/SATS/DOCUGEN
contrib/atscntrb/atscntrb-hx-cstream/SATS/DOCUGEN/HTML
contrib/atscntrb/atscntrb-hx-libpcre
contrib/atscntrb/atscntrb-hx-libpcre/DATS
contrib/atscntrb/atscntrb-hx-libpcre/CATS
contrib/atscntrb/atscntrb-hx-libpcre/TEST
contrib/atscntrb/atscntrb-hx-libpcre/SATS
contrib/atscntrb/atscntrb-hx-libpcre/SATS/DOCUGEN
contrib/atscntrb/atscntrb-hx-libpcre/SATS/DOCUGEN/HTML
contrib/atscntrb/atscntrb-hx-libjansson
contrib/atscntrb/atscntrb-hx-libjansson/DATS
contrib/atscntrb/atscntrb-hx-libjansson/CATS
contrib/atscntrb/atscntrb-hx-libjansson/CATS/CODEGEN
contrib/atscntrb/atscntrb-hx-libjansson/TEST
contrib/atscntrb/atscntrb-hx-libjansson/SATS
contrib/atscntrb/atscntrb-hx-libjansson/SATS/DOCUGEN
contrib/atscntrb/atscntrb-hx-libjansson/SATS/DOCUGEN/TRYIT
contrib/atscntrb/atscntrb-hx-libjansson/SATS/DOCUGEN/HTML
contrib/ATS-extsolve
contrib/ATS-extsolve/DATS
contrib/ATS-extsolve/DATS/CNSTRNT
contrib/ATS-extsolve/DATS/PARSING
contrib/ATS-extsolve/CATS
contrib/ATS-extsolve/bin
contrib/ATS-extsolve/SATS
contrib/libatscc2r34
contrib/libatscc2r34/DATS
contrib/libatscc2r34/DATS/ML
contrib/libatscc2r34/CATS
contrib/libatscc2r34/SATS
contrib/libatscc2r34/SATS/ML
contrib/CATS-parsemit
contrib/CATS-parsemit/DATS
contrib/CATS-parsemit/CATS
contrib/CATS-parsemit/SATS
contrib/CATS-atscc2pl
contrib/CATS-atscc2pl/DATS
contrib/CATS-atscc2pl/bin
contrib/CATS-atscc2py3
contrib/CATS-atscc2py3/DATS
contrib/CATS-atscc2py3/bin
contrib/libatscc
contrib/libatscc/DATS
contrib/libatscc/DATS/ML
contrib/libatscc/BUCS320
contrib/libatscc/BUCS320/DivideConquer
contrib/libatscc/BUCS320/DivideConquer/DATS
contrib/libatscc/BUCS320/GraphSearch
contrib/libatscc/BUCS320/GraphSearch/DATS
contrib/libatscc/BUCS320/words
contrib/libatscc/BUCS320/words/SATS
contrib/libatscc/BUCS320/GraphStreamize
contrib/libatscc/BUCS320/GraphStreamize/DATS
contrib/libatscc/BUCS320/parcomb
contrib/libatscc/BUCS320/parcomb/DATS
contrib/libatscc/BUCS320/parcomb/SATS
contrib/libatscc/SATS
contrib/libatscc/SATS/ML
contrib/libatscc/ATS2-0.3.2
contrib/libatscc/ATS2-0.3.2/DATS
contrib/libatscc/ATS2-0.3.2/DATS/ML
contrib/libatscc/ATS2-0.3.2/DATS/BUCS320
contrib/libatscc/ATS2-0.3.2/DATS/BUCS320/GraphSearch
contrib/libatscc/ATS2-0.3.2/DATS/BUCS320/GraphStreamize
contrib/libatscc/ATS2-0.3.2/DATS/BUCS320/parcomb
contrib/libatscc/ATS2-0.3.2/SATS
contrib/libatscc/ATS2-0.3.2/SATS/ML
contrib/libatscc/ATS2-0.3.2/SATS/BUCS320
contrib/libatscc2php
contrib/libatscc2php/ATS2-0.3.2
contrib/libatscc2php/ATS2-0.3.2/DATS
contrib/libatscc2php/ATS2-0.3.2/DATS/ML
contrib/libatscc2php/ATS2-0.3.2/DATS/BUCS320
contrib/libatscc2php/ATS2-0.3.2/DATS/BUCS320/GraphSearch
contrib/libatscc2php/ATS2-0.3.2/DATS/BUCS320/parcomb
contrib/libatscc2php/ATS2-0.3.2/CATS
contrib/libatscc2php/ATS2-0.3.2/TEST
contrib/libatscc2php/ATS2-0.3.2/TEST/BUCS320
contrib/libatscc2php/ATS2-0.3.2/TEST/BUCS320/GraphSearch
contrib/libatscc2php/ATS2-0.3.2/output
contrib/libatscc2php/ATS2-0.3.2/output/DATS
contrib/libatscc2php/ATS2-0.3.2/output/DATS/ML
contrib/libatscc2php/ATS2-0.3.2/SATS
contrib/libatscc2php/ATS2-0.3.2/SATS/ML
contrib/libatscc2php/ATS2-0.3.2/SATS/BUCS320
contrib/CATS-atscc2php
contrib/CATS-atscc2php/DATS
contrib/CATS-atscc2php/bin
contrib/libatscc2clj
contrib/libatscc2clj/ATS2-0.3.2
contrib/libatscc2clj/ATS2-0.3.2/DATS
contrib/libatscc2clj/ATS2-0.3.2/DATS/ML
contrib/libatscc2clj/ATS2-0.3.2/DATS/BUCS320
contrib/libatscc2clj/ATS2-0.3.2/DATS/BUCS320/GraphSearch
contrib/libatscc2clj/ATS2-0.3.2/CATS
contrib/libatscc2clj/ATS2-0.3.2/TEST
contrib/libatscc2clj/ATS2-0.3.2/TEST/BUCS320
contrib/libatscc2clj/ATS2-0.3.2/TEST/BUCS320/GraphSearch
contrib/libatscc2clj/ATS2-0.3.2/output
contrib/libatscc2clj/ATS2-0.3.2/output/DATS
contrib/libatscc2clj/ATS2-0.3.2/output/DATS/ML
contrib/libatscc2clj/ATS2-0.3.2/SATS
contrib/libatscc2clj/ATS2-0.3.2/SATS/ML
contrib/CATS-atscc2clj
contrib/CATS-atscc2clj/DATS
contrib/CATS-atscc2clj/bin
contrib/ATS-extsolve-smt2
contrib/ATS-extsolve-smt2/DATS
contrib/ATS-extsolve-smt2/DATS/SOLVING
contrib/ATS-extsolve-smt2/bin
contrib/ATS-extsolve-smt2/SATS
contrib/libatscc2js
contrib/libatscc2js/DATS
contrib/libatscc2js/DATS/Number
contrib/libatscc2js/DATS/JSLIBC
contrib/libatscc2js/DATS/ML
contrib/libatscc2js/WorkerSession
contrib/libatscc2js/WorkerSession/DATS
contrib/libatscc2js/WorkerSession/TEST
contrib/libatscc2js/WorkerSession/SATS
contrib/libatscc2js/BUCS320
contrib/libatscc2js/BUCS320/DivideConquer
contrib/libatscc2js/BUCS320/DivideConquer/DATS
contrib/libatscc2js/BUCS320/DivideConquer/TEST
contrib/libatscc2js/BUCS320/GraphSearch
contrib/libatscc2js/BUCS320/GraphSearch/DATS
contrib/libatscc2js/BUCS320/GraphSearch/TEST
contrib/libatscc2js/BUCS320/words
contrib/libatscc2js/BUCS320/words/SATS
contrib/libatscc2js/BUCS320/GraphStreamize
contrib/libatscc2js/BUCS320/GraphStreamize/DATS
contrib/libatscc2js/BUCS320/GraphStreamize/TEST
contrib/libatscc2js/BUCS320/parcomb
contrib/libatscc2js/BUCS320/parcomb/DATS
contrib/libatscc2js/BUCS320/parcomb/SATS
contrib/libatscc2js/HTML
contrib/libatscc2js/HTML/DOM
contrib/libatscc2js/HTML/DOM/DATS
contrib/libatscc2js/HTML/DOM/CATS
contrib/libatscc2js/HTML/DOM/TEST
contrib/libatscc2js/HTML/DOM/SATS
contrib/libatscc2js/HTML/Canvas
contrib/libatscc2js/HTML/Canvas/CATS
contrib/libatscc2js/HTML/Canvas/TEST
contrib/libatscc2js/HTML/Canvas/SATS
contrib/libatscc2js/Bacon.js
contrib/libatscc2js/Bacon.js/DATS
contrib/libatscc2js/Bacon.js/CATS
contrib/libatscc2js/Bacon.js/TEST
contrib/libatscc2js/Bacon.js/TEST/Counter
contrib/libatscc2js/Bacon.js/TEST/Counter_bus
contrib/libatscc2js/Bacon.js/output
contrib/libatscc2js/Bacon.js/output/DATS
contrib/libatscc2js/Bacon.js/SATS
contrib/libatscc2js/SATS
contrib/libatscc2js/SATS/JSLIBC
contrib/libatscc2js/SATS/ML
contrib/libatscc2js/ATS2-0.3.2
contrib/libatscc2js/ATS2-0.3.2/DATS
contrib/libatscc2js/ATS2-0.3.2/DATS/Number
contrib/libatscc2js/ATS2-0.3.2/DATS/Worker
contrib/libatscc2js/ATS2-0.3.2/DATS/JSLIBC
contrib/libatscc2js/ATS2-0.3.2/DATS/ML
contrib/libatscc2js/ATS2-0.3.2/DATS/BUCS320
contrib/libatscc2js/ATS2-0.3.2/DATS/BUCS320/GraphSearch
contrib/libatscc2js/ATS2-0.3.2/DATS/BUCS320/GraphStreamize
contrib/libatscc2js/ATS2-0.3.2/DATS/BUCS320/parcomb
contrib/libatscc2js/ATS2-0.3.2/DATS/Bacon.js
contrib/libatscc2js/ATS2-0.3.2/Node.js
contrib/libatscc2js/ATS2-0.3.2/Node.js/DATS
contrib/libatscc2js/ATS2-0.3.2/Node.js/CATS
contrib/libatscc2js/ATS2-0.3.2/Node.js/SATS
contrib/libatscc2js/ATS2-0.3.2/CATS
contrib/libatscc2js/ATS2-0.3.2/CATS/PRINT
contrib/libatscc2js/ATS2-0.3.2/CATS/Node.js
contrib/libatscc2js/ATS2-0.3.2/CATS/JSLIBC
contrib/libatscc2js/ATS2-0.3.2/CATS/HTML
contrib/libatscc2js/ATS2-0.3.2/CATS/HTML/canvas-2d
contrib/libatscc2js/ATS2-0.3.2/CATS/Bacon.js
contrib/libatscc2js/ATS2-0.3.2/CATS/HTTP
contrib/libatscc2js/ATS2-0.3.2/CATS/HTTP/Ajax
contrib/libatscc2js/ATS2-0.3.2/TEST
contrib/libatscc2js/ATS2-0.3.2/TEST/Worker
contrib/libatscc2js/ATS2-0.3.2/TEST/BUCS320
contrib/libatscc2js/ATS2-0.3.2/TEST/BUCS320/GraphSearch
contrib/libatscc2js/ATS2-0.3.2/Bacon.js
contrib/libatscc2js/ATS2-0.3.2/Bacon.js/DATS
contrib/libatscc2js/ATS2-0.3.2/Bacon.js/CATS
contrib/libatscc2js/ATS2-0.3.2/Bacon.js/SATS
contrib/libatscc2js/ATS2-0.3.2/output
contrib/libatscc2js/ATS2-0.3.2/output/DATS
contrib/libatscc2js/ATS2-0.3.2/output/DATS/ML
contrib/libatscc2js/ATS2-0.3.2/output/DATS/BUCS320
contrib/libatscc2js/ATS2-0.3.2/output/DATS/BUCS320/parcomb
contrib/libatscc2js/ATS2-0.3.2/output/DATS/Bacon.js
contrib/libatscc2js/ATS2-0.3.2/SATS
contrib/libatscc2js/ATS2-0.3.2/SATS/XMLDOC
contrib/libatscc2js/ATS2-0.3.2/SATS/Worker
contrib/libatscc2js/ATS2-0.3.2/SATS/Node.js
contrib/libatscc2js/ATS2-0.3.2/SATS/JSLIBC
contrib/libatscc2js/ATS2-0.3.2/SATS/ML
contrib/libatscc2js/ATS2-0.3.2/SATS/BUCS320
contrib/libatscc2js/ATS2-0.3.2/SATS/HTML
contrib/libatscc2js/ATS2-0.3.2/SATS/HTML/canvas-2d
contrib/libatscc2js/ATS2-0.3.2/SATS/HTML/WebGL
contrib/libatscc2js/ATS2-0.3.2/SATS/Bacon.js
contrib/libatscc2js/ATS2-0.3.2/SATS/HTTP
contrib/libatscc2js/ATS2-0.3.2/SATS/HTTP/Ajax
contrib/libatscc2py3
contrib/libatscc2py3/ATS2-0.3.2
contrib/libatscc2py3/ATS2-0.3.2/DATS
contrib/libatscc2py3/ATS2-0.3.2/DATS/ML
contrib/libatscc2py3/ATS2-0.3.2/DATS/BUCS320
contrib/libatscc2py3/ATS2-0.3.2/DATS/BUCS320/GraphSearch
contrib/libatscc2py3/ATS2-0.3.2/DATS/BUCS320/parcomb
contrib/libatscc2py3/ATS2-0.3.2/CATS
contrib/libatscc2py3/ATS2-0.3.2/CATS/PYLIBC
contrib/libatscc2py3/ATS2-0.3.2/CATS/PYGAME
contrib/libatscc2py3/ATS2-0.3.2/TEST
contrib/libatscc2py3/ATS2-0.3.2/TEST/BUCS320
contrib/libatscc2py3/ATS2-0.3.2/TEST/BUCS320/GraphSearch
contrib/libatscc2py3/ATS2-0.3.2/TEST/PYLIBC
contrib/libatscc2py3/ATS2-0.3.2/TEST/PYGAME
contrib/libatscc2py3/ATS2-0.3.2/output
contrib/libatscc2py3/ATS2-0.3.2/output/DATS
contrib/libatscc2py3/ATS2-0.3.2/output/DATS/ML
contrib/libatscc2py3/ATS2-0.3.2/SATS
contrib/libatscc2py3/ATS2-0.3.2/SATS/ML
contrib/libatscc2py3/ATS2-0.3.2/SATS/BUCS320
contrib/libatscc2py3/ATS2-0.3.2/SATS/PYLIBC
contrib/libatscc2py3/ATS2-0.3.2/SATS/PYGAME
contrib/libatscc2pl
contrib/libatscc2pl/ATS2-0.3.2
contrib/libatscc2pl/ATS2-0.3.2/DATS
contrib/libatscc2pl/ATS2-0.3.2/DATS/ML
contrib/libatscc2pl/ATS2-0.3.2/DATS/BUCS320
contrib/libatscc2pl/ATS2-0.3.2/DATS/BUCS320/GraphSearch
contrib/libatscc2pl/ATS2-0.3.2/CATS
contrib/libatscc2pl/ATS2-0.3.2/TEST
contrib/libatscc2pl/ATS2-0.3.2/TEST/BUCS320
contrib/libatscc2pl/ATS2-0.3.2/TEST/BUCS320/GraphSearch
contrib/libatscc2pl/ATS2-0.3.2/output
contrib/libatscc2pl/ATS2-0.3.2/output/DATS
contrib/libatscc2pl/ATS2-0.3.2/output/DATS/ML
contrib/libatscc2pl/ATS2-0.3.2/SATS
contrib/libatscc2pl/ATS2-0.3.2/SATS/ML
contrib/libatscc2scm
contrib/libatscc2scm/ATS2-0.3.2
contrib/libatscc2scm/ATS2-0.3.2/DATS
contrib/libatscc2scm/ATS2-0.3.2/DATS/ML
contrib/libatscc2scm/ATS2-0.3.2/DATS/BUCS320
contrib/libatscc2scm/ATS2-0.3.2/DATS/BUCS320/GraphSearch
contrib/libatscc2scm/ATS2-0.3.2/CATS
contrib/libatscc2scm/ATS2-0.3.2/TEST
contrib/libatscc2scm/ATS2-0.3.2/TEST/BUCS320
contrib/libatscc2scm/ATS2-0.3.2/TEST/BUCS320/GraphSearch
contrib/libatscc2scm/ATS2-0.3.2/output
contrib/libatscc2scm/ATS2-0.3.2/output/DATS
contrib/libatscc2scm/ATS2-0.3.2/output/DATS/ML
contrib/libatscc2scm/ATS2-0.3.2/SATS
contrib/libatscc2scm/ATS2-0.3.2/SATS/ML
contrib/ats2cpp
contrib/ats2cpp/ccomp
contrib/ats2cpp/TEST
contrib/ats2cpp/prelude
contrib/ats2cpp/prelude/CATS
contrib/ats2cpp/STL
contrib/ats2cpp/STL/DATS
contrib/ats2cpp/STL/CATS
contrib/ats2cpp/STL/TEST
contrib/ats2cpp/libats
contrib/ats2cpp/libats/ML
contrib/ats2cpp/libats/ML/CATS
contrib/ats2cpp/libats/libc
contrib/ats2cpp/libats/libc/CATS
contrib/ats2cpp/libats/libc/CATS/sys
contrib/ats2cpp/libats/BUCS520
contrib/ats2cpp/libats/BUCS520/GraphSearch
contrib/ats2cpp/libats/BUCS520/GraphSearch/DATS
contrib/ats2cpp/libats/BUCS520/GraphSearch/TEST
contrib/ats2cpp/libats/CATS
contrib/ATS-extsolve-z3
contrib/ATS-extsolve-z3/DATS
contrib/ATS-extsolve-z3/DATS/SOLVING
contrib/ATS-extsolve-z3/bin
contrib/ATS-extsolve-z3/SATS
contrib/CATS-atscc2r34
contrib/CATS-atscc2r34/DATS
contrib/CATS-atscc2r34/bin
contrib/CATS-atscc2js
contrib/CATS-atscc2js/DATS
contrib/CATS-atscc2js/bin
\
  for x in share ccomp/runtime prelude libats contrib ; do \
    cd "/home/udu/aports/community/ats2/src/ATS2-Postiats-gmp-0.4.2" && \
    /usr/bin/install -c -d /home/udu/aports/community/ats2/pkg/ats2/usr/lib/ats2-postiats-0.4.2/"$x" && \
    find "$x" -type l -exec cp -R \{} /home/udu/aports/community/ats2/pkg/ats2/usr/lib/ats2-postiats-0.4.2/\{} \; -print && \
    find "$x" -type f -exec /usr/bin/install -c -m644 \{} /home/udu/aports/community/ats2/pkg/ats2/usr/lib/ats2-postiats-0.4.2/\{} \; -print; \
  done
share/H/pats_atslib.h
share/H/.keeper
share/atspre_define.hats
share/atspre_staload_libats_ML.hats
share/HATS/atspre_define_pkgreloc.hats
share/HATS/atslib_staload_libats_libc.hats
share/HATS/atspre_staload_libats_ML.hats
share/HATS/.keeper
share/HATS/atspre_staload_prelude.hats
share/.keeper
share/atsmake-post.mk
share/atspre_staload.hats
share/atsmake-pre.mk
share/Makefile.gen
ccomp/runtime/pats_ccomp_basics.h
ccomp/runtime/pats_ccomp_config.h
ccomp/runtime/pats_ccomp_instrset.h
ccomp/runtime/pats_ccomp_memalloc_gcbdw.h
ccomp/runtime/pats_ccomp_runtime2_dats.c
ccomp/runtime/pats_ccomp_memalloc_libc.h
ccomp/runtime/pats_ccomp_exception.h
ccomp/runtime/pats_ccomp_runtime_trywith.c
ccomp/runtime/pats_ccomp_memalloca.h
ccomp/runtime/pats_ccomp_memalloc_user.h
ccomp/runtime/pats_ccomp_memalloc.h
ccomp/runtime/pats_ccomp_memalloc_user2.h
ccomp/runtime/.keeper
ccomp/runtime/pats_ccomp_runtime_memalloc.c
ccomp/runtime/pats_ccomp_typedefs.h
ccomp/runtime/pats_ccomp_runtime.c
prelude/DATS/matrixptr.dats
prelude/DATS/list_vt.dats
prelude/DATS/parray.dats
prelude/DATS/reference.dats
prelude/DATS/char.dats
prelude/DATS/unsafe.dats
prelude/DATS/arrayptr.dats
prelude/DATS/option.dats
prelude/DATS/integer_long.dats
prelude/DATS/integer_ptr.dats
prelude/DATS/grandom.dats
prelude/DATS/bool.dats
prelude/DATS/list.dats
prelude/DATS/filebas_prf.dats
prelude/DATS/basics.dats
prelude/DATS/string.dats
prelude/DATS/gprint.dats
prelude/DATS/stream.dats
prelude/DATS/arrayref.dats
prelude/DATS/strptr.dats
prelude/DATS/array_prf.dats
prelude/DATS/matrixref.dats
prelude/DATS/matrix.dats
prelude/DATS/integer.dats
prelude/DATS/stream_vt.dats
prelude/DATS/tostring.dats
prelude/DATS/integer_short.dats
prelude/DATS/array.dats
prelude/DATS/gorder.dats
prelude/DATS/filebas.dats
prelude/DATS/tuple.dats
prelude/DATS/float.dats
prelude/DATS/checkast.dats
prelude/DATS/.keeper
prelude/DATS/integer_size.dats
prelude/DATS/memory.dats
prelude/DATS/option_vt.dats
prelude/DATS/pointer.dats
prelude/DATS/intrange.dats
prelude/DATS/arith_prf.dats
prelude/DATS/integer_fixed.dats
prelude/DATS/gnumber.dats
prelude/DATS/SHARE/gnumber_uint.dats
prelude/DATS/SHARE/array_bsearch.dats
prelude/DATS/SHARE/gnumber_float.dats
prelude/DATS/SHARE/gorder_float.dats
prelude/DATS/SHARE/gnumber_int.dats
prelude/DATS/SHARE/gorder_string.dats
prelude/DATS/SHARE/list_vt_mergesort.dats
prelude/DATS/SHARE/array_quicksort.dats
prelude/DATS/SHARE/.keeper
prelude/DATS/SHARE/gorder_char.dats
prelude/DATS/SHARE/gorder_bool.dats
prelude/DATS/SHARE/gorder_uint.dats
prelude/DATS/SHARE/gorder_int.dats
prelude/DATS/SHARE/list_vt_quicksort.dats
prelude/fixity.ats
prelude/basics_gen.sats
prelude/params.hats
prelude/codegen2.sats
prelude/CATS/filebas.cats
prelude/CATS/memory.cats
prelude/CATS/array.cats
prelude/CATS/fprintf.cats
prelude/CATS/integer.cats
prelude/CATS/arrayref.cats
prelude/CATS/integer_long.cats
prelude/CATS/float.cats
prelude/CATS/basics.cats
prelude/CATS/list.cats
prelude/CATS/strptr.cats
prelude/CATS/option.cats
prelude/CATS/matrix.cats
prelude/CATS/integer_fixed.cats
prelude/CATS/integer_short.cats
prelude/CATS/char.cats
prelude/CATS/.keeper
prelude/CATS/string.cats
prelude/CATS/integer_ptr.cats
prelude/CATS/integer_size.cats
prelude/CATS/bool.cats
prelude/CATS/pointer.cats
prelude/CATS/matrixptr.cats
prelude/CATS/arrayptr.cats
prelude/lmacrodef.hats
prelude/.keeper
prelude/macrodef.sats
prelude/basics_sta.sats
prelude/SATS/stream.sats
prelude/SATS/parray.sats
prelude/SATS/option_vt.sats
prelude/SATS/arrayref.sats
prelude/SATS/grandom.sats
prelude/SATS/matrixref.sats
prelude/SATS/integer.sats
prelude/SATS/gprint.sats
prelude/SATS/gorder.sats
prelude/SATS/intrange.sats
prelude/SATS/string.sats
prelude/SATS/array.sats
prelude/SATS/filebas.sats
prelude/SATS/arrayptr.sats
prelude/SATS/gnumber.sats
prelude/SATS/checkast.sats
prelude/SATS/list.sats
prelude/SATS/matrixptr.sats
prelude/SATS/arith_prf.sats
prelude/SATS/option.sats
prelude/SATS/integer_fixed.sats
prelude/SATS/integer_ptr.sats
prelude/SATS/unsafe.sats
prelude/SATS/integer_short.sats
prelude/SATS/pointer.sats
prelude/SATS/memory.sats
prelude/SATS/array_prf.sats
prelude/SATS/list_vt.sats
prelude/SATS/float.sats
prelude/SATS/integer_size.sats
prelude/SATS/.keeper
prelude/SATS/stream_vt.sats
prelude/SATS/reference.sats
prelude/SATS/integer_long.sats
prelude/SATS/extern.sats
prelude/SATS/bool.sats
prelude/SATS/strptr.sats
prelude/SATS/matrix.sats
prelude/SATS/char.sats
prelude/SATS/tuple.sats
prelude/SATS/tostring.sats
prelude/basics_pre.sats
prelude/basics_dyn.sats
libats/DATS/funmap_list.dats
libats/DATS/stringbuf.dats
libats/DATS/gvector.dats
libats/DATS/gflist_vt.dats
libats/DATS/Number/float_double.dats
libats/DATS/Number/real_double.dats
libats/DATS/Number/.keeper
libats/DATS/Number/SHARE/real.dats
libats/DATS/Number/SHARE/float.dats
libats/DATS/Number/SHARE/.keeper
libats/DATS/linmap_skiplist.dats
libats/DATS/fundeque_fngtree.dats
libats/DATS/funralist_nested.dats
libats/DATS/linset_listord.dats
libats/DATS/stkarray.dats
libats/DATS/qlist.dats
libats/DATS/gfarray.dats
libats/DATS/linheap_binomial2.dats
libats/DATS/gmatrix_col.dats
libats/DATS/theGetters.dats
libats/DATS/hashtbl_chain.dats
libats/DATS/gflist.dats
libats/DATS/bitvec.dats
libats/DATS/lindeque_dllist.dats
libats/DATS/linset_avltree.dats
libats/DATS/dynarray.dats
libats/DATS/linheap_binomial.dats
libats/DATS/ilist_prf.dats
libats/DATS/gmatrix.dats
libats/DATS/dllist.dats
libats/DATS/athread.dats
libats/DATS/gmatrix_row.dats
libats/DATS/deqarray.dats
libats/DATS/sllist.dats
libats/DATS/funset_avltree.dats
libats/DATS/linmap_list.dats
libats/DATS/linmap_avltree.dats
libats/DATS/.keeper
libats/DATS/funmset_listord.dats
libats/DATS/funmap_avltree.dats
libats/DATS/typeval.dats
libats/DATS/refcount.dats
libats/DATS/gnode.dats
libats/DATS/funmap_rbtree.dats
libats/DATS/funarray_braunt.dats
libats/DATS/funset_listord.dats
libats/DATS/linmap_randbst.dats
libats/DATS/linralist_nested.dats
libats/DATS/hashfun.dats
libats/DATS/SHARE/funmset.hats
libats/DATS/SHARE/funralist.hats
libats/DATS/SHARE/hashtbl.hats
libats/DATS/SHARE/linmap_node.hats
libats/DATS/SHARE/fundeque.hats
libats/DATS/SHARE/linmap.hats
libats/DATS/SHARE/funset.hats
libats/DATS/SHARE/linset_node.hats
libats/DATS/SHARE/linset.hats
libats/DATS/SHARE/funmap.hats
libats/DATS/SHARE/.keeper
libats/DATS/SHARE/linheap.hats
libats/DATS/athread_posix.dats
libats/DATS/hashtbl_linprb.dats
libats/ATS1/DATS/linset_listord.dats
libats/ATS1/DATS/.keeper
libats/ATS1/DATS/funmset_listord.dats
libats/ATS1/DATS/funheap_binomial.dats
libats/ATS1/DATS/funset_listord.dats
libats/ATS1/DATS/funheap_braun.dats
libats/ATS1/SATS/funset_listord.sats
libats/ATS1/SATS/.keeper
libats/ATS1/SATS/linset_listord.sats
libats/ATS1/SATS/funheap_binomial.sats
libats/ATS1/SATS/funmset_listord.sats
libats/ATS1/SATS/funheap_braun.sats
libats/ML/DATS/filebas_dirent.dats
libats/ML/DATS/list0.dats
libats/ML/DATS/qlistref.dats
libats/ML/DATS/array0.dats
libats/ML/DATS/hashtblref.dats
libats/ML/DATS/matrix0.dats
libats/ML/DATS/string.dats
libats/ML/DATS/monad_list.dats
libats/ML/DATS/atspre.dats
libats/ML/DATS/stream.dats
libats/ML/DATS/gvalue.dats
libats/ML/DATS/dynarray.dats
libats/ML/DATS/funset.dats
libats/ML/DATS/stream_vt.dats
libats/ML/DATS/filebas.dats
libats/ML/DATS/option0.dats
libats/ML/DATS/.keeper
libats/ML/DATS/slistref.dats
libats/ML/DATS/argvec.dats
libats/ML/DATS/strarr.dats
libats/ML/DATS/list0_vt.dats
libats/ML/DATS/funmap.dats
libats/ML/DATS/intrange.dats
libats/ML/DATS/stdlib.dats
libats/ML/DATS/SHARE/monad.hats
libats/ML/DATS/SHARE/.keeper
libats/ML/DATS/monad_maybe.dats
libats/ML/COMPILE/DATS/array0.dats
libats/ML/COMPILE/DATS/hashtblref.dats
libats/ML/COMPILE/DATS/string.dats
libats/ML/COMPILE/DATS/.keeper
libats/ML/COMPILE/DATS/funarray.dats
libats/ML/COMPILE/DATS/funmap.dats
libats/ML/COMPILE/mylibies.hats
libats/ML/COMPILE/.keeper
libats/ML/CATS/strarr.cats
libats/ML/CATS/.keeper
libats/ML/CATS/array0.cats
libats/ML/HATS/myhashtblref.hats
libats/ML/HATS/myfunmap.hats
libats/ML/HATS/.keeper
libats/ML/HATS/myfunset.hats
libats/ML/.keeper
libats/ML/SATS/stream.sats
libats/ML/SATS/strarr.sats
libats/ML/SATS/option0.sats
libats/ML/SATS/dynarray.sats
libats/ML/SATS/funmap.sats
libats/ML/SATS/intrange.sats
libats/ML/SATS/array0.sats
libats/ML/SATS/string.sats
libats/ML/SATS/list0.sats
libats/ML/SATS/monad_list.sats
libats/ML/SATS/slistref.sats
libats/ML/SATS/filebas.sats
libats/ML/SATS/hashtblref.sats
libats/ML/SATS/funset.sats
libats/ML/SATS/argvec.sats
libats/ML/SATS/list0_vt.sats
libats/ML/SATS/gvalue.sats
libats/ML/SATS/matrix0.sats
libats/ML/SATS/stdlib.sats
libats/ML/SATS/.keeper
libats/ML/SATS/qlistref.sats
libats/ML/SATS/stream_vt.sats
libats/ML/SATS/basis.sats
libats/ML/SATS/SHARE/monad.hats
libats/ML/SATS/SHARE/.keeper
libats/ML/SATS/monad_maybe.sats
libats/ML/SATS/atspre.sats
libats/libc/DATS/strings.dats
libats/libc/DATS/math.dats
libats/libc/DATS/string.dats
libats/libc/DATS/unistd.dats
libats/libc/DATS/errno.dats
libats/libc/DATS/stdio.dats
libats/libc/DATS/netinet/.keeper
libats/libc/DATS/dirent.dats
libats/libc/DATS/float.dats
libats/libc/DATS/time.dats
libats/libc/DATS/.keeper
libats/libc/DATS/gdbm/.keeper
libats/libc/DATS/fcntl.dats
libats/libc/DATS/sys/types.dats
libats/libc/DATS/sys/stat.dats
libats/libc/DATS/sys/.keeper
libats/libc/DATS/sys/socket.dats
libats/libc/DATS/sys/socket_in.dats
libats/libc/DATS/arpa/.keeper
libats/libc/DATS/stdlib.dats
libats/libc/CATS/fnmatch.cats
libats/libc/CATS/alloca.cats
libats/libc/CATS/time.cats
libats/libc/CATS/math.cats
libats/libc/CATS/float.cats
libats/libc/CATS/fcntl.cats
libats/libc/CATS/signal.cats
libats/libc/CATS/stdlib.cats
libats/libc/CATS/malloc.cats
libats/libc/CATS/netinet/.keeper
libats/libc/CATS/netinet/in.cats
libats/libc/CATS/unistd.cats
libats/libc/CATS/dlfcn.cats
libats/libc/CATS/dirent.cats
libats/libc/CATS/.keeper
libats/libc/CATS/gdbm/datum.cats
libats/libc/CATS/gdbm/gdbm.cats
libats/libc/CATS/gdbm/.keeper
libats/libc/CATS/errno.cats
libats/libc/CATS/string.cats
libats/libc/CATS/sys/time.cats
libats/libc/CATS/sys/wait.cats
libats/libc/CATS/sys/socket_in.cats
libats/libc/CATS/sys/socket.cats
libats/libc/CATS/sys/types.cats
libats/libc/CATS/sys/stat.cats
libats/libc/CATS/sys/.keeper
libats/libc/CATS/sys/mman.cats
libats/libc/CATS/arpa/inet.cats
libats/libc/CATS/arpa/.keeper
libats/libc/CATS/stdio.cats
libats/libc/CATS/strings.cats
libats/libc/.keeper
libats/libc/SATS/time.sats
libats/libc/SATS/unistd_pathconf.sats
libats/libc/SATS/stdio.sats
libats/libc/SATS/string.sats
libats/libc/SATS/unistd_sysconf.sats
libats/libc/SATS/signal.sats
libats/libc/SATS/stddef.sats
libats/libc/SATS/errno.sats
libats/libc/SATS/strings.sats
libats/libc/SATS/netinet/in.sats
libats/libc/SATS/netinet/.keeper
libats/libc/SATS/float.sats
libats/libc/SATS/unistd.sats
libats/libc/SATS/stdlib.sats
libats/libc/SATS/dlfcn.sats
libats/libc/SATS/.keeper
libats/libc/SATS/gdbm/.keeper
libats/libc/SATS/gdbm/gdbm.sats
libats/libc/SATS/gdbm/SHARE/datum.hats
libats/libc/SATS/gdbm/SHARE/.keeper
libats/libc/SATS/sys/time.sats
libats/libc/SATS/sys/wait.sats
libats/libc/SATS/sys/socket.sats
libats/libc/SATS/sys/socket_in.sats
libats/libc/SATS/sys/mman.sats
libats/libc/SATS/sys/.keeper
libats/libc/SATS/sys/stat.sats
libats/libc/SATS/sys/types.sats
libats/libc/SATS/dirent.sats
libats/libc/SATS/arpa/.keeper
libats/libc/SATS/arpa/inet.sats
libats/libc/SATS/alloca.sats
libats/libc/SATS/math.sats
libats/libc/SATS/fnmatch.sats
libats/libc/SATS/malloc.sats
libats/libc/SATS/fcntl.sats
libats/CATS/dynarray.cats
libats/CATS/stkarray.cats
libats/CATS/hashfun.cats
libats/CATS/deqarray.cats
libats/CATS/qlist.cats
libats/CATS/.keeper
libats/CATS/stringbuf.cats
libats/BUCS320/DivideConquer/DATS/DivideConquer_cont.dats
libats/BUCS320/DivideConquer/DATS/DivideConquer_memo.dats
libats/BUCS320/DivideConquer/DATS/.keeper
libats/BUCS320/DivideConquer/DATS/DivideConquer.dats
libats/BUCS320/DivideConquer/mylibies.hats
libats/BUCS320/DivideConquer/.keeper
libats/BUCS320/GraphSearch/DATS/GraphSearch_bfs.dats
libats/BUCS320/GraphSearch/DATS/.keeper
libats/BUCS320/GraphSearch/DATS/GraphSearch_dfs.dats
libats/BUCS320/GraphSearch/DATS/GraphSearch.dats
libats/BUCS320/GraphSearch/mylibies.hats
libats/BUCS320/GraphSearch/mylibies.dats
libats/BUCS320/GraphSearch/.keeper
libats/BUCS320/parcomb/DATS/.keeper
libats/BUCS320/parcomb/DATS/parcomb.dats
libats/BUCS320/parcomb/.keeper
libats/.keeper
libats/ATS2/DATS/fcntainer/list0.dats
libats/ATS2/DATS/fcntainer/array0.dats
libats/ATS2/DATS/fcntainer/integer.dats
libats/ATS2/DATS/fcntainer/.keeper
libats/ATS2/DATS/fcntainer/main.dats
libats/ATS2/DATS/fcntainer/intrange.dats
libats/ATS2/DATS/.keeper
libats/ATS2/SATS/fcntainer.sats
libats/ATS2/SATS/.keeper
libats/SATS/stkarray.sats
libats/SATS/athread.sats
libats/SATS/sllist.sats
libats/SATS/linheap_binomial.sats
libats/SATS/linmap_list.sats
libats/SATS/theGetters.sats
libats/SATS/hashfun.sats
libats/SATS/gflist_vt.sats
libats/SATS/Number/float.sats
libats/SATS/Number/.keeper
libats/SATS/Number/real.sats
libats/SATS/dynarray.sats
libats/SATS/gmatrix_row.sats
libats/SATS/gfarray.sats
libats/SATS/linmap_skiplist.sats
libats/SATS/typeval.sats
libats/SATS/gmatrix.sats
libats/SATS/gmatrix_col.sats
libats/SATS/funset_listord.sats
libats/SATS/funmap_list.sats
libats/SATS/lindeque_dllist.sats
libats/SATS/bitvec.sats
libats/SATS/linset_avltree.sats
libats/SATS/deqarray.sats
libats/SATS/funmap_avltree.sats
libats/SATS/dllist.sats
libats/SATS/funmap_rbtree.sats
libats/SATS/linralist_nested.sats
libats/SATS/linmap_randbst.sats
libats/SATS/qlist.sats
libats/SATS/funset_avltree.sats
libats/SATS/gnode.sats
libats/SATS/stringbuf.sats
libats/SATS/ilist_prf.sats
libats/SATS/funarray.sats
libats/SATS/.keeper
libats/SATS/linset_listord.sats
libats/SATS/refcount.sats
libats/SATS/linmap_avltree.sats
libats/SATS/hashtbl_chain.sats
libats/SATS/gflist.sats
libats/SATS/hashtbl_linprb.sats
libats/SATS/funralist_nested.sats
libats/SATS/gvector.sats
libats/SATS/funmset_listord.sats
libats/SATS/fundeque_fngtree.sats
libats/SATS/SHARE/funmset.hats
libats/SATS/SHARE/funralist.hats
libats/SATS/SHARE/hashtbl.hats
libats/SATS/SHARE/linmap_node.hats
libats/SATS/SHARE/fundeque.hats
libats/SATS/SHARE/lindeque.hats
libats/SATS/SHARE/linmap.hats
libats/SATS/SHARE/funset.hats
libats/SATS/SHARE/linset_node.hats
libats/SATS/SHARE/linset.hats
libats/SATS/SHARE/funmap.hats
libats/SATS/SHARE/.keeper
libats/SATS/SHARE/linheap.hats
libats/SATS/SHARE/linralist.hats
contrib/CATS-atscc2scm/CATS-parsemit
contrib/atscntrb/atscntrb-hx-intinf/SATS/DOCUGEN/Makefile.gen
contrib/atscntrb/atscntrb-hx-libjson-c/SATS/DOCUGEN/Makefile.gen
contrib/atscntrb/atscntrb-hx-libgmp/SATS/DOCUGEN/Makefile.gen
contrib/atscntrb/atscntrb-hx-cstream/SATS/DOCUGEN/Makefile.gen
contrib/atscntrb/atscntrb-hx-libpcre/SATS/DOCUGEN/Makefile.gen
contrib/atscntrb/atscntrb-hx-libjansson/CATS/jansson.cats
contrib/atscntrb/atscntrb-hx-libjansson/SATS/DOCUGEN/Makefile.gen
contrib/CATS-atscc2pl/CATS-parsemit
contrib/CATS-atscc2py3/CATS-parsemit
contrib/libatscc2php/ATS2-0.3.2/mylibies.hats
contrib/CATS-atscc2php/CATS-parsemit
contrib/CATS-atscc2clj/CATS-parsemit
contrib/ATS-extsolve-smt2/ATS-extsolve
contrib/libatscc2js/ATS2-0.3.2/Node.js/CATS/process_cats.js
contrib/libatscc2js/ATS2-0.3.2/Node.js/CATS/fprint_cats.js
contrib/libatscc2js/ATS2-0.3.2/Node.js/CATS/basics_cats.js
contrib/libatscc2js/ATS2-0.3.2/Node.js/SATS/process.sats
contrib/libatscc2js/ATS2-0.3.2/Node.js/SATS/basics.sats
contrib/libatscc2js/ATS2-0.3.2/Node.js/SATS/fprint.sats
contrib/libatscc2js/ATS2-0.3.2/Bacon.js/DATS/baconjs_ext.dats
contrib/libatscc2js/ATS2-0.3.2/Bacon.js/DATS/baconjs.dats
contrib/libatscc2js/ATS2-0.3.2/Bacon.js/CATS/baconjs_cats.js
contrib/libatscc2js/ATS2-0.3.2/Bacon.js/SATS/baconjs.sats
contrib/libatscc2js/ATS2-0.3.2/Bacon.js/SATS/baconjs_ext.sats
contrib/libatscc2js/ATS2-0.3.2/Bacon.js/SATS/channel.sats
contrib/libatscc2py3/ATS2-0.3.2/CATS/PYLIBC_datetime_cats.py
contrib/libatscc2py3/ATS2-0.3.2/CATS/PYLIBC_random_cats.py
contrib/libatscc2py3/ATS2-0.3.2/CATS/PYGAME_pygame_cats.py
contrib/ats2cpp/H
contrib/ATS-extsolve-z3/ATS-extsolve
contrib/CATS-atscc2r34/CATS-parsemit
contrib/CATS-atscc2js/CATS-parsemit
contrib/CATS-atscc2scm/DATS/atscc2scm_emit.dats
contrib/CATS-atscc2scm/DATS/.keeper
contrib/CATS-atscc2scm/DATS/atscc2scm_main.dats
contrib/CATS-atscc2scm/DATS/atscc2scm_emit2.dats
contrib/CATS-atscc2scm/.keeper
contrib/CATS-atscc2scm/Makefile
contrib/CATS-atscc2scm/bin/.gitkeep
contrib/atscntrb/atscntrb-hx-getargs/DATS/getargs.dats
contrib/atscntrb/atscntrb-hx-getargs/README.md
contrib/atscntrb/atscntrb-hx-getargs/mylibies.hats
contrib/atscntrb/atscntrb-hx-getargs/.keeper
contrib/atscntrb/atscntrb-hx-getargs/TEST/test01.dats
contrib/atscntrb/atscntrb-hx-getargs/TEST/test00.dats
contrib/atscntrb/atscntrb-hx-getargs/TEST/Makefile
contrib/atscntrb/atscntrb-hx-getargs/mylibies_link.hats
contrib/atscntrb/atscntrb-hx-getargs/SATS/getargs.sats
contrib/atscntrb/atscntrb-hx-intinf/DATS/intinf_t.dats
contrib/atscntrb/atscntrb-hx-intinf/DATS/intinf_vt.dats
contrib/atscntrb/atscntrb-hx-intinf/DATS/gintinf_t.dats
contrib/atscntrb/atscntrb-hx-intinf/README.md
contrib/atscntrb/atscntrb-hx-intinf/mylibies.hats
contrib/atscntrb/atscntrb-hx-intinf/mydepies.hats
contrib/atscntrb/atscntrb-hx-intinf/.keeper
contrib/atscntrb/atscntrb-hx-intinf/TEST/test02.dats
contrib/atscntrb/atscntrb-hx-intinf/TEST/test06.dats
contrib/atscntrb/atscntrb-hx-intinf/TEST/test01.dats
contrib/atscntrb/atscntrb-hx-intinf/TEST/test04.dats
contrib/atscntrb/atscntrb-hx-intinf/TEST/test05.dats
contrib/atscntrb/atscntrb-hx-intinf/TEST/README
contrib/atscntrb/atscntrb-hx-intinf/TEST/test03.dats
contrib/atscntrb/atscntrb-hx-intinf/TEST/Makefile
contrib/atscntrb/atscntrb-hx-intinf/SATS/DOCUGEN/intinf_vt.atxt
contrib/atscntrb/atscntrb-hx-intinf/SATS/DOCUGEN/intinf.atxt
contrib/atscntrb/atscntrb-hx-intinf/SATS/DOCUGEN/HTML/.keeper
contrib/atscntrb/atscntrb-hx-intinf/SATS/DOCUGEN/intinf_t.atxt
contrib/atscntrb/atscntrb-hx-intinf/SATS/DOCUGEN/Makefile
contrib/atscntrb/atscntrb-hx-intinf/SATS/DOCUGEN/theDeclpostamble.html
contrib/atscntrb/atscntrb-hx-intinf/SATS/DOCUGEN/Makefile.atxt
contrib/atscntrb/atscntrb-hx-intinf/SATS/intinf.sats
contrib/atscntrb/atscntrb-hx-intinf/SATS/intinf_t.sats
contrib/atscntrb/atscntrb-hx-intinf/SATS/intinf_vt.sats
contrib/atscntrb/atscntrb-hx-libjson-c/DATS/json_ML.dats
contrib/atscntrb/atscntrb-hx-libjson-c/DATS/json.dats
contrib/atscntrb/atscntrb-hx-libjson-c/mylibies.hats
contrib/atscntrb/atscntrb-hx-libjson-c/CATS/json.cats
contrib/atscntrb/atscntrb-hx-libjson-c/CATS/printbuf.cats
contrib/atscntrb/atscntrb-hx-libjson-c/.keeper
contrib/atscntrb/atscntrb-hx-libjson-c/TEST/test02.dats
contrib/atscntrb/atscntrb-hx-libjson-c/TEST/test06.dats
contrib/atscntrb/atscntrb-hx-libjson-c/TEST/test01.dats
contrib/atscntrb/atscntrb-hx-libjson-c/TEST/test04.dats
contrib/atscntrb/atscntrb-hx-libjson-c/TEST/test05.dats
contrib/atscntrb/atscntrb-hx-libjson-c/TEST/test00.dats
contrib/atscntrb/atscntrb-hx-libjson-c/TEST/testlib.dats
contrib/atscntrb/atscntrb-hx-libjson-c/TEST/test03.dats
contrib/atscntrb/atscntrb-hx-libjson-c/TEST/Makefile
contrib/atscntrb/atscntrb-hx-libjson-c/TEST/test07.dats
contrib/atscntrb/atscntrb-hx-libjson-c/mylibies_link.hats
contrib/atscntrb/atscntrb-hx-libjson-c/SATS/json_util.sats
contrib/atscntrb/atscntrb-hx-libjson-c/SATS/json_ML.sats
contrib/atscntrb/atscntrb-hx-libjson-c/SATS/printbuf.sats
contrib/atscntrb/atscntrb-hx-libjson-c/SATS/arraylist.sats
contrib/atscntrb/atscntrb-hx-libjson-c/SATS/json_object.sats
contrib/atscntrb/atscntrb-hx-libjson-c/SATS/json_tokener.sats
contrib/atscntrb/atscntrb-hx-libjson-c/SATS/DOCUGEN/json_util.atxt
contrib/atscntrb/atscntrb-hx-libjson-c/SATS/DOCUGEN/json_ML.atxt
contrib/atscntrb/atscntrb-hx-libjson-c/SATS/DOCUGEN/json_tokener.atxt
contrib/atscntrb/atscntrb-hx-libjson-c/SATS/DOCUGEN/json_object.atxt
contrib/atscntrb/atscntrb-hx-libjson-c/SATS/DOCUGEN/printbuf.atxt
contrib/atscntrb/atscntrb-hx-libjson-c/SATS/DOCUGEN/mybasis.atxt
contrib/atscntrb/atscntrb-hx-libjson-c/SATS/DOCUGEN/json.atxt
contrib/atscntrb/atscntrb-hx-libjson-c/SATS/DOCUGEN/json_object_iterator.atxt
contrib/atscntrb/atscntrb-hx-libjson-c/SATS/DOCUGEN/theDeclpostamble.html
contrib/atscntrb/atscntrb-hx-libjson-c/SATS/DOCUGEN/Makefile.atxt
contrib/atscntrb/atscntrb-hx-libjson-c/SATS/DOCUGEN/arraylist.atxt
contrib/atscntrb/atscntrb-hx-libjson-c/SATS/DOCUGEN/linkhash.atxt
contrib/atscntrb/atscntrb-hx-libjson-c/SATS/json.sats
contrib/atscntrb/atscntrb-hx-libjson-c/SATS/linkhash.sats
contrib/atscntrb/atscntrb-hx-libjson-c/SATS/json_object_iterator.sats
contrib/atscntrb/atscntrb-hx-libjson-c/SATS/mybasis.sats
contrib/atscntrb/atscntrb-hx-libgmp/DATS/gmp.dats
contrib/atscntrb/atscntrb-hx-libgmp/README.md
contrib/atscntrb/atscntrb-hx-libgmp/mylibies.hats
contrib/atscntrb/atscntrb-hx-libgmp/CATS/gmp.cats
contrib/atscntrb/atscntrb-hx-libgmp/.keeper
contrib/atscntrb/atscntrb-hx-libgmp/TEST/pidigits/pidigits.dats
contrib/atscntrb/atscntrb-hx-libgmp/TEST/pidigits/Makefile
contrib/atscntrb/atscntrb-hx-libgmp/SATS/DOCUGEN/htmlgendecl_data_atxt.dats
contrib/atscntrb/atscntrb-hx-libgmp/SATS/DOCUGEN/gmp.atxt
contrib/atscntrb/atscntrb-hx-libgmp/SATS/DOCUGEN/htmlgendecl_atxt.dats
contrib/atscntrb/atscntrb-hx-libgmp/SATS/DOCUGEN/gmp_atxt.txt
contrib/atscntrb/atscntrb-hx-libgmp/SATS/DOCUGEN/htmlgendecl_atxt.txt
contrib/atscntrb/atscntrb-hx-libgmp/SATS/DOCUGEN/HTML/.keeper
contrib/atscntrb/atscntrb-hx-libgmp/SATS/DOCUGEN/Makefile_atxt.dats
contrib/atscntrb/atscntrb-hx-libgmp/SATS/DOCUGEN/Makefile
contrib/atscntrb/atscntrb-hx-libgmp/SATS/DOCUGEN/theDeclpostamble.html
contrib/atscntrb/atscntrb-hx-libgmp/SATS/DOCUGEN/Makefile.atxt
contrib/atscntrb/atscntrb-hx-libgmp/SATS/DOCUGEN/Makefile_atxt.txt
contrib/atscntrb/atscntrb-hx-libgmp/SATS/gmp.sats
contrib/atscntrb/atscntrb-hx-libcurl/DATS/curl_curl.dats
contrib/atscntrb/atscntrb-hx-libcurl/DATS/curl_easy.dats
contrib/atscntrb/atscntrb-hx-libcurl/DATS/curl.dats
contrib/atscntrb/atscntrb-hx-libcurl/mylibies.hats
contrib/atscntrb/atscntrb-hx-libcurl/CATS/curl.cats
contrib/atscntrb/atscntrb-hx-libcurl/.keeper
contrib/atscntrb/atscntrb-hx-libcurl/TEST/test01.dats
contrib/atscntrb/atscntrb-hx-libcurl/TEST/test00.dats
contrib/atscntrb/atscntrb-hx-libcurl/TEST/Makefile
contrib/atscntrb/atscntrb-hx-libcurl/SATS/curl.sats
contrib/atscntrb/atscntrb-hx-libcurl/SATS/curl_easy.sats
contrib/atscntrb/atscntrb-hx-libcurl/SATS/curl_curl.sats
contrib/atscntrb/atscntrb-hx-globals/README.md
contrib/atscntrb/atscntrb-hx-globals/HATS/ghashtbl_linprb.hats
contrib/atscntrb/atscntrb-hx-globals/HATS/ghashtbl_chain.hats
contrib/atscntrb/atscntrb-hx-globals/HATS/gobjptr.hats
contrib/atscntrb/atscntrb-hx-globals/HATS/gcount.hats
contrib/atscntrb/atscntrb-hx-globals/HATS/gdeqarray.hats
contrib/atscntrb/atscntrb-hx-globals/HATS/globvar.hats
contrib/atscntrb/atscntrb-hx-globals/HATS/gstacklst.hats
contrib/atscntrb/atscntrb-hx-globals/.keeper
contrib/atscntrb/atscntrb-hx-globals/TEST/test02.dats
contrib/atscntrb/atscntrb-hx-globals/TEST/test01.dats
contrib/atscntrb/atscntrb-hx-globals/TEST/test04.dats
contrib/atscntrb/atscntrb-hx-globals/TEST/test03.dats
contrib/atscntrb/atscntrb-hx-globals/TEST/Makefile
contrib/atscntrb/atscntrb-hx-globals/TEST/test05-1.dats
contrib/atscntrb/atscntrb-hx-globals/TEST/test05-2.dats
contrib/atscntrb/atscntrb-hx-mytesting/DATS/randgen.dats
contrib/atscntrb/atscntrb-hx-mytesting/DATS/timing.dats
contrib/atscntrb/atscntrb-hx-mytesting/DATS/foldleft.dats
contrib/atscntrb/atscntrb-hx-mytesting/README
contrib/atscntrb/atscntrb-hx-mytesting/.keeper
contrib/atscntrb/atscntrb-hx-mytesting/TEST/test02.dats
contrib/atscntrb/atscntrb-hx-mytesting/TEST/test01.dats
contrib/atscntrb/atscntrb-hx-mytesting/TEST/test03.dats
contrib/atscntrb/atscntrb-hx-mytesting/TEST/Makefile
contrib/atscntrb/atscntrb-hx-mytesting/SATS/randgen.sats
contrib/atscntrb/atscntrb-hx-mytesting/SATS/timing.sats
contrib/atscntrb/atscntrb-hx-mytesting/SATS/foldleft.sats
contrib/atscntrb/atscntrb-hx-sdstring/DATS/sdstring.dats
contrib/atscntrb/atscntrb-hx-sdstring/README.md
contrib/atscntrb/atscntrb-hx-sdstring/H/sds.h
contrib/atscntrb/atscntrb-hx-sdstring/H/sds.c
contrib/atscntrb/atscntrb-hx-sdstring/H/LICENSE
contrib/atscntrb/atscntrb-hx-sdstring/CATS/sdstring.cats
contrib/atscntrb/atscntrb-hx-sdstring/.keeper
contrib/atscntrb/atscntrb-hx-sdstring/TEST/test02.dats
contrib/atscntrb/atscntrb-hx-sdstring/TEST/test01.dats
contrib/atscntrb/atscntrb-hx-sdstring/TEST/test03.dats
contrib/atscntrb/atscntrb-hx-sdstring/TEST/Makefile
contrib/atscntrb/atscntrb-hx-sdstring/SATS/sdstring.sats
contrib/atscntrb/.keeper
contrib/atscntrb/atscntrb-hx-cstream/DATS/cstream_fun.dats
contrib/atscntrb/atscntrb-hx-cstream/DATS/cstream_cloref.dats
contrib/atscntrb/atscntrb-hx-cstream/DATS/cstream_strptr.dats
contrib/atscntrb/atscntrb-hx-cstream/DATS/cstream.dats
contrib/atscntrb/atscntrb-hx-cstream/DATS/cstream_tokener.dats
contrib/atscntrb/atscntrb-hx-cstream/DATS/cstream_fileref.dats
contrib/atscntrb/atscntrb-hx-cstream/DATS/cstream_string.dats
contrib/atscntrb/atscntrb-hx-cstream/DATS/cstream_fileptr.dats
contrib/atscntrb/atscntrb-hx-cstream/README.md
contrib/atscntrb/atscntrb-hx-cstream/.keeper
contrib/atscntrb/atscntrb-hx-cstream/TEST/test02.dats
contrib/atscntrb/atscntrb-hx-cstream/TEST/test01.dats
contrib/atscntrb/atscntrb-hx-cstream/TEST/test03.dats
contrib/atscntrb/atscntrb-hx-cstream/TEST/Makefile
contrib/atscntrb/atscntrb-hx-cstream/TEST/tokener.dats
contrib/atscntrb/atscntrb-hx-cstream/SATS/cstream.sats
contrib/atscntrb/atscntrb-hx-cstream/SATS/DOCUGEN/cstream.atxt
contrib/atscntrb/atscntrb-hx-cstream/SATS/DOCUGEN/HTML/.keeper
contrib/atscntrb/atscntrb-hx-cstream/SATS/DOCUGEN/Makefile
contrib/atscntrb/atscntrb-hx-cstream/SATS/DOCUGEN/cstream_tokener.atxt
contrib/atscntrb/atscntrb-hx-cstream/SATS/DOCUGEN/theDeclpostamble.html
contrib/atscntrb/atscntrb-hx-cstream/SATS/DOCUGEN/Makefile.atxt
contrib/atscntrb/atscntrb-hx-cstream/SATS/cstream_tokener.sats
contrib/atscntrb/atscntrb-hx-libpcre/DATS/pcre.dats
contrib/atscntrb/atscntrb-hx-libpcre/DATS/pcre_ML.dats
contrib/atscntrb/atscntrb-hx-libpcre/mylibies.hats
contrib/atscntrb/atscntrb-hx-libpcre/CATS/pcre.cats
contrib/atscntrb/atscntrb-hx-libpcre/.keeper
contrib/atscntrb/atscntrb-hx-libpcre/TEST/test02.dats
contrib/atscntrb/atscntrb-hx-libpcre/TEST/test06.dats
contrib/atscntrb/atscntrb-hx-libpcre/TEST/test01.dats
contrib/atscntrb/atscntrb-hx-libpcre/TEST/test04.dats
contrib/atscntrb/atscntrb-hx-libpcre/TEST/test05.dats
contrib/atscntrb/atscntrb-hx-libpcre/TEST/test00.dats
contrib/atscntrb/atscntrb-hx-libpcre/TEST/test03.dats
contrib/atscntrb/atscntrb-hx-libpcre/TEST/Makefile
contrib/atscntrb/atscntrb-hx-libpcre/mylibies_link.hats
contrib/atscntrb/atscntrb-hx-libpcre/SATS/pcre.sats
contrib/atscntrb/atscntrb-hx-libpcre/SATS/DOCUGEN/pcre.atxt
contrib/atscntrb/atscntrb-hx-libpcre/SATS/DOCUGEN/HTML/.keeper
contrib/atscntrb/atscntrb-hx-libpcre/SATS/DOCUGEN/pcre_ML.atxt
contrib/atscntrb/atscntrb-hx-libpcre/SATS/DOCUGEN/theDeclpostamble.html
contrib/atscntrb/atscntrb-hx-libpcre/SATS/DOCUGEN/Makefile.atxt
contrib/atscntrb/atscntrb-hx-libpcre/SATS/pcre_ML.sats
contrib/atscntrb/atscntrb-hx-libjansson/DATS/jansson.dats
contrib/atscntrb/atscntrb-hx-libjansson/mylibies.hats
contrib/atscntrb/atscntrb-hx-libjansson/CATS/CODEGEN/jansson.cats
contrib/atscntrb/atscntrb-hx-libjansson/CATS/CODEGEN/jansson.atxt
contrib/atscntrb/atscntrb-hx-libjansson/CATS/CODEGEN/Makefile
contrib/atscntrb/atscntrb-hx-libjansson/.keeper
contrib/atscntrb/atscntrb-hx-libjansson/TEST/github_commit_query.dats
contrib/atscntrb/atscntrb-hx-libjansson/TEST/test02.dats
contrib/atscntrb/atscntrb-hx-libjansson/TEST/test01.dats
contrib/atscntrb/atscntrb-hx-libjansson/TEST/Makefile
contrib/atscntrb/atscntrb-hx-libjansson/SATS/jansson.sats
contrib/atscntrb/atscntrb-hx-libjansson/SATS/DOCUGEN/TRYIT/.keeper
contrib/atscntrb/atscntrb-hx-libjansson/SATS/DOCUGEN/jansson.atxt
contrib/atscntrb/atscntrb-hx-libjansson/SATS/DOCUGEN/HTML/.keeper
contrib/atscntrb/atscntrb-hx-libjansson/SATS/DOCUGEN/theDeclpostamble.html
contrib/atscntrb/atscntrb-hx-libjansson/SATS/DOCUGEN/Makefile.atxt
contrib/ATS-extsolve/DATS/CNSTRNT/patsolve_cnstrnt_c3nstr.dats
contrib/ATS-extsolve/DATS/CNSTRNT/patsolve_cnstrnt_s3itm.dats
contrib/ATS-extsolve/DATS/CNSTRNT/patsolve_cnstrnt_s2vvar.dats
contrib/ATS-extsolve/DATS/CNSTRNT/patsolve_cnstrnt_h3ypo.dats
contrib/ATS-extsolve/DATS/CNSTRNT/patsolve_cnstrnt_label.dats
contrib/ATS-extsolve/DATS/CNSTRNT/patsolve_cnstrnt_s2var.dats
contrib/ATS-extsolve/DATS/CNSTRNT/patsolve_cnstrnt_s2rt.dats
contrib/ATS-extsolve/DATS/CNSTRNT/patsolve_cnstrnt_s2cst.dats
contrib/ATS-extsolve/DATS/CNSTRNT/patsolve_cnstrnt_symbol.dats
contrib/ATS-extsolve/DATS/CNSTRNT/patsolve_cnstrnt_s2exp.dats
contrib/ATS-extsolve/DATS/CNSTRNT/patsolve_cnstrnt_location.dats
contrib/ATS-extsolve/DATS/CNSTRNT/patsolve_cnstrnt_stamp.dats
contrib/ATS-extsolve/DATS/PARSING/patsolve_parsing_s2var.dats
contrib/ATS-extsolve/DATS/PARSING/patsolve_parsing_s2exp.dats
contrib/ATS-extsolve/DATS/PARSING/patsolve_parsing_label.dats
contrib/ATS-extsolve/DATS/PARSING/patsolve_parsing_s2cst.dats
contrib/ATS-extsolve/DATS/PARSING/patsolve_parsing_h3ypo.dats
contrib/ATS-extsolve/DATS/PARSING/patsolve_parsing_c3nstr.dats
contrib/ATS-extsolve/DATS/PARSING/patsolve_parsing_s2rt.dats
contrib/ATS-extsolve/DATS/PARSING/patsolve_parsing_s3itm.dats
contrib/ATS-extsolve/DATS/PARSING/patsolve_parsing_s2vvar.dats
contrib/ATS-extsolve/DATS/patsolve_main.dats
contrib/ATS-extsolve/DATS/.keeper
contrib/ATS-extsolve/DATS/patsolve_parsing.dats
contrib/ATS-extsolve/DATS/patsolve_cnstrnt.dats
contrib/ATS-extsolve/DATS/patsolve_commarg.dats
contrib/ATS-extsolve/DATS/patsolve_mylib.dats
contrib/ATS-extsolve/README
contrib/ATS-extsolve/CATS/.keeper
contrib/ATS-extsolve/.keeper
contrib/ATS-extsolve/Makefile
contrib/ATS-extsolve/bin/.keeper
contrib/ATS-extsolve/SATS/patsolve_cnstrnt.sats
contrib/ATS-extsolve/SATS/.keeper
contrib/ATS-extsolve/SATS/patsolve_commarg.sats
contrib/ATS-extsolve/SATS/patsolve_parsing.sats
contrib/libatscc2r34/DATS/list_vt.dats
contrib/libatscc2r34/DATS/option.dats
contrib/libatscc2r34/DATS/list.dats
contrib/libatscc2r34/DATS/stream.dats
contrib/libatscc2r34/DATS/ML/list0.dats
contrib/libatscc2r34/DATS/ML/option0.dats
contrib/libatscc2r34/DATS/R34matrix.dats
contrib/libatscc2r34/DATS/stream_vt.dats
contrib/libatscc2r34/DATS/R34dframe.dats
contrib/libatscc2r34/DATS/R34vector.dats
contrib/libatscc2r34/DATS/intrange.dats
contrib/libatscc2r34/basics_r34.sats
contrib/libatscc2r34/mylibies.hats
contrib/libatscc2r34/CATS/R34vector_cats.R
contrib/libatscc2r34/CATS/integer_cats.R
contrib/libatscc2r34/CATS/bool_cats.R
contrib/libatscc2r34/CATS/R34factor_cats.R
contrib/libatscc2r34/CATS/basics_cats.R
contrib/libatscc2r34/CATS/float_cats.R
contrib/libatscc2r34/CATS/R34matrix_cats.R
contrib/libatscc2r34/CATS/R34dframe_cats.R
contrib/libatscc2r34/.keeper
contrib/libatscc2r34/Makefile
contrib/libatscc2r34/SATS/stream.sats
contrib/libatscc2r34/SATS/integer.sats
contrib/libatscc2r34/SATS/intrange.sats
contrib/libatscc2r34/SATS/string.sats
contrib/libatscc2r34/SATS/filebas.sats
contrib/libatscc2r34/SATS/list.sats
contrib/libatscc2r34/SATS/ML/option0.sats
contrib/libatscc2r34/SATS/ML/list0.sats
contrib/libatscc2r34/SATS/option.sats
contrib/libatscc2r34/SATS/R34dframe.sats
contrib/libatscc2r34/SATS/list_vt.sats
contrib/libatscc2r34/SATS/float.sats
contrib/libatscc2r34/SATS/stream_vt.sats
contrib/libatscc2r34/SATS/bool.sats
contrib/libatscc2r34/SATS/print.sats
contrib/libatscc2r34/SATS/R34vector.sats
contrib/libatscc2r34/SATS/R34matrix.sats
contrib/libatscc2r34/SATS/R34factor.sats
contrib/CATS-parsemit/DATS/catsparse_parsing.dats
contrib/CATS-parsemit/DATS/catsparse_lexbuf.dats
contrib/CATS-parsemit/DATS/catsparse_syntax.dats
contrib/CATS-parsemit/DATS/catsparse_symbol.dats
contrib/CATS-parsemit/DATS/catsparse_fundecl.dats
contrib/CATS-parsemit/DATS/catsparse_lexing.dats
contrib/CATS-parsemit/DATS/catsparse_parsing_d0ecl.dats
contrib/CATS-parsemit/DATS/catsparse_tokbuf.dats
contrib/CATS-parsemit/DATS/catsparse_typedef.dats
contrib/CATS-parsemit/DATS/catsparse_posloc.dats
contrib/CATS-parsemit/DATS/catsparse_error.dats
contrib/CATS-parsemit/DATS/catsparse_parsing_d0exp.dats
contrib/CATS-parsemit/DATS/catsparse_emit.dats
contrib/CATS-parsemit/DATS/catsparse_mylib.dats
contrib/CATS-parsemit/DATS/catsparse_parerr.dats
contrib/CATS-parsemit/DATS/.keeper
contrib/CATS-parsemit/DATS/catsparse_fname.dats
contrib/CATS-parsemit/DATS/catsparse_parsing_instr.dats
contrib/CATS-parsemit/DATS/catsparse_print.dats
contrib/CATS-parsemit/DATS/catsparse_lexerr.dats
contrib/CATS-parsemit/DATS/catsparse_global.dats
contrib/CATS-parsemit/catsparse_all.dats
contrib/CATS-parsemit/CATS/.keeper
contrib/CATS-parsemit/.keeper
contrib/CATS-parsemit/Makefile
contrib/CATS-parsemit/SATS/catsparse_fundecl.sats
contrib/CATS-parsemit/SATS/catsparse_emit.sats
contrib/CATS-parsemit/SATS/catsparse_syntax.sats
contrib/CATS-parsemit/SATS/catsparse_parsing.sats
contrib/CATS-parsemit/SATS/.keeper
contrib/CATS-parsemit/SATS/catsparse.sats
contrib/CATS-parsemit/SATS/catsparse_typedef.sats
contrib/CATS-atscc2pl/DATS/atscc2pl_emit.dats
contrib/CATS-atscc2pl/DATS/.keeper
contrib/CATS-atscc2pl/DATS/atscc2pl_emit2.dats
contrib/CATS-atscc2pl/DATS/atscc2pl_main.dats
contrib/CATS-atscc2pl/.keeper
contrib/CATS-atscc2pl/Makefile
contrib/CATS-atscc2pl/bin/.gitkeep
contrib/CATS-atscc2py3/DATS/atscc2py3_emit.dats
contrib/CATS-atscc2py3/DATS/atscc2py3_emit2.dats
contrib/CATS-atscc2py3/DATS/atscc2py3_main.dats
contrib/CATS-atscc2py3/DATS/.keeper
contrib/CATS-atscc2py3/.keeper
contrib/CATS-atscc2py3/Makefile
contrib/CATS-atscc2py3/bin/.gitkeep
contrib/libatscc/basics.sats
contrib/libatscc/DATS/gmatrixref.dats
contrib/libatscc/DATS/list_vt.dats
contrib/libatscc/DATS/qlistref.dats
contrib/libatscc/DATS/option.dats
contrib/libatscc/DATS/list.dats
contrib/libatscc/DATS/basics.dats
contrib/libatscc/DATS/gprint.dats
contrib/libatscc/DATS/stream.dats
contrib/libatscc/DATS/arrayref.dats
contrib/libatscc/DATS/ML/list0.dats
contrib/libatscc/DATS/ML/array0.dats
contrib/libatscc/DATS/ML/matrix0.dats
contrib/libatscc/DATS/ML/option0.dats
contrib/libatscc/DATS/matrixref.dats
contrib/libatscc/DATS/stream_vt.dats
contrib/libatscc/DATS/slistref.dats
contrib/libatscc/DATS/funarray.dats
contrib/libatscc/DATS/intrange.dats
contrib/libatscc/BUCS320/DivideConquer/DATS/DivideConquer.dats
contrib/libatscc/BUCS320/GraphSearch/DATS/GraphSearch_bfs.dats
contrib/libatscc/BUCS320/GraphSearch/DATS/GraphSearch_dfs.dats
contrib/libatscc/BUCS320/GraphSearch/DATS/GraphSearch.dats
contrib/libatscc/BUCS320/words/SATS/words.sats
contrib/libatscc/BUCS320/GraphStreamize/DATS/GraphStreamize.dats
contrib/libatscc/BUCS320/GraphStreamize/DATS/GraphStreamize_bfs.dats
contrib/libatscc/BUCS320/GraphStreamize/DATS/GraphStreamize_dfs.dats
contrib/libatscc/BUCS320/parcomb/DATS/parcomb.dats
contrib/libatscc/BUCS320/parcomb/SATS/parcomb.sats
contrib/libatscc/.keeper
contrib/libatscc/SATS/stream.sats
contrib/libatscc/SATS/arrayref.sats
contrib/libatscc/SATS/matrixref.sats
contrib/libatscc/SATS/gprint.sats
contrib/libatscc/SATS/intrange.sats
contrib/libatscc/SATS/slistref.sats
contrib/libatscc/SATS/list.sats
contrib/libatscc/SATS/ML/option0.sats
contrib/libatscc/SATS/ML/array0.sats
contrib/libatscc/SATS/ML/list0.sats
contrib/libatscc/SATS/ML/matrix0.sats
contrib/libatscc/SATS/gmatrixref.sats
contrib/libatscc/SATS/option.sats
contrib/libatscc/SATS/list_vt.sats
contrib/libatscc/SATS/gvalue.sats
contrib/libatscc/SATS/funarray.sats
contrib/libatscc/SATS/qlistref.sats
contrib/libatscc/SATS/stream_vt.sats
contrib/libatscc/SATS/reference.sats
contrib/libatscc/ATS2-0.3.2/basics.sats
contrib/libatscc/ATS2-0.3.2/DATS/gmatrixref.dats
contrib/libatscc/ATS2-0.3.2/DATS/list_vt.dats
contrib/libatscc/ATS2-0.3.2/DATS/qlistref.dats
contrib/libatscc/ATS2-0.3.2/DATS/option.dats
contrib/libatscc/ATS2-0.3.2/DATS/list.dats
contrib/libatscc/ATS2-0.3.2/DATS/basics.dats
contrib/libatscc/ATS2-0.3.2/DATS/gprint.dats
contrib/libatscc/ATS2-0.3.2/DATS/stream.dats
contrib/libatscc/ATS2-0.3.2/DATS/arrayref.dats
contrib/libatscc/ATS2-0.3.2/DATS/ML/list0.dats
contrib/libatscc/ATS2-0.3.2/DATS/ML/array0.dats
contrib/libatscc/ATS2-0.3.2/DATS/ML/matrix0.dats
contrib/libatscc/ATS2-0.3.2/DATS/ML/option0.dats
contrib/libatscc/ATS2-0.3.2/DATS/matrixref.dats
contrib/libatscc/ATS2-0.3.2/DATS/stream_vt.dats
contrib/libatscc/ATS2-0.3.2/DATS/BUCS320/GraphSearch/GraphSearch_bfs.dats
contrib/libatscc/ATS2-0.3.2/DATS/BUCS320/GraphSearch/GraphSearch_dfs.dats
contrib/libatscc/ATS2-0.3.2/DATS/BUCS320/GraphSearch/GraphSearch.dats
contrib/libatscc/ATS2-0.3.2/DATS/BUCS320/GraphStreamize/GraphStreamize.dats
contrib/libatscc/ATS2-0.3.2/DATS/BUCS320/GraphStreamize/GraphStreamize_bfs.dats
contrib/libatscc/ATS2-0.3.2/DATS/BUCS320/GraphStreamize/GraphStreamize_dfs.dats
contrib/libatscc/ATS2-0.3.2/DATS/BUCS320/parcomb/parcomb.dats
contrib/libatscc/ATS2-0.3.2/DATS/slistref.dats
contrib/libatscc/ATS2-0.3.2/DATS/funarray.dats
contrib/libatscc/ATS2-0.3.2/DATS/intrange.dats
contrib/libatscc/ATS2-0.3.2/SATS/stream.sats
contrib/libatscc/ATS2-0.3.2/SATS/arrayref.sats
contrib/libatscc/ATS2-0.3.2/SATS/matrixref.sats
contrib/libatscc/ATS2-0.3.2/SATS/gprint.sats
contrib/libatscc/ATS2-0.3.2/SATS/intrange.sats
contrib/libatscc/ATS2-0.3.2/SATS/slistref.sats
contrib/libatscc/ATS2-0.3.2/SATS/list.sats
contrib/libatscc/ATS2-0.3.2/SATS/ML/option0.sats
contrib/libatscc/ATS2-0.3.2/SATS/ML/array0.sats
contrib/libatscc/ATS2-0.3.2/SATS/ML/list0.sats
contrib/libatscc/ATS2-0.3.2/SATS/ML/matrix0.sats
contrib/libatscc/ATS2-0.3.2/SATS/gmatrixref.sats
contrib/libatscc/ATS2-0.3.2/SATS/option.sats
contrib/libatscc/ATS2-0.3.2/SATS/list_vt.sats
contrib/libatscc/ATS2-0.3.2/SATS/gvalue.sats
contrib/libatscc/ATS2-0.3.2/SATS/BUCS320/words.sats
contrib/libatscc/ATS2-0.3.2/SATS/BUCS320/parcomb.sats
contrib/libatscc/ATS2-0.3.2/SATS/funarray.sats
contrib/libatscc/ATS2-0.3.2/SATS/qlistref.sats
contrib/libatscc/ATS2-0.3.2/SATS/stream_vt.sats
contrib/libatscc/ATS2-0.3.2/SATS/reference.sats
contrib/libatscc2php/.keeper
contrib/libatscc2php/ATS2-0.3.2/DATS/list_vt.dats
contrib/libatscc2php/ATS2-0.3.2/DATS/qlistref.dats
contrib/libatscc2php/ATS2-0.3.2/DATS/reference.dats
contrib/libatscc2php/ATS2-0.3.2/DATS/option.dats
contrib/libatscc2php/ATS2-0.3.2/DATS/list.dats
contrib/libatscc2php/ATS2-0.3.2/DATS/basics.dats
contrib/libatscc2php/ATS2-0.3.2/DATS/PHParray.dats
contrib/libatscc2php/ATS2-0.3.2/DATS/stream.dats
contrib/libatscc2php/ATS2-0.3.2/DATS/arrayref.dats
contrib/libatscc2php/ATS2-0.3.2/DATS/ML/list0.dats
contrib/libatscc2php/ATS2-0.3.2/DATS/ML/array0.dats
contrib/libatscc2php/ATS2-0.3.2/DATS/ML/matrix0.dats
contrib/libatscc2php/ATS2-0.3.2/DATS/ML/option0.dats
contrib/libatscc2php/ATS2-0.3.2/DATS/matrixref.dats
contrib/libatscc2php/ATS2-0.3.2/DATS/stream_vt.dats
contrib/libatscc2php/ATS2-0.3.2/DATS/filebas.dats
contrib/libatscc2php/ATS2-0.3.2/DATS/BUCS320/GraphSearch/GraphSearch_bfs.dats
contrib/libatscc2php/ATS2-0.3.2/DATS/BUCS320/GraphSearch/GraphSearch_dfs.dats
contrib/libatscc2php/ATS2-0.3.2/DATS/BUCS320/parcomb/parcomb.dats
contrib/libatscc2php/ATS2-0.3.2/DATS/slistref.dats
contrib/libatscc2php/ATS2-0.3.2/DATS/funarray.dats
contrib/libatscc2php/ATS2-0.3.2/DATS/PHParref.dats
contrib/libatscc2php/ATS2-0.3.2/DATS/print.dats
contrib/libatscc2php/ATS2-0.3.2/DATS/intrange.dats
contrib/libatscc2php/ATS2-0.3.2/staloadall.hats
contrib/libatscc2php/ATS2-0.3.2/basics_php.sats
contrib/libatscc2php/ATS2-0.3.2/CATS/integer_cats.php
contrib/libatscc2php/ATS2-0.3.2/CATS/float_cats.php
contrib/libatscc2php/ATS2-0.3.2/CATS/basics_cats.php
contrib/libatscc2php/ATS2-0.3.2/CATS/PHParref_cats.php
contrib/libatscc2php/ATS2-0.3.2/CATS/PHPref_cats.php
contrib/libatscc2php/ATS2-0.3.2/CATS/PHParray_cats.php
contrib/libatscc2php/ATS2-0.3.2/CATS/filebas_cats.php
contrib/libatscc2php/ATS2-0.3.2/CATS/print_cats.php
contrib/libatscc2php/ATS2-0.3.2/CATS/bool_cats.php
contrib/libatscc2php/ATS2-0.3.2/CATS/string_cats.php
contrib/libatscc2php/ATS2-0.3.2/TEST/test02.dats
contrib/libatscc2php/ATS2-0.3.2/TEST/test01.dats
contrib/libatscc2php/ATS2-0.3.2/TEST/test04.dats
contrib/libatscc2php/ATS2-0.3.2/TEST/BUCS320/GraphSearch/GameOf24Play_dfs.dats
contrib/libatscc2php/ATS2-0.3.2/TEST/BUCS320/GraphSearch/QueenPuzzle_dfs.dats
contrib/libatscc2php/ATS2-0.3.2/TEST/BUCS320/GraphSearch/QueenPuzzle_bfs.dats
contrib/libatscc2php/ATS2-0.3.2/TEST/BUCS320/GraphSearch/GameOf24Play_bfs.dats
contrib/libatscc2php/ATS2-0.3.2/TEST/BUCS320/GraphSearch/Makefile
contrib/libatscc2php/ATS2-0.3.2/TEST/test03.dats
contrib/libatscc2php/ATS2-0.3.2/TEST/Makefile
contrib/libatscc2php/ATS2-0.3.2/Makefile
contrib/libatscc2php/ATS2-0.3.2/output/DATS/ML/.keeper
contrib/libatscc2php/ATS2-0.3.2/output/DATS/.keeper
contrib/libatscc2php/ATS2-0.3.2/SATS/PHParray.sats
contrib/libatscc2php/ATS2-0.3.2/SATS/stream.sats
contrib/libatscc2php/ATS2-0.3.2/SATS/arrayref.sats
contrib/libatscc2php/ATS2-0.3.2/SATS/matrixref.sats
contrib/libatscc2php/ATS2-0.3.2/SATS/integer.sats
contrib/libatscc2php/ATS2-0.3.2/SATS/intrange.sats
contrib/libatscc2php/ATS2-0.3.2/SATS/PHParref.sats
contrib/libatscc2php/ATS2-0.3.2/SATS/string.sats
contrib/libatscc2php/ATS2-0.3.2/SATS/slistref.sats
contrib/libatscc2php/ATS2-0.3.2/SATS/filebas.sats
contrib/libatscc2php/ATS2-0.3.2/SATS/PHPref.sats
contrib/libatscc2php/ATS2-0.3.2/SATS/list.sats
contrib/libatscc2php/ATS2-0.3.2/SATS/ML/option0.sats
contrib/libatscc2php/ATS2-0.3.2/SATS/ML/array0.sats
contrib/libatscc2php/ATS2-0.3.2/SATS/ML/list0.sats
contrib/libatscc2php/ATS2-0.3.2/SATS/ML/matrix0.sats
contrib/libatscc2php/ATS2-0.3.2/SATS/option.sats
contrib/libatscc2php/ATS2-0.3.2/SATS/list_vt.sats
contrib/libatscc2php/ATS2-0.3.2/SATS/float.sats
contrib/libatscc2php/ATS2-0.3.2/SATS/BUCS320/words.sats
contrib/libatscc2php/ATS2-0.3.2/SATS/BUCS320/parcomb.sats
contrib/libatscc2php/ATS2-0.3.2/SATS/funarray.sats
contrib/libatscc2php/ATS2-0.3.2/SATS/qlistref.sats
contrib/libatscc2php/ATS2-0.3.2/SATS/stream_vt.sats
contrib/libatscc2php/ATS2-0.3.2/SATS/reference.sats
contrib/libatscc2php/ATS2-0.3.2/SATS/bool.sats
contrib/libatscc2php/ATS2-0.3.2/SATS/print.sats
contrib/libatscc2php/ATS2-0.3.2/SATS/char.sats
contrib/CATS-atscc2php/DATS/atscc2php_emit2.dats
contrib/CATS-atscc2php/DATS/atscc2php_main.dats
contrib/CATS-atscc2php/DATS/.keeper
contrib/CATS-atscc2php/DATS/atscc2php_emit.dats
contrib/CATS-atscc2php/.keeper
contrib/CATS-atscc2php/Makefile
contrib/CATS-atscc2php/bin/.gitkeep
contrib/libatscc2clj/.keeper
contrib/libatscc2clj/ATS2-0.3.2/DATS/list_vt.dats
contrib/libatscc2clj/ATS2-0.3.2/DATS/qlistref.dats
contrib/libatscc2clj/ATS2-0.3.2/DATS/option.dats
contrib/libatscc2clj/ATS2-0.3.2/DATS/CLJlist.dats
contrib/libatscc2clj/ATS2-0.3.2/DATS/list.dats
contrib/libatscc2clj/ATS2-0.3.2/DATS/basics.dats
contrib/libatscc2clj/ATS2-0.3.2/DATS/gprint.dats
contrib/libatscc2clj/ATS2-0.3.2/DATS/stream.dats
contrib/libatscc2clj/ATS2-0.3.2/DATS/ML/list0.dats
contrib/libatscc2clj/ATS2-0.3.2/DATS/ML/option0.dats
contrib/libatscc2clj/ATS2-0.3.2/DATS/stream_vt.dats
contrib/libatscc2clj/ATS2-0.3.2/DATS/BUCS320/GraphSearch/GraphSearch_bfs.dats
contrib/libatscc2clj/ATS2-0.3.2/DATS/BUCS320/GraphSearch/GraphSearch_dfs.dats
contrib/libatscc2clj/ATS2-0.3.2/DATS/slistref.dats
contrib/libatscc2clj/ATS2-0.3.2/DATS/funarray.dats
contrib/libatscc2clj/ATS2-0.3.2/DATS/print.dats
contrib/libatscc2clj/ATS2-0.3.2/DATS/intrange.dats
contrib/libatscc2clj/ATS2-0.3.2/staloadall.hats
contrib/libatscc2clj/ATS2-0.3.2/CATS/float_cats.clj
contrib/libatscc2clj/ATS2-0.3.2/CATS/char_cats.clj
contrib/libatscc2clj/ATS2-0.3.2/CATS/bool_cats.clj
contrib/libatscc2clj/ATS2-0.3.2/CATS/basics_cats.clj
contrib/libatscc2clj/ATS2-0.3.2/CATS/print_cats.clj
contrib/libatscc2clj/ATS2-0.3.2/CATS/integer_cats.clj
contrib/libatscc2clj/ATS2-0.3.2/CATS/CLJlist_cats.clj
contrib/libatscc2clj/ATS2-0.3.2/CATS/filebas_cats.clj
contrib/libatscc2clj/ATS2-0.3.2/CATS/reference_cats.clj
contrib/libatscc2clj/ATS2-0.3.2/TEST/test02.dats
contrib/libatscc2clj/ATS2-0.3.2/TEST/test01.dats
contrib/libatscc2clj/ATS2-0.3.2/TEST/BUCS320/GraphSearch/GameOf24Play_dfs.dats
contrib/libatscc2clj/ATS2-0.3.2/TEST/BUCS320/GraphSearch/QueenPuzzle_dfs.dats
contrib/libatscc2clj/ATS2-0.3.2/TEST/BUCS320/GraphSearch/QueenPuzzle_bfs.dats
contrib/libatscc2clj/ATS2-0.3.2/TEST/BUCS320/GraphSearch/GameOf24Play_bfs.dats
contrib/libatscc2clj/ATS2-0.3.2/TEST/BUCS320/GraphSearch/Makefile
contrib/libatscc2clj/ATS2-0.3.2/TEST/Makefile
contrib/libatscc2clj/ATS2-0.3.2/Makefile
contrib/libatscc2clj/ATS2-0.3.2/output/DATS/ML/.keeper
contrib/libatscc2clj/ATS2-0.3.2/output/DATS/.keeper
contrib/libatscc2clj/ATS2-0.3.2/output/.keeper
contrib/libatscc2clj/ATS2-0.3.2/basics_clj.sats
contrib/libatscc2clj/ATS2-0.3.2/SATS/CLJlist.sats
contrib/libatscc2clj/ATS2-0.3.2/SATS/stream.sats
contrib/libatscc2clj/ATS2-0.3.2/SATS/integer.sats
contrib/libatscc2clj/ATS2-0.3.2/SATS/gprint.sats
contrib/libatscc2clj/ATS2-0.3.2/SATS/intrange.sats
contrib/libatscc2clj/ATS2-0.3.2/SATS/slistref.sats
contrib/libatscc2clj/ATS2-0.3.2/SATS/filebas.sats
contrib/libatscc2clj/ATS2-0.3.2/SATS/list.sats
contrib/libatscc2clj/ATS2-0.3.2/SATS/ML/option0.sats
contrib/libatscc2clj/ATS2-0.3.2/SATS/ML/list0.sats
contrib/libatscc2clj/ATS2-0.3.2/SATS/option.sats
contrib/libatscc2clj/ATS2-0.3.2/SATS/list_vt.sats
contrib/libatscc2clj/ATS2-0.3.2/SATS/float.sats
contrib/libatscc2clj/ATS2-0.3.2/SATS/funarray.sats
contrib/libatscc2clj/ATS2-0.3.2/SATS/qlistref.sats
contrib/libatscc2clj/ATS2-0.3.2/SATS/stream_vt.sats
contrib/libatscc2clj/ATS2-0.3.2/SATS/reference.sats
contrib/libatscc2clj/ATS2-0.3.2/SATS/bool.sats
contrib/libatscc2clj/ATS2-0.3.2/SATS/print.sats
contrib/CATS-atscc2clj/DATS/atscc2clj_emit2.dats
contrib/CATS-atscc2clj/DATS/.keeper
contrib/CATS-atscc2clj/DATS/atscc2clj_main.dats
contrib/CATS-atscc2clj/DATS/atscc2clj_emit.dats
contrib/CATS-atscc2clj/Makefile
contrib/CATS-atscc2clj/bin/.gitkeep
contrib/ATS-extsolve-smt2/DATS/patsolve_smt2_commarg.dats
contrib/ATS-extsolve-smt2/DATS/SOLVING/patsolve_smt2_solving_emit.dats
contrib/ATS-extsolve-smt2/DATS/SOLVING/patsolve_smt2_solving_ctx.dats
contrib/ATS-extsolve-smt2/DATS/SOLVING/myheader.hats
contrib/ATS-extsolve-smt2/DATS/SOLVING/patsolve_smt2_solving_form.dats
contrib/ATS-extsolve-smt2/DATS/SOLVING/patsolve_smt2_solving_interp.dats
contrib/ATS-extsolve-smt2/DATS/SOLVING/patsolve_smt2_solving_smtenv.dats
contrib/ATS-extsolve-smt2/DATS/patsolve_smt2_mylib.dats
contrib/ATS-extsolve-smt2/DATS/patsolve_smt2_solving.dats
contrib/ATS-extsolve-smt2/DATS/.keeper
contrib/ATS-extsolve-smt2/DATS/patsolve_smt2_main.dats
contrib/ATS-extsolve-smt2/README
contrib/ATS-extsolve-smt2/.keeper
contrib/ATS-extsolve-smt2/Makefile
contrib/ATS-extsolve-smt2/bin/.keeper
contrib/ATS-extsolve-smt2/SATS/.keeper
contrib/ATS-extsolve-smt2/SATS/patsolve_smt2_commarg.sats
contrib/ATS-extsolve-smt2/SATS/patsolve_smt2_solving.sats
contrib/.keeper
contrib/libatscc2js/DATS/gmatrixref.dats
contrib/libatscc2js/DATS/list_vt.dats
contrib/libatscc2js/DATS/qlistref.dats
contrib/libatscc2js/DATS/reference.dats
contrib/libatscc2js/DATS/JSarray.dats
contrib/libatscc2js/DATS/char.dats
contrib/libatscc2js/DATS/Number/real_double.dats
contrib/libatscc2js/DATS/option.dats
contrib/libatscc2js/DATS/list.dats
contrib/libatscc2js/DATS/basics.dats
contrib/libatscc2js/DATS/string.dats
contrib/libatscc2js/DATS/gprint.dats
contrib/libatscc2js/DATS/stream.dats
contrib/libatscc2js/DATS/gvalue.dats
contrib/libatscc2js/DATS/arrayref.dats
contrib/libatscc2js/DATS/JSLIBC/JSmath.dats
contrib/libatscc2js/DATS/ML/list0.dats
contrib/libatscc2js/DATS/ML/array0.dats
contrib/libatscc2js/DATS/ML/matrix0.dats
contrib/libatscc2js/DATS/ML/option0.dats
contrib/libatscc2js/DATS/matrixref.dats
contrib/libatscc2js/DATS/stream_vt.dats
contrib/libatscc2js/DATS/slistref.dats
contrib/libatscc2js/DATS/funarray.dats
contrib/libatscc2js/DATS/print.dats
contrib/libatscc2js/DATS/intrange.dats
contrib/libatscc2js/basics_js.sats
contrib/libatscc2js/WorkerSession/DATS/channeg.dats
contrib/libatscc2js/WorkerSession/DATS/channeg_session.dats
contrib/libatscc2js/WorkerSession/DATS/chanpos.dats
contrib/libatscc2js/WorkerSession/DATS/chanpos_session2.dats
contrib/libatscc2js/WorkerSession/DATS/chanpos_session.dats
contrib/libatscc2js/WorkerSession/DATS/channel.dats
contrib/libatscc2js/WorkerSession/mylibies.hats
contrib/libatscc2js/WorkerSession/mylibies.dats
contrib/libatscc2js/WorkerSession/TEST/test3_client.dats
contrib/libatscc2js/WorkerSession/TEST/rpc_client.html
contrib/libatscc2js/WorkerSession/TEST/rpc_server.dats
contrib/libatscc2js/WorkerSession/TEST/test3_client.html
contrib/libatscc2js/WorkerSession/TEST/test2_client.dats
contrib/libatscc2js/WorkerSession/TEST/test_server.dats
contrib/libatscc2js/WorkerSession/TEST/test2_prot.sats
contrib/libatscc2js/WorkerSession/TEST/test3_prot.sats
contrib/libatscc2js/WorkerSession/TEST/test2_server.dats
contrib/libatscc2js/WorkerSession/TEST/test3_server.dats
contrib/libatscc2js/WorkerSession/TEST/rpc_client.dats
contrib/libatscc2js/WorkerSession/TEST/test_prot.sats
contrib/libatscc2js/WorkerSession/TEST/test_client.dats
contrib/libatscc2js/WorkerSession/TEST/Makefile
contrib/libatscc2js/WorkerSession/TEST/test_client.html
contrib/libatscc2js/WorkerSession/TEST/test2_client.html
contrib/libatscc2js/WorkerSession/package.json
contrib/libatscc2js/WorkerSession/SATS/channel_session2.sats
contrib/libatscc2js/WorkerSession/SATS/channel_session.sats
contrib/libatscc2js/WorkerSession/SATS/channel.sats
contrib/libatscc2js/mylibies.hats
contrib/libatscc2js/BUCS320/DivideConquer/DATS/DivideConquer.dats
contrib/libatscc2js/BUCS320/DivideConquer/mylibies.hats
contrib/libatscc2js/BUCS320/DivideConquer/TEST/test01.dats
contrib/libatscc2js/BUCS320/DivideConquer/TEST/Makefile
contrib/libatscc2js/BUCS320/GraphSearch/DATS/GraphSearch_bfs.dats
contrib/libatscc2js/BUCS320/GraphSearch/DATS/GraphSearch_dfs.dats
contrib/libatscc2js/BUCS320/GraphSearch/mylibies.hats
contrib/libatscc2js/BUCS320/GraphSearch/TEST/GameOf24Play_dfs.dats
contrib/libatscc2js/BUCS320/GraphSearch/TEST/QueenPuzzle_dfs.dats
contrib/libatscc2js/BUCS320/GraphSearch/TEST/QueenPuzzle_bfs.dats
contrib/libatscc2js/BUCS320/GraphSearch/TEST/GameOf24Play_bfs.dats
contrib/libatscc2js/BUCS320/GraphSearch/TEST/Makefile
contrib/libatscc2js/BUCS320/words/SATS/words.sats
contrib/libatscc2js/BUCS320/GraphStreamize/DATS/GraphStreamize_bfs.dats
contrib/libatscc2js/BUCS320/GraphStreamize/DATS/GraphStreamize_dfs.dats
contrib/libatscc2js/BUCS320/GraphStreamize/mylibies.hats
contrib/libatscc2js/BUCS320/GraphStreamize/TEST/QueenPuzzle_dfs.dats
contrib/libatscc2js/BUCS320/GraphStreamize/TEST/QueenPuzzle_bfs.dats
contrib/libatscc2js/BUCS320/GraphStreamize/TEST/Makefile
contrib/libatscc2js/BUCS320/parcomb/DATS/parcomb.dats
contrib/libatscc2js/BUCS320/parcomb/SATS/parcomb.sats
contrib/libatscc2js/.keeper
contrib/libatscc2js/HTML/DOM/DATS/document.dats
contrib/libatscc2js/HTML/DOM/mylibies.hats
contrib/libatscc2js/HTML/DOM/CATS/document_cats.js
contrib/libatscc2js/HTML/DOM/TEST/test01.dats
contrib/libatscc2js/HTML/DOM/SATS/document.sats
contrib/libatscc2js/HTML/Canvas/mylibies.hats
contrib/libatscc2js/HTML/Canvas/CATS/canvas2d_cats.js
contrib/libatscc2js/HTML/Canvas/TEST/.keeper
contrib/libatscc2js/HTML/Canvas/package.json
contrib/libatscc2js/HTML/Canvas/SATS/canvas2d.sats
contrib/libatscc2js/Bacon.js/DATS/baconjs_ext.dats
contrib/libatscc2js/Bacon.js/DATS/baconjs.dats
contrib/libatscc2js/Bacon.js/mylibies.hats
contrib/libatscc2js/Bacon.js/CATS/baconjs_cats.js
contrib/libatscc2js/Bacon.js/mylibies.dats
contrib/libatscc2js/Bacon.js/TEST/Counter/Counter.dats
contrib/libatscc2js/Bacon.js/TEST/Counter/Makefile
contrib/libatscc2js/Bacon.js/TEST/Counter/Counter.html
contrib/libatscc2js/Bacon.js/TEST/Counter_bus/Counter_bus.dats
contrib/libatscc2js/Bacon.js/TEST/Counter_bus/Counter_bus.html
contrib/libatscc2js/Bacon.js/TEST/Counter_bus/Makefile
contrib/libatscc2js/Bacon.js/Makefile
contrib/libatscc2js/Bacon.js/package.json
contrib/libatscc2js/Bacon.js/output/DATS/.gitkeep
contrib/libatscc2js/Bacon.js/SATS/baconjs.sats
contrib/libatscc2js/Bacon.js/SATS/baconjs_ext.sats
contrib/libatscc2js/SATS/stream.sats
contrib/libatscc2js/SATS/arrayref.sats
contrib/libatscc2js/SATS/matrixref.sats
contrib/libatscc2js/SATS/integer.sats
contrib/libatscc2js/SATS/gprint.sats
contrib/libatscc2js/SATS/intrange.sats
contrib/libatscc2js/SATS/string.sats
contrib/libatscc2js/SATS/slistref.sats
contrib/libatscc2js/SATS/filebas.sats
contrib/libatscc2js/SATS/list.sats
contrib/libatscc2js/SATS/JSarray.sats
contrib/libatscc2js/SATS/JSLIBC/JSmath.sats
contrib/libatscc2js/SATS/JSLIBC/JSdate.sats
contrib/libatscc2js/SATS/JSLIBC/JSmisc.sats
contrib/libatscc2js/SATS/xmldoc.sats
contrib/libatscc2js/SATS/ML/option0.sats
contrib/libatscc2js/SATS/ML/array0.sats
contrib/libatscc2js/SATS/ML/list0.sats
contrib/libatscc2js/SATS/ML/matrix0.sats
contrib/libatscc2js/SATS/gmatrixref.sats
contrib/libatscc2js/SATS/option.sats
contrib/libatscc2js/SATS/list_vt.sats
contrib/libatscc2js/SATS/float.sats
contrib/libatscc2js/SATS/gvalue.sats
contrib/libatscc2js/SATS/funarray.sats
contrib/libatscc2js/SATS/qlistref.sats
contrib/libatscc2js/SATS/stream_vt.sats
contrib/libatscc2js/SATS/reference.sats
contrib/libatscc2js/SATS/bool.sats
contrib/libatscc2js/SATS/print.sats
contrib/libatscc2js/SATS/char.sats
contrib/libatscc2js/ATS2-0.3.2/DATS/gmatrixref.dats
contrib/libatscc2js/ATS2-0.3.2/DATS/list_vt.dats
contrib/libatscc2js/ATS2-0.3.2/DATS/qlistref.dats
contrib/libatscc2js/ATS2-0.3.2/DATS/reference.dats
contrib/libatscc2js/ATS2-0.3.2/DATS/JSarray.dats
contrib/libatscc2js/ATS2-0.3.2/DATS/char.dats
contrib/libatscc2js/ATS2-0.3.2/DATS/Number/real_double.dats
contrib/libatscc2js/ATS2-0.3.2/DATS/Worker/channeg.dats
contrib/libatscc2js/ATS2-0.3.2/DATS/Worker/channeg_session.dats
contrib/libatscc2js/ATS2-0.3.2/DATS/Worker/chanpos.dats
contrib/libatscc2js/ATS2-0.3.2/DATS/Worker/chanpos_session2.dats
contrib/libatscc2js/ATS2-0.3.2/DATS/Worker/chanpos_session.dats
contrib/libatscc2js/ATS2-0.3.2/DATS/Worker/channel.dats
contrib/libatscc2js/ATS2-0.3.2/DATS/option.dats
contrib/libatscc2js/ATS2-0.3.2/DATS/list.dats
contrib/libatscc2js/ATS2-0.3.2/DATS/basics.dats
contrib/libatscc2js/ATS2-0.3.2/DATS/string.dats
contrib/libatscc2js/ATS2-0.3.2/DATS/gprint.dats
contrib/libatscc2js/ATS2-0.3.2/DATS/stream.dats
contrib/libatscc2js/ATS2-0.3.2/DATS/gvalue.dats
contrib/libatscc2js/ATS2-0.3.2/DATS/arrayref.dats
contrib/libatscc2js/ATS2-0.3.2/DATS/JSLIBC/JSmath.dats
contrib/libatscc2js/ATS2-0.3.2/DATS/ML/list0.dats
contrib/libatscc2js/ATS2-0.3.2/DATS/ML/array0.dats
contrib/libatscc2js/ATS2-0.3.2/DATS/ML/matrix0.dats
contrib/libatscc2js/ATS2-0.3.2/DATS/ML/option0.dats
contrib/libatscc2js/ATS2-0.3.2/DATS/matrixref.dats
contrib/libatscc2js/ATS2-0.3.2/DATS/stream_vt.dats
contrib/libatscc2js/ATS2-0.3.2/DATS/BUCS320/GraphSearch/GraphSearch_bfs.dats
contrib/libatscc2js/ATS2-0.3.2/DATS/BUCS320/GraphSearch/GraphSearch_dfs.dats
contrib/libatscc2js/ATS2-0.3.2/DATS/BUCS320/GraphStreamize/GraphStreamize_bfs.dats
contrib/libatscc2js/ATS2-0.3.2/DATS/BUCS320/GraphStreamize/GraphStreamize_dfs.dats
contrib/libatscc2js/ATS2-0.3.2/DATS/BUCS320/parcomb/parcomb.dats
contrib/libatscc2js/ATS2-0.3.2/DATS/slistref.dats
contrib/libatscc2js/ATS2-0.3.2/DATS/funarray.dats
contrib/libatscc2js/ATS2-0.3.2/DATS/Bacon.js/baconjs_ext.dats
contrib/libatscc2js/ATS2-0.3.2/DATS/Bacon.js/baconjs.dats
contrib/libatscc2js/ATS2-0.3.2/DATS/print.dats
contrib/libatscc2js/ATS2-0.3.2/DATS/intrange.dats
contrib/libatscc2js/ATS2-0.3.2/staloadall.hats
contrib/libatscc2js/ATS2-0.3.2/Node.js/DATS/.gitkeep
contrib/libatscc2js/ATS2-0.3.2/basics_js.sats
contrib/libatscc2js/ATS2-0.3.2/README
contrib/libatscc2js/ATS2-0.3.2/CATS/PRINT/print_store_cats.js
contrib/libatscc2js/ATS2-0.3.2/CATS/gvalue_cats.js
contrib/libatscc2js/ATS2-0.3.2/CATS/float_cats.js
contrib/libatscc2js/ATS2-0.3.2/CATS/Node.js/process_cats.js
contrib/libatscc2js/ATS2-0.3.2/CATS/Node.js/fprint_cats.js
contrib/libatscc2js/ATS2-0.3.2/CATS/Node.js/basics_cats.js
contrib/libatscc2js/ATS2-0.3.2/CATS/JSLIBC/JSdate_cats.js
contrib/libatscc2js/ATS2-0.3.2/CATS/JSLIBC/JSmisc_cats.js
contrib/libatscc2js/ATS2-0.3.2/CATS/JSLIBC/JSmath_cats.js
contrib/libatscc2js/ATS2-0.3.2/CATS/JSarray_cats.js
contrib/libatscc2js/ATS2-0.3.2/CATS/bool_cats.js
contrib/libatscc2js/ATS2-0.3.2/CATS/HTML/canvas-2d/canvas2d_cats.js
contrib/libatscc2js/ATS2-0.3.2/CATS/string_cats.js
contrib/libatscc2js/ATS2-0.3.2/CATS/Bacon.js/baconjs_cats.js
contrib/libatscc2js/ATS2-0.3.2/CATS/integer_cats.js
contrib/libatscc2js/ATS2-0.3.2/CATS/basics_cats.js
contrib/libatscc2js/ATS2-0.3.2/CATS/HTTP/Ajax/Ajax_cats.js
contrib/libatscc2js/ATS2-0.3.2/TEST/test02.dats
contrib/libatscc2js/ATS2-0.3.2/TEST/Worker/test3_client.dats
contrib/libatscc2js/ATS2-0.3.2/TEST/Worker/rpc_client.html
contrib/libatscc2js/ATS2-0.3.2/TEST/Worker/rpc_server.dats
contrib/libatscc2js/ATS2-0.3.2/TEST/Worker/test3_client.html
contrib/libatscc2js/ATS2-0.3.2/TEST/Worker/test2_client.dats
contrib/libatscc2js/ATS2-0.3.2/TEST/Worker/test_server.dats
contrib/libatscc2js/ATS2-0.3.2/TEST/Worker/test2_prot.sats
contrib/libatscc2js/ATS2-0.3.2/TEST/Worker/test3_prot.sats
contrib/libatscc2js/ATS2-0.3.2/TEST/Worker/test2_server.dats
contrib/libatscc2js/ATS2-0.3.2/TEST/Worker/test3_server.dats
contrib/libatscc2js/ATS2-0.3.2/TEST/Worker/rpc_client.dats
contrib/libatscc2js/ATS2-0.3.2/TEST/Worker/test_prot.sats
contrib/libatscc2js/ATS2-0.3.2/TEST/Worker/test_client.dats
contrib/libatscc2js/ATS2-0.3.2/TEST/Worker/Makefile
contrib/libatscc2js/ATS2-0.3.2/TEST/Worker/test_client.html
contrib/libatscc2js/ATS2-0.3.2/TEST/Worker/test2_client.html
contrib/libatscc2js/ATS2-0.3.2/TEST/test01.dats
contrib/libatscc2js/ATS2-0.3.2/TEST/test04.dats
contrib/libatscc2js/ATS2-0.3.2/TEST/BUCS320/GraphSearch/GameOf24Play_dfs.dats
contrib/libatscc2js/ATS2-0.3.2/TEST/BUCS320/GraphSearch/QueenPuzzle_dfs.dats
contrib/libatscc2js/ATS2-0.3.2/TEST/BUCS320/GraphSearch/QueenPuzzle_bfs.dats
contrib/libatscc2js/ATS2-0.3.2/TEST/BUCS320/GraphSearch/GameOf24Play_bfs.dats
contrib/libatscc2js/ATS2-0.3.2/TEST/BUCS320/GraphSearch/Makefile
contrib/libatscc2js/ATS2-0.3.2/TEST/Makefile
contrib/libatscc2js/ATS2-0.3.2/Makefile
contrib/libatscc2js/ATS2-0.3.2/output/DATS/ML/.keeper
contrib/libatscc2js/ATS2-0.3.2/output/DATS/BUCS320/.keeper
contrib/libatscc2js/ATS2-0.3.2/output/DATS/BUCS320/parcomb/.keeper
contrib/libatscc2js/ATS2-0.3.2/output/DATS/.keeper
contrib/libatscc2js/ATS2-0.3.2/output/DATS/Bacon.js/.keeper
contrib/libatscc2js/ATS2-0.3.2/output/.keeper
contrib/libatscc2js/ATS2-0.3.2/SATS/stream.sats
contrib/libatscc2js/ATS2-0.3.2/SATS/XMLDOC/XMLDOC.sats
contrib/libatscc2js/ATS2-0.3.2/SATS/arrayref.sats
contrib/libatscc2js/ATS2-0.3.2/SATS/matrixref.sats
contrib/libatscc2js/ATS2-0.3.2/SATS/integer.sats
contrib/libatscc2js/ATS2-0.3.2/SATS/Worker/channel_session2.sats
contrib/libatscc2js/ATS2-0.3.2/SATS/Worker/channel_session.sats
contrib/libatscc2js/ATS2-0.3.2/SATS/Worker/channel.sats
contrib/libatscc2js/ATS2-0.3.2/SATS/gprint.sats
contrib/libatscc2js/ATS2-0.3.2/SATS/intrange.sats
contrib/libatscc2js/ATS2-0.3.2/SATS/string.sats
contrib/libatscc2js/ATS2-0.3.2/SATS/slistref.sats
contrib/libatscc2js/ATS2-0.3.2/SATS/filebas.sats
contrib/libatscc2js/ATS2-0.3.2/SATS/Node.js/process.sats
contrib/libatscc2js/ATS2-0.3.2/SATS/Node.js/basics.sats
contrib/libatscc2js/ATS2-0.3.2/SATS/Node.js/fprint.sats
contrib/libatscc2js/ATS2-0.3.2/SATS/list.sats
contrib/libatscc2js/ATS2-0.3.2/SATS/JSarray.sats
contrib/libatscc2js/ATS2-0.3.2/SATS/JSLIBC/JSmath.sats
contrib/libatscc2js/ATS2-0.3.2/SATS/JSLIBC/JSdate.sats
contrib/libatscc2js/ATS2-0.3.2/SATS/JSLIBC/JSmisc.sats
contrib/libatscc2js/ATS2-0.3.2/SATS/ML/option0.sats
contrib/libatscc2js/ATS2-0.3.2/SATS/ML/array0.sats
contrib/libatscc2js/ATS2-0.3.2/SATS/ML/list0.sats
contrib/libatscc2js/ATS2-0.3.2/SATS/ML/matrix0.sats
contrib/libatscc2js/ATS2-0.3.2/SATS/gmatrixref.sats
contrib/libatscc2js/ATS2-0.3.2/SATS/option.sats
contrib/libatscc2js/ATS2-0.3.2/SATS/list_vt.sats
contrib/libatscc2js/ATS2-0.3.2/SATS/float.sats
contrib/libatscc2js/ATS2-0.3.2/SATS/gvalue.sats
contrib/libatscc2js/ATS2-0.3.2/SATS/BUCS320/words.sats
contrib/libatscc2js/ATS2-0.3.2/SATS/BUCS320/parcomb.sats
contrib/libatscc2js/ATS2-0.3.2/SATS/funarray.sats
contrib/libatscc2js/ATS2-0.3.2/SATS/HTML/canvas-2d/canvas2d.sats
contrib/libatscc2js/ATS2-0.3.2/SATS/HTML/WebGL/WebGL.sats
contrib/libatscc2js/ATS2-0.3.2/SATS/qlistref.sats
contrib/libatscc2js/ATS2-0.3.2/SATS/stream_vt.sats
contrib/libatscc2js/ATS2-0.3.2/SATS/reference.sats
contrib/libatscc2js/ATS2-0.3.2/SATS/bool.sats
contrib/libatscc2js/ATS2-0.3.2/SATS/print.sats
contrib/libatscc2js/ATS2-0.3.2/SATS/Bacon.js/baconjs.sats
contrib/libatscc2js/ATS2-0.3.2/SATS/Bacon.js/baconjs_ext.sats
contrib/libatscc2js/ATS2-0.3.2/SATS/Bacon.js/channel.sats
contrib/libatscc2js/ATS2-0.3.2/SATS/char.sats
contrib/libatscc2js/ATS2-0.3.2/SATS/HTTP/Ajax/Ajax.sats
contrib/libatscc2py3/.keeper
contrib/libatscc2py3/ATS2-0.3.2/DATS/list_vt.dats
contrib/libatscc2py3/ATS2-0.3.2/DATS/qlistref.dats
contrib/libatscc2py3/ATS2-0.3.2/DATS/reference.dats
contrib/libatscc2py3/ATS2-0.3.2/DATS/option.dats
contrib/libatscc2py3/ATS2-0.3.2/DATS/list.dats
contrib/libatscc2py3/ATS2-0.3.2/DATS/basics.dats
contrib/libatscc2py3/ATS2-0.3.2/DATS/string.dats
contrib/libatscc2py3/ATS2-0.3.2/DATS/gprint.dats
contrib/libatscc2py3/ATS2-0.3.2/DATS/stream.dats
contrib/libatscc2py3/ATS2-0.3.2/DATS/arrayref.dats
contrib/libatscc2py3/ATS2-0.3.2/DATS/ML/list0.dats
contrib/libatscc2py3/ATS2-0.3.2/DATS/ML/array0.dats
contrib/libatscc2py3/ATS2-0.3.2/DATS/ML/option0.dats
contrib/libatscc2py3/ATS2-0.3.2/DATS/PYlist.dats
contrib/libatscc2py3/ATS2-0.3.2/DATS/matrixref.dats
contrib/libatscc2py3/ATS2-0.3.2/DATS/stream_vt.dats
contrib/libatscc2py3/ATS2-0.3.2/DATS/BUCS320/GraphSearch/GraphSearch_bfs.dats
contrib/libatscc2py3/ATS2-0.3.2/DATS/BUCS320/GraphSearch/GraphSearch_dfs.dats
contrib/libatscc2py3/ATS2-0.3.2/DATS/BUCS320/parcomb/parcomb.dats
contrib/libatscc2py3/ATS2-0.3.2/DATS/slistref.dats
contrib/libatscc2py3/ATS2-0.3.2/DATS/funarray.dats
contrib/libatscc2py3/ATS2-0.3.2/DATS/print.dats
contrib/libatscc2py3/ATS2-0.3.2/DATS/intrange.dats
contrib/libatscc2py3/ATS2-0.3.2/staloadall.hats
contrib/libatscc2py3/ATS2-0.3.2/CATS/integer_cats.py
contrib/libatscc2py3/ATS2-0.3.2/CATS/basics_cats.py
contrib/libatscc2py3/ATS2-0.3.2/CATS/bool_cats.py
contrib/libatscc2py3/ATS2-0.3.2/CATS/reference_cats.py
contrib/libatscc2py3/ATS2-0.3.2/CATS/float_cats.py
contrib/libatscc2py3/ATS2-0.3.2/CATS/char_cats.py
contrib/libatscc2py3/ATS2-0.3.2/CATS/print_cats.py
contrib/libatscc2py3/ATS2-0.3.2/CATS/string_cats.py
contrib/libatscc2py3/ATS2-0.3.2/CATS/PYLIBC/random_cats.py
contrib/libatscc2py3/ATS2-0.3.2/CATS/PYLIBC/datetime_cats.py
contrib/libatscc2py3/ATS2-0.3.2/CATS/filebas_cats.py
contrib/libatscc2py3/ATS2-0.3.2/CATS/PYGAME/pygame_cats.py
contrib/libatscc2py3/ATS2-0.3.2/CATS/PYlist_cats.py
contrib/libatscc2py3/ATS2-0.3.2/TEST/test02.dats
contrib/libatscc2py3/ATS2-0.3.2/TEST/test01.dats
contrib/libatscc2py3/ATS2-0.3.2/TEST/BUCS320/GraphSearch/GameOf24Play_dfs.dats
contrib/libatscc2py3/ATS2-0.3.2/TEST/BUCS320/GraphSearch/QueenPuzzle_dfs.dats
contrib/libatscc2py3/ATS2-0.3.2/TEST/BUCS320/GraphSearch/QueenPuzzle_bfs.dats
contrib/libatscc2py3/ATS2-0.3.2/TEST/BUCS320/GraphSearch/GameOf24Play_bfs.dats
contrib/libatscc2py3/ATS2-0.3.2/TEST/BUCS320/GraphSearch/Makefile
contrib/libatscc2py3/ATS2-0.3.2/TEST/PYLIBC/test01.dats
contrib/libatscc2py3/ATS2-0.3.2/TEST/PYLIBC/Makefile
contrib/libatscc2py3/ATS2-0.3.2/TEST/Makefile
contrib/libatscc2py3/ATS2-0.3.2/TEST/PYGAME/test01.dats
contrib/libatscc2py3/ATS2-0.3.2/TEST/PYGAME/Makefile
contrib/libatscc2py3/ATS2-0.3.2/Makefile
contrib/libatscc2py3/ATS2-0.3.2/output/DATS/ML/.keeper
contrib/libatscc2py3/ATS2-0.3.2/output/DATS/.keeper
contrib/libatscc2py3/ATS2-0.3.2/SATS/stream.sats
contrib/libatscc2py3/ATS2-0.3.2/SATS/arrayref.sats
contrib/libatscc2py3/ATS2-0.3.2/SATS/matrixref.sats
contrib/libatscc2py3/ATS2-0.3.2/SATS/integer.sats
contrib/libatscc2py3/ATS2-0.3.2/SATS/gprint.sats
contrib/libatscc2py3/ATS2-0.3.2/SATS/PYlist.sats
contrib/libatscc2py3/ATS2-0.3.2/SATS/intrange.sats
contrib/libatscc2py3/ATS2-0.3.2/SATS/string.sats
contrib/libatscc2py3/ATS2-0.3.2/SATS/slistref.sats
contrib/libatscc2py3/ATS2-0.3.2/SATS/filebas.sats
contrib/libatscc2py3/ATS2-0.3.2/SATS/list.sats
contrib/libatscc2py3/ATS2-0.3.2/SATS/ML/option0.sats
contrib/libatscc2py3/ATS2-0.3.2/SATS/ML/array0.sats
contrib/libatscc2py3/ATS2-0.3.2/SATS/ML/list0.sats
contrib/libatscc2py3/ATS2-0.3.2/SATS/option.sats
contrib/libatscc2py3/ATS2-0.3.2/SATS/list_vt.sats
contrib/libatscc2py3/ATS2-0.3.2/SATS/float.sats
contrib/libatscc2py3/ATS2-0.3.2/SATS/BUCS320/words.sats
contrib/libatscc2py3/ATS2-0.3.2/SATS/BUCS320/parcomb.sats
contrib/libatscc2py3/ATS2-0.3.2/SATS/funarray.sats
contrib/libatscc2py3/ATS2-0.3.2/SATS/qlistref.sats
contrib/libatscc2py3/ATS2-0.3.2/SATS/stream_vt.sats
contrib/libatscc2py3/ATS2-0.3.2/SATS/reference.sats
contrib/libatscc2py3/ATS2-0.3.2/SATS/PYLIBC/datetime.sats
contrib/libatscc2py3/ATS2-0.3.2/SATS/PYLIBC/random.sats
contrib/libatscc2py3/ATS2-0.3.2/SATS/bool.sats
contrib/libatscc2py3/ATS2-0.3.2/SATS/print.sats
contrib/libatscc2py3/ATS2-0.3.2/SATS/PYGAME/pygame.sats
contrib/libatscc2py3/ATS2-0.3.2/SATS/char.sats
contrib/libatscc2py3/ATS2-0.3.2/basics_py.sats
contrib/libatscc2pl/.keeper
contrib/libatscc2pl/ATS2-0.3.2/DATS/list_vt.dats
contrib/libatscc2pl/ATS2-0.3.2/DATS/qlistref.dats
contrib/libatscc2pl/ATS2-0.3.2/DATS/reference.dats
contrib/libatscc2pl/ATS2-0.3.2/DATS/option.dats
contrib/libatscc2pl/ATS2-0.3.2/DATS/list.dats
contrib/libatscc2pl/ATS2-0.3.2/DATS/stream.dats
contrib/libatscc2pl/ATS2-0.3.2/DATS/ML/list0.dats
contrib/libatscc2pl/ATS2-0.3.2/DATS/ML/array0.dats
contrib/libatscc2pl/ATS2-0.3.2/DATS/ML/option0.dats
contrib/libatscc2pl/ATS2-0.3.2/DATS/stream_vt.dats
contrib/libatscc2pl/ATS2-0.3.2/DATS/BUCS320/GraphSearch/GraphSearch_bfs.dats
contrib/libatscc2pl/ATS2-0.3.2/DATS/BUCS320/GraphSearch/GraphSearch_dfs.dats
contrib/libatscc2pl/ATS2-0.3.2/DATS/slistref.dats
contrib/libatscc2pl/ATS2-0.3.2/DATS/funarray.dats
contrib/libatscc2pl/ATS2-0.3.2/DATS/print.dats
contrib/libatscc2pl/ATS2-0.3.2/DATS/intrange.dats
contrib/libatscc2pl/ATS2-0.3.2/staloadall.hats
contrib/libatscc2pl/ATS2-0.3.2/CATS/bool_cats.pl
contrib/libatscc2pl/ATS2-0.3.2/CATS/string_cats.pl
contrib/libatscc2pl/ATS2-0.3.2/CATS/basics_cats.pl
contrib/libatscc2pl/ATS2-0.3.2/CATS/float_cats.pl
contrib/libatscc2pl/ATS2-0.3.2/CATS/print_cats.pl
contrib/libatscc2pl/ATS2-0.3.2/CATS/PLarray_cats.pl
contrib/libatscc2pl/ATS2-0.3.2/CATS/integer_cats.pl
contrib/libatscc2pl/ATS2-0.3.2/basics_pl.sats
contrib/libatscc2pl/ATS2-0.3.2/TEST/test02.dats
contrib/libatscc2pl/ATS2-0.3.2/TEST/test01.dats
contrib/libatscc2pl/ATS2-0.3.2/TEST/BUCS320/GraphSearch/GameOf24Play_dfs.dats
contrib/libatscc2pl/ATS2-0.3.2/TEST/BUCS320/GraphSearch/QueenPuzzle_dfs.dats
contrib/libatscc2pl/ATS2-0.3.2/TEST/BUCS320/GraphSearch/QueenPuzzle_bfs.dats
contrib/libatscc2pl/ATS2-0.3.2/TEST/BUCS320/GraphSearch/GameOf24Play_bfs.dats
contrib/libatscc2pl/ATS2-0.3.2/TEST/BUCS320/GraphSearch/Makefile
contrib/libatscc2pl/ATS2-0.3.2/TEST/test03.dats
contrib/libatscc2pl/ATS2-0.3.2/TEST/Makefile
contrib/libatscc2pl/ATS2-0.3.2/Makefile
contrib/libatscc2pl/ATS2-0.3.2/output/DATS/ML/.keeper
contrib/libatscc2pl/ATS2-0.3.2/output/DATS/.keeper
contrib/libatscc2pl/ATS2-0.3.2/output/.keeper
contrib/libatscc2pl/ATS2-0.3.2/SATS/stream.sats
contrib/libatscc2pl/ATS2-0.3.2/SATS/arrayref.sats
contrib/libatscc2pl/ATS2-0.3.2/SATS/integer.sats
contrib/libatscc2pl/ATS2-0.3.2/SATS/intrange.sats
contrib/libatscc2pl/ATS2-0.3.2/SATS/string.sats
contrib/libatscc2pl/ATS2-0.3.2/SATS/slistref.sats
contrib/libatscc2pl/ATS2-0.3.2/SATS/filebas.sats
contrib/libatscc2pl/ATS2-0.3.2/SATS/PLarray.sats
contrib/libatscc2pl/ATS2-0.3.2/SATS/list.sats
contrib/libatscc2pl/ATS2-0.3.2/SATS/ML/option0.sats
contrib/libatscc2pl/ATS2-0.3.2/SATS/ML/array0.sats
contrib/libatscc2pl/ATS2-0.3.2/SATS/ML/list0.sats
contrib/libatscc2pl/ATS2-0.3.2/SATS/option.sats
contrib/libatscc2pl/ATS2-0.3.2/SATS/list_vt.sats
contrib/libatscc2pl/ATS2-0.3.2/SATS/float.sats
contrib/libatscc2pl/ATS2-0.3.2/SATS/funarray.sats
contrib/libatscc2pl/ATS2-0.3.2/SATS/qlistref.sats
contrib/libatscc2pl/ATS2-0.3.2/SATS/stream_vt.sats
contrib/libatscc2pl/ATS2-0.3.2/SATS/reference.sats
contrib/libatscc2pl/ATS2-0.3.2/SATS/bool.sats
contrib/libatscc2pl/ATS2-0.3.2/SATS/print.sats
contrib/libatscc2scm/.keeper
contrib/libatscc2scm/ATS2-0.3.2/DATS/list_vt.dats
contrib/libatscc2scm/ATS2-0.3.2/DATS/qlistref.dats
contrib/libatscc2scm/ATS2-0.3.2/DATS/reference.dats
contrib/libatscc2scm/ATS2-0.3.2/DATS/option.dats
contrib/libatscc2scm/ATS2-0.3.2/DATS/list.dats
contrib/libatscc2scm/ATS2-0.3.2/DATS/basics.dats
contrib/libatscc2scm/ATS2-0.3.2/DATS/stream.dats
contrib/libatscc2scm/ATS2-0.3.2/DATS/ML/list0.dats
contrib/libatscc2scm/ATS2-0.3.2/DATS/ML/array0.dats
contrib/libatscc2scm/ATS2-0.3.2/DATS/ML/option0.dats
contrib/libatscc2scm/ATS2-0.3.2/DATS/stream_vt.dats
contrib/libatscc2scm/ATS2-0.3.2/DATS/SCMlist.dats
contrib/libatscc2scm/ATS2-0.3.2/DATS/BUCS320/GraphSearch/GraphSearch_bfs.dats
contrib/libatscc2scm/ATS2-0.3.2/DATS/BUCS320/GraphSearch/GraphSearch_dfs.dats
contrib/libatscc2scm/ATS2-0.3.2/DATS/slistref.dats
contrib/libatscc2scm/ATS2-0.3.2/DATS/funarray.dats
contrib/libatscc2scm/ATS2-0.3.2/DATS/print.dats
contrib/libatscc2scm/ATS2-0.3.2/DATS/intrange.dats
contrib/libatscc2scm/ATS2-0.3.2/staloadall.hats
contrib/libatscc2scm/ATS2-0.3.2/basics_scm.sats
contrib/libatscc2scm/ATS2-0.3.2/CATS/bool_cats.scm
contrib/libatscc2scm/ATS2-0.3.2/CATS/filebas_cats.scm
contrib/libatscc2scm/ATS2-0.3.2/CATS/reference_cats.scm
contrib/libatscc2scm/ATS2-0.3.2/CATS/float_cats.scm
contrib/libatscc2scm/ATS2-0.3.2/CATS/SCMvector_cats.scm
contrib/libatscc2scm/ATS2-0.3.2/CATS/basics_cats.scm
contrib/libatscc2scm/ATS2-0.3.2/CATS/integer_cats.scm
contrib/libatscc2scm/ATS2-0.3.2/CATS/SCMlist_cats.scm
contrib/libatscc2scm/ATS2-0.3.2/CATS/print_cats.scm
contrib/libatscc2scm/ATS2-0.3.2/TEST/test02.dats
contrib/libatscc2scm/ATS2-0.3.2/TEST/test01.dats
contrib/libatscc2scm/ATS2-0.3.2/TEST/BUCS320/GraphSearch/GameOf24Play_dfs.dats
contrib/libatscc2scm/ATS2-0.3.2/TEST/BUCS320/GraphSearch/QueenPuzzle_dfs.dats
contrib/libatscc2scm/ATS2-0.3.2/TEST/BUCS320/GraphSearch/QueenPuzzle_bfs.dats
contrib/libatscc2scm/ATS2-0.3.2/TEST/BUCS320/GraphSearch/GameOf24Play_bfs.dats
contrib/libatscc2scm/ATS2-0.3.2/TEST/BUCS320/GraphSearch/Makefile
contrib/libatscc2scm/ATS2-0.3.2/TEST/Makefile
contrib/libatscc2scm/ATS2-0.3.2/Makefile
contrib/libatscc2scm/ATS2-0.3.2/output/DATS/ML/.keeper
contrib/libatscc2scm/ATS2-0.3.2/output/DATS/.keeper
contrib/libatscc2scm/ATS2-0.3.2/output/.keeper
contrib/libatscc2scm/ATS2-0.3.2/SATS/stream.sats
contrib/libatscc2scm/ATS2-0.3.2/SATS/arrayref.sats
contrib/libatscc2scm/ATS2-0.3.2/SATS/integer.sats
contrib/libatscc2scm/ATS2-0.3.2/SATS/intrange.sats
contrib/libatscc2scm/ATS2-0.3.2/SATS/SCMvector.sats
contrib/libatscc2scm/ATS2-0.3.2/SATS/slistref.sats
contrib/libatscc2scm/ATS2-0.3.2/SATS/filebas.sats
contrib/libatscc2scm/ATS2-0.3.2/SATS/list.sats
contrib/libatscc2scm/ATS2-0.3.2/SATS/ML/option0.sats
contrib/libatscc2scm/ATS2-0.3.2/SATS/ML/array0.sats
contrib/libatscc2scm/ATS2-0.3.2/SATS/ML/list0.sats
contrib/libatscc2scm/ATS2-0.3.2/SATS/option.sats
contrib/libatscc2scm/ATS2-0.3.2/SATS/list_vt.sats
contrib/libatscc2scm/ATS2-0.3.2/SATS/float.sats
contrib/libatscc2scm/ATS2-0.3.2/SATS/funarray.sats
contrib/libatscc2scm/ATS2-0.3.2/SATS/qlistref.sats
contrib/libatscc2scm/ATS2-0.3.2/SATS/stream_vt.sats
contrib/libatscc2scm/ATS2-0.3.2/SATS/reference.sats
contrib/libatscc2scm/ATS2-0.3.2/SATS/bool.sats
contrib/libatscc2scm/ATS2-0.3.2/SATS/print.sats
contrib/libatscc2scm/ATS2-0.3.2/SATS/SCMlist.sats
contrib/ats2cpp/.keeper
contrib/ats2cpp/ccomp/pats_ccomp_basics.h
contrib/ats2cpp/ccomp/pats_ccomp_config.h
contrib/ats2cpp/ccomp/pats_ccomp_instrset.h
contrib/ats2cpp/ccomp/pats_ats2cpp_prelude.h
contrib/ats2cpp/ccomp/pats_ccomp_memalloc_gcbdw.h
contrib/ats2cpp/ccomp/pats_ccomp_memalloc_libc.h
contrib/ats2cpp/ccomp/pats_ccomp_exception.h
contrib/ats2cpp/ccomp/pats_ccomp_memalloca.h
contrib/ats2cpp/ccomp/pats_ccomp_memalloc_user.h
contrib/ats2cpp/ccomp/pats_ccomp_memalloc.h
contrib/ats2cpp/ccomp/pats_ccomp_memalloc_user2.h
contrib/ats2cpp/ccomp/pats_ccomp_runtime_memalloc.c
contrib/ats2cpp/ccomp/pats_ccomp_typedefs.h
contrib/ats2cpp/ccomp/pats_ccomp_runtime.c
contrib/ats2cpp/TEST/test02.dats
contrib/ats2cpp/TEST/test01.dats
contrib/ats2cpp/TEST/README
contrib/ats2cpp/TEST/Makefile
contrib/ats2cpp/prelude/staloadall.hats
contrib/ats2cpp/prelude/CATS/filebas.cats
contrib/ats2cpp/prelude/CATS/memory.cats
contrib/ats2cpp/prelude/CATS/array.cats
contrib/ats2cpp/prelude/CATS/fprintf.cats
contrib/ats2cpp/prelude/CATS/integer.cats
contrib/ats2cpp/prelude/CATS/arrayref.cats
contrib/ats2cpp/prelude/CATS/integer_long.cats
contrib/ats2cpp/prelude/CATS/float.cats
contrib/ats2cpp/prelude/CATS/basics.cats
contrib/ats2cpp/prelude/CATS/integer_fixed.cats
contrib/ats2cpp/prelude/CATS/integer_short.cats
contrib/ats2cpp/prelude/CATS/char.cats
contrib/ats2cpp/prelude/CATS/string.cats
contrib/ats2cpp/prelude/CATS/integer_size.cats
contrib/ats2cpp/prelude/CATS/bool.cats
contrib/ats2cpp/prelude/CATS/pointer.cats
contrib/ats2cpp/prelude/CATS/arrayptr.cats
contrib/ats2cpp/STL/DATS/deque_queue.dats
contrib/ats2cpp/STL/DATS/queue_queue.dats
contrib/ats2cpp/STL/DATS/vector_stack.dats
contrib/ats2cpp/STL/DATS/stack_stack.dats
contrib/ats2cpp/STL/DATS/vector_array.dats
contrib/ats2cpp/STL/CATS/deque.cats
contrib/ats2cpp/STL/CATS/stack.cats
contrib/ats2cpp/STL/CATS/queue.cats
contrib/ats2cpp/STL/CATS/vector.cats
contrib/ats2cpp/STL/TEST/test_stack_stack.dats
contrib/ats2cpp/STL/TEST/test_queue_queue.dats
contrib/ats2cpp/STL/TEST/test_vector_array.dats
contrib/ats2cpp/STL/TEST/Makefile
contrib/ats2cpp/STL/TEST/test_vector_stack.dats
contrib/ats2cpp/STL/TEST/test_deque_queue.dats
contrib/ats2cpp/libats/ML/CATS/strarr.cats
contrib/ats2cpp/libats/ML/CATS/array0.cats
contrib/ats2cpp/libats/libc/CATS/time.cats
contrib/ats2cpp/libats/libc/CATS/math.cats
contrib/ats2cpp/libats/libc/CATS/float.cats
contrib/ats2cpp/libats/libc/CATS/fcntl.cats
contrib/ats2cpp/libats/libc/CATS/signal.cats
contrib/ats2cpp/libats/libc/CATS/stdlib.cats
contrib/ats2cpp/libats/libc/CATS/unistd.cats
contrib/ats2cpp/libats/libc/CATS/dirent.cats
contrib/ats2cpp/libats/libc/CATS/errno.cats
contrib/ats2cpp/libats/libc/CATS/string.cats
contrib/ats2cpp/libats/libc/CATS/sys/wait.cats
contrib/ats2cpp/libats/libc/CATS/sys/types.cats
contrib/ats2cpp/libats/libc/CATS/sys/stat.cats
contrib/ats2cpp/libats/libc/CATS/stdio.cats
contrib/ats2cpp/libats/libc/CATS/strings.cats
contrib/ats2cpp/libats/BUCS520/GraphSearch/DATS/GraphSearch_bfs.dats
contrib/ats2cpp/libats/BUCS520/GraphSearch/DATS/GraphSearch_dfs.dats
contrib/ats2cpp/libats/BUCS520/GraphSearch/DATS/GraphSearch.dats
contrib/ats2cpp/libats/BUCS520/GraphSearch/TEST/QueenPuzzle.dats
contrib/ats2cpp/libats/BUCS520/GraphSearch/TEST/GameOf24Play.dats
contrib/ats2cpp/libats/BUCS520/GraphSearch/TEST/Makefile
contrib/ats2cpp/libats/BUCS520/GraphSearch/TEST/DoubletsPlay.dats
contrib/ats2cpp/libats/CATS/dynarray.cats
contrib/ats2cpp/libats/CATS/stkarray.cats
contrib/ats2cpp/libats/CATS/hashfun.cats
contrib/ats2cpp/libats/CATS/deqarray.cats
contrib/ats2cpp/libats/CATS/qlist.cats
contrib/ats2cpp/libats/CATS/stringbuf.cats
contrib/ATS-extsolve-z3/DATS/patsolve_z3_solving.dats
contrib/ATS-extsolve-z3/DATS/patsolve_z3_main.dats
contrib/ATS-extsolve-z3/DATS/SOLVING/patsolve_z3_solving_form.dats
contrib/ATS-extsolve-z3/DATS/SOLVING/patsolve_z3_solving_sort.dats
contrib/ATS-extsolve-z3/DATS/SOLVING/patsolve_z3_solving_smtenv.dats
contrib/ATS-extsolve-z3/DATS/SOLVING/patsolve_z3_solving_ctx.dats
contrib/ATS-extsolve-z3/DATS/SOLVING/myheader.hats
contrib/ATS-extsolve-z3/DATS/SOLVING/patsolve_z3_solving_interp.dats
contrib/ATS-extsolve-z3/DATS/.keeper
contrib/ATS-extsolve-z3/DATS/patsolve_z3_mylib.dats
contrib/ATS-extsolve-z3/DATS/patsolve_z3_commarg.dats
contrib/ATS-extsolve-z3/README
contrib/ATS-extsolve-z3/.keeper
contrib/ATS-extsolve-z3/Makefile
contrib/ATS-extsolve-z3/bin/.keeper
contrib/ATS-extsolve-z3/SATS/patsolve_z3_solving.sats
contrib/ATS-extsolve-z3/SATS/patsolve_z3_commarg.sats
contrib/ATS-extsolve-z3/SATS/.keeper
contrib/CATS-atscc2r34/DATS/atscc2r34_emit.dats
contrib/CATS-atscc2r34/DATS/atscc2r34_main.dats
contrib/CATS-atscc2r34/DATS/.keeper
contrib/CATS-atscc2r34/DATS/atscc2r34_emit2.dats
contrib/CATS-atscc2r34/.keeper
contrib/CATS-atscc2r34/Makefile
contrib/CATS-atscc2r34/bin/.gitkeep
contrib/CATS-atscc2js/DATS/atscc2js_emit.dats
contrib/CATS-atscc2js/DATS/atscc2js_emit2.dats
contrib/CATS-atscc2js/DATS/.keeper
contrib/CATS-atscc2js/DATS/libatscc2js_ext.dats
contrib/CATS-atscc2js/DATS/atscc2js_main.dats
contrib/CATS-atscc2js/.keeper
contrib/CATS-atscc2js/Makefile
contrib/CATS-atscc2js/bin/.gitkeep
\
  /usr/bin/install -c -m755 bin/patscc /home/udu/aports/community/ats2/pkg/ats2/usr/lib/ats2-postiats-0.4.2/bin/patscc && echo bin/patscc
bin/patscc
\
  /usr/bin/install -c -m755 bin/myatscc /home/udu/aports/community/ats2/pkg/ats2/usr/lib/ats2-postiats-0.4.2/bin/myatscc && echo bin/myatscc
bin/myatscc
\
  /usr/bin/install -c -m755 bin/patsopt /home/udu/aports/community/ats2/pkg/ats2/usr/lib/ats2-postiats-0.4.2/bin/patsopt && echo bin/patsopt
bin/patsopt
\
  /usr/bin/install -c -m755 bin/patscc_env.sh /home/udu/aports/community/ats2/pkg/ats2/usr/bin/patscc && echo bin/patscc_env.sh
bin/patscc_env.sh
\
  /usr/bin/install -c -m755 bin/myatscc_env.sh /home/udu/aports/community/ats2/pkg/ats2/usr/bin/myatscc && echo bin/myatscc_env.sh
bin/myatscc_env.sh
\
  /usr/bin/install -c -m755 bin/patsopt_env.sh /home/udu/aports/community/ats2/pkg/ats2/usr/bin/patsopt && echo bin/patsopt_env.sh
bin/patsopt_env.sh
\
  for x in \
    ccomp/atslib/lib/libatslib.a \
    ccomp/atslib/lib64/libatslib.a ; \
  do \
    if [ -e "$x" ] ; then \
      /usr/bin/install -c -m755 "$x" /home/udu/aports/community/ats2/pkg/ats2/usr/lib/ats2-postiats-0.4.2/"$x" && echo "$x"; \
    fi; \
  done
ccomp/atslib/lib/libatslib.a
>>> ats2*: Running postcheck for ats2
>>> ats2*: Preparing package ats2...
>>> ats2*: Stripping binaries
>>> ats2*: Scanning shared objects
>>> ats2*: Tracing dependencies...
	so:libc.musl-x86_64.so.1
	so:libgmp.so.10
>>> ats2*: Package size: 7.7 MB
>>> ats2*: Compressing data...
>>> ats2*: Create checksum...
>>> ats2*: Create ats2-0.4.2-r0.apk
>>> ats2: Build complete at Wed, 08 Oct 2025 19:10:07 +0000 elapsed time 0h 0m 25s
>>> ats2: Cleaning up srcdir
>>> ats2: Cleaning up pkgdir
>>> ats2: Uninstalling dependencies...
(1/3) Purging .makedepends-ats2 (20251008.190942)
(2/3) Purging gmp-dev (6.3.0-r3)
(3/3) Purging libgmpxx (6.3.0-r3)
OK: 296 MiB in 89 packages
>>> ats2: Updating the community/x86_64 repository index...
>>> ats2: Signing the index...