<86>Apr 21 01:52:48 userdel[109792]: delete user 'rooter' <86>Apr 21 01:52:48 groupadd[109798]: group added to /etc/group: name=rooter, GID=651 <86>Apr 21 01:52:48 groupadd[109798]: group added to /etc/gshadow: name=rooter <86>Apr 21 01:52:48 groupadd[109798]: new group: name=rooter, GID=651 <86>Apr 21 01:52:48 useradd[109804]: new user: name=rooter, UID=651, GID=651, home=/root, shell=/bin/bash <86>Apr 21 01:52:48 userdel[109810]: delete user 'builder' <86>Apr 21 01:52:48 userdel[109810]: removed group 'builder' owned by 'builder' <86>Apr 21 01:52:48 userdel[109810]: removed shadow group 'builder' owned by 'builder' <86>Apr 21 01:52:48 groupadd[109815]: group added to /etc/group: name=builder, GID=652 <86>Apr 21 01:52:48 groupadd[109815]: group added to /etc/gshadow: name=builder <86>Apr 21 01:52:48 groupadd[109815]: new group: name=builder, GID=652 <86>Apr 21 01:52:48 useradd[109819]: new user: name=builder, UID=652, GID=652, home=/usr/src, shell=/bin/bash <13>Apr 21 01:52:50 rpmi: libgmp-devel-6.1.0-alt2.M80P.1 1494393041 installed <13>Apr 21 01:52:50 rpmi: gcc-c++-common-1.4.20-alt1 1432315196 installed <13>Apr 21 01:52:51 rpmi: libstdc++5-devel-5.3.1-alt3.M80P.1 p8+225520.100.3.1 1553688800 installed <13>Apr 21 01:52:51 rpmi: gcc5-c++-5.3.1-alt3.M80P.1 p8+225520.100.3.1 1553688800 installed <13>Apr 21 01:52:51 rpmi: libmpfr-devel-3.1.3-alt1 1450368698 installed Installing libfplll-4.0.4-alt1_8.src.rpm Building target platforms: x86_64 Building for target x86_64 Executing(%prep): /bin/sh -e /usr/src/tmp/rpm-tmp.82744 + umask 022 + /bin/mkdir -p /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + rm -rf libfplll-4.0.4 + echo 'Source #0 (libfplll-4.0.4.tar.gz):' Source #0 (libfplll-4.0.4.tar.gz): + /bin/gzip -dc /usr/src/RPM/SOURCES/libfplll-4.0.4.tar.gz + /bin/tar -xf - + cd libfplll-4.0.4 + /bin/chmod -c -Rf u+rwX,go-w . + exit 0 Executing(%build): /bin/sh -e /usr/src/tmp/rpm-tmp.51311 + umask 022 + /bin/mkdir -p /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + cd libfplll-4.0.4 + CFLAGS='-pipe -Wall -g -O2 -fPIC -DPIC' + export CFLAGS + CXXFLAGS='-pipe -Wall -g -O2 -fPIC -DPIC' + export CXXFLAGS + FFLAGS='-pipe -Wall -g -O2 -fPIC -DPIC' + export FFLAGS + '[' -n '' ']' ++ printf %s '-pipe -Wall -g -O2 -fPIC -DPIC' ++ 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 -- '{}' + sort -u + readlink -e -- ./configure + xargs -rn1 install -pm755 -- /usr/share/gnu-config/config.sub /usr/share/gnu-config/config.guess + xargs -ri find '{}' -type f '(' -name config.sub -or -name config.guess ')' -printf '%h/\n' + ./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 --disable-static 'LDFLAGS=-Wl,--as-needed ' 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 build system type... x86_64-alt-linux-gnu checking host system type... x86_64-alt-linux-gnu checking for style of include used by make... GNU 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 dependency style of x86_64-alt-linux-gcc... none 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 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-ar... no checking for ar... ar 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 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... no 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 whether we are using the GNU C++ compiler... (cached) yes checking whether x86_64-alt-linux-g++ accepts -g... (cached) yes checking dependency style of x86_64-alt-linux-g++... (cached) none 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... GNU/Linux ld.so checking how to hardcode library paths into programs... immediate checking for x86_64-alt-linux-gcc... (cached) x86_64-alt-linux-gcc checking whether we are using the GNU C compiler... (cached) yes checking whether x86_64-alt-linux-gcc accepts -g... (cached) yes checking for x86_64-alt-linux-gcc option to accept ISO C89... (cached) none needed checking dependency style of x86_64-alt-linux-gcc... (cached) none checking whether make sets $(MAKE)... (cached) yes checking for __gmpz_init in -lgmp... yes checking for mpfr_add in -lmpfr... yes checking for ANSI C header files... (cached) yes checking limits.h usability... yes checking limits.h presence... yes checking for limits.h... yes checking cstdio usability... yes checking cstdio presence... yes checking for cstdio... yes checking iostream usability... yes checking iostream presence... yes checking for iostream... yes checking string usability... yes checking string presence... yes checking for string... yes checking limits usability... yes checking limits presence... yes checking for limits... yes checking vector usability... yes checking vector presence... yes checking for vector... yes checking for stdbool.h that conforms to C99... yes checking for _Bool... no checking for an ANSI C-conforming const... yes checking for inline... inline checking for size_t... yes checking for working volatile... yes checking for working strtod... yes checking for floor... yes checking for pow... yes checking for rint... yes checking for sqrt... yes checking for strtol... yes checking for __gmp_get_memory_functions in -lgmp... yes checking for mpfr_fms in -lmpfr... yes configure: creating ./config.status config.status: creating Makefile config.status: creating src/Makefile config.status: creating config.h config.status: executing depfiles commands config.status: executing libtool commands configure: WARNING: unrecognized options: --without-included-gettext + sed -e 's|^hardcode_libdir_flag_spec=.*|hardcode_libdir_flag_spec=""|g' -e 's|^runpath_var=LD_RUN_PATH|runpath_var=DIE_RPATH_DIE|g' -e 's|-nostdlib|-Wl,--as-needed &|' -i libtool + make make: Entering directory `/usr/src/RPM/BUILD/libfplll-4.0.4' make all-recursive make[1]: Entering directory `/usr/src/RPM/BUILD/libfplll-4.0.4' Making all in src make[2]: Entering directory `/usr/src/RPM/BUILD/libfplll-4.0.4/src' make[3]: Entering directory `/usr/src/RPM/BUILD/libfplll-4.0.4' make[3]: Leaving directory `/usr/src/RPM/BUILD/libfplll-4.0.4' /bin/sh ../libtool --tag=CXX --mode=compile x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I.. -pipe -Wall -g -O2 -fPIC -DPIC -c -o fplll.lo fplll.cpp libtool: compile: x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I.. -pipe -Wall -g -O2 -fPIC -DPIC -c fplll.cpp -fPIC -DPIC -o .libs/fplll.o /bin/sh ../libtool --tag=CXX --mode=compile x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I.. -pipe -Wall -g -O2 -fPIC -DPIC -c -o util.lo util.cpp libtool: compile: x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I.. -pipe -Wall -g -O2 -fPIC -DPIC -c util.cpp -fPIC -DPIC -o .libs/util.o /bin/sh ../libtool --tag=CXX --mode=compile x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I.. -pipe -Wall -g -O2 -fPIC -DPIC -c -o topenum.lo topenum.cpp libtool: compile: x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I.. -pipe -Wall -g -O2 -fPIC -DPIC -c topenum.cpp -fPIC -DPIC -o .libs/topenum.o /bin/sh ../libtool --tag=CXX --mode=compile x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I.. -pipe -Wall -g -O2 -fPIC -DPIC -c -o evaluator.lo evaluator.cpp libtool: compile: x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I.. -pipe -Wall -g -O2 -fPIC -DPIC -c evaluator.cpp -fPIC -DPIC -o .libs/evaluator.o /bin/sh ../libtool --tag=CXX --mode=link x86_64-alt-linux-g++ -pipe -Wall -g -O2 -fPIC -DPIC -no-undefined -version-info 1:0:1 -Wl,--as-needed -o libfplll.la -rpath /usr/lib64 fplll.lo util.lo topenum.lo evaluator.lo -lgmp -lmpfr -lmpfr -lgmp -lmpfr -lgmp libtool: link: x86_64-alt-linux-g++ -shared -Wl,--as-needed -nostdlib /usr/lib64/gcc/x86_64-alt-linux/5/../../../../lib64/crti.o /usr/lib64/gcc/x86_64-alt-linux/5/crtbeginS.o .libs/fplll.o .libs/util.o .libs/topenum.o .libs/evaluator.o -lmpfr -lgmp -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 -Wl,--as-needed -Wl,-soname -Wl,libfplll.so.0 -o .libs/libfplll.so.0.1.0 libtool: link: (cd ".libs" && rm -f "libfplll.so.0" && ln -s "libfplll.so.0.1.0" "libfplll.so.0") libtool: link: (cd ".libs" && rm -f "libfplll.so" && ln -s "libfplll.so.0.1.0" "libfplll.so") libtool: link: ( cd ".libs" && rm -f "libfplll.la" && ln -s "../libfplll.la" "libfplll.la" ) x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I.. -pipe -Wall -g -O2 -fPIC -DPIC -c -o main.o main.cpp /bin/sh ../libtool --tag=CXX --mode=link x86_64-alt-linux-g++ -pipe -Wall -g -O2 -fPIC -DPIC -Wl,--as-needed -o fplll main.o libfplll.la -lmpfr -lgmp -lmpfr -lgmp libtool: link: DIE_RPATH_DIE="/usr/lib64:" x86_64-alt-linux-g++ -pipe -Wall -g -O2 -fPIC -DPIC -Wl,--as-needed -o .libs/fplll main.o ./.libs/libfplll.so -lmpfr -lgmp x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I.. -pipe -Wall -g -O2 -fPIC -DPIC -c -o latticegen.o latticegen.cpp /bin/sh ../libtool --tag=CXX --mode=link x86_64-alt-linux-g++ -pipe -Wall -g -O2 -fPIC -DPIC -Wl,--as-needed -o latticegen latticegen.o libfplll.la -lmpfr -lgmp -lmpfr -lgmp libtool: link: DIE_RPATH_DIE="/usr/lib64:" x86_64-alt-linux-g++ -pipe -Wall -g -O2 -fPIC -DPIC -Wl,--as-needed -o .libs/latticegen latticegen.o ./.libs/libfplll.so -lmpfr -lgmp make[2]: Leaving directory `/usr/src/RPM/BUILD/libfplll-4.0.4/src' make[2]: Entering directory `/usr/src/RPM/BUILD/libfplll-4.0.4' make[2]: Leaving directory `/usr/src/RPM/BUILD/libfplll-4.0.4' make[1]: Leaving directory `/usr/src/RPM/BUILD/libfplll-4.0.4' make: Leaving directory `/usr/src/RPM/BUILD/libfplll-4.0.4' + exit 0 Executing(%install): /bin/sh -e /usr/src/tmp/rpm-tmp.82822 + umask 022 + /bin/mkdir -p /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + /bin/chmod -Rf u+rwX -- /usr/src/tmp/libfplll-buildroot + : + /bin/rm -rf -- /usr/src/tmp/libfplll-buildroot + cd libfplll-4.0.4 + make install DESTDIR=/usr/src/tmp/libfplll-buildroot make: Entering directory `/usr/src/RPM/BUILD/libfplll-4.0.4' Making install in src make[1]: Entering directory `/usr/src/RPM/BUILD/libfplll-4.0.4/src' make[2]: Entering directory `/usr/src/RPM/BUILD/libfplll-4.0.4' make[2]: Leaving directory `/usr/src/RPM/BUILD/libfplll-4.0.4' make[2]: Entering directory `/usr/src/RPM/BUILD/libfplll-4.0.4/src' make[3]: Entering directory `/usr/src/RPM/BUILD/libfplll-4.0.4' make[3]: Leaving directory `/usr/src/RPM/BUILD/libfplll-4.0.4' test -z "/usr/lib64" || /bin/mkdir -p "/usr/src/tmp/libfplll-buildroot/usr/lib64" /bin/sh ../libtool --mode=install /bin/install -c libfplll.la '/usr/src/tmp/libfplll-buildroot/usr/lib64' libtool: install: /bin/install -c .libs/libfplll.so.0.1.0 /usr/src/tmp/libfplll-buildroot/usr/lib64/libfplll.so.0.1.0 libtool: install: (cd /usr/src/tmp/libfplll-buildroot/usr/lib64 && { ln -s -f libfplll.so.0.1.0 libfplll.so.0 || { rm -f libfplll.so.0 && ln -s libfplll.so.0.1.0 libfplll.so.0; }; }) libtool: install: (cd /usr/src/tmp/libfplll-buildroot/usr/lib64 && { ln -s -f libfplll.so.0.1.0 libfplll.so || { rm -f libfplll.so && ln -s libfplll.so.0.1.0 libfplll.so; }; }) libtool: install: /bin/install -c .libs/libfplll.lai /usr/src/tmp/libfplll-buildroot/usr/lib64/libfplll.la libtool: install: warning: remember to run `libtool --finish /usr/lib64' test -z "/usr/bin" || /bin/mkdir -p "/usr/src/tmp/libfplll-buildroot/usr/bin" /bin/sh ../libtool --mode=install /bin/install -c fplll latticegen '/usr/src/tmp/libfplll-buildroot/usr/bin' libtool: install: warning: `libfplll.la' has not been installed in `/usr/lib64' libtool: install: /bin/install -c .libs/fplll /usr/src/tmp/libfplll-buildroot/usr/bin/fplll libtool: install: warning: `libfplll.la' has not been installed in `/usr/lib64' libtool: install: /bin/install -c .libs/latticegen /usr/src/tmp/libfplll-buildroot/usr/bin/latticegen test -z "/usr/include/fplll" || /bin/mkdir -p "/usr/src/tmp/libfplll-buildroot/usr/include/fplll" /bin/install -c -m 644 defs.h dpe.h fplll.h matrix.h matrix.cpp nr.h nr.cpp numvect.h util.h svpcvp.h fplllv31.h '/usr/src/tmp/libfplll-buildroot/usr/include/fplll' make install-data-hook make[3]: Entering directory `/usr/src/RPM/BUILD/libfplll-4.0.4/src' make[4]: Entering directory `/usr/src/RPM/BUILD/libfplll-4.0.4' make[4]: Leaving directory `/usr/src/RPM/BUILD/libfplll-4.0.4' echo "#include " > "./fplll.h.root" echo "using namespace fplll;" >> "./fplll.h.root" /bin/install -c -m 644 "./fplll.h.root" "/usr/src/tmp/libfplll-buildroot/usr/include/fplll.h" rm -f "./fplll.h.root" make[3]: Leaving directory `/usr/src/RPM/BUILD/libfplll-4.0.4/src' make[2]: Leaving directory `/usr/src/RPM/BUILD/libfplll-4.0.4/src' make[1]: Leaving directory `/usr/src/RPM/BUILD/libfplll-4.0.4/src' make[1]: Entering directory `/usr/src/RPM/BUILD/libfplll-4.0.4' make[2]: Entering directory `/usr/src/RPM/BUILD/libfplll-4.0.4' 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/libfplll-4.0.4' make[1]: Leaving directory `/usr/src/RPM/BUILD/libfplll-4.0.4' make: Leaving directory `/usr/src/RPM/BUILD/libfplll-4.0.4' + rm -f /usr/src/tmp/libfplll-buildroot/usr/lib64/libfplll.la + /usr/lib/rpm/brp-alt Cleaning files in /usr/src/tmp/libfplll-buildroot (auto) mode of './usr/lib64/libfplll.so.0.1.0' changed from 0755 (rwxr-xr-x) to 0644 (rw-r--r--) Verifying and fixing files in /usr/src/tmp/libfplll-buildroot (binconfig,pkgconfig,libtool,desktop) Compressing files in /usr/src/tmp/libfplll-buildroot (auto) Adjusting library links in /usr/src/tmp/libfplll-buildroot ./usr/lib64: libfplll.so.0 -> libfplll.so.0.1.0 Verifying ELF objects in /usr/src/tmp/libfplll-buildroot (arch=normal,fhs=normal,lfs=relaxed,lint=relaxed,rpath=normal,stack=normal,textrel=normal,unresolved=normal) Hardlinking identical .pyc and .pyo files Executing(%check): /bin/sh -e /usr/src/tmp/rpm-tmp.82822 + umask 022 + /bin/mkdir -p /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + cd libfplll-4.0.4 + export LD_LIBRARY_PATH=/usr/src/RPM/BUILD/libfplll-4.0.4/src/.libs + LD_LIBRARY_PATH=/usr/src/RPM/BUILD/libfplll-4.0.4/src/.libs + make check make: Entering directory `/usr/src/RPM/BUILD/libfplll-4.0.4' Making check in src make[1]: Entering directory `/usr/src/RPM/BUILD/libfplll-4.0.4/src' make[2]: Entering directory `/usr/src/RPM/BUILD/libfplll-4.0.4' make[2]: Leaving directory `/usr/src/RPM/BUILD/libfplll-4.0.4' make llldiff make[2]: Entering directory `/usr/src/RPM/BUILD/libfplll-4.0.4/src' make[3]: Entering directory `/usr/src/RPM/BUILD/libfplll-4.0.4' make[3]: Leaving directory `/usr/src/RPM/BUILD/libfplll-4.0.4' x86_64-alt-linux-g++ -DHAVE_CONFIG_H -I. -I.. -pipe -Wall -g -O2 -fPIC -DPIC -c -o llldiff.o llldiff.cpp /bin/sh ../libtool --tag=CXX --mode=link x86_64-alt-linux-g++ -pipe -Wall -g -O2 -fPIC -DPIC -Wl,--as-needed -o llldiff llldiff.o libfplll.la -lmpfr -lgmp -lmpfr -lgmp libtool: link: DIE_RPATH_DIE="/usr/lib64:" x86_64-alt-linux-g++ -pipe -Wall -g -O2 -fPIC -DPIC -Wl,--as-needed -o .libs/llldiff llldiff.o ./.libs/libfplll.so -lmpfr -lgmp make[2]: Leaving directory `/usr/src/RPM/BUILD/libfplll-4.0.4/src' ./fplll < ./dim55_in > foo ./fplll -m proved < foo > foo2 diff foo foo2 rm foo foo2 ./latticegen r 50 1000 | ./fplll -m fast -f double > foo ./fplll -m proved < foo > foo2 diff foo foo2 rm foo foo2 ./latticegen r 30 2000 | ./fplll -m heuristic -f dpe > foo ./fplll -m proved < foo > foo2 diff foo foo2 rm foo foo2 ./latticegen r 30 2000 | ./fplll -m proved -f dpe > foo ./fplll -m proved < foo > foo2 diff foo foo2 rm foo foo2 ./fplll -m heuristic < ./example_in > foo cat foo ./example_out | ./llldiff rm foo ./fplll -m fast -f double < ./example_in > foo cat foo ./example_out | ./llldiff rm foo ./fplll -m proved < ./example_in > foo cat foo ./example_out | ./llldiff rm foo ./fplll -m fastearly -f double < ./example_in > foo cat foo ./example_out | ./llldiff rm foo ./fplll -m heuristicearly < ./example_in > foo cat foo ./example_out | ./llldiff rm foo ./fplll -a svp < ./example_svp_in > foo diff foo ./example_svp_out make[1]: Leaving directory `/usr/src/RPM/BUILD/libfplll-4.0.4/src' make[1]: Entering directory `/usr/src/RPM/BUILD/libfplll-4.0.4' make[1]: Leaving directory `/usr/src/RPM/BUILD/libfplll-4.0.4' make: Leaving directory `/usr/src/RPM/BUILD/libfplll-4.0.4' + exit 0 Processing files: libfplll-4.0.4-alt1_8 Executing(%doc): /bin/sh -e /usr/src/tmp/rpm-tmp.95760 + umask 022 + /bin/mkdir -p /usr/src/RPM/BUILD + cd /usr/src/RPM/BUILD + cd libfplll-4.0.4 + DOCDIR=/usr/src/tmp/libfplll-buildroot/usr/share/doc/libfplll-4.0.4 + export DOCDIR + rm -rf /usr/src/tmp/libfplll-buildroot/usr/share/doc/libfplll-4.0.4 + /bin/mkdir -p /usr/src/tmp/libfplll-buildroot/usr/share/doc/libfplll-4.0.4 + cp -prL AUTHORS NEWS README.html /usr/src/tmp/libfplll-buildroot/usr/share/doc/libfplll-4.0.4 + chmod -R go-w /usr/src/tmp/libfplll-buildroot/usr/share/doc/libfplll-4.0.4 + chmod -R a+rX /usr/src/tmp/libfplll-buildroot/usr/share/doc/libfplll-4.0.4 + cp -prL COPYING /usr/src/tmp/libfplll-buildroot/usr/share/doc/libfplll-4.0.4 + chmod -R go-w /usr/src/tmp/libfplll-buildroot/usr/share/doc/libfplll-4.0.4 + chmod -R a+rX /usr/src/tmp/libfplll-buildroot/usr/share/doc/libfplll-4.0.4 + exit 0 Finding Provides (using /usr/lib/rpm/find-provides) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.UIOEj9 find-provides: running scripts (alternatives,debuginfo,lib,pam,perl,pkgconfig,python,shell) lib.prov: /usr/src/tmp/libfplll-buildroot/usr/lib64/libfplll.so.0: 542 symbols, 20 bpp Finding Requires (using /usr/lib/rpm/find-requires) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.GIWwBR find-requires: running scripts (cpp,debuginfo,files,lib,pam,perl,pkgconfig,pkgconfiglib,python,rpmlib,shebang,shell,static,symlinks) Provides: libfplll.so.0()(64bit) = set:nd4ncLAcDbRjgKJrQQM3EIIwyTonWbNM9RhM8ZtcKII88FxYUlz5DnmN3DRgZomnvsbkewMpZeU740wqzgy1eRlA8efz488uSPm4rMnwAp8d5GH3zZaoinjintGJRztNNh4K9kqFJ00TQlOrRcW1snrFQ98sE2cEUy0mZwJlqBK5hByZokwvAnzvwnwf1Ewi2DUMsAmb0FhQkIAB55bncU7U1wkD3ORXihr36mH0egErkrGU2MYXx00M7UMULMMEF1ZBZgnZ3Fqv8zE8ygbqfy2ANJgtL8OVONCU6GM2dHZBQL50vJ3mEbrAe60KWe6PpLk0zAwcg5gpLBMEUzIEX7jgom2JqtymMiLeStoXpAI5on1RcfkSyl7d0QznSQPE3UHkfLAFWaaGI0vU2gn1DEZlYNq7IokVgHotgn3r7rIjBvB9Sa5EDCbR40Mp7Zd7mYFhBZp7iv8xbXjQyDcUHP3wRJSOQg3LdmLKyZ1BBpA859PokFpzH3xf6UP48VH30qAloDYsKXZ23AJ4VcPKwXrYfwAZl5MV0liMlBY9L3K1ZsgIaeiECpNsqbvZzTjkQ6zgvImmCd0MZ6hUZ0nAqjLZAlLdar7p5NLnKMMkB3YQ4bQVdb0wdBJV8cuuKRpRjFsxY0sGOSyIlrkPzApDrD0QhUrnZsF5Yb1WE0XKD6KrnQbb9MXO8hUdMpBEF6qjIB39v9aQveJOmA81myRJqGhTRN0gPyXtOujrTvFtkwseGrKbCCl22Pde1IZ7YBaZoFhCRGUEjJYWMuXwSK0wYNnj1O2SlUHYDZL0M9lhDTSfuJogHz0Haznm6T8yzsxFYrA4sm0ZeLnOC5tKAqNZgjQoBc2sd7C0gTZhYX58BBkwTOutK8ZdiEHJEdxHmL2Zd83Z57Z22d8gphjBCYSBEENGrlf6wUv3D11WhZrNvz1QZ0pmJRrhZzcst6x82s0KJC2l6W1OeUr2i1Z0ZL8nC0Cv2bUu0dCV8pgwillhP5ww7Y50tgHm3oNbddhy8iaEVeK0gyTCZdbnSVxHPNdqd5NPxFRO4umqZlq0ieqGLFdsMyhcBkipfKzIckKxV58b8bS27mxKr7hUYcJv89yi0kEUWctBC4mFcMg1NIuZzBK0EZhcijc Requires: libc.so.6(GLIBC_2.14)(64bit), libc.so.6(GLIBC_2.2.5)(64bit), libgcc_s.so.1(GCC_3.0)(64bit), libgmp.so.10()(64bit) >= set:mhZrwRupsDZLSNzZ6wOf36pnsCbwXPwaZGUhG9GcZ9rDoIOxaR5WFEdxzBeCQzRAn6, libm.so.6(GLIBC_2.2.5)(64bit), libmpfr.so.4()(64bit) >= set:mgZqvevIdZFoFJyJ6oMOC083DYvUziC4Dha1wPFeJQ3hx1oMn0uziKGd19Uba7mD1KHEWRSOjIMDjDZky0lmoZrZ1zXoNbR, libstdc++.so.6(CXXABI_1.3)(64bit), libstdc++.so.6(GLIBCXX_3.4)(64bit), libstdc++.so.6(GLIBCXX_3.4.11)(64bit), libstdc++.so.6(GLIBCXX_3.4.21)(64bit), libstdc++.so.6(GLIBCXX_3.4.9)(64bit), rtld(GNU_HASH) Requires(rpmlib): rpmlib(SetVersions) Finding debuginfo files (using /usr/lib/rpm/find-debuginfo-files) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.4ZDeJC Creating libfplll-debuginfo package Processing files: libfplll-devel-4.0.4-alt1_8 Finding Provides (using /usr/lib/rpm/find-provides) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.SGbMHq 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.yVGTsh find-requires: running scripts (cpp,debuginfo,files,lib,pam,perl,pkgconfig,pkgconfiglib,python,rpmlib,shebang,shell,static,symlinks) In file included from /usr/src/tmp/libfplll-buildroot/usr/include/fplll/nr.h:21:0, from /usr/src/tmp/libfplll-buildroot/usr/include/fplll/numvect.h:19, from /usr/src/tmp/libfplll-buildroot/usr/include/fplll/matrix.h:21, from /usr/src/tmp/libfplll-buildroot/usr/include/fplll/util.h:23, from /usr/src/tmp/libfplll-buildroot/usr/include/fplll/fplll.h:21, from /usr/src/tmp/libfplll-buildroot/usr/include/fplll.h:1: /usr/src/tmp/libfplll-buildroot/usr/include/fplll/defs.h:32:20: fatal error: iostream: No such file or directory compilation terminated. cpp.req: /usr/src/tmp/libfplll-buildroot/usr/include/fplll.h: cpp failed, trying c++ mode Requires: libfplll = 4.0.4, /usr/lib64/libfplll.so.0.1.0, libgmp-devel, libmpfr-devel Finding debuginfo files (using /usr/lib/rpm/find-debuginfo-files) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.E9IMOd Processing files: libfplll-tools-4.0.4-alt1_8 Finding Provides (using /usr/lib/rpm/find-provides) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.c6wI5c 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.aOyfdf find-requires: running scripts (cpp,debuginfo,files,lib,pam,perl,pkgconfig,pkgconfiglib,python,rpmlib,shebang,shell,static,symlinks) Requires: libfplll = 4.0.4, /lib64/ld-linux-x86-64.so.2, libc.so.6(GLIBC_2.14)(64bit), libc.so.6(GLIBC_2.2.5)(64bit), libfplll.so.0()(64bit) >= set:ni8puzlxZiAbni5k4SPAsjNIwSZwtN4Ke0kAd3EW9E9mQ5tu5ifMqt0, libgcc_s.so.1(GCC_3.0)(64bit), libgmp.so.10()(64bit) >= set:mho22MqDcQUVyy0SCEOQDZw1Q2cmVgBWwcDvFfyliiMKKe, libm.so.6(GLIBC_2.2.5)(64bit), libmpfr.so.4()(64bit) >= set:mjaQH446yMu4zL0, libstdc++.so.6(CXXABI_1.3)(64bit), libstdc++.so.6(GLIBCXX_3.4)(64bit), libstdc++.so.6(GLIBCXX_3.4.11)(64bit), libstdc++.so.6(GLIBCXX_3.4.9)(64bit), rtld(GNU_HASH) Requires(rpmlib): rpmlib(SetVersions) Finding debuginfo files (using /usr/lib/rpm/find-debuginfo-files) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.ud5Gek Creating libfplll-tools-debuginfo package Processing files: libfplll-debuginfo-4.0.4-alt1_8 Finding Provides (using /usr/lib/rpm/find-provides) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.EPs85r find-provides: running scripts (debuginfo) Finding Requires (using /usr/lib/rpm/find-requires) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.OZ1wRC find-requires: running scripts (debuginfo) Provides: debug64(libfplll.so.0) Requires: libfplll = 4.0.4-alt1_8, debug64(libc.so.6), debug64(libgcc_s.so.1), debug64(libgmp.so.10), debug64(libm.so.6), debug64(libmpfr.so.4), debug64(libstdc++.so.6) Processing files: libfplll-tools-debuginfo-4.0.4-alt1_8 Finding Provides (using /usr/lib/rpm/find-provides) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.mQ2NvQ find-provides: running scripts (debuginfo) Finding Requires (using /usr/lib/rpm/find-requires) Executing: /bin/sh -e /usr/src/tmp/rpm-tmp.MOtSV6 find-requires: running scripts (debuginfo) Requires: libfplll-tools = 4.0.4-alt1_8, /usr/lib/debug/lib64/ld-linux-x86-64.so.2.debug, debug64(libc.so.6), debug64(libfplll.so.0), debug64(libgcc_s.so.1), debug64(libgmp.so.10), debug64(libm.so.6), debug64(libmpfr.so.4), debug64(libstdc++.so.6) Adding to libfplll-devel a strict dependency on libfplll Adding to libfplll-tools a strict dependency on libfplll Adding to libfplll-tools-debuginfo a strict dependency on libfplll-debuginfo Removing from libfplll-tools-debuginfo 9 sources provided by libfplll-debuginfo Removing 1 extra deps from libfplll-devel due to dependency on libfplll Removing 1 extra deps from libfplll-tools due to dependency on libfplll Removing 1 extra deps from libfplll-tools-debuginfo due to dependency on libfplll-debuginfo Removing 10 extra deps from libfplll-tools due to repentancy on libfplll Removing 6 extra deps from libfplll-tools-debuginfo due to repentancy on libfplll-debuginfo Wrote: /usr/src/RPM/RPMS/x86_64/libfplll-4.0.4-alt1_8.x86_64.rpm Wrote: /usr/src/RPM/RPMS/x86_64/libfplll-devel-4.0.4-alt1_8.x86_64.rpm Wrote: /usr/src/RPM/RPMS/x86_64/libfplll-tools-4.0.4-alt1_8.x86_64.rpm Wrote: /usr/src/RPM/RPMS/x86_64/libfplll-debuginfo-4.0.4-alt1_8.x86_64.rpm Wrote: /usr/src/RPM/RPMS/x86_64/libfplll-tools-debuginfo-4.0.4-alt1_8.x86_64.rpm 24.56user 3.35system 0:43.90elapsed 63%CPU (0avgtext+0avgdata 320000maxresident)k 0inputs+0outputs (0major+1439615minor)pagefaults 0swaps 28.86user 5.46system 0:51.26elapsed 66%CPU (0avgtext+0avgdata 320000maxresident)k 160inputs+0outputs (0major+1788352minor)pagefaults 0swaps --- libfplll-devel-4.0.4-alt1_8.x86_64.rpm.repo 2016-02-16 05:37:14.000000000 +0000 +++ libfplll-devel-4.0.4-alt1_8.x86_64.rpm.hasher 2019-04-21 01:53:38.871538074 +0000 @@ -14,2 +14,3 @@ /usr/lib64/libfplll.so 120777 libfplll.so.0.1.0 +Requires: libfplll = 4.0.4 Requires: libgmp-devel --- libfplll-tools-4.0.4-alt1_8.x86_64.rpm.repo 2016-02-16 05:37:14.000000000 +0000 +++ libfplll-tools-4.0.4-alt1_8.x86_64.rpm.hasher 2019-04-21 01:53:38.912538156 +0000 @@ -2,2 +2,3 @@ /usr/bin/latticegen 100755 +Requires: libfplll = 4.0.4 Requires: /lib64/ld-linux-x86-64.so.2