Mock Version: 1.2.14 ENTER do(['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target armv6hl --nodeps /builddir/build/SPECS/cudd.spec'], printOutput=Falselogger=shell=Falsegid=135timeout=0user='mockbuild'env={'CCACHE_DIR': '/tmp/ccache', 'HOSTNAME': 'mock', 'SHELL': '/bin/bash', 'LANG': 'en_US.UTF-8', 'HOME': '/builddir', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\x1b]0;\x07"', 'TERM': 'vt100', 'CCACHE_UMASK': '002'}uid=1000chrootPath='/var/lib/mock/fedora-23-armhfp-pidora-round2-root-26009/root') Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bs --target armv6hl --nodeps /builddir/build/SPECS/cudd.spec'] with env {'CCACHE_DIR': '/tmp/ccache', 'HOSTNAME': 'mock', 'SHELL': '/bin/bash', 'LANG': 'en_US.UTF-8', 'HOME': '/builddir', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\x1b]0;\x07"', 'TERM': 'vt100', 'CCACHE_UMASK': '002'} and shell False Building target platforms: armv6hl Building for target armv6hl Wrote: /builddir/build/SRPMS/cudd-2.5.1-1bs02fc23.src.rpm Child return code was: 0 LEAVE do --> ENTER do(['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target armv6hl --nodeps /builddir/build/SPECS/cudd.spec '], printOutput=Falselogger=shell=Falsegid=135timeout=0user='mockbuild'private_network=Trueenv={'CCACHE_DIR': '/tmp/ccache', 'HOSTNAME': 'mock', 'SHELL': '/bin/bash', 'LANG': 'en_US.UTF-8', 'HOME': '/builddir', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\x1b]0;\x07"', 'TERM': 'vt100', 'CCACHE_UMASK': '002'}uid=1000chrootPath='/var/lib/mock/fedora-23-armhfp-pidora-round2-root-26009/root') Executing command: ['bash', '--login', '-c', '/usr/bin/rpmbuild -bb --target armv6hl --nodeps /builddir/build/SPECS/cudd.spec '] with env {'CCACHE_DIR': '/tmp/ccache', 'HOSTNAME': 'mock', 'SHELL': '/bin/bash', 'LANG': 'en_US.UTF-8', 'HOME': '/builddir', 'PATH': '/usr/bin:/bin:/usr/sbin:/sbin', 'PROMPT_COMMAND': 'printf "\x1b]0;\x07"', 'TERM': 'vt100', 'CCACHE_UMASK': '002'} and shell False Building target platforms: armv6hl Building for target armv6hl Executing(%prep): /bin/sh -e /var/tmp/rpm-tmp.M8cc0h + umask 022 + cd /builddir/build/BUILD + cd /builddir/build/BUILD + rm -rf cudd-2.5.1 + /usr/bin/gzip -dc /builddir/build/SOURCES/cudd-2.5.1.tar.gz + /usr/bin/tar -xof - + STATUS=0 + '[' 0 -ne 0 ']' + cd cudd-2.5.1 + /usr/bin/chmod -Rf a+rX,u+w,g-w,o-w . Patch #0 (cudd-2.5.0-sharedlib.patch): + echo 'Patch #0 (cudd-2.5.0-sharedlib.patch):' + /usr/bin/patch -p0 --fuzz=0 patching file ./cudd/doc/node3.html patching file ./cudd/Makefile patching file ./dddmp/Makefile patching file ./epd/Makefile patching file ./Makefile patching file ./mnemosyne/Makefile patching file ./mtr/Makefile patching file ./nanotrav/Makefile patching file ./obj/Makefile patching file ./st/Makefile patching file ./util/Makefile Patch #1 (cudd-2.5.0-signedness.patch): + echo 'Patch #1 (cudd-2.5.0-signedness.patch):' + /usr/bin/patch -p0 --fuzz=0 patching file ./cudd/cuddGroup.c patching file ./cudd/cuddZddGroup.c patching file ./obj/cuddObj.cc patching file ./st/st.c Patch #2 (cudd-2.5.0-retval.patch): + echo 'Patch #2 (cudd-2.5.0-retval.patch):' + /usr/bin/patch -p0 --fuzz=0 patching file ./epd/epd.c patching file ./dddmp/dddmpLoad.c patching file ./dddmp/dddmpDbg.c patching file ./dddmp/dddmpLoadCnf.c Patch #3 (cudd-2.5.0-init.patch): + echo 'Patch #3 (cudd-2.5.0-init.patch):' + /usr/bin/patch -p0 --fuzz=0 patching file ./cudd/cuddAddIte.c patching file ./cudd/cuddAddWalsh.c patching file ./cudd/cuddBddIte.c patching file ./cudd/cuddDecomp.c patching file ./cudd/cuddGroup.c patching file ./cudd/cuddHarwell.c patching file ./cudd/cuddLinear.c patching file ./cudd/cuddPriority.c patching file ./cudd/cuddReorder.c patching file ./cudd/cuddSubsetSP.c patching file ./cudd/cuddSymmetry.c patching file ./cudd/cuddTable.c patching file ./cudd/cuddZddGroup.c patching file ./cudd/cuddZddReord.c patching file ./cudd/cuddZddSymm.c patching file ./dddmp/dddmpNodeCnf.c patching file ./dddmp/dddmpStoreAdd.c patching file ./dddmp/dddmpStoreCnf.c patching file ./nanotrav/bnet.c patching file ./nanotrav/ntr.c Patch #4 (cudd-2.5.0-arch.patch): + echo 'Patch #4 (cudd-2.5.0-arch.patch):' + /usr/bin/patch -p0 --fuzz=0 patching file ./cudd/cudd.h patching file ./epd/epd.h patching file ./mtr/mtr.h patching file ./util/util.h + for f in 'dddmp/README.*' + sed 's/\r//' dddmp/README.dddmp + touch -r dddmp/README.dddmp dddmp/README.dddmp.fixed + mv -f dddmp/README.dddmp.fixed dddmp/README.dddmp + for f in 'dddmp/README.*' + sed 's/\r//' dddmp/README.testdddmp + touch -r dddmp/README.testdddmp dddmp/README.testdddmp.fixed + mv -f dddmp/README.testdddmp.fixed dddmp/README.testdddmp ++ find . -name Makefile + for mk in '$(find . -name Makefile)' + sed -i 's/2\.5\.0/2.5.1/g' ./mnemosyne/Makefile + for mk in '$(find . -name Makefile)' + sed -i 's/2\.5\.0/2.5.1/g' ./cudd/Makefile + for mk in '$(find . -name Makefile)' + sed -i 's/2\.5\.0/2.5.1/g' ./util/Makefile + for mk in '$(find . -name Makefile)' + sed -i 's/2\.5\.0/2.5.1/g' ./Makefile + for mk in '$(find . -name Makefile)' + sed -i 's/2\.5\.0/2.5.1/g' ./nanotrav/Makefile + for mk in '$(find . -name Makefile)' + sed -i 's/2\.5\.0/2.5.1/g' ./dddmp/Makefile + for mk in '$(find . -name Makefile)' + sed -i 's/2\.5\.0/2.5.1/g' ./mtr/Makefile + for mk in '$(find . -name Makefile)' + sed -i 's/2\.5\.0/2.5.1/g' ./st/Makefile + for mk in '$(find . -name Makefile)' + sed -i 's/2\.5\.0/2.5.1/g' ./obj/Makefile + for mk in '$(find . -name Makefile)' + sed -i 's/2\.5\.0/2.5.1/g' ./epd/Makefile + exit 0 Executing(%build): /bin/sh -e /var/tmp/rpm-tmp.Re495J + umask 022 + cd /builddir/build/BUILD + cd cudd-2.5.1 + make -j8 'CPPFLAGS=-O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp' 'ICFLAGS=-O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC' 'XCFLAGS=-DHAVE_IEEE_754 -DBSD' 'LDFLAGS=-Wl,-z,relro -specs=/usr/lib/rpm/redhat/redhat-hardened-ld' sh ./setup.sh Making util ... make[1]: Entering directory '/builddir/build/BUILD/cudd-2.5.1/util' gcc -c cstringstream.c -I../include -DUNIX -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD gcc -c cpu_time.c -I../include -DUNIX -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD gcc -c cpu_stats.c -I../include -DUNIX -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD gcc -c safe_mem.c -I../include -DUNIX -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD gcc -c strsav.c -I../include -DUNIX -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD gcc -c texpand.c -I../include -DUNIX -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD gcc -c ptime.c -I../include -DUNIX -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD gcc -c prtime.c -I../include -DUNIX -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD gcc -c pipefork.c -I../include -DUNIX -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD gcc -c pathsearch.c -I../include -DUNIX -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD gcc -c stub.c -I../include -DUNIX -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD gcc -c datalimit.c -I../include -DUNIX -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD gcc -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD -Wl,-z,relro -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -o libcuddutil.so.2.5.1 cstringstream.o cpu_time.o cpu_stats.o safe_mem.o strsav.o texpand.o ptime.o prtime.o pipefork.o pathsearch.o stub.o datalimit.o -shared -Xlinker -soname -Xlinker libcuddutil.so.2 ln -s libcuddutil.so.2.5.1 libcuddutil.so.2 ln -s libcuddutil.so.2 libcuddutil.so make[1]: Leaving directory '/builddir/build/BUILD/cudd-2.5.1/util' Making epd ... make[1]: Entering directory '/builddir/build/BUILD/cudd-2.5.1/epd' gcc -c epd.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD gcc -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD -Wl,-z,relro -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -o libepd.so.2.5.1 epd.o -shared -Xlinker -soname -Xlinker libepd.so.2 -L../util -lcuddutil -lm ln -s libepd.so.2.5.1 libepd.so.2 ln -s libepd.so.2 libepd.so make[1]: Leaving directory '/builddir/build/BUILD/cudd-2.5.1/epd' Making mtr ... make[1]: Entering directory '/builddir/build/BUILD/cudd-2.5.1/mtr' gcc -c mtrBasic.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD gcc -c mtrGroup.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD gcc -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD -Wl,-z,relro -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -o libmtr.so.2.5.1 mtrBasic.o mtrGroup.o -shared -Xlinker -soname -Xlinker libmtr.so.2 -L../util -lcuddutil ln -s libmtr.so.2.5.1 libmtr.so.2 ln -s libmtr.so.2 libmtr.so make[1]: Leaving directory '/builddir/build/BUILD/cudd-2.5.1/mtr' Making st ... make[1]: Entering directory '/builddir/build/BUILD/cudd-2.5.1/st' gcc -c st.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD gcc -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD -Wl,-z,relro -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -o libcuddst.so.2.5.1 st.o -shared -Xlinker -soname -Xlinker libcuddst.so.2 -L../util -lcuddutil ln -s libcuddst.so.2.5.1 libcuddst.so.2 ln -s libcuddst.so.2 libcuddst.so make[1]: Leaving directory '/builddir/build/BUILD/cudd-2.5.1/st' Making cudd ... make[1]: Entering directory '/builddir/build/BUILD/cudd-2.5.1/cudd' gcc -c cuddAPI.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD gcc -c cuddAddAbs.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD gcc -c cuddAddApply.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD gcc -c cuddAddFind.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD gcc -c cuddAddIte.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD gcc -c cuddAddInv.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD gcc -c cuddAddNeg.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD gcc -c cuddAddWalsh.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD gcc -c cuddAndAbs.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD gcc -c cuddAnneal.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD gcc -c cuddApa.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD gcc -c cuddApprox.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD gcc -c cuddBddAbs.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD gcc -c cuddBddCorr.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD gcc -c cuddBddIte.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD gcc -c cuddBridge.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD gcc -c cuddCache.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD gcc -c cuddCheck.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD gcc -c cuddClip.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD gcc -c cuddCof.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD gcc -c cuddCompose.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD gcc -c cuddDecomp.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD gcc -c cuddEssent.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD gcc -c cuddExact.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD gcc -c cuddExport.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD gcc -c cuddGenCof.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD gcc -c cuddGenetic.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD gcc -c cuddGroup.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD gcc -c cuddHarwell.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD gcc -c cuddInit.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD gcc -c cuddInteract.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD gcc -c cuddLCache.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD gcc -c cuddLevelQ.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD gcc -c cuddLinear.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD gcc -c cuddLiteral.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD gcc -c cuddMatMult.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD gcc -c cuddPriority.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD gcc -c cuddRead.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD gcc -c cuddRef.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD gcc -c cuddReorder.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD gcc -c cuddSat.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD gcc -c cuddSign.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD gcc -c cuddSolve.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD gcc -c cuddSplit.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD gcc -c cuddSubsetHB.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD gcc -c cuddSubsetSP.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD gcc -c cuddSymmetry.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD gcc -c cuddTable.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD gcc -c cuddUtil.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD gcc -c cuddWindow.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD gcc -c cuddZddCount.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD gcc -c cuddZddFuncs.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD gcc -c cuddZddGroup.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD gcc -c cuddZddIsop.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD gcc -c cuddZddLin.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD gcc -c cuddZddMisc.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD gcc -c cuddZddPort.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD gcc -c cuddZddReord.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD gcc -c cuddZddSetop.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD gcc -c cuddZddSymm.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD gcc -c cuddZddUtil.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD gcc -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD -Wl,-z,relro -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -o libcudd.so.2.5.1 cuddAPI.o cuddAddAbs.o cuddAddApply.o cuddAddFind.o cuddAddIte.o cuddAddInv.o cuddAddNeg.o cuddAddWalsh.o cuddAndAbs.o cuddAnneal.o cuddApa.o cuddApprox.o cuddBddAbs.o cuddBddCorr.o cuddBddIte.o cuddBridge.o cuddCache.o cuddCheck.o cuddClip.o cuddCof.o cuddCompose.o cuddDecomp.o cuddEssent.o cuddExact.o cuddExport.o cuddGenCof.o cuddGenetic.o cuddGroup.o cuddHarwell.o cuddInit.o cuddInteract.o cuddLCache.o cuddLevelQ.o cuddLinear.o cuddLiteral.o cuddMatMult.o cuddPriority.o cuddRead.o cuddRef.o cuddReorder.o cuddSat.o cuddSign.o cuddSolve.o cuddSplit.o cuddSubsetHB.o cuddSubsetSP.o cuddSymmetry.o cuddTable.o cuddUtil.o cuddWindow.o cuddZddCount.o cuddZddFuncs.o cuddZddGroup.o cuddZddIsop.o cuddZddLin.o cuddZddMisc.o cuddZddPort.o cuddZddReord.o cuddZddSetop.o cuddZddSymm.o cuddZddUtil.o -shared -Xlinker -soname -Xlinker libcudd.so.2 -L../mtr -L../st -L../util -L../epd -lmtr -lcuddst -lcuddutil -lepd -lm ln -s libcudd.so.2.5.1 libcudd.so.2 ln -s libcudd.so.2 libcudd.so make[1]: Leaving directory '/builddir/build/BUILD/cudd-2.5.1/cudd' Making dddmp ... make[1]: Entering directory '/builddir/build/BUILD/cudd-2.5.1/dddmp' gcc -c dddmpStoreBdd.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD -Wl,-z,relro -specs=/usr/lib/rpm/redhat/redhat-hardened-ld gcc -c dddmpStoreAdd.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD -Wl,-z,relro -specs=/usr/lib/rpm/redhat/redhat-hardened-ld gcc -c dddmpStoreCnf.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD -Wl,-z,relro -specs=/usr/lib/rpm/redhat/redhat-hardened-ld gcc -c dddmpLoad.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD -Wl,-z,relro -specs=/usr/lib/rpm/redhat/redhat-hardened-ld gcc -c dddmpLoadCnf.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD -Wl,-z,relro -specs=/usr/lib/rpm/redhat/redhat-hardened-ld gcc -c dddmpNodeBdd.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD -Wl,-z,relro -specs=/usr/lib/rpm/redhat/redhat-hardened-ld gcc -c dddmpNodeAdd.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD -Wl,-z,relro -specs=/usr/lib/rpm/redhat/redhat-hardened-ld gcc -c dddmpNodeCnf.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD -Wl,-z,relro -specs=/usr/lib/rpm/redhat/redhat-hardened-ld gcc -c dddmpStoreMisc.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD -Wl,-z,relro -specs=/usr/lib/rpm/redhat/redhat-hardened-ld gcc -c dddmpUtil.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD -Wl,-z,relro -specs=/usr/lib/rpm/redhat/redhat-hardened-ld gcc -c dddmpBinary.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD -Wl,-z,relro -specs=/usr/lib/rpm/redhat/redhat-hardened-ld gcc -c dddmpConvert.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD -Wl,-z,relro -specs=/usr/lib/rpm/redhat/redhat-hardened-ld gcc -c dddmpDbg.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD -Wl,-z,relro -specs=/usr/lib/rpm/redhat/redhat-hardened-ld gcc -Wl,-z,relro -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -o libdddmp.so.2.5.1 dddmpStoreBdd.o dddmpStoreAdd.o dddmpStoreCnf.o dddmpLoad.o dddmpLoadCnf.o dddmpNodeBdd.o dddmpNodeAdd.o dddmpNodeCnf.o dddmpStoreMisc.o dddmpUtil.o dddmpBinary.o dddmpConvert.o dddmpDbg.o -shared -Xlinker -soname -Xlinker libdddmp.so.2 -L../cudd -L../mtr -L../st -L../util -L../epd -lcudd -lcuddst -lcuddutil ln -s libdddmp.so.2.5.1 libdddmp.so.2 ln -s libdddmp.so.2 libdddmp.so make[1]: Leaving directory '/builddir/build/BUILD/cudd-2.5.1/dddmp' Making nanotrav ... make[1]: Entering directory '/builddir/build/BUILD/cudd-2.5.1/nanotrav' gcc -c main.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD gcc -c bnet.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD gcc -c ntr.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD gcc -c ntrHeap.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD gcc -c ntrBddTest.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD gcc -c ntrMflow.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD gcc -c ntrZddTest.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD gcc -c ntrShort.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD gcc -c chkMterm.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD gcc -c ucbqsort.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD gcc -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD -Wl,-z,relro -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -o nanotrav main.o bnet.o ntr.o ntrHeap.o ntrBddTest.o ntrMflow.o ntrZddTest.o ntrShort.o chkMterm.o ucbqsort.o -L../dddmp -L../cudd -L../mtr -L../st -L../util -L../epd -ldddmp -lcudd -lmtr -lcuddst -lcuddutil -lepd -lm make[1]: Leaving directory '/builddir/build/BUILD/cudd-2.5.1/nanotrav' Making obj ... make[1]: Entering directory '/builddir/build/BUILD/cudd-2.5.1/obj' g++ -c cuddObj.cc -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD g++ -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -fPIC -DHAVE_IEEE_754 -DBSD -Wl,-z,relro -specs=/usr/lib/rpm/redhat/redhat-hardened-ld -o libcuddobj.so.2.5.1 cuddObj.o -shared -Xlinker -soname -Xlinker libcuddobj.so.2 -Wl,--as-needed -L../cudd -lcudd ln -s libcuddobj.so.2.5.1 libcuddobj.so.2 ln -s libcuddobj.so.2 libcuddobj.so make[1]: Leaving directory '/builddir/build/BUILD/cudd-2.5.1/obj' + make clean Cleaning mnemosyne ... Cleaning util ... Cleaning epd ... Cleaning mtr ... Cleaning st ... Cleaning cudd ... Cleaning dddmp ... Cleaning nanotrav ... Cleaning obj ... + make -j8 static 'CPPFLAGS=-O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp' 'ICFLAGS=-O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp' 'XCFLAGS=-DHAVE_IEEE_754 -DBSD' 'LDFLAGS=-Wl,-z,relro -specs=/usr/lib/rpm/redhat/redhat-hardened-ld' sh ./setup.sh Making static in util ... make[1]: Entering directory '/builddir/build/BUILD/cudd-2.5.1/util' gcc -c cstringstream.c -I../include -DUNIX -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -DHAVE_IEEE_754 -DBSD gcc -c cpu_time.c -I../include -DUNIX -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -DHAVE_IEEE_754 -DBSD gcc -c cpu_stats.c -I../include -DUNIX -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -DHAVE_IEEE_754 -DBSD gcc -c safe_mem.c -I../include -DUNIX -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -DHAVE_IEEE_754 -DBSD gcc -c strsav.c -I../include -DUNIX -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -DHAVE_IEEE_754 -DBSD gcc -c texpand.c -I../include -DUNIX -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -DHAVE_IEEE_754 -DBSD gcc -c ptime.c -I../include -DUNIX -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -DHAVE_IEEE_754 -DBSD gcc -c prtime.c -I../include -DUNIX -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -DHAVE_IEEE_754 -DBSD gcc -c pipefork.c -I../include -DUNIX -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -DHAVE_IEEE_754 -DBSD gcc -c pathsearch.c -I../include -DUNIX -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -DHAVE_IEEE_754 -DBSD gcc -c stub.c -I../include -DUNIX -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -DHAVE_IEEE_754 -DBSD gcc -c datalimit.c -I../include -DUNIX -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -DHAVE_IEEE_754 -DBSD ar rv libutil.a cstringstream.o cpu_time.o cpu_stats.o safe_mem.o strsav.o texpand.o ptime.o prtime.o pipefork.o pathsearch.o stub.o datalimit.o ar: creating libutil.a a - cstringstream.o a - cpu_time.o a - cpu_stats.o a - safe_mem.o a - strsav.o a - texpand.o a - ptime.o a - prtime.o a - pipefork.o a - pathsearch.o a - stub.o a - datalimit.o ranlib libutil.a make[1]: Leaving directory '/builddir/build/BUILD/cudd-2.5.1/util' Making static in epd ... make[1]: Entering directory '/builddir/build/BUILD/cudd-2.5.1/epd' gcc -c epd.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -DHAVE_IEEE_754 -DBSD ar rv libepd.a epd.o ar: creating libepd.a a - epd.o ranlib libepd.a make[1]: Leaving directory '/builddir/build/BUILD/cudd-2.5.1/epd' Making static in mtr ... make[1]: Entering directory '/builddir/build/BUILD/cudd-2.5.1/mtr' gcc -c mtrBasic.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -DHAVE_IEEE_754 -DBSD gcc -c mtrGroup.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -DHAVE_IEEE_754 -DBSD ar rv libmtr.a mtrBasic.o mtrGroup.o ar: creating libmtr.a a - mtrBasic.o a - mtrGroup.o ranlib libmtr.a make[1]: Leaving directory '/builddir/build/BUILD/cudd-2.5.1/mtr' Making static in st ... make[1]: Entering directory '/builddir/build/BUILD/cudd-2.5.1/st' gcc -c st.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -DHAVE_IEEE_754 -DBSD ar rv libst.a st.o ar: creating libst.a a - st.o ranlib libst.a make[1]: Leaving directory '/builddir/build/BUILD/cudd-2.5.1/st' Making static in cudd ... make[1]: Entering directory '/builddir/build/BUILD/cudd-2.5.1/cudd' gcc -c cuddAPI.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -DHAVE_IEEE_754 -DBSD gcc -c cuddAddAbs.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -DHAVE_IEEE_754 -DBSD gcc -c cuddAddApply.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -DHAVE_IEEE_754 -DBSD gcc -c cuddAddFind.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -DHAVE_IEEE_754 -DBSD gcc -c cuddAddIte.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -DHAVE_IEEE_754 -DBSD gcc -c cuddAddInv.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -DHAVE_IEEE_754 -DBSD gcc -c cuddAddNeg.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -DHAVE_IEEE_754 -DBSD gcc -c cuddAddWalsh.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -DHAVE_IEEE_754 -DBSD gcc -c cuddAndAbs.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -DHAVE_IEEE_754 -DBSD gcc -c cuddAnneal.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -DHAVE_IEEE_754 -DBSD gcc -c cuddApa.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -DHAVE_IEEE_754 -DBSD gcc -c cuddApprox.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -DHAVE_IEEE_754 -DBSD gcc -c cuddBddAbs.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -DHAVE_IEEE_754 -DBSD gcc -c cuddBddCorr.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -DHAVE_IEEE_754 -DBSD gcc -c cuddBddIte.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -DHAVE_IEEE_754 -DBSD gcc -c cuddBridge.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -DHAVE_IEEE_754 -DBSD gcc -c cuddCache.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -DHAVE_IEEE_754 -DBSD gcc -c cuddCheck.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -DHAVE_IEEE_754 -DBSD gcc -c cuddClip.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -DHAVE_IEEE_754 -DBSD gcc -c cuddCof.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -DHAVE_IEEE_754 -DBSD gcc -c cuddCompose.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -DHAVE_IEEE_754 -DBSD gcc -c cuddDecomp.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -DHAVE_IEEE_754 -DBSD gcc -c cuddEssent.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -DHAVE_IEEE_754 -DBSD gcc -c cuddExact.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -DHAVE_IEEE_754 -DBSD gcc -c cuddExport.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -DHAVE_IEEE_754 -DBSD gcc -c cuddGenCof.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -DHAVE_IEEE_754 -DBSD gcc -c cuddGenetic.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -DHAVE_IEEE_754 -DBSD gcc -c cuddGroup.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -DHAVE_IEEE_754 -DBSD gcc -c cuddHarwell.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -DHAVE_IEEE_754 -DBSD gcc -c cuddInit.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -DHAVE_IEEE_754 -DBSD gcc -c cuddInteract.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -DHAVE_IEEE_754 -DBSD gcc -c cuddLCache.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -DHAVE_IEEE_754 -DBSD gcc -c cuddLevelQ.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -DHAVE_IEEE_754 -DBSD gcc -c cuddLinear.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -DHAVE_IEEE_754 -DBSD gcc -c cuddLiteral.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -DHAVE_IEEE_754 -DBSD gcc -c cuddMatMult.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -DHAVE_IEEE_754 -DBSD gcc -c cuddPriority.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -DHAVE_IEEE_754 -DBSD gcc -c cuddRead.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -DHAVE_IEEE_754 -DBSD gcc -c cuddRef.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -DHAVE_IEEE_754 -DBSD gcc -c cuddReorder.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -DHAVE_IEEE_754 -DBSD gcc -c cuddSat.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -DHAVE_IEEE_754 -DBSD gcc -c cuddSign.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -DHAVE_IEEE_754 -DBSD gcc -c cuddSolve.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -DHAVE_IEEE_754 -DBSD gcc -c cuddSplit.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -DHAVE_IEEE_754 -DBSD gcc -c cuddSubsetHB.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -DHAVE_IEEE_754 -DBSD gcc -c cuddSubsetSP.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -DHAVE_IEEE_754 -DBSD gcc -c cuddSymmetry.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -DHAVE_IEEE_754 -DBSD gcc -c cuddTable.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -DHAVE_IEEE_754 -DBSD gcc -c cuddUtil.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -DHAVE_IEEE_754 -DBSD gcc -c cuddWindow.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -DHAVE_IEEE_754 -DBSD gcc -c cuddZddCount.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -DHAVE_IEEE_754 -DBSD gcc -c cuddZddFuncs.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -DHAVE_IEEE_754 -DBSD gcc -c cuddZddGroup.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -DHAVE_IEEE_754 -DBSD gcc -c cuddZddIsop.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -DHAVE_IEEE_754 -DBSD gcc -c cuddZddLin.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -DHAVE_IEEE_754 -DBSD gcc -c cuddZddMisc.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -DHAVE_IEEE_754 -DBSD gcc -c cuddZddPort.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -DHAVE_IEEE_754 -DBSD gcc -c cuddZddReord.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -DHAVE_IEEE_754 -DBSD gcc -c cuddZddSetop.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -DHAVE_IEEE_754 -DBSD gcc -c cuddZddSymm.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -DHAVE_IEEE_754 -DBSD gcc -c cuddZddUtil.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -DHAVE_IEEE_754 -DBSD ar rv libcudd.a cuddAPI.o cuddAddAbs.o cuddAddApply.o cuddAddFind.o cuddAddIte.o cuddAddInv.o cuddAddNeg.o cuddAddWalsh.o cuddAndAbs.o cuddAnneal.o cuddApa.o cuddApprox.o cuddBddAbs.o cuddBddCorr.o cuddBddIte.o cuddBridge.o cuddCache.o cuddCheck.o cuddClip.o cuddCof.o cuddCompose.o cuddDecomp.o cuddEssent.o cuddExact.o cuddExport.o cuddGenCof.o cuddGenetic.o cuddGroup.o cuddHarwell.o cuddInit.o cuddInteract.o cuddLCache.o cuddLevelQ.o cuddLinear.o cuddLiteral.o cuddMatMult.o cuddPriority.o cuddRead.o cuddRef.o cuddReorder.o cuddSat.o cuddSign.o cuddSolve.o cuddSplit.o cuddSubsetHB.o cuddSubsetSP.o cuddSymmetry.o cuddTable.o cuddUtil.o cuddWindow.o cuddZddCount.o cuddZddFuncs.o cuddZddGroup.o cuddZddIsop.o cuddZddLin.o cuddZddMisc.o cuddZddPort.o cuddZddReord.o cuddZddSetop.o cuddZddSymm.o cuddZddUtil.o ar: creating libcudd.a a - cuddAPI.o a - cuddAddAbs.o a - cuddAddApply.o a - cuddAddFind.o a - cuddAddIte.o a - cuddAddInv.o a - cuddAddNeg.o a - cuddAddWalsh.o a - cuddAndAbs.o a - cuddAnneal.o a - cuddApa.o a - cuddApprox.o a - cuddBddAbs.o a - cuddBddCorr.o a - cuddBddIte.o a - cuddBridge.o a - cuddCache.o a - cuddCheck.o a - cuddClip.o a - cuddCof.o a - cuddCompose.o a - cuddDecomp.o a - cuddEssent.o a - cuddExact.o a - cuddExport.o a - cuddGenCof.o a - cuddGenetic.o a - cuddGroup.o a - cuddHarwell.o a - cuddInit.o a - cuddInteract.o a - cuddLCache.o a - cuddLevelQ.o a - cuddLinear.o a - cuddLiteral.o a - cuddMatMult.o a - cuddPriority.o a - cuddRead.o a - cuddRef.o a - cuddReorder.o a - cuddSat.o a - cuddSign.o a - cuddSolve.o a - cuddSplit.o a - cuddSubsetHB.o a - cuddSubsetSP.o a - cuddSymmetry.o a - cuddTable.o a - cuddUtil.o a - cuddWindow.o a - cuddZddCount.o a - cuddZddFuncs.o a - cuddZddGroup.o a - cuddZddIsop.o a - cuddZddLin.o a - cuddZddMisc.o a - cuddZddPort.o a - cuddZddReord.o a - cuddZddSetop.o a - cuddZddSymm.o a - cuddZddUtil.o ranlib libcudd.a make[1]: Leaving directory '/builddir/build/BUILD/cudd-2.5.1/cudd' Making static in dddmp ... make[1]: Entering directory '/builddir/build/BUILD/cudd-2.5.1/dddmp' gcc -c dddmpStoreBdd.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -DHAVE_IEEE_754 -DBSD -Wl,-z,relro -specs=/usr/lib/rpm/redhat/redhat-hardened-ld gcc -c dddmpStoreAdd.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -DHAVE_IEEE_754 -DBSD -Wl,-z,relro -specs=/usr/lib/rpm/redhat/redhat-hardened-ld gcc -c dddmpStoreCnf.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -DHAVE_IEEE_754 -DBSD -Wl,-z,relro -specs=/usr/lib/rpm/redhat/redhat-hardened-ld gcc -c dddmpLoad.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -DHAVE_IEEE_754 -DBSD -Wl,-z,relro -specs=/usr/lib/rpm/redhat/redhat-hardened-ld gcc -c dddmpLoadCnf.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -DHAVE_IEEE_754 -DBSD -Wl,-z,relro -specs=/usr/lib/rpm/redhat/redhat-hardened-ld gcc -c dddmpNodeBdd.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -DHAVE_IEEE_754 -DBSD -Wl,-z,relro -specs=/usr/lib/rpm/redhat/redhat-hardened-ld gcc -c dddmpNodeAdd.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -DHAVE_IEEE_754 -DBSD -Wl,-z,relro -specs=/usr/lib/rpm/redhat/redhat-hardened-ld gcc -c dddmpNodeCnf.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -DHAVE_IEEE_754 -DBSD -Wl,-z,relro -specs=/usr/lib/rpm/redhat/redhat-hardened-ld gcc -c dddmpStoreMisc.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -DHAVE_IEEE_754 -DBSD -Wl,-z,relro -specs=/usr/lib/rpm/redhat/redhat-hardened-ld gcc -c dddmpUtil.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -DHAVE_IEEE_754 -DBSD -Wl,-z,relro -specs=/usr/lib/rpm/redhat/redhat-hardened-ld gcc -c dddmpBinary.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -DHAVE_IEEE_754 -DBSD -Wl,-z,relro -specs=/usr/lib/rpm/redhat/redhat-hardened-ld gcc -c dddmpConvert.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -DHAVE_IEEE_754 -DBSD -Wl,-z,relro -specs=/usr/lib/rpm/redhat/redhat-hardened-ld gcc -c dddmpDbg.c -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -DHAVE_IEEE_754 -DBSD -Wl,-z,relro -specs=/usr/lib/rpm/redhat/redhat-hardened-ld ar rv libdddmp.a dddmpStoreBdd.o dddmpStoreAdd.o dddmpStoreCnf.o dddmpLoad.o dddmpLoadCnf.o dddmpNodeBdd.o dddmpNodeAdd.o dddmpNodeCnf.o dddmpStoreMisc.o dddmpUtil.o dddmpBinary.o dddmpConvert.o dddmpDbg.o ar: creating libdddmp.a a - dddmpStoreBdd.o a - dddmpStoreAdd.o a - dddmpStoreCnf.o a - dddmpLoad.o a - dddmpLoadCnf.o a - dddmpNodeBdd.o a - dddmpNodeAdd.o a - dddmpNodeCnf.o a - dddmpStoreMisc.o a - dddmpUtil.o a - dddmpBinary.o a - dddmpConvert.o a - dddmpDbg.o ranlib libdddmp.a make[1]: Leaving directory '/builddir/build/BUILD/cudd-2.5.1/dddmp' Making static in nanotrav ... make[1]: Entering directory '/builddir/build/BUILD/cudd-2.5.1/nanotrav' make[1]: Nothing to be done for 'static'. make[1]: Leaving directory '/builddir/build/BUILD/cudd-2.5.1/nanotrav' Making static in obj ... make[1]: Entering directory '/builddir/build/BUILD/cudd-2.5.1/obj' g++ -c cuddObj.cc -I../include -O2 -g -march=armv6 -mfloat-abi=hard -mfpu=vfp -DHAVE_IEEE_754 -DBSD ar rv libcuddobj.a cuddObj.o ar: creating libcuddobj.a a - cuddObj.o ranlib libcuddobj.a make[1]: Leaving directory '/builddir/build/BUILD/cudd-2.5.1/obj' Executing(%install): /bin/sh -e /var/tmp/rpm-tmp.USEx4q + exit 0 + umask 022 + cd /builddir/build/BUILD + '[' /builddir/build/BUILDROOT/cudd-2.5.1-1bs02fc23.arm '!=' / ']' + rm -rf /builddir/build/BUILDROOT/cudd-2.5.1-1bs02fc23.arm ++ dirname /builddir/build/BUILDROOT/cudd-2.5.1-1bs02fc23.arm + mkdir -p /builddir/build/BUILDROOT + mkdir /builddir/build/BUILDROOT/cudd-2.5.1-1bs02fc23.arm + cd cudd-2.5.1 + mkdir -p /builddir/build/BUILDROOT/cudd-2.5.1-1bs02fc23.arm/usr/lib + for slib in '*/*.so' + install -p -m 755 cudd/libcudd.so.2.5.1 /builddir/build/BUILDROOT/cudd-2.5.1-1bs02fc23.arm/usr/lib/ + mv cudd/libcudd.so.2 /builddir/build/BUILDROOT/cudd-2.5.1-1bs02fc23.arm/usr/lib + mv cudd/libcudd.so /builddir/build/BUILDROOT/cudd-2.5.1-1bs02fc23.arm/usr/lib + for slib in '*/*.so' + install -p -m 755 dddmp/libdddmp.so.2.5.1 /builddir/build/BUILDROOT/cudd-2.5.1-1bs02fc23.arm/usr/lib/ + mv dddmp/libdddmp.so.2 /builddir/build/BUILDROOT/cudd-2.5.1-1bs02fc23.arm/usr/lib + mv dddmp/libdddmp.so /builddir/build/BUILDROOT/cudd-2.5.1-1bs02fc23.arm/usr/lib + for slib in '*/*.so' + install -p -m 755 epd/libepd.so.2.5.1 /builddir/build/BUILDROOT/cudd-2.5.1-1bs02fc23.arm/usr/lib/ + mv epd/libepd.so.2 /builddir/build/BUILDROOT/cudd-2.5.1-1bs02fc23.arm/usr/lib + mv epd/libepd.so /builddir/build/BUILDROOT/cudd-2.5.1-1bs02fc23.arm/usr/lib + for slib in '*/*.so' + install -p -m 755 mtr/libmtr.so.2.5.1 /builddir/build/BUILDROOT/cudd-2.5.1-1bs02fc23.arm/usr/lib/ + mv mtr/libmtr.so.2 /builddir/build/BUILDROOT/cudd-2.5.1-1bs02fc23.arm/usr/lib + mv mtr/libmtr.so /builddir/build/BUILDROOT/cudd-2.5.1-1bs02fc23.arm/usr/lib + for slib in '*/*.so' + install -p -m 755 obj/libcuddobj.so.2.5.1 /builddir/build/BUILDROOT/cudd-2.5.1-1bs02fc23.arm/usr/lib/ + mv obj/libcuddobj.so.2 /builddir/build/BUILDROOT/cudd-2.5.1-1bs02fc23.arm/usr/lib + mv obj/libcuddobj.so /builddir/build/BUILDROOT/cudd-2.5.1-1bs02fc23.arm/usr/lib + for slib in '*/*.so' + install -p -m 755 st/libcuddst.so.2.5.1 /builddir/build/BUILDROOT/cudd-2.5.1-1bs02fc23.arm/usr/lib/ + mv st/libcuddst.so.2 /builddir/build/BUILDROOT/cudd-2.5.1-1bs02fc23.arm/usr/lib + mv st/libcuddst.so /builddir/build/BUILDROOT/cudd-2.5.1-1bs02fc23.arm/usr/lib + for slib in '*/*.so' + install -p -m 755 util/libcuddutil.so.2.5.1 /builddir/build/BUILDROOT/cudd-2.5.1-1bs02fc23.arm/usr/lib/ + mv util/libcuddutil.so.2 /builddir/build/BUILDROOT/cudd-2.5.1-1bs02fc23.arm/usr/lib + mv util/libcuddutil.so /builddir/build/BUILDROOT/cudd-2.5.1-1bs02fc23.arm/usr/lib + mkdir -p /builddir/build/BUILDROOT/cudd-2.5.1-1bs02fc23.arm/usr/lib/cudd + for slib in '*/*.a' + install -p -m 644 cudd/libcudd.a /builddir/build/BUILDROOT/cudd-2.5.1-1bs02fc23.arm/usr/lib/cudd/ + for slib in '*/*.a' + install -p -m 644 dddmp/libdddmp.a /builddir/build/BUILDROOT/cudd-2.5.1-1bs02fc23.arm/usr/lib/cudd/ + for slib in '*/*.a' + install -p -m 644 epd/libepd.a /builddir/build/BUILDROOT/cudd-2.5.1-1bs02fc23.arm/usr/lib/cudd/ + for slib in '*/*.a' + install -p -m 644 mtr/libmtr.a /builddir/build/BUILDROOT/cudd-2.5.1-1bs02fc23.arm/usr/lib/cudd/ + for slib in '*/*.a' + install -p -m 644 obj/libcuddobj.a /builddir/build/BUILDROOT/cudd-2.5.1-1bs02fc23.arm/usr/lib/cudd/ + for slib in '*/*.a' + install -p -m 644 st/libst.a /builddir/build/BUILDROOT/cudd-2.5.1-1bs02fc23.arm/usr/lib/cudd/ + for slib in '*/*.a' + install -p -m 644 util/libutil.a /builddir/build/BUILDROOT/cudd-2.5.1-1bs02fc23.arm/usr/lib/cudd/ + mkdir -p /builddir/build/BUILDROOT/cudd-2.5.1-1bs02fc23.arm/usr/include/cudd + for hdr in 'include/*' + install -p -m 644 include/cstringstream.h /builddir/build/BUILDROOT/cudd-2.5.1-1bs02fc23.arm/usr/include/cudd/ + for hdr in 'include/*' + install -p -m 644 include/cudd.h /builddir/build/BUILDROOT/cudd-2.5.1-1bs02fc23.arm/usr/include/cudd/ + for hdr in 'include/*' + install -p -m 644 include/cuddInt.h /builddir/build/BUILDROOT/cudd-2.5.1-1bs02fc23.arm/usr/include/cudd/ + for hdr in 'include/*' + install -p -m 644 include/cuddObj.hh /builddir/build/BUILDROOT/cudd-2.5.1-1bs02fc23.arm/usr/include/cudd/ + for hdr in 'include/*' + install -p -m 644 include/dddmp.h /builddir/build/BUILDROOT/cudd-2.5.1-1bs02fc23.arm/usr/include/cudd/ + for hdr in 'include/*' + install -p -m 644 include/epd.h /builddir/build/BUILDROOT/cudd-2.5.1-1bs02fc23.arm/usr/include/cudd/ + for hdr in 'include/*' + install -p -m 644 include/mnemosyne.h /builddir/build/BUILDROOT/cudd-2.5.1-1bs02fc23.arm/usr/include/cudd/ + for hdr in 'include/*' + install -p -m 644 include/mtr.h /builddir/build/BUILDROOT/cudd-2.5.1-1bs02fc23.arm/usr/include/cudd/ + for hdr in 'include/*' + install -p -m 644 include/st.h /builddir/build/BUILDROOT/cudd-2.5.1-1bs02fc23.arm/usr/include/cudd/ + for hdr in 'include/*' + install -p -m 644 include/util.h /builddir/build/BUILDROOT/cudd-2.5.1-1bs02fc23.arm/usr/include/cudd/ + mkdir -p /builddir/build/BUILDROOT/cudd-2.5.1-1bs02fc23.arm/usr/bin + install -p -m 0755 nanotrav/nanotrav /builddir/build/BUILDROOT/cudd-2.5.1-1bs02fc23.arm/usr/bin + mkdir -p /builddir/build/BUILDROOT/cudd-2.5.1-1bs02fc23.arm/usr/share/man/man1 + install -p -m 0644 nanotrav/nanotrav.1 /builddir/build/BUILDROOT/cudd-2.5.1-1bs02fc23.arm/usr/share/man/man1 + mkdir doc + mv cudd/doc doc/cudd + mv dddmp/doc doc/dddmp + mv dddmp/README.dddmp dddmp/README.testdddmp dddmp/RELEASE_NOTES doc/dddmp + mv mtr/doc doc/mtr + mv nanotrav/doc doc/nanotrav + mv nanotrav/README doc/nanotrav + mv st/doc doc/st + /usr/lib/rpm/find-debuginfo.sh --strict-build-id -m --run-dwz --dwz-low-mem-die-limit 10000000 --dwz-max-die-limit 50000000 /builddir/build/BUILD/cudd-2.5.1 extracting debug info from /builddir/build/BUILDROOT/cudd-2.5.1-1bs02fc23.arm/usr/lib/libcuddutil.so.2.5.1 extracting debug info from /builddir/build/BUILDROOT/cudd-2.5.1-1bs02fc23.arm/usr/lib/libepd.so.2.5.1 extracting debug info from /builddir/build/BUILDROOT/cudd-2.5.1-1bs02fc23.arm/usr/lib/libcuddobj.so.2.5.1 extracting debug info from /builddir/build/BUILDROOT/cudd-2.5.1-1bs02fc23.arm/usr/lib/libdddmp.so.2.5.1 extracting debug info from /builddir/build/BUILDROOT/cudd-2.5.1-1bs02fc23.arm/usr/lib/libcudd.so.2.5.1 extracting debug info from /builddir/build/BUILDROOT/cudd-2.5.1-1bs02fc23.arm/usr/lib/libmtr.so.2.5.1 extracting debug info from /builddir/build/BUILDROOT/cudd-2.5.1-1bs02fc23.arm/usr/lib/libcuddst.so.2.5.1 extracting debug info from /builddir/build/BUILDROOT/cudd-2.5.1-1bs02fc23.arm/usr/bin/nanotrav /usr/lib/rpm/sepdebugcrcfix: Updated 8 CRC32s, 0 CRC32s did match. symlinked /usr/lib/debug/usr/lib/libcuddst.so.2.5.1.debug to /usr/lib/debug/usr/lib/libcuddst.so.2.debug symlinked /usr/lib/debug/usr/lib/libdddmp.so.2.5.1.debug to /usr/lib/debug/usr/lib/libdddmp.so.2.debug symlinked /usr/lib/debug/usr/lib/libcuddutil.so.2.5.1.debug to /usr/lib/debug/usr/lib/libcuddutil.so.debug symlinked /usr/lib/debug/usr/lib/libepd.so.2.5.1.debug to /usr/lib/debug/usr/lib/libepd.so.debug symlinked /usr/lib/debug/usr/lib/libcuddobj.so.2.5.1.debug to /usr/lib/debug/usr/lib/libcuddobj.so.2.debug symlinked /usr/lib/debug/usr/lib/libcuddst.so.2.5.1.debug to /usr/lib/debug/usr/lib/libcuddst.so.debug symlinked /usr/lib/debug/usr/lib/libcudd.so.2.5.1.debug to /usr/lib/debug/usr/lib/libcudd.so.2.debug symlinked /usr/lib/debug/usr/lib/libcuddobj.so.2.5.1.debug to /usr/lib/debug/usr/lib/libcuddobj.so.debug symlinked /usr/lib/debug/usr/lib/libmtr.so.2.5.1.debug to /usr/lib/debug/usr/lib/libmtr.so.2.debug symlinked /usr/lib/debug/usr/lib/libcuddutil.so.2.5.1.debug to /usr/lib/debug/usr/lib/libcuddutil.so.2.debug symlinked /usr/lib/debug/usr/lib/libepd.so.2.5.1.debug to /usr/lib/debug/usr/lib/libepd.so.2.debug symlinked /usr/lib/debug/usr/lib/libmtr.so.2.5.1.debug to /usr/lib/debug/usr/lib/libmtr.so.debug symlinked /usr/lib/debug/usr/lib/libcudd.so.2.5.1.debug to /usr/lib/debug/usr/lib/libcudd.so.debug symlinked /usr/lib/debug/usr/lib/libdddmp.so.2.5.1.debug to /usr/lib/debug/usr/lib/libdddmp.so.debug 6484 blocks + /usr/lib/rpm/check-buildroot + /usr/lib/rpm/brp-compress + /usr/lib/rpm/brp-strip-static-archive /usr/bin/strip + /usr/lib/rpm/brp-python-bytecompile /usr/bin/python 1 + /usr/lib/rpm/brp-python-hardlink + /usr/lib/rpm/redhat/brp-java-repack-jars Processing files: cudd-2.5.1-1bs02fc23.armv6hl Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.pg5isQ + umask 022 + cd /builddir/build/BUILD + cd cudd-2.5.1 + DOCDIR=/builddir/build/BUILDROOT/cudd-2.5.1-1bs02fc23.arm/usr/share/doc/cudd + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/cudd-2.5.1-1bs02fc23.arm/usr/share/doc/cudd + cp -pr README /builddir/build/BUILDROOT/cudd-2.5.1-1bs02fc23.arm/usr/share/doc/cudd + cp -pr RELEASE.NOTES /builddir/build/BUILDROOT/cudd-2.5.1-1bs02fc23.arm/usr/share/doc/cudd + cp -pr doc/nanotrav /builddir/build/BUILDROOT/cudd-2.5.1-1bs02fc23.arm/usr/share/doc/cudd + exit 0 Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.wVkhrg + umask 022 + cd /builddir/build/BUILD + cd cudd-2.5.1 + LICENSEDIR=/builddir/build/BUILDROOT/cudd-2.5.1-1bs02fc23.arm/usr/share/licenses/cudd + export LICENSEDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/cudd-2.5.1-1bs02fc23.arm/usr/share/licenses/cudd + cp -pr LICENSE /builddir/build/BUILDROOT/cudd-2.5.1-1bs02fc23.arm/usr/share/licenses/cudd + exit 0 Provides: cudd = 2.5.1-1bs02fc23 cudd(armv6hl-32) = 2.5.1-1bs02fc23 libcudd.so.2 libcuddobj.so.2 libcuddst.so.2 libcuddutil.so.2 libdddmp.so.2 libepd.so.2 libmtr.so.2 Requires(interp): /sbin/ldconfig /sbin/ldconfig Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires(post): /sbin/ldconfig Requires(postun): /sbin/ldconfig Requires: libc.so.6 libc.so.6(GLIBC_2.4) libc.so.6(GLIBC_2.7) libcudd.so.2 libcuddst.so.2 libcuddutil.so.2 libdddmp.so.2 libepd.so.2 libgcc_s.so.1 libgcc_s.so.1(GCC_3.5) libm.so.6 libm.so.6(GLIBC_2.4) libmtr.so.2 libstdc++.so.6 libstdc++.so.6(CXXABI_1.3) libstdc++.so.6(CXXABI_ARM_1.3.3) libstdc++.so.6(GLIBCXX_3.4) libstdc++.so.6(GLIBCXX_3.4.11) libstdc++.so.6(GLIBCXX_3.4.20) libstdc++.so.6(GLIBCXX_3.4.21) libstdc++.so.6(GLIBCXX_3.4.9) rtld(GNU_HASH) Processing files: cudd-devel-2.5.1-1bs02fc23.armv6hl Executing(%doc): /bin/sh -e /var/tmp/rpm-tmp.j8S977 + umask 022 + cd /builddir/build/BUILD + cd cudd-2.5.1 + DOCDIR=/builddir/build/BUILDROOT/cudd-2.5.1-1bs02fc23.arm/usr/share/doc/cudd-devel + export DOCDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/cudd-2.5.1-1bs02fc23.arm/usr/share/doc/cudd-devel + cp -pr README /builddir/build/BUILDROOT/cudd-2.5.1-1bs02fc23.arm/usr/share/doc/cudd-devel + cp -pr doc/cudd /builddir/build/BUILDROOT/cudd-2.5.1-1bs02fc23.arm/usr/share/doc/cudd-devel + cp -pr doc/dddmp /builddir/build/BUILDROOT/cudd-2.5.1-1bs02fc23.arm/usr/share/doc/cudd-devel + cp -pr doc/mtr /builddir/build/BUILDROOT/cudd-2.5.1-1bs02fc23.arm/usr/share/doc/cudd-devel + cp -pr doc/st /builddir/build/BUILDROOT/cudd-2.5.1-1bs02fc23.arm/usr/share/doc/cudd-devel + exit 0 Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.MunzX5 + umask 022 + cd /builddir/build/BUILD + cd cudd-2.5.1 + LICENSEDIR=/builddir/build/BUILDROOT/cudd-2.5.1-1bs02fc23.arm/usr/share/licenses/cudd-devel + export LICENSEDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/cudd-2.5.1-1bs02fc23.arm/usr/share/licenses/cudd-devel + cp -pr LICENSE /builddir/build/BUILDROOT/cudd-2.5.1-1bs02fc23.arm/usr/share/licenses/cudd-devel + exit 0 Provides: cudd-devel = 2.5.1-1bs02fc23 cudd-devel(armv6hl-32) = 2.5.1-1bs02fc23 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Requires: libcudd.so.2 libcuddobj.so.2 libcuddst.so.2 libcuddutil.so.2 libdddmp.so.2 libepd.so.2 libmtr.so.2 Processing files: cudd-static-2.5.1-1bs02fc23.armv6hl Executing(%license): /bin/sh -e /var/tmp/rpm-tmp.ObFdgz + umask 022 + cd /builddir/build/BUILD + cd cudd-2.5.1 + LICENSEDIR=/builddir/build/BUILDROOT/cudd-2.5.1-1bs02fc23.arm/usr/share/licenses/cudd-static + export LICENSEDIR + /usr/bin/mkdir -p /builddir/build/BUILDROOT/cudd-2.5.1-1bs02fc23.arm/usr/share/licenses/cudd-static + cp -pr LICENSE /builddir/build/BUILDROOT/cudd-2.5.1-1bs02fc23.arm/usr/share/licenses/cudd-static + exit 0 Provides: cudd-static = 2.5.1-1bs02fc23 cudd-static(armv6hl-32) = 2.5.1-1bs02fc23 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Processing files: cudd-debuginfo-2.5.1-1bs02fc23.armv6hl Provides: cudd-debuginfo = 2.5.1-1bs02fc23 cudd-debuginfo(armv6hl-32) = 2.5.1-1bs02fc23 Requires(rpmlib): rpmlib(CompressedFileNames) <= 3.0.4-1 rpmlib(FileDigests) <= 4.6.0-1 rpmlib(PayloadFilesHavePrefix) <= 4.0-1 Checking for unpackaged file(s): /usr/lib/rpm/check-files /builddir/build/BUILDROOT/cudd-2.5.1-1bs02fc23.arm Wrote: /builddir/build/RPMS/cudd-2.5.1-1bs02fc23.armv6hl.rpm Wrote: /builddir/build/RPMS/cudd-devel-2.5.1-1bs02fc23.armv6hl.rpm Wrote: /builddir/build/RPMS/cudd-static-2.5.1-1bs02fc23.armv6hl.rpm Wrote: /builddir/build/RPMS/cudd-debuginfo-2.5.1-1bs02fc23.armv6hl.rpm Executing(%clean): /bin/sh -e /var/tmp/rpm-tmp.l7orUF + umask 022 + cd /builddir/build/BUILD + cd cudd-2.5.1 + /usr/bin/rm -rf /builddir/build/BUILDROOT/cudd-2.5.1-1bs02fc23.arm + exit 0 Child return code was: 0 LEAVE do -->