FailedOk

th/SRPMS[OK]
th/x32[OK]
th/i686[OK]
th/x86_64[OK]

ac/SRPMS[OK]
ac/i386[OK]
ac/i586[OK]
ac/i686[OK]
ac/alpha[OK]
ac/amd64[OK]
ac/athlon[OK]
ac/ppc[OK]
ac/sparc[OK]
ac/sparc64[OK]

Advanced Search
main()
Powered by PLD Linux
(c) 2002-2019 PLD Team
$Revision: 1.37 $
Powered by electricity.
Your IP: 35.175.191.72

NuSMV fcfc0f66-ab6a-43c8-a584-c2294bfd0394

Status:Failed
Source URL:ftp://buildlogs.pld-linux.org/th/x86_64/FAIL/NuSMV,fcfc0f66-ab6a-43c8-a584-c2294bfd0394.bz2
text/plain URL:View!
full text:View!
rpm -qa of builder:View!
Date:2019/10/19 14:40:18
Runtime:0:00:18.306387

Toc:

  • 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
[Back to list of logs] [View rpm -qa of builder]