<86>Oct 17 13:34:02 userdel[912003]: delete user 'rooter'
<86>Oct 17 13:34:02 userdel[912003]: removed group 'rooter' owned by 'rooter'
<86>Oct 17 13:34:02 userdel[912003]: removed shadow group 'rooter' owned by 'rooter'
<86>Oct 17 13:34:02 groupadd[912014]: group added to /etc/group: name=rooter, GID=669
<86>Oct 17 13:34:02 groupadd[912014]: group added to /etc/gshadow: name=rooter
<86>Oct 17 13:34:02 groupadd[912014]: new group: name=rooter, GID=669
<86>Oct 17 13:34:02 useradd[912022]: new user: name=rooter, UID=669, GID=669, home=/root, shell=/bin/bash
<86>Oct 17 13:34:02 userdel[912034]: delete user 'builder'
<86>Oct 17 13:34:02 userdel[912034]: removed group 'builder' owned by 'builder'
<86>Oct 17 13:34:02 userdel[912034]: removed shadow group 'builder' owned by 'builder'
<86>Oct 17 13:34:02 groupadd[912050]: group added to /etc/group: name=builder, GID=670
<86>Oct 17 13:34:02 groupadd[912050]: group added to /etc/gshadow: name=builder
<86>Oct 17 13:34:02 groupadd[912050]: new group: name=builder, GID=670
<86>Oct 17 13:34:02 useradd[912066]: new user: name=builder, UID=670, GID=670, home=/usr/src, shell=/bin/bash
<13>Oct 17 13:34:04 rpmi: gcc-c++-common-1.4.23-alt1 sisyphus+221902.2500.4.1 1550596716 installed
<13>Oct 17 13:34:04 rpmi: libstdc++8-devel-8.4.1-alt0.p9.1 p9+247559.100.2.1 1585587756 installed
<13>Oct 17 13:34:05 rpmi: gcc8-c++-8.4.1-alt0.p9.1 p9+247559.100.2.1 1585587756 installed
<13>Oct 17 13:34:05 rpmi: gcc-c++-8-alt2 p9+246536.100.3.1 1582643803 installed
<13>Oct 17 13:34:05 rpmi: zlib-devel-1.2.11-alt1 sisyphus+221902.6000.4.1 1550600768 installed
Building target platforms: x86_64
Building for target x86_64
Wrote: /usr/src/in/nosrpm/libminisat-2.2.0-alt5.nosrc.rpm (w1.gzdio)
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.40588
+ 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/tar -xf -
+ /bin/gzip -dc /usr/src/RPM/SOURCES/libminisat-2.2.0.tar.gz
+ 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.40588
+ 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_DIRS, '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.16/am/ltlibrary.am: warning: 'libminisat.la': linking libtool libraries using a non-POSIX
/usr/share/automake-1.16/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 -frecord-gcc-switches -Wall -g -O2'
+ export CFLAGS
+ CXXFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2'
+ export CXXFLAGS
+ FFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2'
+ export FFLAGS
+ FCFLAGS='-pipe -frecord-gcc-switches -Wall -g -O2'
+ export FCFLAGS
+ '[' -n '' ']'
++ printf %s '-pipe -frecord-gcc-switches -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
+ readlink -e -- ./configure
+ 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
+ ./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 --disable-silent-rules --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 whether make supports the include directive... yes (GNU style)
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 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 a working dd... /bin/dd
checking how to truncate binary pipes... /bin/dd bs=4096 count=1
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
+ make -j8
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 -frecord-gcc-switches -Wall -g -O2 -c -o System.lo System.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 -frecord-gcc-switches -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 -frecord-gcc-switches -Wall -g -O2 -c System.cc -o System.o >/dev/null 2>&1
make[1]: Leaving directory '/usr/src/RPM/BUILD/libminisat-2.2.0/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 -frecord-gcc-switches -Wall -g -O2 -c -o Options.lo Options.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 -frecord-gcc-switches -Wall -g -O2 -c Options.cc -fPIC -DPIC -o .libs/Options.o
In file included from Options.cc:21:
Options.h:285:29: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix]
fprintf(stderr, "%4"PRIi64, range.begin);
^
Options.h:291:29: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix]
fprintf(stderr, "%4"PRIi64, range.end);
^
Options.h:293:25: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix]
fprintf(stderr, "] (default: %"PRIi64")\n", value);
^
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 -frecord-gcc-switches -Wall -g -O2 -c Options.cc -o Options.o >/dev/null 2>&1
make[1]: Leaving directory '/usr/src/RPM/BUILD/libminisat-2.2.0/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 -frecord-gcc-switches -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 -frecord-gcc-switches -Wall -g -O2 -c main.cc -fPIC -DPIC -o .libs/main.o
In file included from Solver.h:27,
from main.cc:20:
Options.h:285:29: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix]
fprintf(stderr, "%4"PRIi64, range.begin);
^
Options.h:291:29: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix]
fprintf(stderr, "%4"PRIi64, range.end);
^
Options.h:293:25: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix]
fprintf(stderr, "] (default: %"PRIi64")\n", value);
^
In file included from Solver.h:28,
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 of integer expressions of different signedness: 'const int' and 'size_t' {aka 'long unsigned int'} [-Wsign-compare]
if (var >= varCount)
~~~~^~~~~~~~~~~
main.cc:69:26: warning: comparison of integer expressions of different signedness: 'size_t' {aka 'long unsigned int'} and 'int' [-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 -frecord-gcc-switches -Wall -g -O2 -c main.cc -o main.o >/dev/null 2>&1
make[1]: Leaving directory '/usr/src/RPM/BUILD/libminisat-2.2.0/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 -frecord-gcc-switches -Wall -g -O2 -c -o Solver.lo Solver.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 -frecord-gcc-switches -Wall -g -O2 -c Solver.cc -fPIC -DPIC -o .libs/Solver.o
In file included from Solver.h:27,
from Solver.cc:24:
Options.h:285:29: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix]
fprintf(stderr, "%4"PRIi64, range.begin);
^
Options.h:291:29: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix]
fprintf(stderr, "%4"PRIi64, range.end);
^
Options.h:293:25: warning: invalid suffix on literal; C++11 requires a space between literal and string macro [-Wliteral-suffix]
fprintf(stderr, "] (default: %"PRIi64")\n", value);
^
In file included from Solver.h:28,
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 mtl/Sort.h:24,
from Solver.cc:23:
./mtl/Vec.h: In instantiation of 'void Minisat::vec<T>::capacity(int) [with T = Minisat::vec<Minisat::Solver::Watcher>]':
./mtl/Vec.h:115:5: required from 'void Minisat::vec<T>::growTo(int) [with T = Minisat::vec<Minisat::Solver::Watcher>]'
SolverTypes.h:266:39: required from 'void Minisat::OccLists<Idx, Vec, Deleted>::init(const Idx&) [with Idx = Minisat::Lit; Vec = Minisat::vec<Minisat::Solver::Watcher>; Deleted = Minisat::Solver::WatcherDeleted]'
Solver.cc:117:35: required from here
./mtl/Vec.h:99:54: warning: 'void* realloc(void*, size_t)' moving an object of non-trivially copyable type 'class Minisat::vec<Minisat::Solver::Watcher>'; use 'new' and 'delete' instead [-Wclass-memaccess]
if (add > INT_MAX - cap || ((data = (T*)::realloc(data, (cap += add) * sizeof(T))) == NULL) && errno == ENOMEM)
~~~~~~~~~^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~
In file included from mtl/Sort.h:24,
from Solver.cc:23:
./mtl/Vec.h:38:7: note: 'class Minisat::vec<Minisat::Solver::Watcher>' declared here
class vec {
^~~
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 -frecord-gcc-switches -Wall -g -O2 -c Solver.cc -o Solver.o >/dev/null 2>&1
make[1]: Leaving directory '/usr/src/RPM/BUILD/libminisat-2.2.0/lib'
make[1]: Entering directory '/usr/src/RPM/BUILD/libminisat-2.2.0/lib'
/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 -frecord-gcc-switches -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/8/../../../../lib64/crti.o /usr/lib64/gcc/x86_64-alt-linux/8/crtbeginS.o .libs/Options.o .libs/Solver.o .libs/System.o .libs/main.o -L/usr/lib64/gcc/x86_64-alt-linux/8 -L/usr/lib64/gcc/x86_64-alt-linux/8/../../../../lib64 -L/lib/../lib64 -L/usr/lib/../lib64 -L/usr/lib64/gcc/x86_64-alt-linux/8/../../.. -lstdc++ -lm -lc -lgcc_s /usr/lib64/gcc/x86_64-alt-linux/8/crtendS.o /usr/lib64/gcc/x86_64-alt-linux/8/../../../../lib64/crtn.o -g -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 cr .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 -frecord-gcc-switches -Wall -g -O2 -c -o test.o test.cc
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/test'
/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 -frecord-gcc-switches -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 -frecord-gcc-switches -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]: Nothing to be done for 'all-am'.
+ exit 0
Executing(%install): /bin/sh -e /usr/src/tmp/rpm-tmp.46255
+ 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
+ PATH=/usr/libexec/rpm-build:/usr/src/bin:/bin:/usr/bin:/usr/X11R6/bin:/usr/games
+ 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: 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: 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,gnuconfig)
Checking contents of files in /usr/src/tmp/libminisat-buildroot/ (default)
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.66472
+ 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.mjmqxI
find-provides: running scripts (debuginfo,lib,pam,perl,pkgconfig,python,shell)
lib.prov: /usr/src/tmp/libminisat-buildroot/usr/lib64/libminisat-0.so.0: 85 symbols, 17 bpp
Finding Requires (using /usr/lib/rpm/find-requires)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.GkAkS2
find-requires: running scripts (cpp,debuginfo,files,lib,pam,perl,pkgconfig,pkgconfiglib,python,rpmlib,shebang,shell,static,symlinks,systemd-services)
Provides: libminisat-0.so.0()(64bit) = set:kdZ8TdM5884IKE6GMhnSeTqBGBsnW5l4KwjdaELzKTzfdFJnUkplr0v6zasXShv7p0pALOFi3MqAp95hK0k7qTfCVgGvVZCOPNh5ekToUwNqin4kX2UuZjeKLlIK7rMjLbe8sT7GYes8eyWLPjdZ5TtBvt3Zz2T7scM9mZ8bZwQkwK1
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(CXXABI_1.3.9)(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.epW0xq
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.iG4LjR
find-provides: running scripts (debuginfo,lib,pam,perl,pkgconfig,python,shell)
Finding Requires (using /usr/lib/rpm/find-requires)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.4NWCbl
find-requires: running scripts (cpp,debuginfo,files,lib,pam,perl,pkgconfig,pkgconfiglib,python,rpmlib,shebang,shell,static,symlinks,systemd-services)
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.gPqobS
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.wETuns
find-provides: running scripts (debuginfo,lib,pam,perl,pkgconfig,python,shell)
Finding Requires (using /usr/lib/rpm/find-requires)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.WS8dG5
find-requires: running scripts (cpp,debuginfo,files,lib,pam,perl,pkgconfig,pkgconfiglib,python,rpmlib,shebang,shell,static,symlinks,systemd-services)
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.4jtC6L
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.ukR7Fv
find-provides: running scripts (debuginfo)
Finding Requires (using /usr/lib/rpm/find-requires)
Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.cuxXmi
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 (w2.lzdio)
Wrote: /usr/src/RPM/RPMS/x86_64/libminisat-devel-2.2.0-alt5.x86_64.rpm (w2.lzdio)
Wrote: /usr/src/RPM/RPMS/x86_64/libminisat-devel-static-2.2.0-alt5.x86_64.rpm (w2.lzdio)
Wrote: /usr/src/RPM/RPMS/x86_64/libminisat-debuginfo-2.2.0-alt5.x86_64.rpm (w2.lzdio)
11.58user 3.03system 0:22.88elapsed 63%CPU (0avgtext+0avgdata 79444maxresident)k
0inputs+0outputs (0major+1142857minor)pagefaults 0swaps
16.24user 6.00system 0:29.75elapsed 74%CPU (0avgtext+0avgdata 120344maxresident)k
0inputs+0outputs (34224major+1437883minor)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 2021-10-17 13:34:30.548240956 +0000
@@ -12,3 +12,3 @@
Requires: libstdc++.so.6(CXXABI_1.3)(64bit)
-Requires: libstdc++.so.6(GLIBCXX_3.4)(64bit)
+Requires: libstdc++.so.6(CXXABI_1.3.9)(64bit)
Requires: rtld(GNU_HASH)
@@ -16,6 +16,6 @@
Requires: rpmlib(PayloadIsLzma)
-Provides: libminisat-0.so.0()(64bit) = set:kdTvU244KZmEiKzRi9iSeTqBZoWjvnW5l4KwjdaEL3HJQASuxjBlJNC45kzaZ1JPThv7p0pALOFi3MqQOdtjhAbwpOgLtZEpeAWnZvCYsskxMPFU6TvN2BRAKoB3422UuZjeK91PamTzdUFT574KX3lZqHjo2FhtcaDqe71AqWHXKOLKxZxxX3rOm8eNG7nZhEF0t3
+Provides: libminisat-0.so.0()(64bit) = set:kdZ8TdM5884IKE6GMhnSeTqBGBsnW5l4KwjdaELzKTzfdFJnUkplr0v6zasXShv7p0pALOFi3MqAp95hK0k7qTfCVgGvVZCOPNh5ekToUwNqin4kX2UuZjeKLlIK7rMjLbe8sT7GYes8eyWLPjdZ5TtBvt3Zz2T7scM9mZ8bZwQkwK1
Provides: libminisat = 2.2.0-alt5
File: /usr/lib64/libminisat-0.so.0 120777 root:root libminisat-0.so.0.0.0
-File: /usr/lib64/libminisat-0.so.0.0.0 100644 root:root f8f8307f66553b5a100eb2e410d17e74
+File: /usr/lib64/libminisat-0.so.0.0.0 100644 root:root 1f94128d2bd68e24df6e11fe00f09599
File: /usr/share/doc/libminisat-2.2.0 40755 root:root
@@ -24,2 +24,2 @@
File: /usr/share/doc/libminisat-2.2.0/README 100644 root:root 3a8c4b7f32db84530e54354ef621e7b8
-RPMIdentity: 26a51f828cdf358860791f443938f5ebbb0a3ca23532efe90b45c7c2023bdd043122a730888d8bbf159ed114120e0d0613194e334bc643909250a67cc719f08c
+RPMIdentity: 5440d15a7a706fc20ee4940f5e39aa41f247b8a45a3cb02881c98d7164c82cc2663dc434dc093a6c4c26e42d8a7b5937ec35324cedf7961a9b517d080ea5aa1f
--- libminisat-debuginfo-2.2.0-alt5.x86_64.rpm.repo 2013-12-05 07:14:05.000000000 +0000
+++ libminisat-debuginfo-2.2.0-alt5.x86_64.rpm.hasher 2021-10-17 13:34:30.620241186 +0000
@@ -1,4 +1,4 @@
-/usr/lib/debug/.build-id/ca 40755 root:root
-/usr/lib/debug/.build-id/ca/bc7c10b4b21ea104fe192d270036023ba5b481 120777 root:root ../../../../lib64/libminisat-0.so.0.0.0
-/usr/lib/debug/.build-id/ca/bc7c10b4b21ea104fe192d270036023ba5b481.debug 120777 root:root ../../usr/lib64/libminisat-0.so.0.0.0.debug
+/usr/lib/debug/.build-id/17 40755 root:root
+/usr/lib/debug/.build-id/17/8475bed12686c8e446df4828538f8a9d2f440a 120777 root:root ../../../../lib64/libminisat-0.so.0.0.0
+/usr/lib/debug/.build-id/17/8475bed12686c8e446df4828538f8a9d2f440a.debug 120777 root:root ../../usr/lib64/libminisat-0.so.0.0.0.debug
/usr/lib/debug/usr/lib64/libminisat-0.so.0.0.0.debug 100644 root:root
@@ -32,6 +32,6 @@
Provides: libminisat-debuginfo = 2.2.0-alt5
-File: /usr/lib/debug/.build-id/ca 40755 root:root
-File: /usr/lib/debug/.build-id/ca/bc7c10b4b21ea104fe192d270036023ba5b481 120777 root:root ../../../../lib64/libminisat-0.so.0.0.0
-File: /usr/lib/debug/.build-id/ca/bc7c10b4b21ea104fe192d270036023ba5b481.debug 120777 root:root ../../usr/lib64/libminisat-0.so.0.0.0.debug
-File: /usr/lib/debug/usr/lib64/libminisat-0.so.0.0.0.debug 100644 root:root 99ec831b7f4cc4645157e4b9709c4599
+File: /usr/lib/debug/.build-id/17 40755 root:root
+File: /usr/lib/debug/.build-id/17/8475bed12686c8e446df4828538f8a9d2f440a 120777 root:root ../../../../lib64/libminisat-0.so.0.0.0
+File: /usr/lib/debug/.build-id/17/8475bed12686c8e446df4828538f8a9d2f440a.debug 120777 root:root ../../usr/lib64/libminisat-0.so.0.0.0.debug
+File: /usr/lib/debug/usr/lib64/libminisat-0.so.0.0.0.debug 100644 root:root 60ed37de8701ee868cbac525121a47cb
File: /usr/lib/debug/usr/lib64/libminisat-0.so.0.debug 120777 root:root libminisat-0.so.0.0.0.debug
@@ -56,2 +56,2 @@
File: /usr/src/debug/libminisat-2.2.0/lib/mtl/XAlloc.h 100644 root:root 85f720e4ddfe2cb66fca45a5838e919f
-RPMIdentity: 8df80372722fc00ed972f3724c61f2eefe22a0b0cc2b7ba49ecc55cf18f4050737320898bb0593d269d9078e81ffde64c8a5dbb8c9c15a2e2bfdbaf7262c64df
+RPMIdentity: 2c3135b0b55a4c6600d7990bb5ab312c88ded912bfd4c834ff2742738c1aa6ae224d0d4e3b16c508034609b5d3a47a8bb10bd099b2d4540a8c01cbae53d99551
--- libminisat-devel-2.2.0-alt5.x86_64.rpm.repo 2013-12-05 07:14:05.000000000 +0000
+++ libminisat-devel-2.2.0-alt5.x86_64.rpm.hasher 2021-10-17 13:34:30.706241461 +0000
@@ -7,2 +7,2 @@
File: /usr/lib64/libminisat.so 120777 root:root libminisat-0.so.0.0.0
-RPMIdentity: 82db51cc09bc725b3ef71562a30519cfeeb4f66714fc81678e9b30ca2e8562a7a27c6826385209ce52500677fe80d1805bb449c5059e637b33bf4af3e7e2d38b
+RPMIdentity: 0489200694f322790aa667a0be4491bb0774d7024a5874dddbe0716370b6d956bfd4d2adaa3511f62e146bb14c79abbd049de1b0e43f47508065f7fca7e7249a
--- libminisat-devel-static-2.2.0-alt5.x86_64.rpm.repo 2013-12-05 07:14:05.000000000 +0000
+++ libminisat-devel-static-2.2.0-alt5.x86_64.rpm.hasher 2021-10-17 13:34:30.792241737 +0000
@@ -5,3 +5,3 @@
Provides: libminisat-devel-static = 2.2.0-alt5
-File: /usr/lib64/libminisat.a 100644 root:root a0b8aced58434099e71e82c7d4ed9b42
-RPMIdentity: 7f35f936cb433d32f61ff8eb707886c5f9dceb3587267b8a90cd53947cb17135eca5c6c45f8b4956d370d3b3183eb8fb15a41efa645346518651fc373b3a0cd2
+File: /usr/lib64/libminisat.a 100644 root:root e32be3974b64546b31db6de807caa39c
+RPMIdentity: de149852b3c476a6800c5fc69b441cb8c42f03205ef841294a5c04a993597def08cbbb5956369e701ea81efd2bb3384c4c71843c45d4b49a203ab8b5ab713337