Mock Version: 1.2.18 ENTER ['do'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target x86_64 --nodeps /builddir/build/SPECS/ats2.spec'], logger=shell=Falsetimeout=0gid=135uid=1001user='mockbuild'chrootPath='/var/lib/mock/epel-7-x86_64-mockbuilder-7561/root'printOutput=Falseenv={'HOME': '/builddir', 'LANG': 'en_US.UTF-8', 'SHELL': '/bin/bash', 'PS1': ' \\s-\\v\\$ ', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'HOSTNAME': 'mock', 'TERM': 'vt100'}) Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target x86_64 --nodeps /builddir/build/SPECS/ats2.spec'] with env {'HOME': '/builddir', 'LANG': 'en_US.UTF-8', 'SHELL': '/bin/bash', 'PS1': ' \\s-\\v\\$ ', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'HOSTNAME': 'mock', 'TERM': 'vt100'} and shell False warning: Could not canonicalize hostname: copr-builder-155913022.novalocal Building target platforms: x86_64 Building for target x86_64 Wrote: /builddir/build/SRPMS/ats2-0.2.8-2.el7.centos.src.rpm Child return code was: 0 ENTER ['do'](['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target x86_64 --nodeps /builddir/build/SPECS/ats2.spec'], shell=Falsetimeout=0gid=135logger=user='mockbuild'chrootPath='/var/lib/mock/epel-7-x86_64-mockbuilder-7561/root'uid=1001printOutput=Falseenv={'HOME': '/builddir', 'LANG': 'en_US.UTF-8', 'SHELL': '/bin/bash', 'PS1': ' \\s-\\v\\$ ', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'HOSTNAME': 'mock', 'TERM': 'vt100'}private_network=True) Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target x86_64 --nodeps /builddir/build/SPECS/ats2.spec'] with env {'HOME': '/builddir', 'LANG': 'en_US.UTF-8', 'SHELL': '/bin/bash', 'PS1': ' \\s-\\v\\$ ', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\\033]0;\\007"', 'HOSTNAME': 'mock', 'TERM': 'vt100'} and shell False Building target platforms: x86_64 Building for target x86_64 Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.Q3caX6 + umask 022 + cd /builddir/build/BUILD + cd /builddir/build/BUILD + rm -rf ATS2-Postiats-0.2.8 + /usr/bin/gzip -dc /builddir/build/SOURCES/ATS2-Postiats-0.2.8.tgz + /usr/bin/tar -xf - + STATUS=0 + '[' 0 -ne 0 ']' + cd ATS2-Postiats-0.2.8 + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w . + exit 0 Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.h3obC6 + umask 022 + cd /builddir/build/BUILD + cd ATS2-Postiats-0.2.8 + CFLAGS='-O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -m64 -mtune=generic' + export CFLAGS + CXXFLAGS='-O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -m64 -mtune=generic' + export CXXFLAGS + FFLAGS='-O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -m64 -mtune=generic -I/usr/lib64/gfortran/modules' + export FFLAGS + FCFLAGS='-O2 -g -pipe -Wall -Wp,-D_FORTIFY_SOURCE=2 -fexceptions -fstack-protector-strong --param=ssp-buffer-size=4 -grecord-gcc-switches -m64 -mtune=generic -I/usr/lib64/gfortran/modules' + export FCFLAGS + LDFLAGS='-Wl,-z,relro ' + export LDFLAGS + '[' 1 == 1 ']' + '[' x86_64 == ppc64le ']' ++ find . -name config.guess -o -name config.sub + ./configure --build=x86_64-redhat-linux-gnu --host=x86_64-redhat-linux-gnu --program-prefix= --disable-dependency-tracking --prefix=/usr --exec-prefix=/usr --bindir=/usr/bin --sbindir=/usr/sbin --sysconfdir=/etc --datadir=/usr/share --includedir=/usr/include --libdir=/usr/lib64 --libexecdir=/usr/libexec --localstatedir=/var --sharedstatedir=/var/lib --mandir=/usr/share/man --infodir=/usr/share/info configure: WARNING: unrecognized options: --disable-dependency-tracking checking for x86_64-redhat-linux-gnu-gcc... no checking for gcc... gcc 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 gcc accepts -g... yes checking for gcc option to accept ISO C89... none needed checking for a BSD-compatible install... /usr/bin/install -c checking for a thread-safe mkdir -p... /usr/bin/mkdir -p checking whether ln -s works... yes checking how to run the C preprocessor... gcc -E checking for grep that handles long lines and -e... /usr/bin/grep checking for egrep... /usr/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/patsopt_env.sh config.status: creating config.h configure: WARNING: unrecognized options: --disable-dependency-tracking + make \ make -j4 -C src/CBOOT \ CCOMP=gcc GCFLAG= LDFLAGS= patsopt make[1]: Entering directory `/builddir/build/BUILD/ATS2-Postiats-0.2.8/src/CBOOT' gcc -O2 -I. -I./ccomp/runtime -c -o pats_main_dats.o pats_main_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_error_sats.o pats_error_sats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_intinf_sats.o pats_intinf_sats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_counter_sats.o pats_counter_sats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_utils_sats.o pats_utils_sats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_global_sats.o pats_global_sats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_basics_sats.o pats_basics_sats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_stamp_sats.o pats_stamp_sats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_symbol_sats.o pats_symbol_sats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_filename_sats.o pats_filename_sats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_location_sats.o pats_location_sats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_jsonize_sats.o pats_jsonize_sats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_errmsg_sats.o pats_errmsg_sats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_reader_sats.o pats_reader_sats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_lexbuf_sats.o pats_lexbuf_sats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_lexing_sats.o pats_lexing_sats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_label_sats.o pats_label_sats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_effect_sats.o pats_effect_sats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_fixity_sats.o pats_fixity_sats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_syntax_sats.o pats_syntax_sats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_depgen_sats.o pats_depgen_sats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_taggen_sats.o pats_taggen_sats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_tokbuf_sats.o pats_tokbuf_sats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_parsing_sats.o pats_parsing_sats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_symmap_sats.o pats_symmap_sats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_symenv_sats.o pats_symenv_sats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_staexp1_sats.o pats_staexp1_sats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_dynexp1_sats.o pats_dynexp1_sats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_trans1_sats.o pats_trans1_sats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_trans1_env_sats.o pats_trans1_env_sats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_e1xpval_sats.o pats_e1xpval_sats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_staexp2_sats.o pats_staexp2_sats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_stacst2_sats.o pats_stacst2_sats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_staexp2_util_sats.o pats_staexp2_util_sats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_staexp2_error_sats.o pats_staexp2_error_sats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_staexp2_solve_sats.o pats_staexp2_solve_sats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_patcst2_sats.o pats_patcst2_sats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_dynexp2_sats.o pats_dynexp2_sats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_dyncst2_sats.o pats_dyncst2_sats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_codegen2_sats.o pats_codegen2_sats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_jsonize_synent2_sats.o pats_jsonize_synent2_sats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_trans2_sats.o pats_trans2_sats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_namespace_sats.o pats_namespace_sats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_trans2_env_sats.o pats_trans2_env_sats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_dynexp3_sats.o pats_dynexp3_sats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_trans3_sats.o pats_trans3_sats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_trans3_env_sats.o pats_trans3_env_sats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_dmacro2_sats.o pats_dmacro2_sats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_lintprgm_sats.o pats_lintprgm_sats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_constraint3_sats.o pats_constraint3_sats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_histaexp_sats.o pats_histaexp_sats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_hidynexp_sats.o pats_hidynexp_sats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_typerase_sats.o pats_typerase_sats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_ccomp_sats.o pats_ccomp_sats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_comarg_sats.o pats_comarg_sats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_error_dats.o pats_error_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_intinf_dats.o pats_intinf_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_counter_dats.o pats_counter_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_utils_dats.o pats_utils_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_global_dats.o pats_global_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_basics_dats.o pats_basics_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_stamp_dats.o pats_stamp_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_symbol_dats.o pats_symbol_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_filename_dats.o pats_filename_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_location_dats.o pats_location_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_jsonize_dats.o pats_jsonize_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_errmsg_dats.o pats_errmsg_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_reader_dats.o pats_reader_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_lexbuf_dats.o pats_lexbuf_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_lexing_dats.o pats_lexing_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_lexing_print_dats.o pats_lexing_print_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_lexing_error_dats.o pats_lexing_error_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_lexing_token_dats.o pats_lexing_token_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_label_dats.o pats_label_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_effect_dats.o pats_effect_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_fixity_prec_dats.o pats_fixity_prec_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_fixity_fxty_dats.o pats_fixity_fxty_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_syntax_dats.o pats_syntax_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_syntax_print_dats.o pats_syntax_print_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_depgen_dats.o pats_depgen_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_taggen_dats.o pats_taggen_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_tokbuf_dats.o pats_tokbuf_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_parsing_dats.o pats_parsing_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_parsing_error_dats.o pats_parsing_error_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_parsing_util_dats.o pats_parsing_util_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_parsing_kwds_dats.o pats_parsing_kwds_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_parsing_base_dats.o pats_parsing_base_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_parsing_e0xp_dats.o pats_parsing_e0xp_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_parsing_sort_dats.o pats_parsing_sort_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_parsing_staexp_dats.o pats_parsing_staexp_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_parsing_p0at_dats.o pats_parsing_p0at_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_parsing_dynexp_dats.o pats_parsing_dynexp_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_parsing_decl_dats.o pats_parsing_decl_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_parsing_toplevel_dats.o pats_parsing_toplevel_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_symmap_dats.o pats_symmap_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_symenv_dats.o pats_symenv_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_staexp1_dats.o pats_staexp1_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_staexp1_print_dats.o pats_staexp1_print_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_dynexp1_dats.o pats_dynexp1_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_dynexp1_print_dats.o pats_dynexp1_print_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_trans1_env_dats.o pats_trans1_env_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_e1xpval_dats.o pats_e1xpval_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_e1xpval_error_dats.o pats_e1xpval_error_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_filename_reloc_dats.o pats_filename_reloc_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_trans1_error_dats.o pats_trans1_error_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_trans1_e0xp_dats.o pats_trans1_e0xp_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_trans1_effect_dats.o pats_trans1_effect_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_trans1_sort_dats.o pats_trans1_sort_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_trans1_staexp_dats.o pats_trans1_staexp_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_trans1_p0at_dats.o pats_trans1_p0at_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_trans1_syndef_dats.o pats_trans1_syndef_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_trans1_dynexp_dats.o pats_trans1_dynexp_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_trans1_decl_dats.o pats_trans1_decl_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_staexp2_dats.o pats_staexp2_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_stacst2_dats.o pats_stacst2_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_staexp2_print_dats.o pats_staexp2_print_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_staexp2_pprint_dats.o pats_staexp2_pprint_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_staexp2_sort_dats.o pats_staexp2_sort_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_staexp2_scst_dats.o pats_staexp2_scst_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_staexp2_svar_dats.o pats_staexp2_svar_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_staexp2_svvar_dats.o pats_staexp2_svvar_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_staexp2_hole_dats.o pats_staexp2_hole_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_staexp2_ctxt_dats.o pats_staexp2_ctxt_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_staexp2_dcon_dats.o pats_staexp2_dcon_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_staexp2_skexp_dats.o pats_staexp2_skexp_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_staexp2_szexp_dats.o pats_staexp2_szexp_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_staexp2_util1_dats.o pats_staexp2_util1_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_staexp2_util2_dats.o pats_staexp2_util2_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_staexp2_util3_dats.o pats_staexp2_util3_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_staexp2_error_dats.o pats_staexp2_error_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_staexp2_solve_dats.o pats_staexp2_solve_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_patcst2_dats.o pats_patcst2_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_dynexp2_dats.o pats_dynexp2_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_dyncst2_dats.o pats_dyncst2_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_dynexp2_print_dats.o pats_dynexp2_print_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_dynexp2_dcst_dats.o pats_dynexp2_dcst_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_dynexp2_dvar_dats.o pats_dynexp2_dvar_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_dynexp2_dmac_dats.o pats_dynexp2_dmac_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_dynexp2_util_dats.o pats_dynexp2_util_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_dynexp2_mapgen_dats.o pats_dynexp2_mapgen_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_codegen2_dats.o pats_codegen2_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_codegen2_util_dats.o pats_codegen2_util_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_codegen2_datype_dats.o pats_codegen2_datype_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_codegen2_fprint_dats.o pats_codegen2_fprint_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_jsonize_synent2_dats.o pats_jsonize_synent2_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_namespace_dats.o pats_namespace_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_trans2_env_dats.o pats_trans2_env_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_trans2_error_dats.o pats_trans2_error_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_trans2_sort_dats.o pats_trans2_sort_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_trans2_staexp_dats.o pats_trans2_staexp_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_trans2_p1at_dats.o pats_trans2_p1at_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_trans2_dynexp_dats.o pats_trans2_dynexp_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_trans2_impdec_dats.o pats_trans2_impdec_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_trans2_decl_dats.o pats_trans2_decl_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_dynexp3_dats.o pats_dynexp3_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_dynexp3_print_dats.o pats_dynexp3_print_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_trans3_error_dats.o pats_trans3_error_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_trans3_util_dats.o pats_trans3_util_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_trans3_env_dats.o pats_trans3_env_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_trans3_env_print_dats.o pats_trans3_env_print_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_trans3_env_scst_dats.o pats_trans3_env_scst_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_trans3_env_svar_dats.o pats_trans3_env_svar_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_trans3_env_termet_dats.o pats_trans3_env_termet_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_trans3_env_effect_dats.o pats_trans3_env_effect_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_trans3_env_dvar_dats.o pats_trans3_env_dvar_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_trans3_env_lamlp_dats.o pats_trans3_env_lamlp_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_trans3_env_pfman_dats.o pats_trans3_env_pfman_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_trans3_env_lstate_dats.o pats_trans3_env_lstate_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_dmacro2_dats.o pats_dmacro2_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_dmacro2_print_dats.o pats_dmacro2_print_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_dmacro2_eval0_dats.o pats_dmacro2_eval0_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_dmacro2_eval1_dats.o pats_dmacro2_eval1_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_trans3_p2at_dats.o pats_trans3_p2at_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_trans3_patcon_dats.o pats_trans3_patcon_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_trans3_syncst_dats.o pats_trans3_syncst_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_trans3_dynexp_up_dats.o pats_trans3_dynexp_up_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_trans3_dynexp_dn_dats.o pats_trans3_dynexp_dn_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_trans3_appsym_dats.o pats_trans3_appsym_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_trans3_caseof_dats.o pats_trans3_caseof_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_trans3_selab_dats.o pats_trans3_selab_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_trans3_ptrof_dats.o pats_trans3_ptrof_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_trans3_viewat_dats.o pats_trans3_viewat_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_trans3_deref_dats.o pats_trans3_deref_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_trans3_assgn_dats.o pats_trans3_assgn_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_trans3_xchng_dats.o pats_trans3_xchng_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_trans3_lvalres_dats.o pats_trans3_lvalres_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_trans3_fldfrat_dats.o pats_trans3_fldfrat_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_trans3_looping_dats.o pats_trans3_looping_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_trans3_decl_dats.o pats_trans3_decl_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_lintprgm_dats.o pats_lintprgm_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_lintprgm_print_dats.o pats_lintprgm_print_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_lintprgm_myint_dats.o pats_lintprgm_myint_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_lintprgm_solve_dats.o pats_lintprgm_solve_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_constraint3_dats.o pats_constraint3_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_constraint3_print_dats.o pats_constraint3_print_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_constraint3_mapgen_dats.o pats_constraint3_mapgen_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_constraint3_jsonize_dats.o pats_constraint3_jsonize_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_constraint3_init_dats.o pats_constraint3_init_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_constraint3_simplify_dats.o pats_constraint3_simplify_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_constraint3_icnstr_dats.o pats_constraint3_icnstr_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_constraint3_solve_dats.o pats_constraint3_solve_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_histaexp_dats.o pats_histaexp_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_histaexp_print_dats.o pats_histaexp_print_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_histaexp_funlab_dats.o pats_histaexp_funlab_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_hidynexp_dats.o pats_hidynexp_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_hidynexp_print_dats.o pats_hidynexp_print_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_hidynexp_util_dats.o pats_hidynexp_util_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_typerase_error_dats.o pats_typerase_error_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_typerase_staexp_dats.o pats_typerase_staexp_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_typerase_dynexp_dats.o pats_typerase_dynexp_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_typerase_decl_dats.o pats_typerase_decl_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_ccomp_dats.o pats_ccomp_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_ccomp_print_dats.o pats_ccomp_print_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_ccomp_hitype_dats.o pats_ccomp_hitype_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_ccomp_tmplab_dats.o pats_ccomp_tmplab_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_ccomp_tmpvar_dats.o pats_ccomp_tmpvar_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_ccomp_d2env_dats.o pats_ccomp_d2env_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_ccomp_funlab_dats.o pats_ccomp_funlab_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_ccomp_funent_dats.o pats_ccomp_funent_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_ccomp_util_dats.o pats_ccomp_util_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_ccomp_ccompenv_dats.o pats_ccomp_ccompenv_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_ccomp_instrseq_dats.o pats_ccomp_instrseq_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_ccomp_hipat_dats.o pats_ccomp_hipat_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_ccomp_dynexp_dats.o pats_ccomp_dynexp_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_ccomp_caseof_dats.o pats_ccomp_caseof_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_ccomp_claulst_dats.o pats_ccomp_claulst_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_ccomp_lazyeval_dats.o pats_ccomp_lazyeval_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_ccomp_trywith_dats.o pats_ccomp_trywith_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_ccomp_looping_dats.o pats_ccomp_looping_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_ccomp_decl_dats.o pats_ccomp_decl_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_ccomp_subst_dats.o pats_ccomp_subst_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_ccomp_environ_dats.o pats_ccomp_environ_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_ccomp_template_dats.o pats_ccomp_template_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_ccomp_emit_dats.o pats_ccomp_emit_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_ccomp_emit2_dats.o pats_ccomp_emit2_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_ccomp_emit3_dats.o pats_ccomp_emit3_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_ccomp_main_dats.o pats_ccomp_main_dats.c gcc -O2 -I. -I./ccomp/runtime -c -o pats_comarg_dats.o pats_comarg_dats.c gcc -I. -I./ccomp/runtime -c -o prelude_basics_sta_sats.o prelude/basics_sta_sats.c gcc -I. -I./ccomp/runtime -c -o prelude_basics_dyn_sats.o prelude/basics_dyn_sats.c gcc -I. -I./ccomp/runtime -c -o prelude_ats_main_prelude_dats.o prelude/ats_main_prelude_dats.c gcc -I. -I./ccomp/runtime -c -o prelude_DATS_basics_dats.o prelude/DATS_basics_dats.c gcc -I. -I./ccomp/runtime -c -o prelude_DATS_bool_dats.o prelude/DATS_bool_dats.c gcc -I. -I./ccomp/runtime -c -o prelude_DATS_char_dats.o prelude/DATS_char_dats.c gcc -I. -I./ccomp/runtime -c -o prelude_DATS_float_dats.o prelude/DATS_float_dats.c gcc -I. -I./ccomp/runtime -c -o prelude_DATS_integer_dats.o prelude/DATS_integer_dats.c gcc -I. -I./ccomp/runtime -c -o prelude_DATS_sizetype_dats.o prelude/DATS_sizetype_dats.c gcc -I. -I./ccomp/runtime -c -o prelude_DATS_pointer_dats.o prelude/DATS_pointer_dats.c gcc -I. -I./ccomp/runtime -c -o prelude_DATS_reference_dats.o prelude/DATS_reference_dats.c gcc -I. -I./ccomp/runtime -c -o prelude_DATS_string_dats.o prelude/DATS_string_dats.c gcc -I. -I./ccomp/runtime -c -o prelude_DATS_lazy_dats.o prelude/DATS_lazy_dats.c gcc -I. -I./ccomp/runtime -c -o prelude_DATS_lazy_vt_dats.o prelude/DATS_lazy_vt_dats.c gcc -I. -I./ccomp/runtime -c -o prelude_DATS_printf_dats.o prelude/DATS_printf_dats.c gcc -I. -I./ccomp/runtime -c -o prelude_DATS_filebas_dats.o prelude/DATS_filebas_dats.c gcc -I. -I./ccomp/runtime -c -o prelude_DATS_list_dats.o prelude/DATS_list_dats.c gcc -I. -I./ccomp/runtime -c -o prelude_DATS_list_vt_dats.o prelude/DATS_list_vt_dats.c gcc -I. -I./ccomp/runtime -c -o prelude_DATS_list0_dats.o prelude/DATS_list0_dats.c gcc -I. -I./ccomp/runtime -c -o prelude_DATS_option_dats.o prelude/DATS_option_dats.c gcc -I. -I./ccomp/runtime -c -o prelude_DATS_option_vt_dats.o prelude/DATS_option_vt_dats.c gcc -I. -I./ccomp/runtime -c -o prelude_DATS_option0_dats.o prelude/DATS_option0_dats.c gcc -I. -I./ccomp/runtime -c -o prelude_DATS_array_dats.o prelude/DATS_array_dats.c gcc -I. -I./ccomp/runtime -c -o prelude_DATS_array0_dats.o prelude/DATS_array0_dats.c gcc -I. -I./ccomp/runtime -c -o prelude_DATS_matrix_dats.o prelude/DATS_matrix_dats.c gcc -I. -I./ccomp/runtime -c -o prelude_DATS_matrix0_dats.o prelude/DATS_matrix0_dats.c gcc -I. -I./ccomp/runtime -c -o prelude_DATS_ptrarr_dats.o prelude/DATS_ptrarr_dats.c gcc -I. -I./ccomp/runtime -c -o prelude_DATS_unsafe_dats.o prelude/DATS_unsafe_dats.c gcc -I. -I./ccomp/runtime -c -o libc_SATS_errno_sats.o libc/SATS_errno_sats.c gcc -I. -I./ccomp/runtime -c -o libc_SATS_fcntl_sats.o libc/SATS_fcntl_sats.c gcc -I. -I./ccomp/runtime -c -o libc_DATS_fcntl_dats.o libc/DATS_fcntl_dats.c gcc -I. -I./ccomp/runtime -c -o libc_SATS_stdarg_sats.o libc/SATS_stdarg_sats.c gcc -I. -I./ccomp/runtime -c -o libc_SATS_stdio_sats.o libc/SATS_stdio_sats.c gcc -I. -I./ccomp/runtime -c -o libc_SATS_stdlib_sats.o libc/SATS_stdlib_sats.c gcc -I. -I./ccomp/runtime -c -o libc_SATS_string_sats.o libc/SATS_string_sats.c gcc -I. -I./ccomp/runtime -c -o libc_SATS_time_sats.o libc/SATS_time_sats.c gcc -I. -I./ccomp/runtime -c -o libc_SATS_unistd_sats.o libc/SATS_unistd_sats.c gcc -I. -I./ccomp/runtime -c -o libc_DATS_unistd_dats.o libc/DATS_unistd_dats.c gcc -I. -I./ccomp/runtime -c -o libc_sys_SATS_stat_sats.o libc/sys_SATS_stat_sats.c gcc -I. -I./ccomp/runtime -c -o libc_sys_SATS_types_sats.o libc/sys_SATS_types_sats.c gcc -I. -I./ccomp/runtime -c -o libc_SATS_gmp_sats.o libc/SATS_gmp_sats.c gcc -I. -I./ccomp/runtime -c -o libc_DATS_gmp_dats.o libc/DATS_gmp_dats.c gcc -I. -I./ccomp/runtime -c -o libats_SATS_funmap_avltree_sats.o libats/SATS_funmap_avltree_sats.c gcc -I. -I./ccomp/runtime -c -o libats_DATS_funmap_avltree_dats.o libats/DATS_funmap_avltree_dats.c gcc -I. -I./ccomp/runtime -c -o libats_SATS_funset_avltree_sats.o libats/SATS_funset_avltree_sats.c gcc -I. -I./ccomp/runtime -c -o libats_DATS_funset_avltree_dats.o libats/DATS_funset_avltree_dats.c gcc -I. -I./ccomp/runtime -c -o libats_SATS_funset_listord_sats.o libats/SATS_funset_listord_sats.c gcc -I. -I./ccomp/runtime -c -o libats_DATS_funset_listord_dats.o libats/DATS_funset_listord_dats.c gcc -I. -I./ccomp/runtime -c -o libats_SATS_funmset_listord_sats.o libats/SATS_funmset_listord_sats.c gcc -I. -I./ccomp/runtime -c -o libats_DATS_funmset_listord_dats.o libats/DATS_funmset_listord_dats.c gcc -I. -I./ccomp/runtime -c -o libats_SATS_hashtable_chain_sats.o libats/SATS_hashtable_chain_sats.c gcc -I. -I./ccomp/runtime -c -o libats_DATS_hashtable_chain_dats.o libats/DATS_hashtable_chain_dats.c gcc -I. -I./ccomp/runtime -c -o libats_SATS_hashtable_linprb_sats.o libats/SATS_hashtable_linprb_sats.c gcc -I. -I./ccomp/runtime -c -o libats_DATS_hashtable_linprb_dats.o libats/DATS_hashtable_linprb_dats.c gcc -I. -I./ccomp/runtime -c -o libats_SATS_linqueue_arr_sats.o libats/SATS_linqueue_arr_sats.c gcc -I. -I./ccomp/runtime -c -o libats_DATS_linqueue_arr_dats.o libats/DATS_linqueue_arr_dats.c gcc -I. -I./ccomp/runtime -c -o libats_SATS_linqueue_lst_sats.o libats/SATS_linqueue_lst_sats.c gcc -I. -I./ccomp/runtime -c -o libats_DATS_linqueue_lst_dats.o libats/DATS_linqueue_lst_dats.c gcc -I. -I./ccomp/runtime -c -o libats_ngc_SATS_deque_arr_sats.o libats/ngc_SATS_deque_arr_sats.c gcc -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_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 \ gcc -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_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 `/builddir/build/BUILD/ATS2-Postiats-0.2.8/src/CBOOT' cp -f src/CBOOT/patsopt bin/patsopt make -C utils/atscc patscc make[1]: Entering directory `/builddir/build/BUILD/ATS2-Postiats-0.2.8/utils/atscc' "/builddir/build/BUILD/ATS2-Postiats-0.2.8"/bin/patsopt --output patscc_dats.c --dynamic patscc.dats "/builddir/build/BUILD/ATS2-Postiats-0.2.8"/bin/patsopt --output atscc_main_dats.c --dynamic atscc_main.dats "/builddir/build/BUILD/ATS2-Postiats-0.2.8"/bin/patsopt --output atscc_print_dats.c --dynamic atscc_print.dats \ gcc -I"/builddir/build/BUILD/ATS2-Postiats-0.2.8" -I"/builddir/build/BUILD/ATS2-Postiats-0.2.8"/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[1]: Leaving directory `/builddir/build/BUILD/ATS2-Postiats-0.2.8/utils/atscc' cp -f utils/atscc/patscc bin/patscc make -C ccomp/atslib atslib make[1]: Entering directory `/builddir/build/BUILD/ATS2-Postiats-0.2.8/ccomp/atslib' "/builddir/build/BUILD/ATS2-Postiats-0.2.8"/bin/patsopt -o output/atslib_prelude_bool_dats.c --dynamic ../../prelude/DATS/bool.dats \ gcc -I"/builddir/build/BUILD/ATS2-Postiats-0.2.8" -I"/builddir/build/BUILD/ATS2-Postiats-0.2.8"/ccomp/runtime -fPIC -O2 -c -o output/atslib_prelude_bool_dats.o output/atslib_prelude_bool_dats.c ar -r lib/libatslib.a output/atslib_prelude_bool_dats.o "/builddir/build/BUILD/ATS2-Postiats-0.2.8"/bin/patsopt -o output/atslib_prelude_char_dats.c --dynamic ../../prelude/DATS/char.dats ar: creating lib/libatslib.a \ gcc -I"/builddir/build/BUILD/ATS2-Postiats-0.2.8" -I"/builddir/build/BUILD/ATS2-Postiats-0.2.8"/ccomp/runtime -fPIC -O2 -c -o output/atslib_prelude_char_dats.o output/atslib_prelude_char_dats.c ar -r lib/libatslib.a output/atslib_prelude_char_dats.o "/builddir/build/BUILD/ATS2-Postiats-0.2.8"/bin/patsopt -o output/atslib_prelude_integer_dats.c --dynamic ../../prelude/DATS/integer.dats \ gcc -I"/builddir/build/BUILD/ATS2-Postiats-0.2.8" -I"/builddir/build/BUILD/ATS2-Postiats-0.2.8"/ccomp/runtime -fPIC -O2 -c -o output/atslib_prelude_integer_dats.o output/atslib_prelude_integer_dats.c ar -r lib/libatslib.a output/atslib_prelude_integer_dats.o "/builddir/build/BUILD/ATS2-Postiats-0.2.8"/bin/patsopt -o output/atslib_prelude_float_dats.c --dynamic ../../prelude/DATS/float.dats \ gcc -I"/builddir/build/BUILD/ATS2-Postiats-0.2.8" -I"/builddir/build/BUILD/ATS2-Postiats-0.2.8"/ccomp/runtime -fPIC -O2 -c -o output/atslib_prelude_float_dats.o output/atslib_prelude_float_dats.c ar -r lib/libatslib.a output/atslib_prelude_float_dats.o "/builddir/build/BUILD/ATS2-Postiats-0.2.8"/bin/patsopt -o output/atslib_prelude_string_dats.c --dynamic ../../prelude/DATS/string.dats \ gcc -I"/builddir/build/BUILD/ATS2-Postiats-0.2.8" -I"/builddir/build/BUILD/ATS2-Postiats-0.2.8"/ccomp/runtime -fPIC -O2 -c -o output/atslib_prelude_string_dats.o output/atslib_prelude_string_dats.c ar -r lib/libatslib.a output/atslib_prelude_string_dats.o "/builddir/build/BUILD/ATS2-Postiats-0.2.8"/bin/patsopt -o output/atslib_prelude_strptr_dats.c --dynamic ../../prelude/DATS/strptr.dats \ gcc -I"/builddir/build/BUILD/ATS2-Postiats-0.2.8" -I"/builddir/build/BUILD/ATS2-Postiats-0.2.8"/ccomp/runtime -fPIC -O2 -c -o output/atslib_prelude_strptr_dats.o output/atslib_prelude_strptr_dats.c ar -r lib/libatslib.a output/atslib_prelude_strptr_dats.o "/builddir/build/BUILD/ATS2-Postiats-0.2.8"/bin/patsopt -o output/atslib_prelude_filebas_dats.c --dynamic ../../prelude/DATS/filebas.dats \ gcc -I"/builddir/build/BUILD/ATS2-Postiats-0.2.8" -I"/builddir/build/BUILD/ATS2-Postiats-0.2.8"/ccomp/runtime -fPIC -O2 -c -o output/atslib_prelude_filebas_dats.o output/atslib_prelude_filebas_dats.c ar -r lib/libatslib.a output/atslib_prelude_filebas_dats.o "/builddir/build/BUILD/ATS2-Postiats-0.2.8"/bin/patsopt -o output/atslib_libc_dirent_dats.c --dynamic ../../libc/DATS/dirent.dats \ gcc -I"/builddir/build/BUILD/ATS2-Postiats-0.2.8" -I"/builddir/build/BUILD/ATS2-Postiats-0.2.8"/ccomp/runtime -fPIC -O2 -c -o output/atslib_libc_dirent_dats.o output/atslib_libc_dirent_dats.c ar -r lib/libatslib.a output/atslib_libc_dirent_dats.o "/builddir/build/BUILD/ATS2-Postiats-0.2.8"/bin/patsopt -o output/atslib_libc_fcntl_dats.c --dynamic ../../libc/DATS/fcntl.dats \ gcc -I"/builddir/build/BUILD/ATS2-Postiats-0.2.8" -I"/builddir/build/BUILD/ATS2-Postiats-0.2.8"/ccomp/runtime -fPIC -O2 -c -o output/atslib_libc_fcntl_dats.o output/atslib_libc_fcntl_dats.c ar -r lib/libatslib.a output/atslib_libc_fcntl_dats.o "/builddir/build/BUILD/ATS2-Postiats-0.2.8"/bin/patsopt -o output/atslib_libc_stdio_dats.c --dynamic ../../libc/DATS/stdio.dats \ gcc -I"/builddir/build/BUILD/ATS2-Postiats-0.2.8" -I"/builddir/build/BUILD/ATS2-Postiats-0.2.8"/ccomp/runtime -fPIC -O2 -c -o output/atslib_libc_stdio_dats.o output/atslib_libc_stdio_dats.c ar -r lib/libatslib.a output/atslib_libc_stdio_dats.o "/builddir/build/BUILD/ATS2-Postiats-0.2.8"/bin/patsopt -o output/atslib_libc_stdlib_dats.c --dynamic ../../libc/DATS/stdlib.dats \ gcc -I"/builddir/build/BUILD/ATS2-Postiats-0.2.8" -I"/builddir/build/BUILD/ATS2-Postiats-0.2.8"/ccomp/runtime -fPIC -O2 -c -o output/atslib_libc_stdlib_dats.o output/atslib_libc_stdlib_dats.c ar -r lib/libatslib.a output/atslib_libc_stdlib_dats.o "/builddir/build/BUILD/ATS2-Postiats-0.2.8"/bin/patsopt -o output/atslib_libc_string_dats.c --dynamic ../../libc/DATS/string.dats \ gcc -I"/builddir/build/BUILD/ATS2-Postiats-0.2.8" -I"/builddir/build/BUILD/ATS2-Postiats-0.2.8"/ccomp/runtime -fPIC -O2 -c -o output/atslib_libc_string_dats.o output/atslib_libc_string_dats.c ar -r lib/libatslib.a output/atslib_libc_string_dats.o "/builddir/build/BUILD/ATS2-Postiats-0.2.8"/bin/patsopt -o output/atslib_libc_strings_dats.c --dynamic ../../libc/DATS/strings.dats \ gcc -I"/builddir/build/BUILD/ATS2-Postiats-0.2.8" -I"/builddir/build/BUILD/ATS2-Postiats-0.2.8"/ccomp/runtime -fPIC -O2 -c -o output/atslib_libc_strings_dats.o output/atslib_libc_strings_dats.c ar -r lib/libatslib.a output/atslib_libc_strings_dats.o "/builddir/build/BUILD/ATS2-Postiats-0.2.8"/bin/patsopt -o output/atslib_libc_time_dats.c --dynamic ../../libc/DATS/time.dats \ gcc -I"/builddir/build/BUILD/ATS2-Postiats-0.2.8" -I"/builddir/build/BUILD/ATS2-Postiats-0.2.8"/ccomp/runtime -fPIC -O2 -c -o output/atslib_libc_time_dats.o output/atslib_libc_time_dats.c ar -r lib/libatslib.a output/atslib_libc_time_dats.o "/builddir/build/BUILD/ATS2-Postiats-0.2.8"/bin/patsopt -o output/atslib_libc_unistd_dats.c --dynamic ../../libc/DATS/unistd.dats \ gcc -I"/builddir/build/BUILD/ATS2-Postiats-0.2.8" -I"/builddir/build/BUILD/ATS2-Postiats-0.2.8"/ccomp/runtime -fPIC -O2 -c -o output/atslib_libc_unistd_dats.o output/atslib_libc_unistd_dats.c ar -r lib/libatslib.a output/atslib_libc_unistd_dats.o "/builddir/build/BUILD/ATS2-Postiats-0.2.8"/bin/patsopt -o output/atslib_libc_sys_socket_dats.c --dynamic ../../libc/sys/DATS/socket.dats \ gcc -I"/builddir/build/BUILD/ATS2-Postiats-0.2.8" -I"/builddir/build/BUILD/ATS2-Postiats-0.2.8"/ccomp/runtime -fPIC -O2 -c -o output/atslib_libc_sys_socket_dats.o output/atslib_libc_sys_socket_dats.c ar -r lib/libatslib.a output/atslib_libc_sys_socket_dats.o "/builddir/build/BUILD/ATS2-Postiats-0.2.8"/bin/patsopt -o output/atslib_libc_sys_socket_in_dats.c --dynamic ../../libc/sys/DATS/socket_in.dats \ gcc -I"/builddir/build/BUILD/ATS2-Postiats-0.2.8" -I"/builddir/build/BUILD/ATS2-Postiats-0.2.8"/ccomp/runtime -fPIC -O2 -c -o output/atslib_libc_sys_socket_in_dats.o output/atslib_libc_sys_socket_in_dats.c ar -r lib/libatslib.a output/atslib_libc_sys_socket_in_dats.o "/builddir/build/BUILD/ATS2-Postiats-0.2.8"/bin/patsopt -o output/atslib_libc_sys_stat_dats.c --dynamic ../../libc/sys/DATS/stat.dats \ gcc -I"/builddir/build/BUILD/ATS2-Postiats-0.2.8" -I"/builddir/build/BUILD/ATS2-Postiats-0.2.8"/ccomp/runtime -fPIC -O2 -c -o output/atslib_libc_sys_stat_dats.o output/atslib_libc_sys_stat_dats.c ar -r lib/libatslib.a output/atslib_libc_sys_stat_dats.o "/builddir/build/BUILD/ATS2-Postiats-0.2.8"/bin/patsopt -o output/atslib_libc_sys_types_dats.c --dynamic ../../libc/sys/DATS/types.dats \ gcc -I"/builddir/build/BUILD/ATS2-Postiats-0.2.8" -I"/builddir/build/BUILD/ATS2-Postiats-0.2.8"/ccomp/runtime -fPIC -O2 -c -o output/atslib_libc_sys_types_dats.o output/atslib_libc_sys_types_dats.c ar -r lib/libatslib.a output/atslib_libc_sys_types_dats.o "/builddir/build/BUILD/ATS2-Postiats-0.2.8"/bin/patsopt -o output/atslib_libats_stringbuf_dats.c --dynamic ../../libats/DATS/stringbuf.dats \ gcc -I"/builddir/build/BUILD/ATS2-Postiats-0.2.8" -I"/builddir/build/BUILD/ATS2-Postiats-0.2.8"/ccomp/runtime -fPIC -O2 -c -o output/atslib_libats_stringbuf_dats.o output/atslib_libats_stringbuf_dats.c ar -r lib/libatslib.a output/atslib_libats_stringbuf_dats.o "/builddir/build/BUILD/ATS2-Postiats-0.2.8"/bin/patsopt -o output/atslib_libats_funset_avltree_dats.c --dynamic ../../libats/DATS/funset_avltree.dats \ gcc -I"/builddir/build/BUILD/ATS2-Postiats-0.2.8" -I"/builddir/build/BUILD/ATS2-Postiats-0.2.8"/ccomp/runtime -fPIC -O2 -c -o output/atslib_libats_funset_avltree_dats.o output/atslib_libats_funset_avltree_dats.c ar -r lib/libatslib.a output/atslib_libats_funset_avltree_dats.o "/builddir/build/BUILD/ATS2-Postiats-0.2.8"/bin/patsopt -o output/atslib_libats_funset_listord_dats.c --dynamic ../../libats/DATS/funset_listord.dats \ gcc -I"/builddir/build/BUILD/ATS2-Postiats-0.2.8" -I"/builddir/build/BUILD/ATS2-Postiats-0.2.8"/ccomp/runtime -fPIC -O2 -c -o output/atslib_libats_funset_listord_dats.o output/atslib_libats_funset_listord_dats.c ar -r lib/libatslib.a output/atslib_libats_funset_listord_dats.o "/builddir/build/BUILD/ATS2-Postiats-0.2.8"/bin/patsopt -o output/atslib_libats_funmap_list_dats.c --dynamic ../../libats/DATS/funmap_list.dats \ gcc -I"/builddir/build/BUILD/ATS2-Postiats-0.2.8" -I"/builddir/build/BUILD/ATS2-Postiats-0.2.8"/ccomp/runtime -fPIC -O2 -c -o output/atslib_libats_funmap_list_dats.o output/atslib_libats_funmap_list_dats.c ar -r lib/libatslib.a output/atslib_libats_funmap_list_dats.o "/builddir/build/BUILD/ATS2-Postiats-0.2.8"/bin/patsopt -o output/atslib_libats_funmap_avltree_dats.c --dynamic ../../libats/DATS/funmap_avltree.dats \ gcc -I"/builddir/build/BUILD/ATS2-Postiats-0.2.8" -I"/builddir/build/BUILD/ATS2-Postiats-0.2.8"/ccomp/runtime -fPIC -O2 -c -o output/atslib_libats_funmap_avltree_dats.o output/atslib_libats_funmap_avltree_dats.c ar -r lib/libatslib.a output/atslib_libats_funmap_avltree_dats.o "/builddir/build/BUILD/ATS2-Postiats-0.2.8"/bin/patsopt -o output/atslib_libats_fundeque_fngtree_dats.c --dynamic ../../libats/DATS/fundeque_fngtree.dats \ gcc -I"/builddir/build/BUILD/ATS2-Postiats-0.2.8" -I"/builddir/build/BUILD/ATS2-Postiats-0.2.8"/ccomp/runtime -fPIC -O2 -c -o output/atslib_libats_fundeque_fngtree_dats.o output/atslib_libats_fundeque_fngtree_dats.c ar -r lib/libatslib.a output/atslib_libats_fundeque_fngtree_dats.o "/builddir/build/BUILD/ATS2-Postiats-0.2.8"/bin/patsopt -o output/atslib_libats_funralist_nested_dats.c --dynamic ../../libats/DATS/funralist_nested.dats \ gcc -I"/builddir/build/BUILD/ATS2-Postiats-0.2.8" -I"/builddir/build/BUILD/ATS2-Postiats-0.2.8"/ccomp/runtime -fPIC -O2 -c -o output/atslib_libats_funralist_nested_dats.o output/atslib_libats_funralist_nested_dats.c ar -r lib/libatslib.a output/atslib_libats_funralist_nested_dats.o "/builddir/build/BUILD/ATS2-Postiats-0.2.8"/bin/patsopt -o output/atslib_libats_linmap_list_dats.c --dynamic ../../libats/DATS/linmap_list.dats \ gcc -I"/builddir/build/BUILD/ATS2-Postiats-0.2.8" -I"/builddir/build/BUILD/ATS2-Postiats-0.2.8"/ccomp/runtime -fPIC -O2 -c -o output/atslib_libats_linmap_list_dats.o output/atslib_libats_linmap_list_dats.c ar -r lib/libatslib.a output/atslib_libats_linmap_list_dats.o "/builddir/build/BUILD/ATS2-Postiats-0.2.8"/bin/patsopt -o output/atslib_libats_linmap_randbst_dats.c --dynamic ../../libats/DATS/linmap_randbst.dats \ gcc -I"/builddir/build/BUILD/ATS2-Postiats-0.2.8" -I"/builddir/build/BUILD/ATS2-Postiats-0.2.8"/ccomp/runtime -fPIC -O2 -c -o output/atslib_libats_linmap_randbst_dats.o output/atslib_libats_linmap_randbst_dats.c ar -r lib/libatslib.a output/atslib_libats_linmap_randbst_dats.o "/builddir/build/BUILD/ATS2-Postiats-0.2.8"/bin/patsopt -o output/atslib_libats_linmap_skiplist_dats.c --dynamic ../../libats/DATS/linmap_skiplist.dats \ gcc -I"/builddir/build/BUILD/ATS2-Postiats-0.2.8" -I"/builddir/build/BUILD/ATS2-Postiats-0.2.8"/ccomp/runtime -fPIC -O2 -c -o output/atslib_libats_linmap_skiplist_dats.o output/atslib_libats_linmap_skiplist_dats.c ar -r lib/libatslib.a output/atslib_libats_linmap_skiplist_dats.o "/builddir/build/BUILD/ATS2-Postiats-0.2.8"/bin/patsopt -o output/atslib_libats_linset_listord_dats.c --dynamic ../../libats/DATS/linset_listord.dats \ gcc -I"/builddir/build/BUILD/ATS2-Postiats-0.2.8" -I"/builddir/build/BUILD/ATS2-Postiats-0.2.8"/ccomp/runtime -fPIC -O2 -c -o output/atslib_libats_linset_listord_dats.o output/atslib_libats_linset_listord_dats.c ar -r lib/libatslib.a output/atslib_libats_linset_listord_dats.o "/builddir/build/BUILD/ATS2-Postiats-0.2.8"/bin/patsopt -o output/atslib_libats_linset_avltree_dats.c --dynamic ../../libats/DATS/linset_avltree.dats \ gcc -I"/builddir/build/BUILD/ATS2-Postiats-0.2.8" -I"/builddir/build/BUILD/ATS2-Postiats-0.2.8"/ccomp/runtime -fPIC -O2 -c -o output/atslib_libats_linset_avltree_dats.o output/atslib_libats_linset_avltree_dats.c ar -r lib/libatslib.a output/atslib_libats_linset_avltree_dats.o "/builddir/build/BUILD/ATS2-Postiats-0.2.8"/bin/patsopt -o output/atslib_libats_linralist_nested_dats.c --dynamic ../../libats/DATS/linralist_nested.dats \ gcc -I"/builddir/build/BUILD/ATS2-Postiats-0.2.8" -I"/builddir/build/BUILD/ATS2-Postiats-0.2.8"/ccomp/runtime -fPIC -O2 -c -o output/atslib_libats_linralist_nested_dats.o output/atslib_libats_linralist_nested_dats.c ar -r lib/libatslib.a output/atslib_libats_linralist_nested_dats.o "/builddir/build/BUILD/ATS2-Postiats-0.2.8"/bin/patsopt -o output/atslib_libats_hashtbl_chain_dats.c --dynamic ../../libats/DATS/hashtbl_chain.dats \ gcc -I"/builddir/build/BUILD/ATS2-Postiats-0.2.8" -I"/builddir/build/BUILD/ATS2-Postiats-0.2.8"/ccomp/runtime -fPIC -O2 -c -o output/atslib_libats_hashtbl_chain_dats.o output/atslib_libats_hashtbl_chain_dats.c ar -r lib/libatslib.a output/atslib_libats_hashtbl_chain_dats.o "/builddir/build/BUILD/ATS2-Postiats-0.2.8"/bin/patsopt -o output/atslib_libats_ML_list0_dats.c --dynamic ../../libats/ML/DATS/list0.dats \ gcc -I"/builddir/build/BUILD/ATS2-Postiats-0.2.8" -I"/builddir/build/BUILD/ATS2-Postiats-0.2.8"/ccomp/runtime -fPIC -O2 -c -o output/atslib_libats_ML_list0_dats.o output/atslib_libats_ML_list0_dats.c ar -r lib/libatslib.a output/atslib_libats_ML_list0_dats.o "/builddir/build/BUILD/ATS2-Postiats-0.2.8"/bin/patsopt -o output/atslib_libats_ML_option0_dats.c --dynamic ../../libats/ML/DATS/option0.dats \ gcc -I"/builddir/build/BUILD/ATS2-Postiats-0.2.8" -I"/builddir/build/BUILD/ATS2-Postiats-0.2.8"/ccomp/runtime -fPIC -O2 -c -o output/atslib_libats_ML_option0_dats.o output/atslib_libats_ML_option0_dats.c ar -r lib/libatslib.a output/atslib_libats_ML_option0_dats.o "/builddir/build/BUILD/ATS2-Postiats-0.2.8"/bin/patsopt -o output/atslib_libats_ML_array0_dats.c --dynamic ../../libats/ML/DATS/array0.dats \ gcc -I"/builddir/build/BUILD/ATS2-Postiats-0.2.8" -I"/builddir/build/BUILD/ATS2-Postiats-0.2.8"/ccomp/runtime -fPIC -O2 -c -o output/atslib_libats_ML_array0_dats.o output/atslib_libats_ML_array0_dats.c ar -r lib/libatslib.a output/atslib_libats_ML_array0_dats.o "/builddir/build/BUILD/ATS2-Postiats-0.2.8"/bin/patsopt -o output/atslib_libats_ML_matrix0_dats.c --dynamic ../../libats/ML/DATS/matrix0.dats \ gcc -I"/builddir/build/BUILD/ATS2-Postiats-0.2.8" -I"/builddir/build/BUILD/ATS2-Postiats-0.2.8"/ccomp/runtime -fPIC -O2 -c -o output/atslib_libats_ML_matrix0_dats.o output/atslib_libats_ML_matrix0_dats.c ar -r lib/libatslib.a output/atslib_libats_ML_matrix0_dats.o "/builddir/build/BUILD/ATS2-Postiats-0.2.8"/bin/patsopt -o output/atslib_libats_ML_string_dats.c --dynamic ../../libats/ML/DATS/string.dats \ gcc -I"/builddir/build/BUILD/ATS2-Postiats-0.2.8" -I"/builddir/build/BUILD/ATS2-Postiats-0.2.8"/ccomp/runtime -fPIC -O2 -c -o output/atslib_libats_ML_string_dats.o output/atslib_libats_ML_string_dats.c ar -r lib/libatslib.a output/atslib_libats_ML_string_dats.o "/builddir/build/BUILD/ATS2-Postiats-0.2.8"/bin/patsopt -o output/atslib_libats_ML_strarr_dats.c --dynamic ../../libats/ML/DATS/strarr.dats \ gcc -I"/builddir/build/BUILD/ATS2-Postiats-0.2.8" -I"/builddir/build/BUILD/ATS2-Postiats-0.2.8"/ccomp/runtime -fPIC -O2 -c -o output/atslib_libats_ML_strarr_dats.o output/atslib_libats_ML_strarr_dats.c ar -r lib/libatslib.a output/atslib_libats_ML_strarr_dats.o "/builddir/build/BUILD/ATS2-Postiats-0.2.8"/bin/patsopt -o output/atslib_libats_ML_gvalue_dats.c --dynamic ../../libats/ML/DATS/gvalue.dats \ gcc -I"/builddir/build/BUILD/ATS2-Postiats-0.2.8" -I"/builddir/build/BUILD/ATS2-Postiats-0.2.8"/ccomp/runtime -fPIC -O2 -c -o output/atslib_libats_ML_gvalue_dats.o output/atslib_libats_ML_gvalue_dats.c ar -r lib/libatslib.a output/atslib_libats_ML_gvalue_dats.o "/builddir/build/BUILD/ATS2-Postiats-0.2.8"/bin/patsopt -o output/atslib_libats_ML_filebas_dats.c --dynamic ../../libats/ML/DATS/filebas.dats \ gcc -I"/builddir/build/BUILD/ATS2-Postiats-0.2.8" -I"/builddir/build/BUILD/ATS2-Postiats-0.2.8"/ccomp/runtime -fPIC -O2 -c -o output/atslib_libats_ML_filebas_dats.o output/atslib_libats_ML_filebas_dats.c ar -r lib/libatslib.a output/atslib_libats_ML_filebas_dats.o "/builddir/build/BUILD/ATS2-Postiats-0.2.8"/bin/patsopt -o output/atslib_libats_ML_filebas_dirent_dats.c --dynamic ../../libats/ML/DATS/filebas_dirent.dats \ gcc -I"/builddir/build/BUILD/ATS2-Postiats-0.2.8" -I"/builddir/build/BUILD/ATS2-Postiats-0.2.8"/ccomp/runtime -fPIC -O2 -c -o output/atslib_libats_ML_filebas_dirent_dats.o output/atslib_libats_ML_filebas_dirent_dats.c ar -r lib/libatslib.a output/atslib_libats_ML_filebas_dirent_dats.o make[1]: Leaving directory `/builddir/build/BUILD/ATS2-Postiats-0.2.8/ccomp/atslib' + exit 0 Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.oqHwD6 + umask 022 + cd /builddir/build/BUILD + '[' /builddir/build/BUILDROOT/ats2-0.2.8-2.el7.centos.x86_64 '!=' / ']' + rm -rf /builddir/build/BUILDROOT/ats2-0.2.8-2.el7.centos.x86_64 ++ dirname /builddir/build/BUILDROOT/ats2-0.2.8-2.el7.centos.x86_64 + mkdir -p /builddir/build/BUILDROOT + mkdir /builddir/build/BUILDROOT/ats2-0.2.8-2.el7.centos.x86_64 + cd ATS2-Postiats-0.2.8 + rm -rf /builddir/build/BUILDROOT/ats2-0.2.8-2.el7.centos.x86_64 + make DESTDIR=/builddir/build/BUILDROOT/ats2-0.2.8-2.el7.centos.x86_64 install \ cd "/builddir/build/BUILD/ATS2-Postiats-0.2.8" && \ /usr/bin/mkdir -p /builddir/build/BUILDROOT/ats2-0.2.8-2.el7.centos.x86_64/usr/lib/ats2-postiats-0.2.8/bin && \ if [ ! -d /builddir/build/BUILDROOT/ats2-0.2.8-2.el7.centos.x86_64/usr/bin ] ; then /usr/bin/mkdir -p /builddir/build/BUILDROOT/ats2-0.2.8-2.el7.centos.x86_64/usr/bin ; fi && \ for x in share ccomp prelude libc libats ; do \ find "$x" -type d -exec /usr/bin/mkdir -p /builddir/build/BUILDROOT/ats2-0.2.8-2.el7.centos.x86_64/usr/lib/ats2-postiats-0.2.8/\{} \; -print; \ done share share/H share/HATS ccomp ccomp/runtime ccomp/atslib ccomp/atslib/lib64 ccomp/atslib/lib ccomp/atslib/output ccomp/atslib/lib32 prelude prelude/CATS prelude/SATS prelude/DATS prelude/DATS/SHARE libc libc/CATS libc/gdbm libc/gdbm/CATS libc/gdbm/SATS libc/gdbm/SATS/SHARE libc/gdbm/DATS libc/arpa libc/arpa/CATS libc/arpa/SATS libc/netinet libc/netinet/CATS libc/netinet/SATS libc/SATS libc/sys libc/sys/CATS libc/sys/SATS libc/sys/DATS libc/DATS libats libats/ML libats/ML/CATS libats/ML/SATS libats/ML/SATS/SHARE libats/ML/HATS libats/ML/DATS libats/ML/DATS/SHARE libats/CATS libats/ATS1 libats/ATS1/SATS libats/ATS1/DATS libats/SATS libats/SATS/SHARE libats/SATS/Number libats/DATS libats/DATS/SHARE libats/DATS/Number libats/DATS/Number/SHARE \ for x in share ccomp/runtime prelude libc libats ; do \ cd "/builddir/build/BUILD/ATS2-Postiats-0.2.8" && \ /usr/bin/install -c -d /builddir/build/BUILDROOT/ats2-0.2.8-2.el7.centos.x86_64/usr/lib/ats2-postiats-0.2.8/"$x" && \ find "$x" -type l -exec cp -d \{} /builddir/build/BUILDROOT/ats2-0.2.8-2.el7.centos.x86_64/usr/lib/ats2-postiats-0.2.8/\{} \; -print && \ find "$x" -type f -exec /usr/bin/install -c -m644 \{} /builddir/build/BUILDROOT/ats2-0.2.8-2.el7.centos.x86_64/usr/lib/ats2-postiats-0.2.8/\{} \; -print; \ done share/H/pats_atslib.h share/H/.keeper share/atsmake-pre.mk share/atspre_staload.hats share/atsmake-post.mk share/.keeper share/Makefile.gen share/HATS/.keeper share/HATS/atspre_define_pkgreloc.hats share/HATS/atslib_staload_libc.hats share/HATS/atspre_staload_libats_ML.hats share/atspre_define.hats ccomp/runtime/pats_ccomp_memalloc_user2.h ccomp/runtime/pats_ccomp_memalloca.h ccomp/runtime/pats_ccomp_runtime.c ccomp/runtime/pats_ccomp_config.h ccomp/runtime/pats_ccomp_memalloc_user.h ccomp/runtime/pats_ccomp_basics.h ccomp/runtime/pats_ccomp_runtime_trywith.c ccomp/runtime/pats_ccomp_memalloc.h ccomp/runtime/pats_ccomp_memalloc_gcbdw.h ccomp/runtime/pats_ccomp_runtime_memalloc.c ccomp/runtime/.keeper ccomp/runtime/pats_ccomp_memalloc_libc.h ccomp/runtime/pats_ccomp_exception.h ccomp/runtime/pats_ccomp_instrset.h ccomp/runtime/pats_ccomp_typedefs.h ccomp/runtime/pats_ccomp_runtime2_dats.c prelude/basics_dyn.sats prelude/basics_sta.sats prelude/basics_pre.sats prelude/CATS/float.cats prelude/CATS/arrayref.cats prelude/CATS/filebas.cats prelude/CATS/string.cats prelude/CATS/option.cats prelude/CATS/integer_fixed.cats prelude/CATS/array.cats prelude/CATS/integer.cats prelude/CATS/matrix.cats prelude/CATS/pointer.cats prelude/CATS/arrayptr.cats prelude/CATS/fprintf.cats prelude/CATS/.keeper prelude/CATS/matrixptr.cats prelude/CATS/integer_ptr.cats prelude/CATS/bool.cats prelude/CATS/memory.cats prelude/CATS/char.cats prelude/CATS/basics.cats prelude/CATS/strptr.cats prelude/CATS/list.cats prelude/fixity.ats prelude/params.hats prelude/.keeper prelude/macrodef.sats prelude/SATS/list_vt.sats prelude/SATS/tuple.sats prelude/SATS/arrayref.sats prelude/SATS/gprint.sats prelude/SATS/reference.sats prelude/SATS/bool.sats prelude/SATS/matrix.sats prelude/SATS/arith_prf.sats prelude/SATS/giterator.sats prelude/SATS/array_prf.sats prelude/SATS/checkast.sats prelude/SATS/parray.sats prelude/SATS/filebas.sats prelude/SATS/extern.sats prelude/SATS/integer_fixed.sats prelude/SATS/strptr.sats prelude/SATS/stream_vt.sats prelude/SATS/arrayptr.sats prelude/SATS/matrixptr.sats prelude/SATS/gorder.sats prelude/SATS/gnumber.sats prelude/SATS/integer_ptr.sats prelude/SATS/array.sats prelude/SATS/integer.sats prelude/SATS/.keeper prelude/SATS/tostring.sats prelude/SATS/unsafe.sats prelude/SATS/char.sats prelude/SATS/grandom.sats prelude/SATS/pointer.sats prelude/SATS/fcontainer.sats prelude/SATS/stream.sats prelude/SATS/float.sats prelude/SATS/memory.sats prelude/SATS/option_vt.sats prelude/SATS/string.sats prelude/SATS/matrixref.sats prelude/SATS/option.sats prelude/SATS/intrange.sats prelude/SATS/list.sats prelude/basics_gen.sats prelude/lmacrodef.sats prelude/DATS/memory.dats prelude/DATS/integer_ptr.dats prelude/DATS/tostring.dats prelude/DATS/array.dats prelude/DATS/stream.dats prelude/DATS/grandom.dats prelude/DATS/gorder.dats prelude/DATS/arith_prf.dats prelude/DATS/parray.dats prelude/DATS/giter_list_vt.dats prelude/DATS/matrixref.dats prelude/DATS/fcontainer_foreach.dats prelude/DATS/stream_vt.dats prelude/DATS/giterator.dats prelude/DATS/fcontainer.dats prelude/DATS/char.dats prelude/DATS/matrix.dats prelude/DATS/arrayref.dats prelude/DATS/gnumber.dats prelude/DATS/intrange.dats prelude/DATS/integer_fixed.dats prelude/DATS/arrayptr.dats prelude/DATS/basics.dats prelude/DATS/strptr.dats prelude/DATS/list.dats prelude/DATS/filebas.dats prelude/DATS/SHARE/gnumber_uint.dats prelude/DATS/SHARE/gorder_float.dats prelude/DATS/SHARE/gorder_bool.dats prelude/DATS/SHARE/gorder_char.dats prelude/DATS/SHARE/list_vt_mergesort.dats prelude/DATS/SHARE/array_quicksort.dats prelude/DATS/SHARE/array_bsearch.dats prelude/DATS/SHARE/list_vt_quicksort.dats prelude/DATS/SHARE/gnumber_float.dats prelude/DATS/SHARE/gorder_int.dats prelude/DATS/SHARE/.keeper prelude/DATS/SHARE/gorder_string.dats prelude/DATS/SHARE/gorder_uint.dats prelude/DATS/SHARE/gnumber_int.dats prelude/DATS/tuple.dats prelude/DATS/option_vt.dats prelude/DATS/.keeper prelude/DATS/filebas_prf.dats prelude/DATS/integer.dats prelude/DATS/array_prf.dats prelude/DATS/checkast.dats prelude/DATS/pointer.dats prelude/DATS/float.dats prelude/DATS/list_vt.dats prelude/DATS/bool.dats prelude/DATS/reference.dats prelude/DATS/gprint.dats prelude/DATS/giter_list.dats prelude/DATS/string.dats prelude/DATS/giter_array.dats prelude/DATS/matrixptr.dats prelude/DATS/option.dats prelude/DATS/unsafe.dats libc/CATS/dlfcn.cats libc/CATS/stdio.cats libc/CATS/float.cats libc/CATS/string.cats libc/CATS/dirent.cats libc/CATS/errno.cats libc/CATS/math.cats libc/CATS/alloca.cats libc/CATS/malloc.cats libc/CATS/signal.cats libc/CATS/.keeper libc/CATS/stdlib.cats libc/CATS/fcntl.cats libc/CATS/time.cats libc/CATS/unistd.cats libc/CATS/strings.cats libc/CATS/fnmatch.cats libc/gdbm/CATS/gdbm.cats libc/gdbm/CATS/datum.cats libc/gdbm/CATS/.keeper libc/gdbm/.keeper libc/gdbm/SATS/SHARE/datum.hats libc/gdbm/SATS/SHARE/.keeper libc/gdbm/SATS/gdbm.sats libc/gdbm/SATS/.keeper libc/gdbm/DATS/.keeper libc/arpa/CATS/.keeper libc/arpa/CATS/inet.cats libc/arpa/SATS/.keeper libc/arpa/SATS/inet.sats libc/netinet/CATS/.keeper libc/netinet/CATS/in.cats libc/netinet/SATS/in.sats libc/netinet/SATS/.keeper libc/.keeper libc/SATS/strings.sats libc/SATS/stddef.sats libc/SATS/dirent.sats libc/SATS/malloc.sats libc/SATS/errno.sats libc/SATS/math.sats libc/SATS/unistd_pathconf.sats libc/SATS/unistd.sats libc/SATS/unistd_sysconf.sats libc/SATS/fcntl.sats libc/SATS/stdio.sats libc/SATS/.keeper libc/SATS/time.sats libc/SATS/signal.sats libc/SATS/fnmatch.sats libc/SATS/float.sats libc/SATS/string.sats libc/SATS/alloca.sats libc/SATS/stdlib.sats libc/SATS/dlfcn.sats libc/sys/CATS/socket_in.cats libc/sys/CATS/types.cats libc/sys/CATS/wait.cats libc/sys/CATS/.keeper libc/sys/CATS/mman.cats libc/sys/CATS/time.cats libc/sys/CATS/stat.cats libc/sys/CATS/socket.cats libc/sys/.keeper libc/sys/SATS/types.sats libc/sys/SATS/socket_in.sats libc/sys/SATS/wait.sats libc/sys/SATS/mman.sats libc/sys/SATS/.keeper libc/sys/SATS/time.sats libc/sys/SATS/socket.sats libc/sys/SATS/stat.sats libc/sys/DATS/socket_in.dats libc/sys/DATS/stat.dats libc/sys/DATS/socket.dats libc/sys/DATS/types.dats libc/sys/DATS/.keeper libc/DATS/unistd.dats libc/DATS/strings.dats libc/DATS/errno.dats libc/DATS/dirent.dats libc/DATS/fcntl.dats libc/DATS/.keeper libc/DATS/math.dats libc/DATS/float.dats libc/DATS/time.dats libc/DATS/string.dats libc/DATS/stdio.dats libc/DATS/stdlib.dats libats/ML/CATS/strarr.cats libats/ML/CATS/.keeper libats/ML/CATS/array0.cats libats/ML/.keeper libats/ML/SATS/array0.sats libats/ML/SATS/filebas.sats libats/ML/SATS/monad_maybe.sats libats/ML/SATS/matrix0.sats libats/ML/SATS/SHARE/monad.hats libats/ML/SATS/SHARE/.keeper libats/ML/SATS/.keeper libats/ML/SATS/list0.sats libats/ML/SATS/gvalue.sats libats/ML/SATS/funset.sats libats/ML/SATS/funmap.sats libats/ML/SATS/string.sats libats/ML/SATS/hashtblref.sats libats/ML/SATS/option0.sats libats/ML/SATS/intrange.sats libats/ML/SATS/stdlib.sats libats/ML/SATS/strarr.sats libats/ML/SATS/dynarray.sats libats/ML/SATS/basis.sats libats/ML/SATS/monad_list.sats libats/ML/HATS/myfunmap.hats libats/ML/HATS/myfunset.hats libats/ML/HATS/myhashtblref.hats libats/ML/HATS/.keeper libats/ML/DATS/dynarray.dats libats/ML/DATS/gvalue.dats libats/ML/DATS/filebas_dirent.dats libats/ML/DATS/funmap.dats libats/ML/DATS/monad_list.dats libats/ML/DATS/intrange.dats libats/ML/DATS/funset.dats libats/ML/DATS/hashtblref.dats libats/ML/DATS/filebas.dats libats/ML/DATS/SHARE/monad.hats libats/ML/DATS/SHARE/.keeper libats/ML/DATS/monad_maybe.dats libats/ML/DATS/strarr.dats libats/ML/DATS/option0.dats libats/ML/DATS/.keeper libats/ML/DATS/matrix0.dats libats/ML/DATS/string.dats libats/ML/DATS/array0.dats libats/ML/DATS/stdlib.dats libats/ML/DATS/list0.dats libats/CATS/hashfun.cats libats/CATS/dynarray.cats libats/CATS/deqarray.cats libats/CATS/stkarray.cats libats/CATS/.keeper libats/CATS/stringbuf.cats libats/CATS/qlist.cats libats/ATS1/SATS/linset_listord.sats libats/ATS1/SATS/funset_listord.sats libats/ATS1/SATS/.keeper libats/ATS1/SATS/funmset_listord.sats libats/ATS1/SATS/funheap_binomial.sats libats/ATS1/SATS/funheap_braun.sats libats/ATS1/DATS/linset_listord.dats libats/ATS1/DATS/funmset_listord.dats libats/ATS1/DATS/funheap_binomial.dats libats/ATS1/DATS/funheap_braun.dats libats/ATS1/DATS/.keeper libats/ATS1/DATS/funset_listord.dats libats/.keeper libats/SATS/linset_listord.sats libats/SATS/funralist_nested.sats libats/SATS/funset_listord.sats libats/SATS/gvector.sats libats/SATS/gflist_vt.sats libats/SATS/funmap_rbtree.sats libats/SATS/bitvec.sats libats/SATS/stringbuf.sats libats/SATS/linmap_list.sats libats/SATS/typeval.sats libats/SATS/hashtbl_linprb.sats libats/SATS/fundeque_fngtree.sats libats/SATS/linmap_avltree.sats libats/SATS/funarray.sats libats/SATS/gfarray.sats libats/SATS/stkarray.sats libats/SATS/refcount.sats libats/SATS/qlist.sats libats/SATS/gflist.sats libats/SATS/gmatrix_row.sats libats/SATS/lindeque_dllist.sats libats/SATS/funmap_list.sats libats/SATS/sllist.sats libats/SATS/linmap_randbst.sats libats/SATS/dllist.sats libats/SATS/gnode.sats libats/SATS/SHARE/funmap.hats libats/SATS/SHARE/fundeque.hats libats/SATS/SHARE/funset.hats libats/SATS/SHARE/linralist.hats libats/SATS/SHARE/lindeque.hats libats/SATS/SHARE/.keeper libats/SATS/SHARE/funralist.hats libats/SATS/SHARE/linset.hats libats/SATS/SHARE/linmap.hats libats/SATS/SHARE/linset_node.hats libats/SATS/SHARE/linmap_node.hats libats/SATS/SHARE/linheap.hats libats/SATS/SHARE/hashtbl.hats libats/SATS/SHARE/funmset.hats libats/SATS/funmap_avltree.sats libats/SATS/linralist_nested.sats libats/SATS/gmatrix.sats libats/SATS/deqarray.sats libats/SATS/athread.sats libats/SATS/hashfun.sats libats/SATS/.keeper libats/SATS/funmset_listord.sats libats/SATS/gmatrix_col.sats libats/SATS/linmap_skiplist.sats libats/SATS/linheap_binomial.sats libats/SATS/theGetters.sats libats/SATS/Number/real.sats libats/SATS/Number/.keeper libats/SATS/Number/float.sats libats/SATS/linset_avltree.sats libats/SATS/ilist_prf.sats libats/SATS/hashtbl_chain.sats libats/SATS/dynarray.sats libats/SATS/funset_avltree.sats libats/DATS/dynarray.dats libats/DATS/gfarray.dats libats/DATS/linmap_list.dats libats/DATS/linset_listord.dats libats/DATS/linset_avltree.dats libats/DATS/gmatrix.dats libats/DATS/fundeque_fngtree.dats libats/DATS/funralist_nested.dats libats/DATS/lindeque_dllist.dats libats/DATS/hashfun.dats libats/DATS/ilist_prf.dats libats/DATS/funmset_listord.dats libats/DATS/funset_avltree.dats libats/DATS/gflist_vt.dats libats/DATS/funmap_avltree.dats libats/DATS/gmatrix_row.dats libats/DATS/funmap_list.dats libats/DATS/deqarray.dats libats/DATS/gmatrix_col.dats libats/DATS/SHARE/funmap.hats libats/DATS/SHARE/fundeque.hats libats/DATS/SHARE/funset.hats libats/DATS/SHARE/.keeper libats/DATS/SHARE/funralist.hats libats/DATS/SHARE/linset.hats libats/DATS/SHARE/linmap.hats libats/DATS/SHARE/linset_node.hats libats/DATS/SHARE/linmap_node.hats libats/DATS/SHARE/linheap.hats libats/DATS/SHARE/hashtbl.hats libats/DATS/SHARE/funmset.hats libats/DATS/gnode.dats libats/DATS/gflist.dats libats/DATS/linmap_skiplist.dats libats/DATS/stkarray.dats libats/DATS/dllist.dats libats/DATS/linmap_randbst.dats libats/DATS/qlist.dats libats/DATS/.keeper libats/DATS/sllist.dats libats/DATS/athread.dats libats/DATS/hashtbl_chain.dats libats/DATS/Number/float_double.dats libats/DATS/Number/SHARE/real.dats libats/DATS/Number/SHARE/.keeper libats/DATS/Number/SHARE/float.dats libats/DATS/Number/.keeper libats/DATS/Number/real_double.dats libats/DATS/linheap_binomial.dats libats/DATS/theGetters.dats libats/DATS/stringbuf.dats libats/DATS/funarray_braunt.dats libats/DATS/linmap_avltree.dats libats/DATS/funset_listord.dats libats/DATS/gvector.dats libats/DATS/linheap_binomial2.dats libats/DATS/bitvec.dats libats/DATS/athread_posix.dats libats/DATS/refcount.dats libats/DATS/hashtbl_linprb.dats libats/DATS/typeval.dats libats/DATS/funmap_rbtree.dats libats/DATS/linralist_nested.dats \ /usr/bin/install -c -m755 bin/patscc /builddir/build/BUILDROOT/ats2-0.2.8-2.el7.centos.x86_64/usr/lib/ats2-postiats-0.2.8/bin/patscc && echo bin/patscc bin/patscc \ /usr/bin/install -c -m755 bin/patsopt /builddir/build/BUILDROOT/ats2-0.2.8-2.el7.centos.x86_64/usr/lib/ats2-postiats-0.2.8/bin/patsopt && echo bin/patsopt bin/patsopt \ /usr/bin/install -c -m755 bin/patscc_env.sh /builddir/build/BUILDROOT/ats2-0.2.8-2.el7.centos.x86_64/usr/bin/patscc && echo bin/patscc_env.sh bin/patscc_env.sh \ /usr/bin/install -c -m755 bin/patsopt_env.sh /builddir/build/BUILDROOT/ats2-0.2.8-2.el7.centos.x86_64/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" /builddir/build/BUILDROOT/ats2-0.2.8-2.el7.centos.x86_64/usr/lib/ats2-postiats-0.2.8/"$x" && echo "$x"; \ fi; \ done ccomp/atslib/lib/libatslib.a + mkdir -p /builddir/build/BUILDROOT/ats2-0.2.8-2.el7.centos.x86_64//usr/share/emacs/site-lisp/ats2 + rm utils/emacs/.keeper + cp -pr utils/emacs /builddir/build/BUILDROOT/ats2-0.2.8-2.el7.centos.x86_64//usr/share/emacs/site-lisp/ats2 + /usr/lib/rpm/find-debuginfo.sh --strict-build-id -m --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 110000000 /builddir/build/BUILD/ATS2-Postiats-0.2.8 extracting debug info from /builddir/build/BUILDROOT/ats2-0.2.8-2.el7.centos.x86_64/usr/lib/ats2-postiats-0.2.8/bin/patsopt extracting debug info from /builddir/build/BUILDROOT/ats2-0.2.8-2.el7.centos.x86_64/usr/lib/ats2-postiats-0.2.8/bin/patscc dwz: Too few files for multifile optimization /usr/lib/rpm/sepdebugcrcfix: Updated 0 CRC32s, 2 CRC32s did match. + /usr/lib/rpm/check-buildroot + /usr/lib/rpm/redhat/brp-compress + /usr/lib/rpm/redhat/brp-strip-static-archive /usr/bin/strip + /usr/lib/rpm/brp-python-bytecompile /usr/bin/python 1 + /usr/lib/rpm/redhat/brp-python-hardlink + /usr/lib/rpm/redhat/brp-java-repack-jars Processing files: ats2-0.2.8-2.el7.centos.x86_64 Provides: ats2 = 0.2.8-2.el7.centos ats2(x86-64) = 0.2.8-2.el7.centos Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: /bin/sh libc.so.6()(64bit) libc.so.6(GLIBC_2.14)(64bit) libc.so.6(GLIBC_2.2.5)(64bit) libc.so.6(GLIBC_2.3)(64bit) libgmp.so.10()(64bit) rtld(GNU_HASH) Processing files: ats2-emacs-0.2.8-2.el7.centos.x86_64 Provides: ats2-emacs = 0.2.8-2.el7.centos ats2-emacs(x86-64) = 0.2.8-2.el7.centos Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Processing files: ats2-debuginfo-0.2.8-2.el7.centos.x86_64 Provides: ats2-debuginfo = 0.2.8-2.el7.centos ats2-debuginfo(x86-64) = 0.2.8-2.el7.centos Requires(rpmlib): rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 rpmlib(CompressedFileNames) <= 3.0.4-1 Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/ats2-0.2.8-2.el7.centos.x86_64 Wrote: /builddir/build/RPMS/ats2-0.2.8-2.el7.centos.x86_64.rpm Wrote: /builddir/build/RPMS/ats2-emacs-0.2.8-2.el7.centos.x86_64.rpm Wrote: /builddir/build/RPMS/ats2-debuginfo-0.2.8-2.el7.centos.x86_64.rpm Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.cfhWUD + umask 022 + cd /builddir/build/BUILD + cd ATS2-Postiats-0.2.8 + rm -rf /builddir/build/BUILDROOT/ats2-0.2.8-2.el7.centos.x86_64 + exit 0 Child return code was: 0