<86>Dec 19 03:31:56 userdel[176798]: delete user 'rooter' <86>Dec 19 03:31:56 userdel[176798]: removed group 'rooter' owned by 'rooter' <86>Dec 19 03:31:56 userdel[176798]: removed shadow group 'rooter' owned by 'rooter' <86>Dec 19 03:31:56 groupadd[176827]: group added to /etc/group: name=rooter, GID=1847 <86>Dec 19 03:31:56 groupadd[176827]: group added to /etc/gshadow: name=rooter <86>Dec 19 03:31:56 groupadd[176827]: new group: name=rooter, GID=1847 <86>Dec 19 03:31:56 useradd[176846]: new user: name=rooter, UID=1847, GID=1847, home=/root, shell=/bin/bash, from=none <86>Dec 19 03:31:56 userdel[176886]: delete user 'builder' <86>Dec 19 03:31:56 userdel[176886]: removed group 'builder' owned by 'builder' <86>Dec 19 03:31:56 userdel[176886]: removed shadow group 'builder' owned by 'builder' <86>Dec 19 03:31:56 groupadd[176911]: group added to /etc/group: name=builder, GID=1848 <86>Dec 19 03:31:56 groupadd[176911]: group added to /etc/gshadow: name=builder <86>Dec 19 03:31:56 groupadd[176911]: new group: name=builder, GID=1848 <86>Dec 19 03:31:56 useradd[176945]: new user: name=builder, UID=1848, GID=1848, home=/usr/src, shell=/bin/bash, from=none <13>Dec 19 03:32:00 rpmi: gcc-c++-common-1.4.28-alt1 sisyphus+348678.100.1.1 1716396142 installed <13>Dec 19 03:32:00 rpmi: libstdc++14-devel-14.2.1-alt1 sisyphus+360995.100.1.1 1730131018 installed <13>Dec 19 03:32:01 rpmi: gcc14-c++-14.2.1-alt1 sisyphus+360995.100.1.1 1730131018 installed <13>Dec 19 03:32:01 rpmi: gcc-c++-14-alt1 sisyphus+360995.300.1.1 1730139222 installed Building target platforms: x86_64 Building for target x86_64 Wrote: /usr/src/in/nosrpm/picat-3.7.0-alt1.nosrc.rpm (w1.gzdio) Installing picat-3.7.0-alt1.src.rpm Building target platforms: x86_64 Building for target x86_64 Executing(%prep): /bin/sh -e /usr/src/tmp/rpm-tmp.70749 + umask 022 + /bin/mkdir -p /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + rm -rf picat-3.7.0 + echo 'Source #0 (picat-3.7.0.tar):' Source #0 (picat-3.7.0.tar): + /bin/tar -xf /usr/src/RPM/SOURCES/picat-3.7.0.tar + cd picat-3.7.0 + /bin/chmod -c -Rf u+rwX,go-w . + echo 'Patch #0 (picat-3.6.8-alt-cases-defaults.patch):' Patch #0 (picat-3.6.8-alt-cases-defaults.patch): + /usr/bin/patch -p1 patching file emu/fann/fann_interface.cpp + echo 'Patch #1 (picat-3.6.8-alt-DEFAULT-PICATPATH.patch):' Patch #1 (picat-3.6.8-alt-DEFAULT-PICATPATH.patch): + /usr/bin/patch -p1 patching file emu/common.mak patching file emu/init.c + exit 0 Executing(%build): /bin/sh -e /usr/src/tmp/rpm-tmp.70749 + umask 022 + /bin/mkdir -p /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + cd picat-3.7.0 + cd emu + make -f Makefile.linux64 -j5 -e DEFAULT_PICATPATH=/usr/lib64/picat make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Wno-error=unused-label -DDEFAULT_PICATPATH=\"/usr/lib64/picat\" inst_inf.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Wno-error=unused-label -DDEFAULT_PICATPATH=\"/usr/lib64/picat\" main.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Wno-error=unused-label -DDEFAULT_PICATPATH=\"/usr/lib64/picat\" init_sym.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Wno-error=unused-label -DDEFAULT_PICATPATH=\"/usr/lib64/picat\" init.c init.c: In function 'is_bc_file': init.c:356:9: warning: ignoring return value of 'fread' declared with attribute 'warn_unused_result' [-Wunused-result] 356 | fread(&magic, 1, 1, fp); | ^~~~~~~~~~~~~~~~~~~~~~~ init.c:359:9: warning: ignoring return value of 'fread' declared with attribute 'warn_unused_result' [-Wunused-result] 359 | fread(&magic, 1, 1, fp); | ^~~~~~~~~~~~~~~~~~~~~~~ init.c:362:9: warning: ignoring return value of 'fread' declared with attribute 'warn_unused_result' [-Wunused-result] 362 | fread(&magic, 1, 1, fp); | ^~~~~~~~~~~~~~~~~~~~~~~ init.c:365:9: warning: ignoring return value of 'fread' declared with attribute 'warn_unused_result' [-Wunused-result] 365 | fread(&magic, 1, 1, fp); | ^~~~~~~~~~~~~~~~~~~~~~~ make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Wno-error=unused-label -DDEFAULT_PICATPATH=\"/usr/lib64/picat\" unify.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Wno-error=unused-label -DDEFAULT_PICATPATH=\"/usr/lib64/picat\" file.c file.c: In function 'c_cp_file': file.c:1574:5: warning: ignoring return value of 'system' declared with attribute 'warn_unused_result' [-Wunused-result] 1574 | system(bp_buf); | ^~~~~~~~~~~~~~ file.c: In function 'c_get_cwd': file.c:2391:5: warning: ignoring return value of 'getcwd' declared with attribute 'warn_unused_result' [-Wunused-result] 2391 | getcwd(f_name, MAX_STR_LEN-1); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~ file.c: In function 'c_PICAT_GET_CWD_f': file.c:3373:5: warning: ignoring return value of 'getcwd' declared with attribute 'warn_unused_result' [-Wunused-result] 3373 | getcwd(f_name, MAX_STR_LEN-1); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~ make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Wno-error=unused-label -DDEFAULT_PICATPATH=\"/usr/lib64/picat\" dis.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Wno-error=unused-label -DDEFAULT_PICATPATH=\"/usr/lib64/picat\" float1.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Wno-error=unused-label -DDEFAULT_PICATPATH=\"/usr/lib64/picat\" cfd.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Wno-error=unused-label -DDEFAULT_PICATPATH=\"/usr/lib64/picat\" domain.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Wno-error=unused-label -DDEFAULT_PICATPATH=\"/usr/lib64/picat\" global.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Wno-error=unused-label -DDEFAULT_PICATPATH=\"/usr/lib64/picat\" builtins.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Wno-error=unused-label -DDEFAULT_PICATPATH=\"/usr/lib64/picat\" token.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Wno-error=unused-label -DDEFAULT_PICATPATH=\"/usr/lib64/picat\" arith.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Wno-error=unused-label -DDEFAULT_PICATPATH=\"/usr/lib64/picat\" numbervars.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Wno-error=unused-label -DDEFAULT_PICATPATH=\"/usr/lib64/picat\" univ.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Wno-error=unused-label -DDEFAULT_PICATPATH=\"/usr/lib64/picat\" cpreds.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Wno-error=unused-label -DDEFAULT_PICATPATH=\"/usr/lib64/picat\" findall.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Wno-error=unused-label -DDEFAULT_PICATPATH=\"/usr/lib64/picat\" clause.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Wno-error=unused-label -DDEFAULT_PICATPATH=\"/usr/lib64/picat\" assert_bp.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Wno-error=unused-label -DDEFAULT_PICATPATH=\"/usr/lib64/picat\" mic.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Wno-error=unused-label -DDEFAULT_PICATPATH=\"/usr/lib64/picat\" delay.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Wno-error=unused-label -DDEFAULT_PICATPATH=\"/usr/lib64/picat\" event.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Wno-error=unused-label -DDEFAULT_PICATPATH=\"/usr/lib64/picat\" toamprofile.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Wno-error=unused-label -DDEFAULT_PICATPATH=\"/usr/lib64/picat\" kapi.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Wno-error=unused-label -DDEFAULT_PICATPATH=\"/usr/lib64/picat\" clpfd.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Wno-error=unused-label -DDEFAULT_PICATPATH=\"/usr/lib64/picat\" -c -o getline.o getline.c getline.c: In function 'gl_error': getline.c:46:28: warning: ignoring return value of 'write' declared with attribute 'warn_unused_result' [-Wunused-result] 46 | #define sys_write(a, b, c) write(a, b, c) | ^~~~~~~~~~~~~~ getline.c:390:5: note: in expansion of macro 'sys_write' 390 | sys_write(2, buf, len); | ^~~~~~~~~ getline.c: In function 'gl_puts': getline.c:46:28: warning: ignoring return value of 'write' declared with attribute 'warn_unused_result' [-Wunused-result] 46 | #define sys_write(a, b, c) write(a, b, c) | ^~~~~~~~~~~~~~ getline.c:379:9: note: in expansion of macro 'sys_write' 379 | sys_write(1, buf, len); | ^~~~~~~~~ getline.c: In function 'gl_putc': getline.c:46:28: warning: ignoring return value of 'write' declared with attribute 'warn_unused_result' [-Wunused-result] 46 | #define sys_write(a, b, c) write(a, b, c) | ^~~~~~~~~~~~~~ getline.c:360:41: note: in expansion of macro 'sys_write' 360 | if (ch == '\r' || ch == '\n'); else sys_write(1, &ch, 1); | ^~~~~~~~~ make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Wno-error=unused-label -DDEFAULT_PICATPATH=\"/usr/lib64/picat\" gcstack.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Wno-error=unused-label -DDEFAULT_PICATPATH=\"/usr/lib64/picat\" gcheap.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Wno-error=unused-label -DDEFAULT_PICATPATH=\"/usr/lib64/picat\" -c -o gcqueue.o gcqueue.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Wno-error=unused-label -DDEFAULT_PICATPATH=\"/usr/lib64/picat\" debug.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Wno-error=unused-label -DDEFAULT_PICATPATH=\"/usr/lib64/picat\" table.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Wno-error=unused-label -DDEFAULT_PICATPATH=\"/usr/lib64/picat\" expand_bp.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Wno-error=unused-label -DDEFAULT_PICATPATH=\"/usr/lib64/picat\" sapi.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Wno-error=unused-label -DDEFAULT_PICATPATH=\"/usr/lib64/picat\" loader.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Wno-error=unused-label -DDEFAULT_PICATPATH=\"/usr/lib64/picat\" kissat_picat.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Wno-error=unused-label -DDEFAULT_PICATPATH=\"/usr/lib64/picat\" -Iespresso espresso_bp.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Wno-error=unused-label -DDEFAULT_PICATPATH=\"/usr/lib64/picat\" picat_utilities.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Wno-error=unused-label -DDEFAULT_PICATPATH=\"/usr/lib64/picat\" -Ifann/src/include fann/src/fann_cascade.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Wno-error=unused-label -DDEFAULT_PICATPATH=\"/usr/lib64/picat\" bigint.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Wno-error=unused-label -DDEFAULT_PICATPATH=\"/usr/lib64/picat\" -Ifann/src/include fann/src/fann_error.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Wno-error=unused-label -DDEFAULT_PICATPATH=\"/usr/lib64/picat\" -Ifann/src/include fann/src/fann.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Wno-error=unused-label -DDEFAULT_PICATPATH=\"/usr/lib64/picat\" -Ifann/src/include fann/src/fann_io.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Wno-error=unused-label -DDEFAULT_PICATPATH=\"/usr/lib64/picat\" -Ifann/src/include fann/src/fann_train.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o black_white.o espresso/black_white.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Wno-error=unused-label -DDEFAULT_PICATPATH=\"/usr/lib64/picat\" -Ifann/src/include fann/src/fann_train_data.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o canonical.o espresso/canonical.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o cols.o espresso/cols.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o cofactor.o espresso/cofactor.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o compl.o espresso/compl.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o contain.o espresso/contain.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o cpu_time.o espresso/cpu_time.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o cubestr.o espresso/cubestr.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o cvrin.o espresso/cvrin.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o cvrmisc.o espresso/cvrmisc.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o cvrm.o espresso/cvrm.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o dominate.o espresso/dominate.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o cvrout.o espresso/cvrout.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o espresso.o espresso/espresso.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o equiv.o espresso/equiv.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' g++ -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Wno-error=unused-label -DDEFAULT_PICATPATH=\"/usr/lib64/picat\" -Ifann/src/include fann/fann_interface.cpp make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o essen.o espresso/essen.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o exact.o espresso/exact.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o essentiality.o espresso/essentiality.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o espresso_expand.o espresso/espresso_expand.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o gasp.o espresso/gasp.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o gimpel.o espresso/gimpel.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o globals.o espresso/globals.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o indep.o espresso/indep.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o map.o espresso/map.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o irred.o espresso/irred.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o hack.o espresso/hack.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o mincov.o espresso/mincov.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o matrix.o espresso/matrix.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o part.o espresso/part.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o opo.o espresso/opo.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o primes.o espresso/primes.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o prtime.o espresso/prtime.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o rows.o espresso/rows.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o reduce.o espresso/reduce.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o setc.o espresso/setc.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o sharp.o espresso/sharp.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o set.o espresso/set.c espresso/set.c: In function 'sf_read': espresso/set.c:397:10: warning: ignoring return value of 'fscanf' declared with attribute 'warn_unused_result' [-Wunused-result] 397 | (void) fscanf(fp, "%d %d\n", &i, &j); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~ espresso/set.c:401:16: warning: ignoring return value of 'fscanf' declared with attribute 'warn_unused_result' [-Wunused-result] 401 | (void) fscanf(fp, "%x", p); | ^~~~~~~~~~~~~~~~~~~ espresso/set.c:403:18: warning: ignoring return value of 'fscanf' declared with attribute 'warn_unused_result' [-Wunused-result] 403 | (void) fscanf(fp, "%x", p+j); | ^~~~~~~~~~~~~~~~~~~~~ espresso/set.c: In function 'sf_bm_read': espresso/set.c:430:10: warning: ignoring return value of 'fscanf' declared with attribute 'warn_unused_result' [-Wunused-result] 430 | (void) fscanf(fp, "%d %d\n", &rows, &cols); | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o sigma.o espresso/sigma.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Wno-error=unused-label -DDEFAULT_PICATPATH=\"/usr/lib64/picat\" toam.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o signature_exact.o espresso/signature_exact.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o signature.o espresso/signature.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o sminterf.o espresso/sminterf.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o solution.o espresso/solution.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o util_signature.o espresso/util_signature.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o sparse.o espresso/sparse.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_allocate.o kissat/src/allocate.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o verify.o espresso/verify.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o unate.o espresso/unate.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_ands.o kissat/src/ands.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o pair.o espresso/pair.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_analyze.o kissat/src/analyze.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_arena.o kissat/src/arena.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_assign.o kissat/src/assign.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_averages.o kissat/src/averages.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_application.o kissat/src/application.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_build.o kissat/src/build.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_backtrack.o kissat/src/backtrack.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_check.o kissat/src/check.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_backward.o kissat/src/backward.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_autarky.o kissat/src/autarky.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_bump.o kissat/src/bump.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_clueue.o kissat/src/clueue.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_colors.o kissat/src/colors.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_clause.o kissat/src/clause.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_config.o kissat/src/config.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_decide.o kissat/src/decide.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_deduce.o kissat/src/deduce.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_compact.o kissat/src/compact.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_dump.o kissat/src/dump.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_dominate.o kissat/src/dominate.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_equivalences.o kissat/src/equivalences.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_dense.o kissat/src/dense.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_error.o kissat/src/error.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_collect.o kissat/src/collect.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_extend.o kissat/src/extend.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_eliminate.o kissat/src/eliminate.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_file.o kissat/src/file.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_flags.o kissat/src/flags.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_frames.o kissat/src/frames.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_format.o kissat/src/format.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_handle.o kissat/src/handle.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_gates.o kissat/src/gates.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_failed.o kissat/src/failed.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_heap.o kissat/src/heap.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_import.o kissat/src/import.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_ifthenelse.o kissat/src/ifthenelse.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_learn.o kissat/src/learn.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_logging.o kissat/src/logging.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_forward.o kissat/src/forward.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_limits.o kissat/src/limits.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_main.o kissat/src/main.c kissat/src/main.c:31:1: warning: 'kissat_alarm_handler' defined but not used [-Wunused-function] 31 | kissat_alarm_handler (void) | ^~~~~~~~~~~~~~~~~~~~ kissat/src/main.c:15:1: warning: 'kissat_signal_handler' defined but not used [-Wunused-function] 15 | kissat_signal_handler (int sig) | ^~~~~~~~~~~~~~~~~~~~~ make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_internal.o kissat/src/internal.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_mode.o kissat/src/mode.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_minimize.o kissat/src/minimize.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_phases.o kissat/src/phases.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_print.o kissat/src/print.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_profile.o kissat/src/profile.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_parse.o kissat/src/parse.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_proof.o kissat/src/proof.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_probe.o kissat/src/probe.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_promote.o kissat/src/promote.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_propdense.o kissat/src/propdense.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_proprobe.o kissat/src/proprobe.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_options.o kissat/src/options.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_prophyper.o kissat/src/prophyper.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_queue.o kissat/src/queue.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_propsearch.o kissat/src/propsearch.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_report.o kissat/src/report.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_reluctant.o kissat/src/reluctant.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_resize.o kissat/src/resize.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_reduce.o kissat/src/reduce.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_resources.o kissat/src/resources.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_rephase.o kissat/src/rephase.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_restart.o kissat/src/restart.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_smooth.o kissat/src/smooth.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_search.o kissat/src/search.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_resolve.o kissat/src/resolve.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_statistics.o kissat/src/statistics.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_stack.o kissat/src/stack.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_sort.o kissat/src/sort.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_terminate.o kissat/src/terminate.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_strengthen.o kissat/src/strengthen.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_trail.o kissat/src/trail.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_utilities.o kissat/src/utilities.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_transitive.o kissat/src/transitive.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_vector.o kissat/src/vector.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_substitute.o kissat/src/substitute.c In function 'substitute_clauses', inlined from 'substitute_round' at kissat/src/substitute.c:597:3, inlined from 'substitute_rounds' at kissat/src/substitute.c:621:10, inlined from 'kissat_substitute' at kissat/src/substitute.c:654:3: kissat/src/substitute.c:569:30: warning: array subscript 3 is above array bounds of 'unsigned int[3]' [-Warray-bounds=] 569 | c->lits[old_size - 1] = INVALID_LIT; | ~~~~~~~^~~~~~~~~~~~~~ In file included from kissat/src/internal.h:8, from kissat/src/inline.h:4, from kissat/src/substitute.c:3: kissat/src/clause.h: In function 'kissat_substitute': kissat/src/clause.h:33:12: note: while referencing 'lits' 33 | unsigned lits[3]; | ^~~~ make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_ternary.o kissat/src/ternary.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_weaken.o kissat/src/weaken.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_witness.o kissat/src/witness.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_watch.o kissat/src/watch.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_walk.o kissat/src/walk.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_xors.o kissat/src/xors.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -W -Wall -DNEMBEDDED -DNDEBUG -DNMETRICS -DQUIET -DNSTATISTICS -DNPROOFS -o kis_vivify.o kissat/src/vivify.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Wno-error=unused-label -DDEFAULT_PICATPATH=\"/usr/lib64/picat\" clpfd_libs.c make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' make: Entering directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' g++ -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -o picat -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Wno-error=unused-label -DDEFAULT_PICATPATH=\"/usr/lib64/picat\" dis.o init.o init_sym.o loader.o inst_inf.o main.o toam.o unify.o file.o domain.o cfd.o float1.o arith.o token.o global.o builtins.o mic.o numbervars.o cpreds.o univ.o assert_bp.o findall.o clause.o delay.o clpfd.o clpfd_libs.o event.o toamprofile.o kapi.o getline.o table.o gcstack.o gcheap.o gcqueue.o debug.o expand_bp.o bigint.o sapi.o kissat_picat.o espresso_bp.o picat_utilities.o fann.o fann_cascade.o fann_error.o fann_io.o fann_train.o fann_train_data.o fann_interface.o black_white.o canonical.o cofactor.o cols.o compl.o contain.o cpu_time.o cubestr.o cvrin.o cvrm.o cvrmisc.o cvrout.o dominate.o equiv.o espresso.o espresso_expand.o essen.o essentiality.o exact.o gasp.o gimpel.o globals.o hack.o indep.o irred.o map.o matrix.o mincov.o opo.o pair.o part.o primes.o prtime.o reduce.o rows.o set.o setc.o sharp.o sigma.o signature.o signature_exact.o sminterf.o solution.o sparse.o unate.o util_signature.o verify.o kis_allocate.o kis_analyze.o kis_ands.o kis_application.o kis_arena.o kis_assign.o kis_autarky.o kis_averages.o kis_backtrack.o kis_backward.o kis_build.o kis_bump.o kis_check.o kis_clause.o kis_clueue.o kis_collect.o kis_colors.o kis_compact.o kis_config.o kis_decide.o kis_deduce.o kis_dense.o kis_dominate.o kis_dump.o kis_eliminate.o kis_equivalences.o kis_error.o kis_extend.o kis_failed.o kis_file.o kis_flags.o kis_format.o kis_forward.o kis_frames.o kis_gates.o kis_handle.o kis_heap.o kis_ifthenelse.o kis_import.o kis_internal.o kis_learn.o kis_limits.o kis_logging.o kis_main.o kis_minimize.o kis_mode.o kis_options.o kis_parse.o kis_phases.o kis_print.o kis_probe.o kis_profile.o kis_promote.o kis_proof.o kis_propdense.o kis_prophyper.o kis_proprobe.o kis_propsearch.o kis_queue.o kis_reduce.o kis_reluctant.o kis_rephase.o kis_report.o kis_resize.o kis_resolve.o kis_resources.o kis_restart.o kis_search.o kis_smooth.o kis_sort.o kis_stack.o kis_statistics.o kis_strengthen.o kis_substitute.o kis_terminate.o kis_ternary.o kis_trail.o kis_transitive.o kis_utilities.o kis_vector.o kis_vivify.o kis_walk.o kis_watch.o kis_weaken.o kis_witness.o kis_xors.o -lm -lpthread make: Leaving directory '/usr/src/RPM/BUILD/picat-3.7.0/emu' + exit 0 Executing(%install): /bin/sh -e /usr/src/tmp/rpm-tmp.64649 + umask 022 + /bin/mkdir -p /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + /bin/chmod -Rf u+rwX -- /usr/src/tmp/picat-buildroot + : + /bin/rm -rf -- /usr/src/tmp/picat-buildroot + PATH=/usr/libexec/rpm-build:/usr/src/bin:/usr/bin:/bin:/usr/local/bin:/usr/games + cd picat-3.7.0 + mkdir -p /usr/src/tmp/picat-buildroot/usr/bin/ + install -pm755 emu/picat /usr/src/tmp/picat-buildroot/usr/bin/ + mkdir -p /usr/src/tmp/picat-buildroot/usr/lib64/picat + mkdir -p /usr/src/tmp/picat-buildroot/usr/lib64/picat/preloaded + install -pm644 lib/acyclic_d.pi lib/basic.pi lib/bug.pi lib/common_constr.pi lib/cp.pi lib/cp_sat_mip_smt.pi lib/datetime.pi lib/hcp.pi lib/io.pi lib/l.pi lib/math.pi lib/mip.pi lib/mip_aux.pi lib/mip_smt.pi lib/nn.pi lib/ordset.pi lib/os.pi lib/path.pi lib/picat_lib_aux.pi lib/planner.pi lib/prism.pi lib/prism_ex.pi lib/sat.pi lib/sat_lfsr.pi lib/sat_mip.pi lib/sat_mip_smt.pi lib/scc.pi lib/scc_d.pi lib/smt.pi lib/smt_aux.pi lib/sys.pi lib/temp.pi lib/test.pi lib/util.pi /usr/src/tmp/picat-buildroot/usr/lib64/picat/preloaded + install -pm644 lib2/analyze_pb.pi lib2/apl_util.pi lib2/bv.pi lib2/cg.pi lib2/chmod_dir.pi lib2/common_constr.pi lib2/common_sat_cp.pi lib2/comp_lib.pi lib2/compare_objs.pi lib2/conv_rsat.pi lib2/count_ans.pi lib2/cp_glop.pi lib2/cp_small.pi lib2/del_file.pi lib2/extract_insts.pi lib2/extract_julia_functions.pi lib2/extract_solved.pi lib2/extract_solved_hakan.pi lib2/extract_solved_julia.pi lib2/extract_timeout_julia.pi lib2/extract_uncompiled.pi lib2/flatten_dir.pi lib2/fzn2julia.pi lib2/fzn2picat.pi lib2/fzn2picat_dump.pi lib2/fzn2picat_maxsat.pi lib2/fzn_parser.pi lib2/fzn_picat_cp.pi lib2/fzn_picat_sat.pi lib2/fzn_tokenizer.pi lib2/gen_check_all.pi lib2/gen_comp_all.pi lib2/gen_conv.pi lib2/gen_conv_all.pi lib2/gen_conv_fzn2julia.pi lib2/gen_conv_fzn2picat.pi lib2/gen_conv_pb2julia.pi lib2/gen_conv_pb2pi.pi lib2/gen_conv_xcsp2julia.pi lib2/gen_conv_xcsp2picat.pi lib2/gen_diff.pi lib2/gen_extract_pattern.pi lib2/gen_indent_all.pi lib2/gen_make.pi lib2/gen_makefile.pi lib2/gen_run_all.pi lib2/gen_run_all0.pi lib2/gen_solve_all.pi lib2/gen_solve_all_dfvs.pi lib2/gen_solve_all_fzn.pi lib2/gen_solve_all_fzn_dump.pi lib2/gen_solve_all_julia.pi lib2/gen_solve_all_pc.pi lib2/gen_solve_all_xcsp.pi lib2/gen_test_all_julia.pi lib2/gen_unzip_all.pi lib2/geom.pi lib2/global_contiguity.pi lib2/globals.pi lib2/gps_utils.pi lib2/graph.pi lib2/grep_rec.pi lib2/haskell_prelude.pi lib2/json.pi lib2/latex2html.pi lib2/list_set.pi lib2/pb.pi lib2/pb2julia.pi lib2/pb2pi.pi lib2/picat_lib_aux.pi lib2/prism.pi lib2/proc_mac.pi lib2/proc_mac_2.pi lib2/proc_pb.pi lib2/regular.pi lib2/remove_c.pi lib2/remove_dirs.pi lib2/remove_empty_lines.pi lib2/remove_stranges.pi lib2/rm_incomplete.pi lib2/rm_pi_jl.pi lib2/set_util.pi lib2/stat.pi lib2/state_list.pi lib2/sugar2pi.pi lib2/sum_time.pi lib2/tabular_runtimes.pi lib2/test.pi lib2/traverse_dir.pi lib2/trim_lines.pi lib2/uncompress_xcsp.pi lib2/unzip_all.pi lib2/util.pi lib2/utils.pi /usr/src/tmp/picat-buildroot/usr/lib64/picat/ + mkdir -p /usr/src/tmp/picat-buildroot/usr/share/doc/picat-3.7.0 + mkdir -p /usr/src/tmp/picat-buildroot/usr/share/doc/picat-3.7.0/tex + install -pm644 doc/get_started.pdf doc/picat_guide.pdf /usr/src/tmp/picat-buildroot/usr/share/doc/picat-3.7.0/ + install -pm644 doc/appendix_operators.tex doc/ar.tex doc/builtin.tex doc/cinterface.tex doc/constraints.tex doc/data_types.tex doc/datetime.tex doc/exception.tex doc/format.tex doc/get_started.tex doc/intro_sys.tex doc/io.tex doc/lex_grammar.tex doc/loops.tex doc/math.tex doc/module.tex doc/neuralnets.tex doc/nn.tex doc/operators.tex doc/ordset.tex doc/os.tex doc/overview.tex doc/picat_guide.tex doc/planner.tex doc/predfunc.tex doc/preface.tex doc/syntax_grammar.tex doc/sys.tex doc/tabling.tex doc/util.tex /usr/src/tmp/picat-buildroot/usr/share/doc/picat-3.7.0/tex/ + install -pm644 INSTALL /usr/src/tmp/picat-buildroot/usr/share/doc/picat-3.7.0/ + install -pm644 LICENSE /usr/src/tmp/picat-buildroot/usr/share/doc/picat-3.7.0/ + install -pm644 README /usr/src/tmp/picat-buildroot/usr/share/doc/picat-3.7.0/ + /usr/lib/rpm/brp-alt Cleaning files in /usr/src/tmp/picat-buildroot (auto) Verifying and fixing files in /usr/src/tmp/picat-buildroot (binconfig,pkgconfig,libtool,desktop,gnuconfig) Checking contents of files in /usr/src/tmp/picat-buildroot/ (default) Compressing files in /usr/src/tmp/picat-buildroot (auto) Adjusting library links in /usr/src/tmp/picat-buildroot ./usr/lib64: (from :0) 056-debuginfo.brp: WARNING: debuginfo without debug sources. Verifying ELF objects in /usr/src/tmp/picat-buildroot (arch=normal,fhs=normal,lfs=relaxed,lint=relaxed,rpath=normal,stack=normal,textrel=normal,unresolved=normal) Splitting links to aliased files under /{,s}bin in /usr/src/tmp/picat-buildroot Processing files: picat-3.7.0-alt1 Finding Provides (using /usr/lib/rpm/find-provides) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.eH5eC4 find-provides: running scripts (debuginfo,lib,pam,perl,pkgconfig,python,python3,shell) Finding Requires (using /usr/lib/rpm/find-requires) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.dqUwNs find-requires: running scripts (cpp,debuginfo,files,lib,pam,perl,pkgconfig,pkgconfiglib,python,python3,rpmlib,shebang,shell,static,symlinks,systemd-services) Requires: /lib64/ld-linux-x86-64.so.2, libc.so.6(GLIBC_2.14)(64bit), libc.so.6(GLIBC_2.2.5)(64bit), libc.so.6(GLIBC_2.3)(64bit), libc.so.6(GLIBC_2.3.4)(64bit), libc.so.6(GLIBC_2.33)(64bit), libc.so.6(GLIBC_2.34)(64bit), libc.so.6(GLIBC_2.4)(64bit), libc.so.6(GLIBC_2.7)(64bit), libm.so.6(GLIBC_2.2.5)(64bit), libm.so.6(GLIBC_2.27)(64bit), libm.so.6(GLIBC_2.29)(64bit), libstdc++.so.6(CXXABI_1.3.9)(64bit), libstdc++.so.6(GLIBCXX_3.4)(64bit), rtld(GNU_HASH) Finding debuginfo files (using /usr/lib/rpm/find-debuginfo-files) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.Xmf1P9 Creating picat-debuginfo package Processing files: picat-debuginfo-3.7.0-alt1 Finding Provides (using /usr/lib/rpm/find-provides) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.GGmEPF find-provides: running scripts (debuginfo) Finding Requires (using /usr/lib/rpm/find-requires) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.jv2ZDR find-requires: running scripts (debuginfo) Requires: picat = 3.7.0-alt1, /usr/lib/debug/lib64/ld-linux-x86-64.so.2.debug, debug64(libc.so.6), debug64(libm.so.6), debug64(libstdc++.so.6) Adding to picat-debuginfo a strict dependency on picat Wrote: /usr/src/RPM/RPMS/x86_64/picat-3.7.0-alt1.x86_64.rpm (w2.lzdio) Wrote: /usr/src/RPM/RPMS/x86_64/picat-debuginfo-3.7.0-alt1.x86_64.rpm (w2.lzdio) 50.04user 5.41system 0:18.35elapsed 302%CPU (0avgtext+0avgdata 297388maxresident)k 0inputs+0outputs (0major+1287223minor)pagefaults 0swaps 3.14user 2.64system 0:29.30elapsed 19%CPU (0avgtext+0avgdata 136468maxresident)k 0inputs+0outputs (0major+195987minor)pagefaults 0swaps --- picat-3.7.0-alt1.x86_64.rpm.repo 2024-08-28 22:03:22.000000000 +0000 +++ picat-3.7.0-alt1.x86_64.rpm.hasher 2024-12-19 03:32:22.102530682 +0000 @@ -185,3 +185,3 @@ Provides: picat = 3.7.0-alt1:sisyphus+356285.100.1.1 -File: /usr/bin/picat 100755 root:root adfb79b727fe0d260a510a28d24a039a +File: /usr/bin/picat 100755 root:root b15e295a5a45f1c93b5250be54f7fb8a File: /usr/lib64/picat 40755 root:root @@ -353,2 +353,2 @@ File: /usr/share/doc/picat-3.7.0/tex/util.tex 100644 root:root 0d3065c002f2987ee28a36a500cd5323 -RPMIdentity: 99dc643d79688288df7077ad2bc15a665f6038618d528ec9941a103d426e9ce3346de63927cf4e828ab097982af3784059bc7ff7786b6f25ee56f0d19b6ef829 +RPMIdentity: bdb9fed15da99b674aea1c733118213a758496fabf55df23e2636eebb6df78295ce170089209714abc7de83101be988f635d62a83e647d34502c2b5550ebc9f0 --- picat-debuginfo-3.7.0-alt1.x86_64.rpm.repo 2024-08-28 22:03:22.000000000 +0000 +++ picat-debuginfo-3.7.0-alt1.x86_64.rpm.hasher 2024-12-19 03:32:22.186531784 +0000 @@ -1,4 +1,4 @@ -/usr/lib/debug/.build-id/c6 40755 root:root -/usr/lib/debug/.build-id/c6/5337d99a69a026b0b61b484ca9617a86c46f01 120777 root:root ../../../../bin/picat -/usr/lib/debug/.build-id/c6/5337d99a69a026b0b61b484ca9617a86c46f01.debug 120777 root:root ../../usr/bin/picat.debug +/usr/lib/debug/.build-id/84 40755 root:root +/usr/lib/debug/.build-id/84/a71c545937eae19c8208c4a3bceb2a58cdd980 120777 root:root ../../../../bin/picat +/usr/lib/debug/.build-id/84/a71c545937eae19c8208c4a3bceb2a58cdd980.debug 120777 root:root ../../usr/bin/picat.debug /usr/lib/debug/usr/bin/picat.debug 100644 root:root @@ -11,6 +11,6 @@ Provides: picat-debuginfo = 3.7.0-alt1:sisyphus+356285.100.1.1 -File: /usr/lib/debug/.build-id/c6 40755 root:root -File: /usr/lib/debug/.build-id/c6/5337d99a69a026b0b61b484ca9617a86c46f01 120777 root:root ../../../../bin/picat -File: /usr/lib/debug/.build-id/c6/5337d99a69a026b0b61b484ca9617a86c46f01.debug 120777 root:root ../../usr/bin/picat.debug -File: /usr/lib/debug/usr/bin/picat.debug 100644 root:root a5c6406032b5aa0c3bd7a9abe3a1caf7 -RPMIdentity: abfb89c32914f525fc9e9996f49211dbf2565254c8e2d118a47d649091924c06ebc678f65e2e4112638f4907d6ce05059a6a9c33b6e969762ecbbc07441e5876 +File: /usr/lib/debug/.build-id/84 40755 root:root +File: /usr/lib/debug/.build-id/84/a71c545937eae19c8208c4a3bceb2a58cdd980 120777 root:root ../../../../bin/picat +File: /usr/lib/debug/.build-id/84/a71c545937eae19c8208c4a3bceb2a58cdd980.debug 120777 root:root ../../usr/bin/picat.debug +File: /usr/lib/debug/usr/bin/picat.debug 100644 root:root 7c5bdfc0842ebe739b0615ded1d5f14a +RPMIdentity: 4495f3a3b8813b3bdca8690d09811d98d63d5518d8c0e563138f6fd16c8c80eaf295e3131ea4106a977fb0c7b31d4f7e0ec8f12b5650b45726c918909360a14d