>>> picat: Building testing/picat 3.5.5-r1 (using abuild 3.12.0-r0) started Tue, 31 Oct 2023 19:07:09 +0000 >>> picat: Checking sanity of /home/buildozer/aports/testing/picat/APKBUILD... >>> picat: Analyzing dependencies... >>> picat: Installing for build: build-base (1/1) Installing .makedepends-picat (20231031.190712) OK: 377 MiB in 106 packages >>> picat: Cleaning up srcdir >>> picat: Cleaning up pkgdir >>> picat: Cleaning up tmpdir >>> picat: Fetching https://distfiles.alpinelinux.org/distfiles/edge/picat-3.5.5.tar.gz % Total % Received % Xferd Average Speed Time Time Time Current Dload Upload Total Spent Left Speed 0 0 0 0 0 0 0 0 --:--:-- --:--:-- --:--:-- 0 100 3525k 100 3525k 0 0 18.4M 0 --:--:-- --:--:-- --:--:-- 18.6M >>> picat: Fetching https://distfiles.alpinelinux.org/distfiles/edge/picat-3.5.5.tar.gz >>> picat: Checking sha512sums... picat-3.5.5.tar.gz: OK fix-fileno-usage.patch: OK >>> picat: Unpacking /var/cache/distfiles/edge/picat-3.5.5.tar.gz... >>> picat: fix-fileno-usage.patch patching file file.c Hunk #1 succeeded at 1910 (offset 10 lines). gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX dis.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX init.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX init_sym.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX loader.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX inst_inf.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX main.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX toam.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX unify.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX file.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX domain.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX cfd.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX float1.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX arith.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX token.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX global.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX builtins.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX mic.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX numbervars.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX cpreds.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX univ.c init.c: In function 'init_toam': init.c:106:44: warning: format '%ld' expects argument of type 'long int *', but argument 3 has type 'BPLONG *' {aka 'long long int *'} [-Wformat=] 106 | sscanf(argv[i], "%ld", &parea_size); | ~~^ ~~~~~~~~~~~ | | | | | BPLONG * {aka long long int *} | long int * | %lld init.c:129:36: warning: format '%ld' expects argument of type 'long int *', but argument 3 has type 'BPLONG *' {aka 'long long int *'} [-Wformat=] 129 | sscanf(argv[i], "%ld", &stack_size); | ~~^ ~~~~~~~~~~~ | | | | | BPLONG * {aka long long int *} | long int * | %lld init.c:134:36: warning: format '%ld' expects argument of type 'long int *', but argument 3 has type 'BPLONG *' {aka 'long long int *'} [-Wformat=] 134 | sscanf(argv[i], "%ld", &trail_size); | ~~^ ~~~~~~~~~~~ | | | | | BPLONG * {aka long long int *} | long int * | %lld init.c:146:36: warning: format '%ld' expects argument of type 'long int *', but argument 3 has type 'BPLONG *' {aka 'long long int *'} [-Wformat=] 146 | sscanf(argv[i], "%ld", &stack_size_limit); | ~~^ ~~~~~~~~~~~~~~~~~ | | | | | BPLONG * {aka long long int *} | long int * | %lld gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX assert.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX findall.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX clause.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX delay.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX clpfd.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX clpfd_libs.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX event.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX toamprofile.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX kapi.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -c -o getline.o getline.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX table.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX gcstack.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX gcheap.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -c -o gcqueue.o gcqueue.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX debug.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX expand.c mic.c: In function 'c_SHOW_NONDET_FRAME': mic.c:1405:12: warning: format '%llx' expects argument of type 'long long unsigned int', but argument 2 has type 'BPLONG_PTR' {aka 'long long int *'} [-Wformat=] 1405 | printf("AR= = " BPULONG_FMT_STR "\n", tempreg); | ^~~~~~~~~~ ~~~~~~~ | | | BPLONG_PTR {aka long long int *} In file included from mic.c:34: basic.h:93:29: note: format string is defined here 93 | #define BPULONG_FMT_STR "%llx" | ~~~^ | | | long long unsigned int | %lln clpfd.c: In function 'print_event_queue': clpfd.c:950:16: warning: format '%llx' expects argument of type 'long long unsigned int', but argument 3 has type 'BPLONG_PTR' {aka 'long long int *'} [-Wformat=] 950 | printf("FLAG(%d) queue(" BPULONG_FMT_STR ")\n", event_flag[i], triggeredCs[i]); | ^~~~~~~~~~~~~~~~~ ~~~~~~~~~~~~~~ | | | BPLONG_PTR {aka long long int *} In file included from bprolog.h:10, from clpfd.c:10: basic.h:93:29: note: format string is defined here 93 | #define BPULONG_FMT_STR "%llx" | ~~~^ | | | long long unsigned int | %lln table.c: In function 'reset_temp_complete_subgoal_entries': table.c:1985:24: warning: format '%llx' expects argument of type 'long long unsigned int', but argument 2 has type 'BPLONG_PTR' {aka 'long long int *'} [-Wformat=] 1985 | printf("TEMP_COMPLETE " BPULONG_FMT_STR "\n", subgoal_entry); | ^~~~~~~~~~~~~~~~ ~~~~~~~~~~~~~ | | | BPLONG_PTR {aka long long int *} In file included from table.c:11: basic.h:93:29: note: format string is defined here 93 | #define BPULONG_FMT_STR "%llx" | ~~~^ | | | long long unsigned int | %lln table.c:1987:24: warning: format '%llx' expects argument of type 'long long unsigned int', but argument 2 has type 'BPLONG_PTR' {aka 'long long int *'} [-Wformat=] 1987 | printf("SCC_ROOT = " BPULONG_FMT_STR "\n", ptr); | ^~~~~~~~~~~~~ ~~~ | | | BPLONG_PTR {aka long long int *} basic.h:93:29: note: format string is defined here 93 | #define BPULONG_FMT_STR "%llx" | ~~~^ | | | long long unsigned int | %lln gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX bigint.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX sapi.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX kissat_picat.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Iespresso espresso_bp.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX picat_utilities.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Ifann/src/include fann/src/fann.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Ifann/src/include fann/src/fann_cascade.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Ifann/src/include fann/src/fann_error.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Ifann/src/include fann/src/fann_io.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Ifann/src/include fann/src/fann_train.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Ifann/src/include fann/src/fann_train_data.c g++ -DGC -DGCC -DPICAT -DSAT -DMAPLESAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX -Ifann/src/include fann/fann_interface.cpp gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o black_white.o espresso/black_white.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o canonical.o espresso/canonical.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o cofactor.o espresso/cofactor.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o cols.o espresso/cols.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o compl.o espresso/compl.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o contain.o espresso/contain.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o cpu_time.o espresso/cpu_time.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o cubestr.o espresso/cubestr.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o cvrin.o espresso/cvrin.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o cvrm.o espresso/cvrm.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o cvrmisc.o espresso/cvrmisc.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o cvrout.o espresso/cvrout.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o dominate.o espresso/dominate.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o equiv.o espresso/equiv.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o espresso.o espresso/espresso.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o espresso_expand.o espresso/espresso_expand.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o essen.o espresso/essen.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o essentiality.o espresso/essentiality.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o exact.o espresso/exact.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o gasp.o espresso/gasp.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o gimpel.o espresso/gimpel.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o globals.o espresso/globals.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o hack.o espresso/hack.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o indep.o espresso/indep.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o irred.o espresso/irred.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o map.o espresso/map.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o matrix.o espresso/matrix.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o mincov.o espresso/mincov.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o opo.o espresso/opo.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o pair.o espresso/pair.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o part.o espresso/part.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o primes.o espresso/primes.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o prtime.o espresso/prtime.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o reduce.o espresso/reduce.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o rows.o espresso/rows.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o set.o espresso/set.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o setc.o espresso/setc.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o sharp.o espresso/sharp.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o sigma.o espresso/sigma.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o signature.o espresso/signature.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o signature_exact.o espresso/signature_exact.c fann/fann_interface.cpp: In function 'fann_activationfunc_enum picat_to_fann_func(TERM)': fann/fann_interface.cpp:129:1: warning: control reaches end of non-void function [-Wreturn-type] 129 | } | ^ fann/fann_interface.cpp: In function 'int pi_fann_get_training_algorithm()': fann/fann_interface.cpp:1083:9: warning: control reaches end of non-void function [-Wreturn-type] 1083 | } | ^ fann/fann_interface.cpp: In function 'int pi_get_activation_function()': fann/fann_interface.cpp:1222:9: warning: control reaches end of non-void function [-Wreturn-type] 1222 | } | ^ fann/fann_interface.cpp: In function 'int pi_fann_get_train_error()': fann/fann_interface.cpp:1381:9: warning: control reaches end of non-void function [-Wreturn-type] 1381 | } | ^ fann/fann_interface.cpp: In function 'int pi_fann_get_train_stop_function()': fann/fann_interface.cpp:1413:9: warning: control reaches end of non-void function [-Wreturn-type] 1413 | } | ^ gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o sminterf.o espresso/sminterf.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o solution.o espresso/solution.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o sparse.o espresso/sparse.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o unate.o espresso/unate.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o util_signature.o espresso/util_signature.c gcc -DGC -DGCC -DPICAT -DSAT -DM64BITS -DFANN_NO_DLL -DFANN -c -O3 -I. -Iespresso -o verify.o espresso/verify.c 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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) | ^~~~~~~~~~~~~~~~~~~~~ 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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 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]; | ^~~~ g++ -DGC -DGCC -DPICAT -DSAT -DMAPLESAT -DM64BITS -DFANN_NO_DLL -DFANN -o picat -O3 -fno-strict-aliasing -finline-functions -fomit-frame-pointer -Dunix -DLINUX -DPOSIX 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.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.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 Picat version 3.5#5 >>> picat: Entering fakeroot... created directory: '/home/buildozer/aports/testing/picat/pkg/' created directory: '/home/buildozer/aports/testing/picat/pkg/picat/' created directory: '/home/buildozer/aports/testing/picat/pkg/picat/usr/' created directory: '/home/buildozer/aports/testing/picat/pkg/picat/usr/bin/' 'picat' -> '/home/buildozer/aports/testing/picat/pkg/picat/usr/bin/picat' created directory: '/home/buildozer/aports/testing/picat/pkg/picat/usr/lib/' created directory: '/home/buildozer/aports/testing/picat/pkg/picat/usr/lib/picat' '/home/buildozer/aports/testing/picat/src/Picat/lib/acyclic_d.pi' -> '/home/buildozer/aports/testing/picat/pkg/picat/usr/lib/picat/acyclic_d.pi' '/home/buildozer/aports/testing/picat/src/Picat/lib/basic.pi' -> '/home/buildozer/aports/testing/picat/pkg/picat/usr/lib/picat/basic.pi' '/home/buildozer/aports/testing/picat/src/Picat/lib/bug.pi' -> '/home/buildozer/aports/testing/picat/pkg/picat/usr/lib/picat/bug.pi' '/home/buildozer/aports/testing/picat/src/Picat/lib/common_constr.pi' -> '/home/buildozer/aports/testing/picat/pkg/picat/usr/lib/picat/common_constr.pi' '/home/buildozer/aports/testing/picat/src/Picat/lib/cp.pi' -> '/home/buildozer/aports/testing/picat/pkg/picat/usr/lib/picat/cp.pi' '/home/buildozer/aports/testing/picat/src/Picat/lib/datetime.pi' -> '/home/buildozer/aports/testing/picat/pkg/picat/usr/lib/picat/datetime.pi' '/home/buildozer/aports/testing/picat/src/Picat/lib/hcp.pi' -> '/home/buildozer/aports/testing/picat/pkg/picat/usr/lib/picat/hcp.pi' '/home/buildozer/aports/testing/picat/src/Picat/lib/io.pi' -> '/home/buildozer/aports/testing/picat/pkg/picat/usr/lib/picat/io.pi' '/home/buildozer/aports/testing/picat/src/Picat/lib/l.pi' -> '/home/buildozer/aports/testing/picat/pkg/picat/usr/lib/picat/l.pi' '/home/buildozer/aports/testing/picat/src/Picat/lib/math.pi' -> '/home/buildozer/aports/testing/picat/pkg/picat/usr/lib/picat/math.pi' '/home/buildozer/aports/testing/picat/src/Picat/lib/mip.pi' -> '/home/buildozer/aports/testing/picat/pkg/picat/usr/lib/picat/mip.pi' '/home/buildozer/aports/testing/picat/src/Picat/lib/mip_aux.pi' -> '/home/buildozer/aports/testing/picat/pkg/picat/usr/lib/picat/mip_aux.pi' '/home/buildozer/aports/testing/picat/src/Picat/lib/nn.pi' -> '/home/buildozer/aports/testing/picat/pkg/picat/usr/lib/picat/nn.pi' '/home/buildozer/aports/testing/picat/src/Picat/lib/ordset.pi' -> '/home/buildozer/aports/testing/picat/pkg/picat/usr/lib/picat/ordset.pi' '/home/buildozer/aports/testing/picat/src/Picat/lib/os.pi' -> '/home/buildozer/aports/testing/picat/pkg/picat/usr/lib/picat/os.pi' '/home/buildozer/aports/testing/picat/src/Picat/lib/path.pi' -> '/home/buildozer/aports/testing/picat/pkg/picat/usr/lib/picat/path.pi' '/home/buildozer/aports/testing/picat/src/Picat/lib/picat_lib_aux.pi' -> '/home/buildozer/aports/testing/picat/pkg/picat/usr/lib/picat/picat_lib_aux.pi' '/home/buildozer/aports/testing/picat/src/Picat/lib/planner.pi' -> '/home/buildozer/aports/testing/picat/pkg/picat/usr/lib/picat/planner.pi' '/home/buildozer/aports/testing/picat/src/Picat/lib/prism.pi' -> '/home/buildozer/aports/testing/picat/pkg/picat/usr/lib/picat/prism.pi' '/home/buildozer/aports/testing/picat/src/Picat/lib/prism_ex.pi' -> '/home/buildozer/aports/testing/picat/pkg/picat/usr/lib/picat/prism_ex.pi' '/home/buildozer/aports/testing/picat/src/Picat/lib/sat.pi' -> '/home/buildozer/aports/testing/picat/pkg/picat/usr/lib/picat/sat.pi' '/home/buildozer/aports/testing/picat/src/Picat/lib/sat_lfsr.pi' -> '/home/buildozer/aports/testing/picat/pkg/picat/usr/lib/picat/sat_lfsr.pi' '/home/buildozer/aports/testing/picat/src/Picat/lib/scc.pi' -> '/home/buildozer/aports/testing/picat/pkg/picat/usr/lib/picat/scc.pi' '/home/buildozer/aports/testing/picat/src/Picat/lib/scc_d.pi' -> '/home/buildozer/aports/testing/picat/pkg/picat/usr/lib/picat/scc_d.pi' '/home/buildozer/aports/testing/picat/src/Picat/lib/smt.pi' -> '/home/buildozer/aports/testing/picat/pkg/picat/usr/lib/picat/smt.pi' '/home/buildozer/aports/testing/picat/src/Picat/lib/smt_aux.pi' -> '/home/buildozer/aports/testing/picat/pkg/picat/usr/lib/picat/smt_aux.pi' '/home/buildozer/aports/testing/picat/src/Picat/lib/sys.pi' -> '/home/buildozer/aports/testing/picat/pkg/picat/usr/lib/picat/sys.pi' '/home/buildozer/aports/testing/picat/src/Picat/lib/temp.pi' -> '/home/buildozer/aports/testing/picat/pkg/picat/usr/lib/picat/temp.pi' '/home/buildozer/aports/testing/picat/src/Picat/lib/test.pi' -> '/home/buildozer/aports/testing/picat/pkg/picat/usr/lib/picat/test.pi' '/home/buildozer/aports/testing/picat/src/Picat/lib/util.pi' -> '/home/buildozer/aports/testing/picat/pkg/picat/usr/lib/picat/util.pi' created directory: '/home/buildozer/aports/testing/picat/pkg/picat/usr/share/' created directory: '/home/buildozer/aports/testing/picat/pkg/picat/usr/share/doc/' created directory: '/home/buildozer/aports/testing/picat/pkg/picat/usr/share/doc/picat' '/home/buildozer/aports/testing/picat/src/Picat/README' -> '/home/buildozer/aports/testing/picat/pkg/picat/usr/share/doc/picat/README' '/home/buildozer/aports/testing/picat/src/Picat/LICENSE' -> '/home/buildozer/aports/testing/picat/pkg/picat/usr/share/doc/picat/LICENSE' '/home/buildozer/aports/testing/picat/src/Picat/doc/appendix_operators.tex' -> '/home/buildozer/aports/testing/picat/pkg/picat/usr/share/doc/picat/appendix_operators.tex' '/home/buildozer/aports/testing/picat/src/Picat/doc/ar.tex' -> '/home/buildozer/aports/testing/picat/pkg/picat/usr/share/doc/picat/ar.tex' '/home/buildozer/aports/testing/picat/src/Picat/doc/builtin.tex' -> '/home/buildozer/aports/testing/picat/pkg/picat/usr/share/doc/picat/builtin.tex' '/home/buildozer/aports/testing/picat/src/Picat/doc/cinterface.tex' -> '/home/buildozer/aports/testing/picat/pkg/picat/usr/share/doc/picat/cinterface.tex' '/home/buildozer/aports/testing/picat/src/Picat/doc/constraints.tex' -> '/home/buildozer/aports/testing/picat/pkg/picat/usr/share/doc/picat/constraints.tex' '/home/buildozer/aports/testing/picat/src/Picat/doc/data_types.tex' -> '/home/buildozer/aports/testing/picat/pkg/picat/usr/share/doc/picat/data_types.tex' '/home/buildozer/aports/testing/picat/src/Picat/doc/datetime.tex' -> '/home/buildozer/aports/testing/picat/pkg/picat/usr/share/doc/picat/datetime.tex' '/home/buildozer/aports/testing/picat/src/Picat/doc/exception.tex' -> '/home/buildozer/aports/testing/picat/pkg/picat/usr/share/doc/picat/exception.tex' '/home/buildozer/aports/testing/picat/src/Picat/doc/format.tex' -> '/home/buildozer/aports/testing/picat/pkg/picat/usr/share/doc/picat/format.tex' '/home/buildozer/aports/testing/picat/src/Picat/doc/get_started.pdf' -> '/home/buildozer/aports/testing/picat/pkg/picat/usr/share/doc/picat/get_started.pdf' '/home/buildozer/aports/testing/picat/src/Picat/doc/get_started.tex' -> '/home/buildozer/aports/testing/picat/pkg/picat/usr/share/doc/picat/get_started.tex' '/home/buildozer/aports/testing/picat/src/Picat/doc/intro_sys.tex' -> '/home/buildozer/aports/testing/picat/pkg/picat/usr/share/doc/picat/intro_sys.tex' '/home/buildozer/aports/testing/picat/src/Picat/doc/io.tex' -> '/home/buildozer/aports/testing/picat/pkg/picat/usr/share/doc/picat/io.tex' '/home/buildozer/aports/testing/picat/src/Picat/doc/lex_grammar.tex' -> '/home/buildozer/aports/testing/picat/pkg/picat/usr/share/doc/picat/lex_grammar.tex' '/home/buildozer/aports/testing/picat/src/Picat/doc/loops.tex' -> '/home/buildozer/aports/testing/picat/pkg/picat/usr/share/doc/picat/loops.tex' '/home/buildozer/aports/testing/picat/src/Picat/doc/math.tex' -> '/home/buildozer/aports/testing/picat/pkg/picat/usr/share/doc/picat/math.tex' '/home/buildozer/aports/testing/picat/src/Picat/doc/module.tex' -> '/home/buildozer/aports/testing/picat/pkg/picat/usr/share/doc/picat/module.tex' '/home/buildozer/aports/testing/picat/src/Picat/doc/neuralnets.tex' -> '/home/buildozer/aports/testing/picat/pkg/picat/usr/share/doc/picat/neuralnets.tex' '/home/buildozer/aports/testing/picat/src/Picat/doc/nn.tex' -> '/home/buildozer/aports/testing/picat/pkg/picat/usr/share/doc/picat/nn.tex' '/home/buildozer/aports/testing/picat/src/Picat/doc/operators.tex' -> '/home/buildozer/aports/testing/picat/pkg/picat/usr/share/doc/picat/operators.tex' '/home/buildozer/aports/testing/picat/src/Picat/doc/ordset.tex' -> '/home/buildozer/aports/testing/picat/pkg/picat/usr/share/doc/picat/ordset.tex' '/home/buildozer/aports/testing/picat/src/Picat/doc/os.tex' -> '/home/buildozer/aports/testing/picat/pkg/picat/usr/share/doc/picat/os.tex' '/home/buildozer/aports/testing/picat/src/Picat/doc/overview.tex' -> '/home/buildozer/aports/testing/picat/pkg/picat/usr/share/doc/picat/overview.tex' '/home/buildozer/aports/testing/picat/src/Picat/doc/picat_guide.pdf' -> '/home/buildozer/aports/testing/picat/pkg/picat/usr/share/doc/picat/picat_guide.pdf' '/home/buildozer/aports/testing/picat/src/Picat/doc/picat_guide.tex' -> '/home/buildozer/aports/testing/picat/pkg/picat/usr/share/doc/picat/picat_guide.tex' '/home/buildozer/aports/testing/picat/src/Picat/doc/planner.tex' -> '/home/buildozer/aports/testing/picat/pkg/picat/usr/share/doc/picat/planner.tex' '/home/buildozer/aports/testing/picat/src/Picat/doc/predfunc.tex' -> '/home/buildozer/aports/testing/picat/pkg/picat/usr/share/doc/picat/predfunc.tex' '/home/buildozer/aports/testing/picat/src/Picat/doc/preface.tex' -> '/home/buildozer/aports/testing/picat/pkg/picat/usr/share/doc/picat/preface.tex' '/home/buildozer/aports/testing/picat/src/Picat/doc/syntax_grammar.tex' -> '/home/buildozer/aports/testing/picat/pkg/picat/usr/share/doc/picat/syntax_grammar.tex' '/home/buildozer/aports/testing/picat/src/Picat/doc/sys.tex' -> '/home/buildozer/aports/testing/picat/pkg/picat/usr/share/doc/picat/sys.tex' '/home/buildozer/aports/testing/picat/src/Picat/doc/tabling.tex' -> '/home/buildozer/aports/testing/picat/pkg/picat/usr/share/doc/picat/tabling.tex' '/home/buildozer/aports/testing/picat/src/Picat/doc/util.tex' -> '/home/buildozer/aports/testing/picat/pkg/picat/usr/share/doc/picat/util.tex' '/home/buildozer/aports/testing/picat/src/Picat/exs' -> '/home/buildozer/aports/testing/picat/pkg/picat/usr/share/doc/picat/examples' >>> picat-doc*: Running split function doc... >>> picat-doc*: Preparing subpackage picat-doc... >>> picat-doc*: Running postcheck for picat-doc >>> picat*: Running postcheck for picat >>> picat*: Preparing package picat... >>> picat*: Stripping binaries >>> picat-doc*: Scanning shared objects >>> picat*: Scanning shared objects >>> WARNING: picat-doc*: The -doc subpackage is unusually large, consider splitting it >>> picat-doc*: Tracing dependencies... >>> picat-doc*: Package size: 5.7 MB >>> picat-doc*: Compressing data... >>> picat-doc*: Create checksum... >>> picat-doc*: Create picat-doc-3.5.5-r1.apk >>> picat*: Tracing dependencies... so:libc.musl-x86_64.so.1 so:libstdc++.so.6 >>> picat*: Package size: 5.2 MB >>> picat*: Compressing data... >>> picat*: Create checksum... >>> picat*: Create picat-3.5.5-r1.apk >>> picat: Build complete at Tue, 31 Oct 2023 19:08:09 +0000 elapsed time 0h 1m 0s >>> picat: Cleaning up srcdir >>> picat: Cleaning up pkgdir >>> picat: Uninstalling dependencies... (1/1) Purging .makedepends-picat (20231031.190712) OK: 377 MiB in 105 packages >>> picat: Updating the testing/x86_64 repository index... >>> picat: Signing the index...