<86>Apr 14 01:23:04 userdel[72886]: delete user 'rooter' <86>Apr 14 01:23:04 userdel[72886]: removed group 'rooter' owned by 'rooter' <86>Apr 14 01:23:04 userdel[72886]: removed shadow group 'rooter' owned by 'rooter' <86>Apr 14 01:23:04 groupadd[72913]: group added to /etc/group: name=rooter, GID=627 <86>Apr 14 01:23:04 groupadd[72913]: group added to /etc/gshadow: name=rooter <86>Apr 14 01:23:04 groupadd[72913]: new group: name=rooter, GID=627 <86>Apr 14 01:23:04 useradd[72931]: new user: name=rooter, UID=627, GID=627, home=/root, shell=/bin/bash <86>Apr 14 01:23:04 userdel[72963]: delete user 'builder' <86>Apr 14 01:23:04 userdel[72963]: removed group 'builder' owned by 'builder' <86>Apr 14 01:23:04 userdel[72963]: removed shadow group 'builder' owned by 'builder' <86>Apr 14 01:23:04 groupadd[72996]: group added to /etc/group: name=builder, GID=628 <86>Apr 14 01:23:04 groupadd[72996]: group added to /etc/gshadow: name=builder <86>Apr 14 01:23:04 groupadd[72996]: new group: name=builder, GID=628 <86>Apr 14 01:23:04 useradd[73027]: new user: name=builder, UID=628, GID=628, home=/usr/src, shell=/bin/bash <13>Apr 14 01:23:08 rpmi: gcc-c++-common-1.4.20-alt1 1432315196 installed <13>Apr 14 01:23:08 rpmi: libstdc++5-devel-5.3.1-alt3.M80P.1 p8+225520.100.3.1 1553688800 installed <13>Apr 14 01:23:09 rpmi: gcc5-c++-5.3.1-alt3.M80P.1 p8+225520.100.3.1 1553688800 installed <13>Apr 14 01:23:09 rpmi: zlib-devel-1.2.8-alt1 1371079009 installed Installing libminisat-2.2.0-alt5.src.rpm Building target platforms: x86_64 Building for target x86_64 Executing(%prep): /bin/sh -e /usr/src/tmp/rpm-tmp.41677 + umask 022 + /bin/mkdir -p /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + rm -rf libminisat-2.2.0 + echo 'Source #0 (libminisat-2.2.0.tar.gz):' Source #0 (libminisat-2.2.0.tar.gz): + /bin/gzip -dc /usr/src/RPM/SOURCES/libminisat-2.2.0.tar.gz + /bin/tar -xf - + cd libminisat-2.2.0 + /bin/chmod -c -Rf u+rwX,go-w . + exit 0 Executing(%build): /bin/sh -e /usr/src/tmp/rpm-tmp.41677 + umask 022 + /bin/mkdir -p /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + cd libminisat-2.2.0 + ./autogen.sh aclocal-default: warning: autoconf input should be named 'configure.ac', not 'configure.in' libtoolize-default: putting auxiliary files in `.'. libtoolize-default: linking file `./ltmain.sh' libtoolize-default: putting macros in AC_CONFIG_MACRO_DIR, `m4'. libtoolize-default: linking file `m4/libtool.m4' libtoolize-default: linking file `m4/ltoptions.m4' libtoolize-default: linking file `m4/ltsugar.m4' libtoolize-default: linking file `m4/ltversion.m4' libtoolize-default: linking file `m4/lt~obsolete.m4' automake-default: warning: autoconf input should be named 'configure.ac', not 'configure.in' configure.in:18: installing './compile' configure.in:20: installing './config.guess' configure.in:20: installing './config.sub' configure.in:3: installing './install-sh' configure.in:3: installing './missing' automake-default: warning: autoconf input should be named 'configure.ac', not 'configure.in' /usr/share/automake-1.14/am/ltlibrary.am: warning: 'libminisat.la': linking libtool libraries using a non-POSIX /usr/share/automake-1.14/am/ltlibrary.am: archiver requires 'AM_PROG_AR' in 'configure.in' lib/Makefile.am:7: while processing Libtool library 'libminisat.la' lib/Makefile.am: installing './depcomp' lib/Makefile.am:5: warning: 'LDFLAGS' is a user variable, you should not override it; lib/Makefile.am:5: use 'AM_LDFLAGS' instead Now run ./configure and then make. + CFLAGS='-pipe -Wall -g -O2' + export CFLAGS + CXXFLAGS='-pipe -Wall -g -O2' + export CXXFLAGS + FFLAGS='-pipe -Wall -g -O2' + export FFLAGS + '[' -n '' ']' ++ printf %s '-pipe -Wall -g -O2' ++ sed -r 's/(^|[[:space:]]+)-[^m][^[:space:]]*//g' + ASFLAGS= + export ASFLAGS + export lt_cv_deplibs_check_method=pass_all + lt_cv_deplibs_check_method=pass_all + xargs -ri dirname -- '{}' + xargs -ri find '{}' -type f '(' -name config.sub -or -name config.guess ')' -printf '%h/\n' + sort -u + xargs -rn1 install -pm755 -- /usr/share/gnu-config/config.sub /usr/share/gnu-config/config.guess + readlink -e -- ./configure + ./configure --build=x86_64-alt-linux --host=x86_64-alt-linux --prefix=/usr --exec-prefix=/usr --bindir=/usr/bin --sbindir=/usr/sbin --sysconfdir=/etc --datadir=/usr/share --includedir=/usr/include --libdir=/usr/lib64 --libexecdir=/usr/lib --localstatedir=/var/lib --sharedstatedir=/var/lib --mandir=/usr/share/man --infodir=/usr/share/info --disable-dependency-tracking --without-included-gettext configure: WARNING: unrecognized options: --without-included-gettext checking for a BSD-compatible install... /bin/install -c checking whether build environment is sane... yes checking for a thread-safe mkdir -p... /bin/mkdir -p checking for gawk... gawk checking whether make sets $(MAKE)... yes checking whether make supports nested variables... yes checking for x86_64-alt-linux-gcc... x86_64-alt-linux-gcc checking whether the C compiler works... yes checking for C compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix of object files... o checking whether we are using the GNU C compiler... yes checking whether x86_64-alt-linux-gcc accepts -g... yes checking for x86_64-alt-linux-gcc option to accept ISO C89... none needed checking whether x86_64-alt-linux-gcc understands -c and -o together... yes checking for style of include used by make... GNU checking dependency style of x86_64-alt-linux-gcc... none checking for x86_64-alt-linux-g++... x86_64-alt-linux-g++ checking whether we are using the GNU C++ compiler... yes checking whether x86_64-alt-linux-g++ accepts -g... yes checking dependency style of x86_64-alt-linux-g++... none checking build system type... x86_64-alt-linux-gnu checking host system type... x86_64-alt-linux-gnu checking how to print strings... printf checking for a sed that does not truncate output... /bin/sed checking for grep that handles long lines and -e... /bin/grep checking for egrep... /bin/grep -E checking for fgrep... /bin/grep -F checking for ld used by x86_64-alt-linux-gcc... /usr/bin/ld checking if the linker (/usr/bin/ld) is GNU ld... yes checking for BSD- or MS-compatible name lister (nm)... /usr/bin/nm -B checking the name lister (/usr/bin/nm -B) interface... BSD nm checking whether ln -s works... yes checking the maximum length of command line arguments... 1572864 checking whether the shell understands some XSI constructs... yes checking whether the shell understands "+="... yes checking how to convert x86_64-alt-linux-gnu file names to x86_64-alt-linux-gnu format... func_convert_file_noop checking how to convert x86_64-alt-linux-gnu file names to toolchain format... func_convert_file_noop checking for /usr/bin/ld option to reload object files... -r checking for x86_64-alt-linux-objdump... no checking for objdump... objdump checking how to recognize dependent libraries... (cached) pass_all checking for x86_64-alt-linux-dlltool... no checking for dlltool... no checking how to associate runtime and link libraries... printf %s\n checking for x86_64-alt-linux-ar... no checking for ar... ar checking for archiver @FILE support... @ checking for x86_64-alt-linux-strip... no checking for strip... strip checking for x86_64-alt-linux-ranlib... no checking for ranlib... ranlib checking command to parse /usr/bin/nm -B output from x86_64-alt-linux-gcc object... ok checking for sysroot... no checking for x86_64-alt-linux-mt... no checking for mt... no checking if : is a manifest tool... no checking how to run the C preprocessor... x86_64-alt-linux-gcc -E checking for ANSI C header files... yes checking for sys/types.h... yes checking for sys/stat.h... yes checking for stdlib.h... yes checking for string.h... yes checking for memory.h... yes checking for strings.h... yes checking for inttypes.h... yes checking for stdint.h... yes checking for unistd.h... yes checking for dlfcn.h... yes checking for objdir... .libs checking if x86_64-alt-linux-gcc supports -fno-rtti -fno-exceptions... no checking for x86_64-alt-linux-gcc option to produce PIC... -fPIC -DPIC checking if x86_64-alt-linux-gcc PIC flag -fPIC -DPIC works... yes checking if x86_64-alt-linux-gcc static flag -static works... no checking if x86_64-alt-linux-gcc supports -c -o file.o... yes checking if x86_64-alt-linux-gcc supports -c -o file.o... (cached) yes checking whether the x86_64-alt-linux-gcc linker (/usr/bin/ld -m elf_x86_64) supports shared libraries... yes checking whether -lc should be explicitly linked in... no checking dynamic linker characteristics... GNU/Linux ld.so checking how to hardcode library paths into programs... immediate checking whether stripping libraries is possible... yes checking if libtool supports shared libraries... yes checking whether to build shared libraries... yes checking whether to build static libraries... yes checking how to run the C++ preprocessor... x86_64-alt-linux-g++ -E checking for ld used by x86_64-alt-linux-g++... /usr/bin/ld -m elf_x86_64 checking if the linker (/usr/bin/ld -m elf_x86_64) is GNU ld... yes checking whether the x86_64-alt-linux-g++ linker (/usr/bin/ld -m elf_x86_64) supports shared libraries... yes checking for x86_64-alt-linux-g++ option to produce PIC... -fPIC -DPIC checking if x86_64-alt-linux-g++ PIC flag -fPIC -DPIC works... yes checking if x86_64-alt-linux-g++ static flag -static works... no checking if x86_64-alt-linux-g++ supports -c -o file.o... yes checking if x86_64-alt-linux-g++ supports -c -o file.o... (cached) yes checking whether the x86_64-alt-linux-g++ linker (/usr/bin/ld -m elf_x86_64) supports shared libraries... yes checking dynamic linker characteristics... (cached) GNU/Linux ld.so checking how to hardcode library paths into programs... immediate checking that generated files are newer than configure... done configure: creating ./config.status config.status: creating Makefile config.status: creating lib/Makefile config.status: creating test/Makefile config.status: executing depfiles commands config.status: executing libtool commands configure: WARNING: unrecognized options: --without-included-gettext + '[' -n '' ']' + NPROCS=8 + make -j8 make: Entering directory `/usr/src/RPM/BUILD/libminisat-2.2.0' Making all in lib make[1]: Entering directory `/usr/src/RPM/BUILD/libminisat-2.2.0/lib' /bin/sh ../libtool --tag=CXX --mode=compile x86_64-alt-linux-g++ -DPACKAGE_NAME=\"libminisat\" -DPACKAGE_TARNAME=\"libminisat\" -DPACKAGE_VERSION=\"2.2.0\" -DPACKAGE_STRING=\"libminisat\ 2.2.0\" -DPACKAGE_BUGREPORT=\"msp@altlinux.org\" -DPACKAGE_URL=\"\" -DPACKAGE=\"libminisat\" -DVERSION=\"2.2.0\" -DSTDC_HEADERS=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_MEMORY_H=1 -DHAVE_STRINGS_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_UNISTD_H=1 -DHAVE_DLFCN_H=1 -DLT_OBJDIR=\".libs/\" -I. -Wall -Wno-parentheses -pedantic -fpic -fno-rtti -DNDEBUG -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -I../lib -pipe -Wall -g -O2 -c -o Options.lo Options.cc /bin/sh ../libtool --tag=CXX --mode=compile x86_64-alt-linux-g++ -DPACKAGE_NAME=\"libminisat\" -DPACKAGE_TARNAME=\"libminisat\" -DPACKAGE_VERSION=\"2.2.0\" -DPACKAGE_STRING=\"libminisat\ 2.2.0\" -DPACKAGE_BUGREPORT=\"msp@altlinux.org\" -DPACKAGE_URL=\"\" -DPACKAGE=\"libminisat\" -DVERSION=\"2.2.0\" -DSTDC_HEADERS=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_MEMORY_H=1 -DHAVE_STRINGS_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_UNISTD_H=1 -DHAVE_DLFCN_H=1 -DLT_OBJDIR=\".libs/\" -I. -Wall -Wno-parentheses -pedantic -fpic -fno-rtti -DNDEBUG -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -I../lib -pipe -Wall -g -O2 -c -o Solver.lo Solver.cc /bin/sh ../libtool --tag=CXX --mode=compile x86_64-alt-linux-g++ -DPACKAGE_NAME=\"libminisat\" -DPACKAGE_TARNAME=\"libminisat\" -DPACKAGE_VERSION=\"2.2.0\" -DPACKAGE_STRING=\"libminisat\ 2.2.0\" -DPACKAGE_BUGREPORT=\"msp@altlinux.org\" -DPACKAGE_URL=\"\" -DPACKAGE=\"libminisat\" -DVERSION=\"2.2.0\" -DSTDC_HEADERS=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_MEMORY_H=1 -DHAVE_STRINGS_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_UNISTD_H=1 -DHAVE_DLFCN_H=1 -DLT_OBJDIR=\".libs/\" -I. -Wall -Wno-parentheses -pedantic -fpic -fno-rtti -DNDEBUG -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -I../lib -pipe -Wall -g -O2 -c -o System.lo System.cc /bin/sh ../libtool --tag=CXX --mode=compile x86_64-alt-linux-g++ -DPACKAGE_NAME=\"libminisat\" -DPACKAGE_TARNAME=\"libminisat\" -DPACKAGE_VERSION=\"2.2.0\" -DPACKAGE_STRING=\"libminisat\ 2.2.0\" -DPACKAGE_BUGREPORT=\"msp@altlinux.org\" -DPACKAGE_URL=\"\" -DPACKAGE=\"libminisat\" -DVERSION=\"2.2.0\" -DSTDC_HEADERS=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_MEMORY_H=1 -DHAVE_STRINGS_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_UNISTD_H=1 -DHAVE_DLFCN_H=1 -DLT_OBJDIR=\".libs/\" -I. -Wall -Wno-parentheses -pedantic -fpic -fno-rtti -DNDEBUG -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -I../lib -pipe -Wall -g -O2 -c -o main.lo main.cc libtool: compile: x86_64-alt-linux-g++ -DPACKAGE_NAME=\"libminisat\" -DPACKAGE_TARNAME=\"libminisat\" -DPACKAGE_VERSION=\"2.2.0\" "-DPACKAGE_STRING=\"libminisat 2.2.0\"" -DPACKAGE_BUGREPORT=\"msp@altlinux.org\" -DPACKAGE_URL=\"\" -DPACKAGE=\"libminisat\" -DVERSION=\"2.2.0\" -DSTDC_HEADERS=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_MEMORY_H=1 -DHAVE_STRINGS_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_UNISTD_H=1 -DHAVE_DLFCN_H=1 -DLT_OBJDIR=\".libs/\" -I. -Wall -Wno-parentheses -pedantic -fpic -fno-rtti -DNDEBUG -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -I../lib -pipe -Wall -g -O2 -c System.cc -fPIC -DPIC -o .libs/System.o libtool: compile: x86_64-alt-linux-g++ -DPACKAGE_NAME=\"libminisat\" -DPACKAGE_TARNAME=\"libminisat\" -DPACKAGE_VERSION=\"2.2.0\" "-DPACKAGE_STRING=\"libminisat 2.2.0\"" -DPACKAGE_BUGREPORT=\"msp@altlinux.org\" -DPACKAGE_URL=\"\" -DPACKAGE=\"libminisat\" -DVERSION=\"2.2.0\" -DSTDC_HEADERS=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_MEMORY_H=1 -DHAVE_STRINGS_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_UNISTD_H=1 -DHAVE_DLFCN_H=1 -DLT_OBJDIR=\".libs/\" -I. -Wall -Wno-parentheses -pedantic -fpic -fno-rtti -DNDEBUG -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -I../lib -pipe -Wall -g -O2 -c Options.cc -fPIC -DPIC -o .libs/Options.o libtool: compile: x86_64-alt-linux-g++ -DPACKAGE_NAME=\"libminisat\" -DPACKAGE_TARNAME=\"libminisat\" -DPACKAGE_VERSION=\"2.2.0\" "-DPACKAGE_STRING=\"libminisat 2.2.0\"" -DPACKAGE_BUGREPORT=\"msp@altlinux.org\" -DPACKAGE_URL=\"\" -DPACKAGE=\"libminisat\" -DVERSION=\"2.2.0\" -DSTDC_HEADERS=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_MEMORY_H=1 -DHAVE_STRINGS_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_UNISTD_H=1 -DHAVE_DLFCN_H=1 -DLT_OBJDIR=\".libs/\" -I. -Wall -Wno-parentheses -pedantic -fpic -fno-rtti -DNDEBUG -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -I../lib -pipe -Wall -g -O2 -c main.cc -fPIC -DPIC -o .libs/main.o libtool: compile: x86_64-alt-linux-g++ -DPACKAGE_NAME=\"libminisat\" -DPACKAGE_TARNAME=\"libminisat\" -DPACKAGE_VERSION=\"2.2.0\" "-DPACKAGE_STRING=\"libminisat 2.2.0\"" -DPACKAGE_BUGREPORT=\"msp@altlinux.org\" -DPACKAGE_URL=\"\" -DPACKAGE=\"libminisat\" -DVERSION=\"2.2.0\" -DSTDC_HEADERS=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_MEMORY_H=1 -DHAVE_STRINGS_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_UNISTD_H=1 -DHAVE_DLFCN_H=1 -DLT_OBJDIR=\".libs/\" -I. -Wall -Wno-parentheses -pedantic -fpic -fno-rtti -DNDEBUG -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -I../lib -pipe -Wall -g -O2 -c Solver.cc -fPIC -DPIC -o .libs/Solver.o libtool: compile: x86_64-alt-linux-g++ -DPACKAGE_NAME=\"libminisat\" -DPACKAGE_TARNAME=\"libminisat\" -DPACKAGE_VERSION=\"2.2.0\" "-DPACKAGE_STRING=\"libminisat 2.2.0\"" -DPACKAGE_BUGREPORT=\"msp@altlinux.org\" -DPACKAGE_URL=\"\" -DPACKAGE=\"libminisat\" -DVERSION=\"2.2.0\" -DSTDC_HEADERS=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_MEMORY_H=1 -DHAVE_STRINGS_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_UNISTD_H=1 -DHAVE_DLFCN_H=1 -DLT_OBJDIR=\".libs/\" -I. -Wall -Wno-parentheses -pedantic -fpic -fno-rtti -DNDEBUG -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -I../lib -pipe -Wall -g -O2 -c System.cc -o System.o >/dev/null 2>&1 In file included from Solver.h:28:0, from Solver.cc:24: SolverTypes.h:130:65: warning: ISO C++ forbids zero-size array 'data' [-Wpedantic] union { Lit lit; float act; uint32_t abs; CRef rel; } data[0]; ^ In file included from Solver.h:28:0, from main.cc:20: SolverTypes.h:130:65: warning: ISO C++ forbids zero-size array 'data' [-Wpedantic] union { Lit lit; float act; uint32_t abs; CRef rel; } data[0]; ^ main.cc: In function 'int minisat_solve(size_t, size_t, size_t*, int**, unsigned char*, unsigned char*)': main.cc:46:12: warning: comparison between signed and unsigned integer expressions [-Wsign-compare] if (var >= varCount) ^ main.cc:69:26: warning: comparison between signed and unsigned integer expressions [-Wsign-compare] for(size_t i = 0;i < S.conflict.size();i++) ^ libtool: compile: x86_64-alt-linux-g++ -DPACKAGE_NAME=\"libminisat\" -DPACKAGE_TARNAME=\"libminisat\" -DPACKAGE_VERSION=\"2.2.0\" "-DPACKAGE_STRING=\"libminisat 2.2.0\"" -DPACKAGE_BUGREPORT=\"msp@altlinux.org\" -DPACKAGE_URL=\"\" -DPACKAGE=\"libminisat\" -DVERSION=\"2.2.0\" -DSTDC_HEADERS=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_MEMORY_H=1 -DHAVE_STRINGS_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_UNISTD_H=1 -DHAVE_DLFCN_H=1 -DLT_OBJDIR=\".libs/\" -I. -Wall -Wno-parentheses -pedantic -fpic -fno-rtti -DNDEBUG -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -I../lib -pipe -Wall -g -O2 -c Options.cc -o Options.o >/dev/null 2>&1 libtool: compile: x86_64-alt-linux-g++ -DPACKAGE_NAME=\"libminisat\" -DPACKAGE_TARNAME=\"libminisat\" -DPACKAGE_VERSION=\"2.2.0\" "-DPACKAGE_STRING=\"libminisat 2.2.0\"" -DPACKAGE_BUGREPORT=\"msp@altlinux.org\" -DPACKAGE_URL=\"\" -DPACKAGE=\"libminisat\" -DVERSION=\"2.2.0\" -DSTDC_HEADERS=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_MEMORY_H=1 -DHAVE_STRINGS_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_UNISTD_H=1 -DHAVE_DLFCN_H=1 -DLT_OBJDIR=\".libs/\" -I. -Wall -Wno-parentheses -pedantic -fpic -fno-rtti -DNDEBUG -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -I../lib -pipe -Wall -g -O2 -c main.cc -o main.o >/dev/null 2>&1 libtool: compile: x86_64-alt-linux-g++ -DPACKAGE_NAME=\"libminisat\" -DPACKAGE_TARNAME=\"libminisat\" -DPACKAGE_VERSION=\"2.2.0\" "-DPACKAGE_STRING=\"libminisat 2.2.0\"" -DPACKAGE_BUGREPORT=\"msp@altlinux.org\" -DPACKAGE_URL=\"\" -DPACKAGE=\"libminisat\" -DVERSION=\"2.2.0\" -DSTDC_HEADERS=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_MEMORY_H=1 -DHAVE_STRINGS_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_UNISTD_H=1 -DHAVE_DLFCN_H=1 -DLT_OBJDIR=\".libs/\" -I. -Wall -Wno-parentheses -pedantic -fpic -fno-rtti -DNDEBUG -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -I../lib -pipe -Wall -g -O2 -c Solver.cc -o Solver.o >/dev/null 2>&1 /bin/sh ../libtool --tag=CXX --mode=link x86_64-alt-linux-g++ -Wall -Wno-parentheses -pedantic -fpic -fno-rtti -DNDEBUG -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -I../lib -pipe -Wall -g -O2 -version-info 0:0:0 -release 0 -o libminisat.la -rpath /usr/lib64 Options.lo Solver.lo System.lo main.lo -lm libtool: link: x86_64-alt-linux-g++ -fPIC -DPIC -shared -nostdlib /usr/lib64/gcc/x86_64-alt-linux/5/../../../../lib64/crti.o /usr/lib64/gcc/x86_64-alt-linux/5/crtbeginS.o .libs/Options.o .libs/Solver.o .libs/System.o .libs/main.o -L/usr/lib64/gcc/x86_64-alt-linux/5 -L/usr/lib64/gcc/x86_64-alt-linux/5/../../../../lib64 -L/lib/../lib64 -L/usr/lib/../lib64 -L/usr/lib64/gcc/x86_64-alt-linux/5/../../.. -lstdc++ -lm -lc -lgcc_s /usr/lib64/gcc/x86_64-alt-linux/5/crtendS.o /usr/lib64/gcc/x86_64-alt-linux/5/../../../../lib64/crtn.o -O2 -Wl,-soname -Wl,libminisat-0.so.0 -o .libs/libminisat-0.so.0.0.0 libtool: link: (cd ".libs" && rm -f "libminisat-0.so.0" && ln -s "libminisat-0.so.0.0.0" "libminisat-0.so.0") libtool: link: (cd ".libs" && rm -f "libminisat.so" && ln -s "libminisat-0.so.0.0.0" "libminisat.so") libtool: link: ar cru .libs/libminisat.a Options.o Solver.o System.o main.o libtool: link: ranlib .libs/libminisat.a libtool: link: ( cd ".libs" && rm -f "libminisat.la" && ln -s "../libminisat.la" "libminisat.la" ) make[1]: Leaving directory `/usr/src/RPM/BUILD/libminisat-2.2.0/lib' Making all in test make[1]: Entering directory `/usr/src/RPM/BUILD/libminisat-2.2.0/test' x86_64-alt-linux-g++ -DPACKAGE_NAME=\"libminisat\" -DPACKAGE_TARNAME=\"libminisat\" -DPACKAGE_VERSION=\"2.2.0\" -DPACKAGE_STRING=\"libminisat\ 2.2.0\" -DPACKAGE_BUGREPORT=\"msp@altlinux.org\" -DPACKAGE_URL=\"\" -DPACKAGE=\"libminisat\" -DVERSION=\"2.2.0\" -DSTDC_HEADERS=1 -DHAVE_SYS_TYPES_H=1 -DHAVE_SYS_STAT_H=1 -DHAVE_STDLIB_H=1 -DHAVE_STRING_H=1 -DHAVE_MEMORY_H=1 -DHAVE_STRINGS_H=1 -DHAVE_INTTYPES_H=1 -DHAVE_STDINT_H=1 -DHAVE_UNISTD_H=1 -DHAVE_DLFCN_H=1 -DLT_OBJDIR=\".libs/\" -I. -Wall -Wno-parentheses -pedantic -fpic -fno-rtti -DNDEBUG -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -I../lib -pipe -Wall -g -O2 -c -o test.o test.cc /bin/sh ../libtool --tag=CXX --mode=link x86_64-alt-linux-g++ -Wall -Wno-parentheses -pedantic -fpic -fno-rtti -DNDEBUG -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -I../lib -pipe -Wall -g -O2 -o test test.o ../lib/libminisat.la libtool: link: x86_64-alt-linux-g++ -Wall -Wno-parentheses -pedantic -fpic -fno-rtti -DNDEBUG -D __STDC_LIMIT_MACROS -D __STDC_FORMAT_MACROS -I../lib -pipe -Wall -g -O2 -o .libs/test test.o ../lib/.libs/libminisat.so make[1]: Leaving directory `/usr/src/RPM/BUILD/libminisat-2.2.0/test' make[1]: Entering directory `/usr/src/RPM/BUILD/libminisat-2.2.0' make[1]: Nothing to be done for `all-am'. make[1]: Leaving directory `/usr/src/RPM/BUILD/libminisat-2.2.0' make: Leaving directory `/usr/src/RPM/BUILD/libminisat-2.2.0' + exit 0 Executing(%install): /bin/sh -e /usr/src/tmp/rpm-tmp.78646 + umask 022 + /bin/mkdir -p /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + /bin/chmod -Rf u+rwX -- /usr/src/tmp/libminisat-buildroot + : + /bin/rm -rf -- /usr/src/tmp/libminisat-buildroot + cd libminisat-2.2.0 + make DESTDIR=/usr/src/tmp/libminisat-buildroot install make: Entering directory `/usr/src/RPM/BUILD/libminisat-2.2.0' Making install in lib make[1]: Entering directory `/usr/src/RPM/BUILD/libminisat-2.2.0/lib' make[2]: Entering directory `/usr/src/RPM/BUILD/libminisat-2.2.0/lib' make[2]: Nothing to be done for `install-exec-am'. /bin/mkdir -p '/usr/src/tmp/libminisat-buildroot/usr/lib64' /bin/sh ../libtool --mode=install /bin/install -c libminisat.la '/usr/src/tmp/libminisat-buildroot/usr/lib64' libtool: install: /bin/install -c .libs/libminisat-0.so.0.0.0 /usr/src/tmp/libminisat-buildroot/usr/lib64/libminisat-0.so.0.0.0 libtool: install: (cd /usr/src/tmp/libminisat-buildroot/usr/lib64 && { ln -s -f libminisat-0.so.0.0.0 libminisat-0.so.0 || { rm -f libminisat-0.so.0 && ln -s libminisat-0.so.0.0.0 libminisat-0.so.0; }; }) libtool: install: (cd /usr/src/tmp/libminisat-buildroot/usr/lib64 && { ln -s -f libminisat-0.so.0.0.0 libminisat.so || { rm -f libminisat.so && ln -s libminisat-0.so.0.0.0 libminisat.so; }; }) libtool: install: /bin/install -c .libs/libminisat.lai /usr/src/tmp/libminisat-buildroot/usr/lib64/libminisat.la libtool: install: /bin/install -c .libs/libminisat.a /usr/src/tmp/libminisat-buildroot/usr/lib64/libminisat.a libtool: install: chmod 644 /usr/src/tmp/libminisat-buildroot/usr/lib64/libminisat.a libtool: install: ranlib /usr/src/tmp/libminisat-buildroot/usr/lib64/libminisat.a libtool: install: warning: remember to run `libtool --finish /usr/lib64' /bin/mkdir -p '/usr/src/tmp/libminisat-buildroot/usr/include' /bin/install -c -m 644 minisat.h '/usr/src/tmp/libminisat-buildroot/usr/include' make[2]: Leaving directory `/usr/src/RPM/BUILD/libminisat-2.2.0/lib' make[1]: Leaving directory `/usr/src/RPM/BUILD/libminisat-2.2.0/lib' Making install in test make[1]: Entering directory `/usr/src/RPM/BUILD/libminisat-2.2.0/test' make[2]: Entering directory `/usr/src/RPM/BUILD/libminisat-2.2.0/test' /bin/mkdir -p '/usr/src/tmp/libminisat-buildroot/usr/bin' /bin/sh ../libtool --mode=install /bin/install -c test '/usr/src/tmp/libminisat-buildroot/usr/bin' libtool: install: warning: `../lib/libminisat.la' has not been installed in `/usr/lib64' libtool: install: /bin/install -c .libs/test /usr/src/tmp/libminisat-buildroot/usr/bin/test make[2]: Nothing to be done for `install-data-am'. make[2]: Leaving directory `/usr/src/RPM/BUILD/libminisat-2.2.0/test' make[1]: Leaving directory `/usr/src/RPM/BUILD/libminisat-2.2.0/test' make[1]: Entering directory `/usr/src/RPM/BUILD/libminisat-2.2.0' make[2]: Entering directory `/usr/src/RPM/BUILD/libminisat-2.2.0' make[2]: Nothing to be done for `install-exec-am'. make[2]: Nothing to be done for `install-data-am'. make[2]: Leaving directory `/usr/src/RPM/BUILD/libminisat-2.2.0' make[1]: Leaving directory `/usr/src/RPM/BUILD/libminisat-2.2.0' make: Leaving directory `/usr/src/RPM/BUILD/libminisat-2.2.0' + /bin/rm -f /usr/src/tmp/libminisat-buildroot/usr/lib64/liblibminisat.la + /usr/lib/rpm/brp-alt Cleaning files in /usr/src/tmp/libminisat-buildroot (auto) removed './usr/lib64/libminisat.la' mode of './usr/lib64/libminisat-0.so.0.0.0' changed from 0755 (rwxr-xr-x) to 0644 (rw-r--r--) Verifying and fixing files in /usr/src/tmp/libminisat-buildroot (binconfig,pkgconfig,libtool,desktop) Compressing files in /usr/src/tmp/libminisat-buildroot (auto) Adjusting library links in /usr/src/tmp/libminisat-buildroot ./usr/lib64: libminisat-0.so.0 -> libminisat-0.so.0.0.0 Verifying ELF objects in /usr/src/tmp/libminisat-buildroot (arch=normal,fhs=normal,lfs=relaxed,lint=relaxed,rpath=normal,stack=normal,textrel=normal,unresolved=normal) Hardlinking identical .pyc and .pyo files Processing files: libminisat-2.2.0-alt5 Executing(%doc): /bin/sh -e /usr/src/tmp/rpm-tmp.76265 + umask 022 + /bin/mkdir -p /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + cd libminisat-2.2.0 + DOCDIR=/usr/src/tmp/libminisat-buildroot/usr/share/doc/libminisat-2.2.0 + export DOCDIR + rm -rf /usr/src/tmp/libminisat-buildroot/usr/share/doc/libminisat-2.2.0 + /bin/mkdir -p /usr/src/tmp/libminisat-buildroot/usr/share/doc/libminisat-2.2.0 + cp -prL AUTHORS COPYING README /usr/src/tmp/libminisat-buildroot/usr/share/doc/libminisat-2.2.0 + chmod -R go-w /usr/src/tmp/libminisat-buildroot/usr/share/doc/libminisat-2.2.0 + chmod -R a+rX /usr/src/tmp/libminisat-buildroot/usr/share/doc/libminisat-2.2.0 + exit 0 Finding Provides (using /usr/lib/rpm/find-provides) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.W2N1FE find-provides: running scripts (alternatives,debuginfo,lib,pam,perl,pkgconfig,python,shell) lib.prov: /usr/src/tmp/libminisat-buildroot/usr/lib64/libminisat-0.so.0: 82 symbols, 17 bpp Finding Requires (using /usr/lib/rpm/find-requires) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.DLDjRg find-requires: running scripts (cpp,debuginfo,files,lib,pam,perl,pkgconfig,pkgconfiglib,python,rpmlib,shebang,shell,static,symlinks) Provides: libminisat-0.so.0()(64bit) = set:kdZ8TdM5884I8b17tyAmFq9TBuh5xbUkz2WXMqbdFJnUkplr0v6zasXShv7p0pALOFi3MqAp95hK0k7qTfCVgGvVZCOPNh5ekToUwNqin4kX2UuZjeKLlIK7rMjLbe8sT7GYes8eyWLPjdZ5TtBvt3Zz2T7scM9mZ8bZwQkwK1 Requires: libc.so.6(GLIBC_2.2.5)(64bit), libc.so.6(GLIBC_2.3.4)(64bit), libc.so.6(GLIBC_2.4)(64bit), libgcc_s.so.1(GCC_3.0)(64bit), libm.so.6(GLIBC_2.2.5)(64bit), libstdc++.so.6(CXXABI_1.3)(64bit), libstdc++.so.6(GLIBCXX_3.4)(64bit), rtld(GNU_HASH), rtld(GNU_UNIQUE) Finding debuginfo files (using /usr/lib/rpm/find-debuginfo-files) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.gYtmEY Creating libminisat-debuginfo package Processing files: libminisat-devel-2.2.0-alt5 Finding Provides (using /usr/lib/rpm/find-provides) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.v23UlJ find-provides: running scripts (alternatives,debuginfo,lib,pam,perl,pkgconfig,python,shell) Finding Requires (using /usr/lib/rpm/find-requires) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.ySdI2w find-requires: running scripts (cpp,debuginfo,files,lib,pam,perl,pkgconfig,pkgconfiglib,python,rpmlib,shebang,shell,static,symlinks) Requires: libminisat = 2.2.0-alt5, /usr/lib64/libminisat-0.so.0.0.0 Finding debuginfo files (using /usr/lib/rpm/find-debuginfo-files) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.xCjDKn Processing files: libminisat-devel-static-2.2.0-alt5 Finding Provides (using /usr/lib/rpm/find-provides) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.4X5Mrh find-provides: running scripts (alternatives,debuginfo,lib,pam,perl,pkgconfig,python,shell) Finding Requires (using /usr/lib/rpm/find-requires) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.5Ar82d find-requires: running scripts (cpp,debuginfo,files,lib,pam,perl,pkgconfig,pkgconfiglib,python,rpmlib,shebang,shell,static,symlinks) Requires: libminisat-devel = 2.2.0-alt5, glibc-devel-static Finding debuginfo files (using /usr/lib/rpm/find-debuginfo-files) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.mC7jyd Processing files: libminisat-debuginfo-2.2.0-alt5 Finding Provides (using /usr/lib/rpm/find-provides) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.7w8SUf find-provides: running scripts (debuginfo) Finding Requires (using /usr/lib/rpm/find-requires) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.4TmI2k find-requires: running scripts (debuginfo) Provides: debug64(libminisat-0.so.0) Requires: libminisat = 2.2.0-alt5, debug64(libc.so.6), debug64(libgcc_s.so.1), debug64(libm.so.6), debug64(libstdc++.so.6) Removing 1 extra deps from libminisat-devel due to dependency on libminisat warning: Installed (but unpackaged) file(s) found: /usr/bin/test Wrote: /usr/src/RPM/RPMS/x86_64/libminisat-2.2.0-alt5.x86_64.rpm Wrote: /usr/src/RPM/RPMS/x86_64/libminisat-devel-2.2.0-alt5.x86_64.rpm Wrote: /usr/src/RPM/RPMS/x86_64/libminisat-devel-static-2.2.0-alt5.x86_64.rpm Wrote: /usr/src/RPM/RPMS/x86_64/libminisat-debuginfo-2.2.0-alt5.x86_64.rpm 11.44user 2.12system 0:30.38elapsed 44%CPU (0avgtext+0avgdata 65180maxresident)k 0inputs+0outputs (0major+909716minor)pagefaults 0swaps 17.93user 5.54system 0:43.38elapsed 54%CPU (0avgtext+0avgdata 121808maxresident)k 0inputs+0outputs (0major+1226340minor)pagefaults 0swaps --- libminisat-2.2.0-alt5.x86_64.rpm.repo 2013-12-05 07:14:05.000000000 +0000 +++ libminisat-2.2.0-alt5.x86_64.rpm.hasher 2019-04-14 01:23:44.692575013 +0000 @@ -16,3 +16,3 @@ Requires: rpmlib(PayloadIsLzma) -Provides: libminisat-0.so.0()(64bit) = set:kdTvU244KZmEiKzRi9iSeTqBZoWjvnW5l4KwjdaEL3HJQASuxjBlJNC45kzaZ1JPThv7p0pALOFi3MqQOdtjhAbwpOgLtZEpeAWnZvCYsskxMPFU6TvN2BRAKoB3422UuZjeK91PamTzdUFT574KX3lZqHjo2FhtcaDqe71AqWHXKOLKxZxxX3rOm8eNG7nZhEF0t3 +Provides: libminisat-0.so.0()(64bit) = set:kdZ8TdM5884I8b17tyAmFq9TBuh5xbUkz2WXMqbdFJnUkplr0v6zasXShv7p0pALOFi3MqAp95hK0k7qTfCVgGvVZCOPNh5ekToUwNqin4kX2UuZjeKLlIK7rMjLbe8sT7GYes8eyWLPjdZ5TtBvt3Zz2T7scM9mZ8bZwQkwK1 Provides: libminisat = 2.2.0-alt5