Powered by ELF. Your IP: 3.232.133.141 | NuSMV fcfc0f66-ab6a-43c8-a584-c2294bfd0394Toc:- error 1
Solver_C.C:44:8: error: expected unqualified-id before user-defined string literal
- error 2
make[1]: *** [../mtl/template.mk:63: Solver_C.or] Error 1
- error 3
configure: error: Header file "Solver_C.h" has not been found in "/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/MiniSat_v070721".
- error 4
error: Bad exit status from /tmp/B.oTVuBG/BUILD/tmp/rpm-tmp.66652 (%build)
- error 5
RPM build errors:
- error 6
error: No files produced.
Content:- For complete changelog see: http://git.pld-linux.org/?p=packages/NuSMV.git;a=log;h=master
* Thu Oct 17 2019 Arkadiusz MiĆkiewicz <arekm@maven.pl> d12eb13 - release 11 (by relup.sh)
+ rpm -Uhv --nodeps --define '_topdir /tmp/B.oTVuBG' --define '_specdir %{_topdir}' --define '_sourcedir %{_specdir}' --define '_rpmdir %{_topdir}/RPMS' --define '_builddir %{_topdir}/BUILD' NuSMV-2.5.4-11.src.rpm
Preparing... ##################################################
NuSMV ##################################################
+ rm -f NuSMV-2.5.4-11.src.rpm
+ install -m 700 -d /tmp/B.oTVuBG/BUILD/tmp
+ TMPDIR=/tmp/B.oTVuBG/BUILD/tmp
+ exec nice -n 0 rpmbuild -bp --short-circuit --nodeps --define '_topdir /tmp/B.oTVuBG' --define '_specdir %{_topdir}' --define '_sourcedir %{_specdir}' --define '_rpmdir %{_topdir}/RPMS' --define '_builddir %{_topdir}/BUILD' --target x86_64-pld-linux --define 'prep exit 0' /tmp/B.oTVuBG/NuSMV.spec
Building target platforms: x86_64-pld-linux
checking BuildConflict-ing packages
no BuildConflicts found
checking BR
rpm: Building target platforms: x86_64-pld-linux
no BR needed
building RPM using: set -ex; : build-id: fcfc0f66-ab6a-43c8-a584-c2294bfd0394; TMPDIR=/tmp/B.oTVuBG/BUILD/tmp exec nice -n 0 rpmbuild -bb --define '_smp_mflags -j9' --define '_make_opts -Otarget' --define '_pld_builder 1' --define '_topdir /tmp/B.oTVuBG' --define '_specdir %{_topdir}' --define '_sourcedir %{_specdir}' --define '_rpmdir %{_topdir}/RPMS' --define '_builddir %{_topdir}/BUILD' --target x86_64-pld-linux /tmp/B.oTVuBG/NuSMV.spec
+ : build-id: fcfc0f66-ab6a-43c8-a584-c2294bfd0394
+ TMPDIR=/tmp/B.oTVuBG/BUILD/tmp
+ exec nice -n 0 rpmbuild -bb --define '_smp_mflags -j9' --define '_make_opts -Otarget' --define '_pld_builder 1' --define '_topdir /tmp/B.oTVuBG' --define '_specdir %{_topdir}' --define '_sourcedir %{_specdir}' --define '_rpmdir %{_topdir}/RPMS' --define '_builddir %{_topdir}/BUILD' --target x86_64-pld-linux /tmp/B.oTVuBG/NuSMV.spec
Building target platforms: x86_64-pld-linux
Executing(%prep): /bin/sh -e /tmp/B.oTVuBG/BUILD/tmp/rpm-tmp.30887
+ umask 022
+ cd /tmp/B.oTVuBG/BUILD
+ cd /tmp/B.oTVuBG/BUILD
+ rm -rf NuSMV-2.5.4
+ /usr/bin/gzip -dc /tmp/B.oTVuBG/NuSMV-2.5.4.tar.gz
+ /bin/tar -xf -
+ STATUS=0
+ '[' 0 -ne 0 ']'
+ cd NuSMV-2.5.4
+ /bin/id -u
+ '[' 1000 '=' 0 ']'
+ /bin/id -u
+ '[' 1000 '=' 0 ']'
+ /bin/chmod -Rf a+rX,u+w,g-w,o-w .
+ install /tmp/B.oTVuBG/minisat2-070721.zip MiniSat/
+ cd MiniSat
+ unzip -q minisat2-070721.zip
+ cd ..
+ install /tmp/B.oTVuBG/zchaff.2008.10.12.zip zchaff/
+ echo 'Patch #0 (NuSMV-build.patch):'
Patch #0 (NuSMV-build.patch):
+ '[' -f /tmp/B.oTVuBG/NuSMV-build.patch ']'
+ /bin/cat /tmp/B.oTVuBG/NuSMV-build.patch
+ /usr/bin/patch -s -p1
+ echo 'Patch #1 (NuSMV-solvers.patch):'
Patch #1 (NuSMV-solvers.patch):
+ '[' -f /tmp/B.oTVuBG/NuSMV-solvers.patch ']'
+ /bin/cat /tmp/B.oTVuBG/NuSMV-solvers.patch
+ /usr/bin/patch -s -p1
+ echo 'Patch #2 (format-security.patch):'
Patch #2 (format-security.patch):
+ '[' -f /tmp/B.oTVuBG/format-security.patch ']'
+ /bin/cat /tmp/B.oTVuBG/format-security.patch
+ /usr/bin/patch -s -p1
+ echo 'Patch #3 (fork.patch):'
Patch #3 (fork.patch):
+ '[' -f /tmp/B.oTVuBG/fork.patch ']'
+ /bin/cat /tmp/B.oTVuBG/fork.patch
+ /usr/bin/patch -s -p1
+ exit 0
Executing(%build): /bin/sh -e /tmp/B.oTVuBG/BUILD/tmp/rpm-tmp.66652
TMP=/home/users/builder/tmp
HOME=/home/users/builder
PATH=/home/users/builder/GNUstep/Tools:/usr/local/bin:/usr/bin:/bin:/home/users/builder/bin
TMPDIR=/tmp/B.oTVuBG/BUILD/tmp
+ umask 022
+ cd /tmp/B.oTVuBG/BUILD
+ cd NuSMV-2.5.4
+ ICFLAGS='-O2 -fwrapv -pipe -Wformat -Werror=format-security -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector-strong --param=ssp-buffer-size=4 -Werror=trampolines -fPIC -march=x86-64 -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -fPIC'
+ export ICFLAGS
+ cd MiniSat/
+ OPTFLAGS='-O2 -fwrapv -pipe -Wformat -Werror=format-security -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector-strong --param=ssp-buffer-size=4 -Werror=trampolines -fPIC -march=x86-64 -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -fPIC' COPTIMIZE='-O2 -fwrapv -pipe -Wformat -Werror=format-security -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector-strong --param=ssp-buffer-size=4 -Werror=trampolines -fPIC -march=x86-64 -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -fPIC' ./build.sh
patching file minisat/core/depend.mk
patching file minisat/core/Solver.C
patching file minisat/core/Solver_C.C
patching file minisat/core/Solver_C.h
patching file minisat/core/Solver.h
patching file minisat/Makefile
patching file minisat/mtl/template.mk
Hunk #2 succeeded at 60 (offset -1 lines).
Hunk #3 succeeded at 81 (offset -1 lines).
patching file minisat/core/Makefile
patching file minisat/simp/Makefile
Hunk #1 succeeded at 5 with fuzz 1.
patching file minisat/simp/SimpSolver.C
patching file minisat/simp/Solver_C.C
patching file minisat/simp/Solver_C.h
Building minisat using <make lib> ...
cd simp && make lib && ranlib libminisat.a
make[1]: Entering directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/MiniSat/minisat/simp'
Making dependencies ...
g++ -I../mtl -I../core -Wall -ffloat-store -MM Solver_C.C SimpSolver.C > depend.mk
Compiling: Solver_C.or ( Solver_C.C )
g++ -I../mtl -I../core -Wall -ffloat-store -O2 -fwrapv -pipe -Wformat -Werror=format-security -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector-strong --param=ssp-buffer-size=4 -Werror=trampolines -fPIC -march=x86-64 -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -fPIC -D NDEBUG -c -o Solver_C.or Solver_C.C
Solver_C.C:44:8: error: expected unqualified-id before user-defined string literal
44 | extern "C"void MiniSat_Delete(MiniSat_ptr ms)
| ^~~~~~~
make[1]: *** [../mtl/template.mk:63: Solver_C.or] Error 1
make[1]: Leaving directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/MiniSat/minisat/simp'
make: *** [Makefile:28: simp/libminisat.a] Error 2
+ cd ../cudd-2.4.1.1
+ cp -f Makefile Makefile_32bit
+ cp -f Makefile_64bit Makefile
+ /usr/bin/make -Otarget -j9
sh ./setup.sh
Setting up cudd... Done
Making cudd ...
make[1]: Entering directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
gcc -Wall -c cuddAddFind.c -I../include -O2 -fwrapv -pipe -Wformat -Werror=format-security -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector-strong --param=ssp-buffer-size=4 -Werror=trampolines -fPIC -march=x86-64 -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -fPIC -DHAVE_IEEE_754 -DBSD -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4
make[1]: Leaving directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
make[1]: Entering directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
gcc -Wall -c cuddAndAbs.c -I../include -O2 -fwrapv -pipe -Wformat -Werror=format-security -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector-strong --param=ssp-buffer-size=4 -Werror=trampolines -fPIC -march=x86-64 -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -fPIC -DHAVE_IEEE_754 -DBSD -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4
make[1]: Leaving directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
make[1]: Entering directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
gcc -Wall -c cuddAddIte.c -I../include -O2 -fwrapv -pipe -Wformat -Werror=format-security -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector-strong --param=ssp-buffer-size=4 -Werror=trampolines -fPIC -march=x86-64 -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -fPIC -DHAVE_IEEE_754 -DBSD -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4
make[1]: Leaving directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
make[1]: Entering directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
gcc -Wall -c cuddBddOp.c -I../include -O2 -fwrapv -pipe -Wformat -Werror=format-security -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector-strong --param=ssp-buffer-size=4 -Werror=trampolines -fPIC -march=x86-64 -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -fPIC -DHAVE_IEEE_754 -DBSD -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4
make[1]: Leaving directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
make[1]: Entering directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
gcc -Wall -c cuddBddAbs.c -I../include -O2 -fwrapv -pipe -Wformat -Werror=format-security -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector-strong --param=ssp-buffer-size=4 -Werror=trampolines -fPIC -march=x86-64 -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -fPIC -DHAVE_IEEE_754 -DBSD -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4
make[1]: Leaving directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
make[1]: Entering directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
gcc -Wall -c cuddAnneal.c -I../include -O2 -fwrapv -pipe -Wformat -Werror=format-security -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector-strong --param=ssp-buffer-size=4 -Werror=trampolines -fPIC -march=x86-64 -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -fPIC -DHAVE_IEEE_754 -DBSD -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4
make[1]: Leaving directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
make[1]: Entering directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
gcc -Wall -c cuddApprox.c -I../include -O2 -fwrapv -pipe -Wformat -Werror=format-security -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector-strong --param=ssp-buffer-size=4 -Werror=trampolines -fPIC -march=x86-64 -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -fPIC -DHAVE_IEEE_754 -DBSD -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4
make[1]: Leaving directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
make[1]: Entering directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
gcc -Wall -c cuddBridge.c -I../include -O2 -fwrapv -pipe -Wformat -Werror=format-security -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector-strong --param=ssp-buffer-size=4 -Werror=trampolines -fPIC -march=x86-64 -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -fPIC -DHAVE_IEEE_754 -DBSD -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4
make[1]: Leaving directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
make[1]: Entering directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
gcc -Wall -c cuddBddCorr.c -I../include -O2 -fwrapv -pipe -Wformat -Werror=format-security -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector-strong --param=ssp-buffer-size=4 -Werror=trampolines -fPIC -march=x86-64 -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -fPIC -DHAVE_IEEE_754 -DBSD -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4
make[1]: Leaving directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
make[1]: Entering directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
gcc -Wall -c cuddBddIte.c -I../include -O2 -fwrapv -pipe -Wformat -Werror=format-security -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector-strong --param=ssp-buffer-size=4 -Werror=trampolines -fPIC -march=x86-64 -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -fPIC -DHAVE_IEEE_754 -DBSD -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4
make[1]: Leaving directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
make[1]: Entering directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
gcc -Wall -c cuddAddOp.c -I../include -O2 -fwrapv -pipe -Wformat -Werror=format-security -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector-strong --param=ssp-buffer-size=4 -Werror=trampolines -fPIC -march=x86-64 -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -fPIC -DHAVE_IEEE_754 -DBSD -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4
make[1]: Leaving directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
make[1]: Entering directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
gcc -Wall -c cuddDecomp.c -I../include -O2 -fwrapv -pipe -Wformat -Werror=format-security -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector-strong --param=ssp-buffer-size=4 -Werror=trampolines -fPIC -march=x86-64 -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -fPIC -DHAVE_IEEE_754 -DBSD -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4
make[1]: Leaving directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
make[1]: Entering directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
gcc -Wall -c cuddClip.c -I../include -O2 -fwrapv -pipe -Wformat -Werror=format-security -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector-strong --param=ssp-buffer-size=4 -Werror=trampolines -fPIC -march=x86-64 -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -fPIC -DHAVE_IEEE_754 -DBSD -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4
make[1]: Leaving directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
make[1]: Entering directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
gcc -Wall -c cuddCache.c -I../include -O2 -fwrapv -pipe -Wformat -Werror=format-security -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector-strong --param=ssp-buffer-size=4 -Werror=trampolines -fPIC -march=x86-64 -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -fPIC -DHAVE_IEEE_754 -DBSD -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4
make[1]: Leaving directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
make[1]: Entering directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
gcc -Wall -c cuddEssent.c -I../include -O2 -fwrapv -pipe -Wformat -Werror=format-security -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector-strong --param=ssp-buffer-size=4 -Werror=trampolines -fPIC -march=x86-64 -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -fPIC -DHAVE_IEEE_754 -DBSD -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4
make[1]: Leaving directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
make[1]: Entering directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
gcc -Wall -c cuddCof.c -I../include -O2 -fwrapv -pipe -Wformat -Werror=format-security -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector-strong --param=ssp-buffer-size=4 -Werror=trampolines -fPIC -march=x86-64 -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -fPIC -DHAVE_IEEE_754 -DBSD -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4
make[1]: Leaving directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
make[1]: Entering directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
gcc -Wall -c cuddCompose.c -I../include -O2 -fwrapv -pipe -Wformat -Werror=format-security -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector-strong --param=ssp-buffer-size=4 -Werror=trampolines -fPIC -march=x86-64 -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -fPIC -DHAVE_IEEE_754 -DBSD -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4
make[1]: Leaving directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
make[1]: Entering directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
gcc -Wall -c cuddCheck.c -I../include -O2 -fwrapv -pipe -Wformat -Werror=format-security -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector-strong --param=ssp-buffer-size=4 -Werror=trampolines -fPIC -march=x86-64 -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -fPIC -DHAVE_IEEE_754 -DBSD -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4
make[1]: Leaving directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
make[1]: Entering directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
gcc -Wall -c cuddAPI.c -I../include -O2 -fwrapv -pipe -Wformat -Werror=format-security -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector-strong --param=ssp-buffer-size=4 -Werror=trampolines -fPIC -march=x86-64 -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -fPIC -DHAVE_IEEE_754 -DBSD -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4
make[1]: Leaving directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
make[1]: Entering directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
gcc -Wall -c cuddInit.c -I../include -O2 -fwrapv -pipe -Wformat -Werror=format-security -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector-strong --param=ssp-buffer-size=4 -Werror=trampolines -fPIC -march=x86-64 -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -fPIC -DHAVE_IEEE_754 -DBSD -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4
make[1]: Leaving directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
make[1]: Entering directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
gcc -Wall -c cuddInteract.c -I../include -O2 -fwrapv -pipe -Wformat -Werror=format-security -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector-strong --param=ssp-buffer-size=4 -Werror=trampolines -fPIC -march=x86-64 -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -fPIC -DHAVE_IEEE_754 -DBSD -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4
make[1]: Leaving directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
make[1]: Entering directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
gcc -Wall -c cuddLevelQ.c -I../include -O2 -fwrapv -pipe -Wformat -Werror=format-security -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector-strong --param=ssp-buffer-size=4 -Werror=trampolines -fPIC -march=x86-64 -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -fPIC -DHAVE_IEEE_754 -DBSD -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4
make[1]: Leaving directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
make[1]: Entering directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
gcc -Wall -c cuddGenCof.c -I../include -O2 -fwrapv -pipe -Wformat -Werror=format-security -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector-strong --param=ssp-buffer-size=4 -Werror=trampolines -fPIC -march=x86-64 -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -fPIC -DHAVE_IEEE_754 -DBSD -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4
make[1]: Leaving directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
make[1]: Entering directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
gcc -Wall -c cuddExact.c -I../include -O2 -fwrapv -pipe -Wformat -Werror=format-security -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector-strong --param=ssp-buffer-size=4 -Werror=trampolines -fPIC -march=x86-64 -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -fPIC -DHAVE_IEEE_754 -DBSD -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4
make[1]: Leaving directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
make[1]: Entering directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
gcc -Wall -c cuddLiteral.c -I../include -O2 -fwrapv -pipe -Wformat -Werror=format-security -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector-strong --param=ssp-buffer-size=4 -Werror=trampolines -fPIC -march=x86-64 -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -fPIC -DHAVE_IEEE_754 -DBSD -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4
make[1]: Leaving directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
make[1]: Entering directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
gcc -Wall -c cuddGenetic.c -I../include -O2 -fwrapv -pipe -Wformat -Werror=format-security -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector-strong --param=ssp-buffer-size=4 -Werror=trampolines -fPIC -march=x86-64 -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -fPIC -DHAVE_IEEE_754 -DBSD -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4
make[1]: Leaving directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
make[1]: Entering directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
gcc -Wall -c cuddExport.c -I../include -O2 -fwrapv -pipe -Wformat -Werror=format-security -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector-strong --param=ssp-buffer-size=4 -Werror=trampolines -fPIC -march=x86-64 -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -fPIC -DHAVE_IEEE_754 -DBSD -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4
make[1]: Leaving directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
make[1]: Entering directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
gcc -Wall -c cuddRef.c -I../include -O2 -fwrapv -pipe -Wformat -Werror=format-security -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector-strong --param=ssp-buffer-size=4 -Werror=trampolines -fPIC -march=x86-64 -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -fPIC -DHAVE_IEEE_754 -DBSD -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4
make[1]: Leaving directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
make[1]: Entering directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
gcc -Wall -c cuddSign.c -I../include -O2 -fwrapv -pipe -Wformat -Werror=format-security -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector-strong --param=ssp-buffer-size=4 -Werror=trampolines -fPIC -march=x86-64 -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -fPIC -DHAVE_IEEE_754 -DBSD -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4
make[1]: Leaving directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
make[1]: Entering directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
gcc -Wall -c cuddSat.c -I../include -O2 -fwrapv -pipe -Wformat -Werror=format-security -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector-strong --param=ssp-buffer-size=4 -Werror=trampolines -fPIC -march=x86-64 -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -fPIC -DHAVE_IEEE_754 -DBSD -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4
make[1]: Leaving directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
make[1]: Entering directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
gcc -Wall -c cuddLCache.c -I../include -O2 -fwrapv -pipe -Wformat -Werror=format-security -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector-strong --param=ssp-buffer-size=4 -Werror=trampolines -fPIC -march=x86-64 -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -fPIC -DHAVE_IEEE_754 -DBSD -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4
make[1]: Leaving directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
make[1]: Entering directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
gcc -Wall -c cuddSolve.c -I../include -O2 -fwrapv -pipe -Wformat -Werror=format-security -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector-strong --param=ssp-buffer-size=4 -Werror=trampolines -fPIC -march=x86-64 -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -fPIC -DHAVE_IEEE_754 -DBSD -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4
make[1]: Leaving directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
make[1]: Entering directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
gcc -Wall -c cuddSplit.c -I../include -O2 -fwrapv -pipe -Wformat -Werror=format-security -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector-strong --param=ssp-buffer-size=4 -Werror=trampolines -fPIC -march=x86-64 -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -fPIC -DHAVE_IEEE_754 -DBSD -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4
make[1]: Leaving directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
make[1]: Entering directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
gcc -Wall -c cuddLinear.c -I../include -O2 -fwrapv -pipe -Wformat -Werror=format-security -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector-strong --param=ssp-buffer-size=4 -Werror=trampolines -fPIC -march=x86-64 -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -fPIC -DHAVE_IEEE_754 -DBSD -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4
cuddLinear.c: In function 'cuddLinearInPlace':
cuddLinear.c:369:12: warning: variable 'oldxkeys' set but not used [-Wunused-but-set-variable]
369 | int oldxkeys, oldykeys;
| ^~~~~~~~
make[1]: Leaving directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
make[1]: Entering directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
gcc -Wall -c cuddGroup.c -I../include -O2 -fwrapv -pipe -Wformat -Werror=format-security -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector-strong --param=ssp-buffer-size=4 -Werror=trampolines -fPIC -march=x86-64 -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -fPIC -DHAVE_IEEE_754 -DBSD -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4
make[1]: Leaving directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
make[1]: Entering directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
gcc -Wall -c cuddZddCount.c -I../include -O2 -fwrapv -pipe -Wformat -Werror=format-security -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector-strong --param=ssp-buffer-size=4 -Werror=trampolines -fPIC -march=x86-64 -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -fPIC -DHAVE_IEEE_754 -DBSD -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4
make[1]: Leaving directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
make[1]: Entering directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
gcc -Wall -c cuddWindow.c -I../include -O2 -fwrapv -pipe -Wformat -Werror=format-security -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector-strong --param=ssp-buffer-size=4 -Werror=trampolines -fPIC -march=x86-64 -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -fPIC -DHAVE_IEEE_754 -DBSD -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4
make[1]: Leaving directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
make[1]: Entering directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
gcc -Wall -c cuddZddFuncs.c -I../include -O2 -fwrapv -pipe -Wformat -Werror=format-security -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector-strong --param=ssp-buffer-size=4 -Werror=trampolines -fPIC -march=x86-64 -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -fPIC -DHAVE_IEEE_754 -DBSD -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4
make[1]: Leaving directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
make[1]: Entering directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
gcc -Wall -c cuddSubsetSP.c -I../include -O2 -fwrapv -pipe -Wformat -Werror=format-security -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector-strong --param=ssp-buffer-size=4 -Werror=trampolines -fPIC -march=x86-64 -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -fPIC -DHAVE_IEEE_754 -DBSD -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4
make[1]: Leaving directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
make[1]: Entering directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
gcc -Wall -c cuddReorder.c -I../include -O2 -fwrapv -pipe -Wformat -Werror=format-security -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector-strong --param=ssp-buffer-size=4 -Werror=trampolines -fPIC -march=x86-64 -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -fPIC -DHAVE_IEEE_754 -DBSD -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4
make[1]: Leaving directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
make[1]: Entering directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
gcc -Wall -c cuddZddMisc.c -I../include -O2 -fwrapv -pipe -Wformat -Werror=format-security -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector-strong --param=ssp-buffer-size=4 -Werror=trampolines -fPIC -march=x86-64 -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -fPIC -DHAVE_IEEE_754 -DBSD -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4
make[1]: Leaving directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
make[1]: Entering directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
gcc -Wall -c cuddSubsetHB.c -I../include -O2 -fwrapv -pipe -Wformat -Werror=format-security -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector-strong --param=ssp-buffer-size=4 -Werror=trampolines -fPIC -march=x86-64 -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -fPIC -DHAVE_IEEE_754 -DBSD -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4
make[1]: Leaving directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
make[1]: Entering directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
gcc -Wall -c cuddZddIsop.c -I../include -O2 -fwrapv -pipe -Wformat -Werror=format-security -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector-strong --param=ssp-buffer-size=4 -Werror=trampolines -fPIC -march=x86-64 -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -fPIC -DHAVE_IEEE_754 -DBSD -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4
make[1]: Leaving directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
make[1]: Entering directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
gcc -Wall -c cuddZddPort.c -I../include -O2 -fwrapv -pipe -Wformat -Werror=format-security -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector-strong --param=ssp-buffer-size=4 -Werror=trampolines -fPIC -march=x86-64 -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -fPIC -DHAVE_IEEE_754 -DBSD -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4
make[1]: Leaving directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
make[1]: Entering directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
gcc -Wall -c cuddZddGroup.c -I../include -O2 -fwrapv -pipe -Wformat -Werror=format-security -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector-strong --param=ssp-buffer-size=4 -Werror=trampolines -fPIC -march=x86-64 -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -fPIC -DHAVE_IEEE_754 -DBSD -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4
make[1]: Leaving directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
make[1]: Entering directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
gcc -Wall -c cuddUtil.c -I../include -O2 -fwrapv -pipe -Wformat -Werror=format-security -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector-strong --param=ssp-buffer-size=4 -Werror=trampolines -fPIC -march=x86-64 -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -fPIC -DHAVE_IEEE_754 -DBSD -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4
make[1]: Leaving directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
make[1]: Entering directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
gcc -Wall -c cuddSymmetry.c -I../include -O2 -fwrapv -pipe -Wformat -Werror=format-security -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector-strong --param=ssp-buffer-size=4 -Werror=trampolines -fPIC -march=x86-64 -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -fPIC -DHAVE_IEEE_754 -DBSD -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4
make[1]: Leaving directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
make[1]: Entering directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
gcc -Wall -c cuddZddLin.c -I../include -O2 -fwrapv -pipe -Wformat -Werror=format-security -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector-strong --param=ssp-buffer-size=4 -Werror=trampolines -fPIC -march=x86-64 -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -fPIC -DHAVE_IEEE_754 -DBSD -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4
make[1]: Leaving directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
make[1]: Entering directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
gcc -Wall -c cuddZddSetop.c -I../include -O2 -fwrapv -pipe -Wformat -Werror=format-security -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector-strong --param=ssp-buffer-size=4 -Werror=trampolines -fPIC -march=x86-64 -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -fPIC -DHAVE_IEEE_754 -DBSD -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4
make[1]: Leaving directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
make[1]: Entering directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
gcc -Wall -c cuddZddReord.c -I../include -O2 -fwrapv -pipe -Wformat -Werror=format-security -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector-strong --param=ssp-buffer-size=4 -Werror=trampolines -fPIC -march=x86-64 -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -fPIC -DHAVE_IEEE_754 -DBSD -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4
make[1]: Leaving directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
make[1]: Entering directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
gcc -Wall -c cuddZddUtil.c -I../include -O2 -fwrapv -pipe -Wformat -Werror=format-security -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector-strong --param=ssp-buffer-size=4 -Werror=trampolines -fPIC -march=x86-64 -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -fPIC -DHAVE_IEEE_754 -DBSD -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4
make[1]: Leaving directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
make[1]: Entering directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
gcc -Wall -c cuddTable.c -I../include -O2 -fwrapv -pipe -Wformat -Werror=format-security -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector-strong --param=ssp-buffer-size=4 -Werror=trampolines -fPIC -march=x86-64 -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -fPIC -DHAVE_IEEE_754 -DBSD -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4
make[1]: Leaving directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
make[1]: Entering directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
gcc -Wall -c cuddZddSymm.c -I../include -O2 -fwrapv -pipe -Wformat -Werror=format-security -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector-strong --param=ssp-buffer-size=4 -Werror=trampolines -fPIC -march=x86-64 -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -fPIC -DHAVE_IEEE_754 -DBSD -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4
make[1]: Leaving directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
make[1]: Entering directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
ar rv libcudd.a cuddAPI.o cuddAddOp.o cuddAddFind.o cuddAddIte.o cuddAndAbs.o cuddBddOp.o cuddAnneal.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 cuddInit.o cuddInteract.o cuddLCache.o cuddLevelQ.o cuddLinear.o cuddLiteral.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 - cuddAddOp.o
a - cuddAddFind.o
a - cuddAddIte.o
a - cuddAndAbs.o
a - cuddBddOp.o
a - cuddAnneal.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 - cuddInit.o
a - cuddInteract.o
a - cuddLCache.o
a - cuddLevelQ.o
a - cuddLinear.o
a - cuddLiteral.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 '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/cudd'
Making mtr ...
make[1]: Entering directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/mtr'
gcc -Wall -c mtrBasic.c -I../include -O2 -fwrapv -pipe -Wformat -Werror=format-security -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector-strong --param=ssp-buffer-size=4 -Werror=trampolines -fPIC -march=x86-64 -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -fPIC -DHAVE_IEEE_754 -DBSD -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4
make[1]: Leaving directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/mtr'
make[1]: Entering directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/mtr'
gcc -Wall -c mtrGroup.c -I../include -O2 -fwrapv -pipe -Wformat -Werror=format-security -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector-strong --param=ssp-buffer-size=4 -Werror=trampolines -fPIC -march=x86-64 -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -fPIC -DHAVE_IEEE_754 -DBSD -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4
make[1]: Leaving directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/mtr'
make[1]: Entering directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/mtr'
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 '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/mtr'
Making st ...
make[1]: Entering directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/st'
gcc -Wall -c st.c -I../include -O2 -fwrapv -pipe -Wformat -Werror=format-security -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector-strong --param=ssp-buffer-size=4 -Werror=trampolines -fPIC -march=x86-64 -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -fPIC -DHAVE_IEEE_754 -DBSD -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4
make[1]: Leaving directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/st'
make[1]: Entering directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/st'
ar rv libst.a st.o
ar: creating libst.a
a - st.o
ranlib libst.a
make[1]: Leaving directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/st'
Making util ...
make[1]: Entering directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/util'
gcc -Wall -c cpu_stats.c -I../include -DUNIX -O2 -fwrapv -pipe -Wformat -Werror=format-security -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector-strong --param=ssp-buffer-size=4 -Werror=trampolines -fPIC -march=x86-64 -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -fPIC -DHAVE_IEEE_754 -DBSD -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4
cpu_stats.c: In function 'util_print_cpu_stats':
cpu_stats.c:39:12: warning: implicit declaration of function 'gethostname' [-Wimplicit-function-declaration]
39 | (void) gethostname(hostname, 256);
| ^~~~~~~~~~~
cpu_stats.c:46:36: warning: implicit declaration of function 'sbrk' [-Wimplicit-function-declaration]
46 | vm_sbrk_data = (long) (((long) sbrk(0) - (long) (&end)) / 1024.0 + 0.5);
| ^~~~
make[1]: Leaving directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/util'
make[1]: Entering directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/util'
gcc -Wall -c cpu_time.c -I../include -DUNIX -O2 -fwrapv -pipe -Wformat -Werror=format-security -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector-strong --param=ssp-buffer-size=4 -Werror=trampolines -fPIC -march=x86-64 -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -fPIC -DHAVE_IEEE_754 -DBSD -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4
make[1]: Leaving directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/util'
make[1]: Entering directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/util'
gcc -Wall -c getopt.c -I../include -DUNIX -O2 -fwrapv -pipe -Wformat -Werror=format-security -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector-strong --param=ssp-buffer-size=4 -Werror=trampolines -fPIC -march=x86-64 -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -fPIC -DHAVE_IEEE_754 -DBSD -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4
make[1]: Leaving directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/util'
make[1]: Entering directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/util'
gcc -Wall -c ptime.c -I../include -DUNIX -O2 -fwrapv -pipe -Wformat -Werror=format-security -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector-strong --param=ssp-buffer-size=4 -Werror=trampolines -fPIC -march=x86-64 -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -fPIC -DHAVE_IEEE_754 -DBSD -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4
make[1]: Leaving directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/util'
make[1]: Entering directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/util'
gcc -Wall -c prtime.c -I../include -DUNIX -O2 -fwrapv -pipe -Wformat -Werror=format-security -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector-strong --param=ssp-buffer-size=4 -Werror=trampolines -fPIC -march=x86-64 -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -fPIC -DHAVE_IEEE_754 -DBSD -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4
make[1]: Leaving directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/util'
make[1]: Entering directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/util'
gcc -Wall -c strsav.c -I../include -DUNIX -O2 -fwrapv -pipe -Wformat -Werror=format-security -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector-strong --param=ssp-buffer-size=4 -Werror=trampolines -fPIC -march=x86-64 -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -fPIC -DHAVE_IEEE_754 -DBSD -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4
make[1]: Leaving directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/util'
make[1]: Entering directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/util'
gcc -Wall -c stub.c -I../include -DUNIX -O2 -fwrapv -pipe -Wformat -Werror=format-security -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector-strong --param=ssp-buffer-size=4 -Werror=trampolines -fPIC -march=x86-64 -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -fPIC -DHAVE_IEEE_754 -DBSD -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4
make[1]: Leaving directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/util'
make[1]: Entering directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/util'
gcc -Wall -c texpand.c -I../include -DUNIX -O2 -fwrapv -pipe -Wformat -Werror=format-security -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector-strong --param=ssp-buffer-size=4 -Werror=trampolines -fPIC -march=x86-64 -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -fPIC -DHAVE_IEEE_754 -DBSD -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4
make[1]: Leaving directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/util'
make[1]: Entering directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/util'
gcc -Wall -c safe_mem.c -I../include -DUNIX -O2 -fwrapv -pipe -Wformat -Werror=format-security -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector-strong --param=ssp-buffer-size=4 -Werror=trampolines -fPIC -march=x86-64 -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -fPIC -DHAVE_IEEE_754 -DBSD -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4
make[1]: Leaving directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/util'
make[1]: Entering directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/util'
gcc -Wall -c tmpfile.c -I../include -DUNIX -O2 -fwrapv -pipe -Wformat -Werror=format-security -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector-strong --param=ssp-buffer-size=4 -Werror=trampolines -fPIC -march=x86-64 -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -fPIC -DHAVE_IEEE_754 -DBSD -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4
tmpfile.c: In function 'tmpfile':
tmpfile.c:31:12: warning: implicit declaration of function 'unlink' [-Wimplicit-function-declaration]
31 | (void) unlink(filename);
| ^~~~~~
make[1]: Leaving directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/util'
make[1]: Entering directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/util'
gcc -Wall -c datalimit.c -I../include -DUNIX -O2 -fwrapv -pipe -Wformat -Werror=format-security -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector-strong --param=ssp-buffer-size=4 -Werror=trampolines -fPIC -march=x86-64 -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -fPIC -DHAVE_IEEE_754 -DBSD -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4
make[1]: Leaving directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/util'
make[1]: Entering directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/util'
gcc -Wall -c pipefork.c -I../include -DUNIX -O2 -fwrapv -pipe -Wformat -Werror=format-security -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector-strong --param=ssp-buffer-size=4 -Werror=trampolines -fPIC -march=x86-64 -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -fPIC -DHAVE_IEEE_754 -DBSD -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4
pipefork.c: In function 'util_pipefork':
pipefork.c:58:12: warning: ignoring return value of 'pipe', declared with attribute warn_unused_result [-Wunused-result]
58 | (void) pipe(topipe);
| ^~~~~~~~~~~~
pipefork.c:59:12: warning: ignoring return value of 'pipe', declared with attribute warn_unused_result [-Wunused-result]
59 | (void) pipe(frompipe);
| ^~~~~~~~~~~~~~
make[1]: Leaving directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/util'
make[1]: Entering directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/util'
gcc -Wall -c pathsearch.c -I../include -DUNIX -O2 -fwrapv -pipe -Wformat -Werror=format-security -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector-strong --param=ssp-buffer-size=4 -Werror=trampolines -fPIC -march=x86-64 -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -fPIC -DHAVE_IEEE_754 -DBSD -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4
pathsearch.c: In function 'check_file':
pathsearch.c:78:10: warning: implicit declaration of function 'access' [-Wimplicit-function-declaration]
78 | return access(filename, access_mode) == 0;
| ^~~~~~
make[1]: Leaving directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/util'
make[1]: Entering directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/util'
ar rv libutil.a cpu_time.o cpu_stats.o getopt.o safe_mem.o strsav.o texpand.o ptime.o prtime.o pipefork.o pathsearch.o stub.o tmpfile.o datalimit.o
ar: creating libutil.a
a - cpu_time.o
a - cpu_stats.o
a - getopt.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 - tmpfile.o
a - datalimit.o
ranlib libutil.a
make[1]: Leaving directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/util'
Making epd ...
make[1]: Entering directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/epd'
gcc -Wall -c epd.c -I../include -O2 -fwrapv -pipe -Wformat -Werror=format-security -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector-strong --param=ssp-buffer-size=4 -Werror=trampolines -fPIC -march=x86-64 -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -fPIC -DHAVE_IEEE_754 -DBSD -DNUSMV_SIZEOF_VOID_P=8 -DNUSMV_SIZEOF_LONG=8 -DNUSMV_SIZEOF_INT=4
make[1]: Leaving directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/epd'
make[1]: Entering directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/epd'
ar rv libepd.a epd.o
ar: creating libepd.a
a - epd.o
ranlib libepd.a
make[1]: Leaving directory '/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/cudd-2.4.1.1/epd'
sh ./setup.sh
Setting up cudd... Done
+ cd ..
+ cd nusmv
+ libtoolize --copy --force --install
libtoolize: putting auxiliary files in AC_CONFIG_AUX_DIR, 'helpers'.
libtoolize: copying file 'helpers/config.guess'
libtoolize: copying file 'helpers/config.sub'
libtoolize: copying file 'helpers/install-sh'
libtoolize: copying file 'helpers/ltmain.sh'
libtoolize: putting macros in AC_CONFIG_MACRO_DIRS, 'm4'.
libtoolize: copying file 'm4/libtool.m4'
libtoolize: You should add the contents of 'm4/libtool.m4' to 'aclocal.m4'.
libtoolize: copying file 'm4/ltoptions.m4'
libtoolize: You should add the contents of 'm4/ltoptions.m4' to 'aclocal.m4'.
libtoolize: copying file 'm4/ltsugar.m4'
libtoolize: You should add the contents of 'm4/ltsugar.m4' to 'aclocal.m4'.
libtoolize: copying file 'm4/ltversion.m4'
libtoolize: copying file 'm4/lt~obsolete.m4'
libtoolize: You should add the contents of 'm4/lt~obsolete.m4' to 'aclocal.m4'.
libtoolize: Consider adding '-I m4' to ACLOCAL_AMFLAGS in Makefile.am.
+ aclocal -I m4
+ autoconf
+ automake -a -c -f --foreign
configure.ac:110: installing 'helpers/compile'
configure.ac:12: installing 'helpers/missing'
Makefile.am:38: warning: 'INCLUDES' is the old name for 'AM_CPPFLAGS' (or '*_CPPFLAGS')
Makefile.am:119: warning: source file 'src/cinit/cinitDummyMac.c' is in a subdirectory,
Makefile.am:119: but option 'subdir-objects' is disabled
automake: warning: possible forward-incompatibility.
automake: At least a source file is in a subdirectory, but the 'subdir-objects'
automake: automake option hasn't been enabled. For now, the corresponding output
automake: object file(s) will be placed in the top-level directory. However,
automake: this behaviour will change in future Automake versions: they will
automake: unconditionally cause object files to be placed in the same subdirectory
automake: of the corresponding sources.
automake: You are advised to start using 'subdir-objects' option throughout your
automake: project, to avoid future incompatibilities.
Makefile.am:135: warning: source file 'src/cinit/cinitDummyMac.c' is in a subdirectory,
Makefile.am:135: but option 'subdir-objects' is disabled
Makefile.am:97: warning: source file 'src/main.c' is in a subdirectory,
Makefile.am:97: but option 'subdir-objects' is disabled
Makefile.am:112: warning: source file 'src/parser/psl/psl.c' is in a subdirectory,
Makefile.am:112: but option 'subdir-objects' is disabled
Makefile.am:104: warning: source file 'src/ltl/ltl2smv/ltl2smvMain.c' is in a subdirectory,
Makefile.am:104: but option 'subdir-objects' is disabled
Makefile.am: installing 'helpers/depcomp'
parallel-tests: installing 'helpers/test-driver'
src/addons_core/Makefile.am:56: warning: 'INCLUDES' is the old name for 'AM_CPPFLAGS' (or '*_CPPFLAGS')
src/addons_core/compass/Makefile.am:44: warning: 'INCLUDES' is the old name for 'AM_CPPFLAGS' (or '*_CPPFLAGS')
src/addons_core/compass/parser/ap/Makefile.am:38: warning: 'INCLUDES' is the old name for 'AM_CPPFLAGS' (or '*_CPPFLAGS')
src/addons_core/compass/parser/prob/Makefile.am:38: warning: 'INCLUDES' is the old name for 'AM_CPPFLAGS' (or '*_CPPFLAGS')
src/be/Makefile.am:42: warning: 'INCLUDES' is the old name for 'AM_CPPFLAGS' (or '*_CPPFLAGS')
src/bmc/Makefile.am:44: warning: 'INCLUDES' is the old name for 'AM_CPPFLAGS' (or '*_CPPFLAGS')
src/bmc/sbmc/Makefile.am:42: warning: 'INCLUDES' is the old name for 'AM_CPPFLAGS' (or '*_CPPFLAGS')
src/cinit/Makefile.am:42: warning: 'INCLUDES' is the old name for 'AM_CPPFLAGS' (or '*_CPPFLAGS')
src/cmd/Makefile.am:42: warning: 'INCLUDES' is the old name for 'AM_CPPFLAGS' (or '*_CPPFLAGS')
src/compile/Makefile.am:42: warning: 'INCLUDES' is the old name for 'AM_CPPFLAGS' (or '*_CPPFLAGS')
src/compile/symb_table/Makefile.am:42: warning: 'INCLUDES' is the old name for 'AM_CPPFLAGS' (or '*_CPPFLAGS')
src/compile/type_checking/Makefile.am:42: warning: 'INCLUDES' is the old name for 'AM_CPPFLAGS' (or '*_CPPFLAGS')
src/dag/Makefile.am:42: warning: 'INCLUDES' is the old name for 'AM_CPPFLAGS' (or '*_CPPFLAGS')
src/dd/Makefile.am:42: warning: 'INCLUDES' is the old name for 'AM_CPPFLAGS' (or '*_CPPFLAGS')
src/enc/Makefile.am:42: warning: 'INCLUDES' is the old name for 'AM_CPPFLAGS' (or '*_CPPFLAGS')
src/fsm/Makefile.am:42: warning: 'INCLUDES' is the old name for 'AM_CPPFLAGS' (or '*_CPPFLAGS')
src/hrc/Makefile.am:43: warning: 'INCLUDES' is the old name for 'AM_CPPFLAGS' (or '*_CPPFLAGS')
src/ltl/Makefile.am:42: warning: 'INCLUDES' is the old name for 'AM_CPPFLAGS' (or '*_CPPFLAGS')
src/ltl/ltl2smv/Makefile.am:38: warning: 'INCLUDES' is the old name for 'AM_CPPFLAGS' (or '*_CPPFLAGS')
src/mc/Makefile.am:42: warning: 'INCLUDES' is the old name for 'AM_CPPFLAGS' (or '*_CPPFLAGS')
src/node/Makefile.am:42: warning: 'INCLUDES' is the old name for 'AM_CPPFLAGS' (or '*_CPPFLAGS')
src/node/normalizers/Makefile.am:42: warning: 'INCLUDES' is the old name for 'AM_CPPFLAGS' (or '*_CPPFLAGS')
src/node/printers/Makefile.am:42: warning: 'INCLUDES' is the old name for 'AM_CPPFLAGS' (or '*_CPPFLAGS')
src/opt/Makefile.am:42: warning: 'INCLUDES' is the old name for 'AM_CPPFLAGS' (or '*_CPPFLAGS')
src/parser/Makefile.am:39: warning: 'INCLUDES' is the old name for 'AM_CPPFLAGS' (or '*_CPPFLAGS')
src/parser/idlist/Makefile.am:38: warning: 'INCLUDES' is the old name for 'AM_CPPFLAGS' (or '*_CPPFLAGS')
src/parser/ord/Makefile.am:38: warning: 'INCLUDES' is the old name for 'AM_CPPFLAGS' (or '*_CPPFLAGS')
src/parser/psl/Makefile.am:38: warning: 'INCLUDES' is the old name for 'AM_CPPFLAGS' (or '*_CPPFLAGS')
src/prop/Makefile.am:42: warning: 'INCLUDES' is the old name for 'AM_CPPFLAGS' (or '*_CPPFLAGS')
src/rbc/Makefile.am:42: warning: 'INCLUDES' is the old name for 'AM_CPPFLAGS' (or '*_CPPFLAGS')
src/sat/Makefile.am:42: warning: 'INCLUDES' is the old name for 'AM_CPPFLAGS' (or '*_CPPFLAGS')
src/sat/solvers/Makefile.am:42: warning: 'INCLUDES' is the old name for 'AM_CPPFLAGS' (or '*_CPPFLAGS')
src/set/Makefile.am:42: warning: 'INCLUDES' is the old name for 'AM_CPPFLAGS' (or '*_CPPFLAGS')
src/sexp/Makefile.am:42: warning: 'INCLUDES' is the old name for 'AM_CPPFLAGS' (or '*_CPPFLAGS')
src/simulate/Makefile.am:42: warning: 'INCLUDES' is the old name for 'AM_CPPFLAGS' (or '*_CPPFLAGS')
src/trace/Makefile.am:43: warning: 'INCLUDES' is the old name for 'AM_CPPFLAGS' (or '*_CPPFLAGS')
src/trans/Makefile.am:42: warning: 'INCLUDES' is the old name for 'AM_CPPFLAGS' (or '*_CPPFLAGS')
src/utils/Makefile.am:42: warning: 'INCLUDES' is the old name for 'AM_CPPFLAGS' (or '*_CPPFLAGS')
src/wff/Makefile.am:44: warning: 'INCLUDES' is the old name for 'AM_CPPFLAGS' (or '*_CPPFLAGS')
src/wff/w2w/Makefile.am:43: warning: 'INCLUDES' is the old name for 'AM_CPPFLAGS' (or '*_CPPFLAGS')
+ ./configure 'LDFLAGS=-Wl,--as-needed -Wl,--no-copy-dt-needed-entries -Wl,-z,relro -Wl,-z,combreloc ' 'CFLAGS=-O2 -fwrapv -pipe -Wformat -Werror=format-security -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector-strong --param=ssp-buffer-size=4 -Werror=trampolines -fPIC -march=x86-64 -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 ' 'CXXFLAGS=-O2 -fwrapv -pipe -Wformat -Werror=format-security -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector-strong --param=ssp-buffer-size=4 -Werror=trampolines -fPIC -march=x86-64 -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 ' 'FFLAGS=-O2 -fwrapv -pipe -Wformat -Werror=format-security -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector-strong --param=ssp-buffer-size=4 -Werror=trampolines -fPIC -march=x86-64 -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 ' 'FCFLAGS=-O2 -fwrapv -pipe -Wformat -Werror=format-security -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 -Wp,-D_FORTIFY_SOURCE=2 -fstack-protector-strong --param=ssp-buffer-size=4 -Werror=trampolines -fPIC -march=x86-64 -gdwarf-4 -fno-debug-types-section -fvar-tracking-assignments -g2 ' 'CPPFLAGS=' 'CC=x86_64-pld-linux-gcc' 'CXX=x86_64-pld-linux-g++' '--host=x86_64-pld-linux' '--build=x86_64-pld-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/libexec' '--localstatedir=/var' '--sharedstatedir=/var/lib' '--mandir=/usr/share/man' '--infodir=/usr/share/info' '--x-libraries=/usr/lib64' --enable-shared --enable-minisat
checking for a BSD-compatible install... /usr/bin/install -c
checking whether build environment is sane... yes
checking for a thread-safe mkdir -p... /bin/mkdir -p
checking for mawk... mawk
checking whether make sets $(MAKE)... yes
checking whether make supports nested variables... yes
checking whether UID '1000' is supported by ustar format... yes
checking whether GID '1000' is supported by ustar format... yes
checking how to create a ustar tar archive... gnutar
checking build system type... x86_64-pld-linux-gnu
checking host system type... x86_64-pld-linux-gnu
checking whether make supports the include directive... yes (GNU style)
checking for x86_64-pld-linux-gcc... x86_64-pld-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-pld-linux-gcc accepts -g... yes
checking for x86_64-pld-linux-gcc option to accept ISO C89... none needed
checking whether x86_64-pld-linux-gcc understands -c and -o together... yes
checking dependency style of x86_64-pld-linux-gcc... gcc3
checking how to run the C preprocessor... x86_64-pld-linux-gcc -E
checking for grep that handles long lines and -e... /bin/grep
checking for egrep... /bin/grep -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 expat.h usability... yes
checking expat.h presence... yes
checking for expat.h... yes
checking for x86_64-pld-linux-gcc... (cached) x86_64-pld-linux-gcc
checking whether we are using the GNU C compiler... (cached) yes
checking whether x86_64-pld-linux-gcc accepts -g... (cached) yes
checking for x86_64-pld-linux-gcc option to accept ISO C89... (cached) none needed
checking whether x86_64-pld-linux-gcc understands -c and -o together... (cached) yes
checking dependency style of x86_64-pld-linux-gcc... (cached) gcc3
checking whether the C compiler (x86_64-pld-linux-gcc) accepts noreturn attribute... yes
checking how to run the C preprocessor... x86_64-pld-linux-gcc -E
checking whether we are using the GNU C++ compiler... yes
checking whether x86_64-pld-linux-g++ accepts -g... yes
checking dependency style of x86_64-pld-linux-g++... gcc3
checking how to run the C++ preprocessor... x86_64-pld-linux-g++ -E
checking whether ln -s works... yes
checking whether make sets $(MAKE)... (cached) yes
checking how to print strings... print -r
checking for a sed that does not truncate output... /bin/sed
checking for fgrep... /bin/grep -F
checking for ld used by x86_64-pld-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 the maximum length of command line arguments... 1572864
checking how to convert x86_64-pld-linux-gnu file names to x86_64-pld-linux-gnu format... func_convert_file_noop
checking how to convert x86_64-pld-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-pld-linux-objdump... no
checking for objdump... objdump
checking how to recognize dependent libraries... pass_all
checking for x86_64-pld-linux-dlltool... no
checking for dlltool... no
checking how to associate runtime and link libraries... print -r --
checking for x86_64-pld-linux-ar... no
checking for ar... ar
checking for archiver @FILE support... @
checking for x86_64-pld-linux-strip... no
checking for strip... strip
checking for x86_64-pld-linux-ranlib... no
checking for ranlib... ranlib
checking command to parse /usr/bin/nm -B output from x86_64-pld-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-pld-linux-mt... no
checking for mt... no
checking if : is a manifest tool... no
checking for dlfcn.h... yes
checking for objdir... .libs
checking if x86_64-pld-linux-gcc supports -fno-rtti -fno-exceptions... no
checking for x86_64-pld-linux-gcc option to produce PIC... -fPIC -DPIC
checking if x86_64-pld-linux-gcc PIC flag -fPIC -DPIC works... yes
checking if x86_64-pld-linux-gcc static flag -static works... yes
checking if x86_64-pld-linux-gcc supports -c -o file.o... yes
checking if x86_64-pld-linux-gcc supports -c -o file.o... (cached) yes
checking whether the x86_64-pld-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-pld-linux-g++ -E
checking for ld used by x86_64-pld-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-pld-linux-g++ linker (/usr/bin/ld -m elf_x86_64) supports shared libraries... yes
checking for x86_64-pld-linux-g++ option to produce PIC... -fPIC -DPIC
checking if x86_64-pld-linux-g++ PIC flag -fPIC -DPIC works... yes
checking if x86_64-pld-linux-g++ static flag -static works... yes
checking if x86_64-pld-linux-g++ supports -c -o file.o... yes
checking if x86_64-pld-linux-g++ supports -c -o file.o... (cached) yes
checking whether the x86_64-pld-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 for bison... bison -y
checking for flex... flex
checking lex output file root... lex.yy
checking lex library... -lfl
checking whether yytext is a pointer... yes
checking for bison... yes
checking for perl... /usr/bin/perl
checking for lynx... lynx
checking for latex... /usr/bin/latex
checking for pdflatex... /usr/bin/pdflatex
checking for epstopdf... /usr/bin/epstopdf
checking for pdftops... /usr/bin/pdftops
checking for x86_64-pld-linux-strip... strip
checking for x86_64-pld-linux-gcc option to accept ISO C99... none needed
checking for x86_64-pld-linux-gcc option to accept ISO Standard C... (cached) none needed
checking for an ANSI C99-conforming __func__... yes
checking size of void *... 8
checking size of int... 4
checking size of long... 8
checking size of long long... 8
checking for exp in -lm... yes
checking for main in -lncurses... yes
checking for readline in -lreadline... yes
checking for XML_ParserCreate in -lexpat... yes
checking for util_cpu_time in -lcudd_util... yes
checking for Mtr_AllocNode in -lmtr... yes
checking for st_init_table in -lst... yes
checking for Cudd_Ref in -lcudd... yes
configure: error: Header file "Solver_C.h" has not been found in "/tmp/B.oTVuBG/BUILD/NuSMV-2.5.4/MiniSat_v070721".
See configure option --with-minisat-incdir to specify where the header file is located.
error: Bad exit status from /tmp/B.oTVuBG/BUILD/tmp/rpm-tmp.66652 (%build)
RPM build errors:
Bad exit status from /tmp/B.oTVuBG/BUILD/tmp/rpm-tmp.66652 (%build)
ended at: Sat Oct 19 14:40:17 2019, done in 0:00:18.306387
error: No files produced.
+ chmod -R u+rwX /tmp/B.oTVuBG/BUILD
+ rm -rf /tmp/B.oTVuBG/tmp /tmp/B.oTVuBG/BUILD
+ rm -rf /tmp/B.oTVuBG
Begin-PLD-Builder-Info
Build-Time: user:27.12s sys:2.88s real:21.27s (faults io:0 non-io:1116914)
End-PLD-Builder-Info
|
|