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 bogon.
Your IP: 18.206.194.210

NuSMV 7e16b8d3-9f6e-465b-99a0-c521d4c2158a

Status:OK
Source URL:ftp://buildlogs.pld-linux.org/th/i686/OK/NuSMV,7e16b8d3-9f6e-465b-99a0-c521d4c2158a.bz2
text/plain URL:View!
full text:View!
rpm -qa of builder:View!
Date:2019/10/20 13:09:35
Runtime:0:02:12.041770

Toc:

  • files NuSMV
  • Processing files: NuSMV-2.5.4-12.i686
  • doc
  • Executing(%doc): /bin/sh -e /tmp/B.fotg3S/BUILD/tmp/rpm-tmp.4877
  • files NuSMV-devel
  • Processing files: NuSMV-devel-2.5.4-12.i686
  • files NuSMV-static
  • Processing files: NuSMV-static-2.5.4-12.i686
  • files NuSMV-debuginfo
  • Processing files: NuSMV-debuginfo-2.5.4-12.i686
  • clean
  • Executing(%clean): /bin/sh -e /tmp/B.fotg3S/BUILD/tmp/rpm-tmp.15960

Content:

	lsCreate
	find_assoc
	Stack_push
	Stack_create_with_param
	lsNext
	st_delete
	lsFinish
	lsDestroy
	lsStart
	Slist_create
	new_assoc
	lsNewEnd
	get_rbc2cnf_algorithm
	nusmv_stderr
	Siter_is_end
	free_list
	free_assoc
	MMrealloc
	internal_error
	lsRemoveItem
	Slist_destroy
	opt_verbose_level_gt
	Stack_pop
	clear_assoc
	free_node
	st_find_or_add
	Slist_push
	cons
	st_init_table_with_params
	Siter_next
	Slist_first
	Slist_copy
	insert_assoc
	Slist_get_size
	Siter_element
	car
	st_free_table
	lsLength

Unresolved symbols found in: /tmp/B.fotg3S/BUILD/tmp/NuSMV-2.5.4-root-builder/usr/lib/libnusmvcore.so.0.0.0
	Rbc_MakeIff
	yy_delete_buffer
	Rbc_RbcIndex2CnfVar
	Rbc_LogicalSubst
	yyin
	yyrestart
	RbcInline_apply_inlining
	Rbc_OutputSexpr
	Rbc_is_and
	yylineno
	InlineResult_get_inlined_f
	Rbc_is_var
	Rbc_Dfs_clean_exported
	Rbc_ManagerFree
	Rbc_CnfVar2RbcIndex
	InlineResult_destroy
	yyparse
	Rbc_MakeNot
	Rbc_OutputGdl
	parse_mode_flag
	yy_scan_buffer
	Rbc_ManagerReset
	Rbc_pkg_quit
	Rbc_GetVarIndex
	Rbc_GetOne
	Rbc_MakeAnd
	Rbc_GetIthVar
	Rbc_OutputDaVinci
	Rbc_MakeIte
	Rbc_pkg_init
	Rbc_MakeXor
	Rbc_ManagerAlloc
	Rbc_GetZero
	yy_create_buffer
	InlineResult_get_inlined_f_and_c
	Rbc_is_top
	Rbc_PrintStats
	Rbc_is_iff
	Rbc_ManagerReserve
	Rbc_Dfs_exported
	yy_switch_to_buffer
	yyerror_lined
	Rbc_LogicalShift
	parsed_tree
	Rbc_MakeOr
	Rbc_Convert2Cnf
 DONE
+ __spec_install_post_check_tmpfiles
+ set +x
Checking /var/run <-> tmpfiles.d completeness...
 DONE
+ __spec_install_post_check_shebangs
+ set +x
Checking script shebangs...
 DONE
+ __spec_install_post_compress_docs
+ set +x
+ __spec_install_post_py_hardlink
+ set +x
Processing files: NuSMV-2.5.4-12.i686
Executing(%doc): /bin/sh -e /tmp/B.fotg3S/BUILD/tmp/rpm-tmp.4877
+ umask 022
+ cd /tmp/B.fotg3S/BUILD
+ cd NuSMV-2.5.4
+ DOCDIR=/tmp/B.fotg3S/BUILD/tmp/NuSMV-2.5.4-root-builder/usr/share/doc/NuSMV-2.5.4 
+ export DOCDIR
+ test -d /tmp/B.fotg3S/BUILD/tmp/NuSMV-2.5.4-root-builder/usr/share/doc/NuSMV-2.5.4
+ /bin/mkdir -p /tmp/B.fotg3S/BUILD/tmp/NuSMV-2.5.4-root-builder/usr/share/doc/NuSMV-2.5.4
+ cp -pr nusmv/AUTHORS nusmv/ChangeLog nusmv/NEWS nusmv/README nusmv/README.MiniSat nusmv/README.zChaff nusmv/README_PLATFORMS /tmp/B.fotg3S/BUILD/tmp/NuSMV-2.5.4-root-builder/usr/share/doc/NuSMV-2.5.4
+ /usr/lib/rpm/compress-doc
Compressing documentation in /tmp/B.fotg3S/BUILD/tmp/NuSMV-2.5.4-root-builder/usr/share/doc/NuSMV-2.5.4...
./AUTHORS ./ChangeLog ./NEWS ./README ./README.MiniSat ./README.zChaff ./README_PLATFORMS 
Documentation compressed.
+ cp -pr nusmv/doc/tutorial/tutorial.pdf nusmv/doc/tutorial/tutorial.ps /tmp/B.fotg3S/BUILD/tmp/NuSMV-2.5.4-root-builder/usr/share/doc/NuSMV-2.5.4
+ /usr/lib/rpm/compress-doc
Compressing documentation in /tmp/B.fotg3S/BUILD/tmp/NuSMV-2.5.4-root-builder/usr/share/doc/NuSMV-2.5.4...
./AUTHORS ./ChangeLog ./NEWS ./README ./README.MiniSat ./README.zChaff ./README_PLATFORMS ./tutorial.ps 
Documentation compressed.
+ cp -pr nusmv/doc/user-man/nusmv.pdf nusmv/doc/user-man/nusmv.ps /tmp/B.fotg3S/BUILD/tmp/NuSMV-2.5.4-root-builder/usr/share/doc/NuSMV-2.5.4
+ /usr/lib/rpm/compress-doc
Compressing documentation in /tmp/B.fotg3S/BUILD/tmp/NuSMV-2.5.4-root-builder/usr/share/doc/NuSMV-2.5.4...
./AUTHORS ./ChangeLog ./NEWS ./README ./README.MiniSat ./README.zChaff ./README_PLATFORMS ./tutorial.ps ./nusmv.ps 
Documentation compressed.
+ cp -pr nusmv/doc/html /tmp/B.fotg3S/BUILD/tmp/NuSMV-2.5.4-root-builder/usr/share/doc/NuSMV-2.5.4
+ /usr/lib/rpm/compress-doc
Compressing documentation in /tmp/B.fotg3S/BUILD/tmp/NuSMV-2.5.4-root-builder/usr/share/doc/NuSMV-2.5.4...
./AUTHORS ./ChangeLog ./NEWS ./README ./README.MiniSat ./README.zChaff ./README_PLATFORMS ./tutorial.ps ./nusmv.ps ./html/Makefile.in ./html/Makefile.am ./html/Makefile 
Documentation compressed.
+ exit 0
skipping /usr/share/doc/NuSMV-2.5.4 requires detection
skipping /usr/share/doc/NuSMV-2.5.4/html requires detection
skipping /usr/share/doc/NuSMV-2.5.4/html/NuSMV_Cmd_index.html requires detection
skipping /usr/share/doc/NuSMV-2.5.4/html/NuSMV_Pkg_index.html requires detection
skipping /usr/share/doc/NuSMV-2.5.4/html/addons_core requires detection
skipping /usr/share/doc/NuSMV-2.5.4/html/addons_core/compass requires detection
skipping /usr/share/doc/NuSMV-2.5.4/html/addons_core/compass/compile requires detection
skipping /usr/share/doc/NuSMV-2.5.4/html/addons_core/compass/parser requires detection
skipping /usr/share/doc/NuSMV-2.5.4/html/addons_core/compass/parser/ap requires detection
skipping /usr/share/doc/NuSMV-2.5.4/html/addons_core/compass/parser/prob requires detection
skipping /usr/share/doc/NuSMV-2.5.4/html/addons_core/compass/sigref requires detection
skipping /usr/share/doc/NuSMV-2.5.4/html/bmc requires detection
skipping /usr/share/doc/NuSMV-2.5.4/html/bmc/sbmc requires detection
skipping /usr/share/doc/NuSMV-2.5.4/html/compile requires detection
skipping /usr/share/doc/NuSMV-2.5.4/html/compile/symb_table requires detection
skipping /usr/share/doc/NuSMV-2.5.4/html/compile/type_checking requires detection
skipping /usr/share/doc/NuSMV-2.5.4/html/compile/type_checking/checkers requires detection
skipping /usr/share/doc/NuSMV-2.5.4/html/enc requires detection
skipping /usr/share/doc/NuSMV-2.5.4/html/enc/base requires detection
skipping /usr/share/doc/NuSMV-2.5.4/html/enc/bdd requires detection
skipping /usr/share/doc/NuSMV-2.5.4/html/enc/be requires detection
skipping /usr/share/doc/NuSMV-2.5.4/html/enc/bool requires detection
skipping /usr/share/doc/NuSMV-2.5.4/html/enc/utils requires detection
skipping /usr/share/doc/NuSMV-2.5.4/html/fsm requires detection
skipping /usr/share/doc/NuSMV-2.5.4/html/fsm/bdd requires detection
skipping /usr/share/doc/NuSMV-2.5.4/html/fsm/be requires detection
skipping /usr/share/doc/NuSMV-2.5.4/html/fsm/sexp requires detection
skipping /usr/share/doc/NuSMV-2.5.4/html/hrc requires detection
skipping /usr/share/doc/NuSMV-2.5.4/html/hrc/dumpers requires detection
skipping /usr/share/doc/NuSMV-2.5.4/html/index.html requires detection
skipping /usr/share/doc/NuSMV-2.5.4/html/node requires detection
skipping /usr/share/doc/NuSMV-2.5.4/html/node/normalizers requires detection
skipping /usr/share/doc/NuSMV-2.5.4/html/node/printers requires detection
skipping /usr/share/doc/NuSMV-2.5.4/html/parser requires detection
skipping /usr/share/doc/NuSMV-2.5.4/html/parser/idlist requires detection
skipping /usr/share/doc/NuSMV-2.5.4/html/parser/ord requires detection
skipping /usr/share/doc/NuSMV-2.5.4/html/parser/psl requires detection
skipping /usr/share/doc/NuSMV-2.5.4/html/rbc requires detection
skipping /usr/share/doc/NuSMV-2.5.4/html/rbc/clg requires detection
skipping /usr/share/doc/NuSMV-2.5.4/html/sat requires detection
skipping /usr/share/doc/NuSMV-2.5.4/html/sat/solvers requires detection
skipping /usr/share/doc/NuSMV-2.5.4/html/trace requires detection
skipping /usr/share/doc/NuSMV-2.5.4/html/trace/eval requires detection
skipping /usr/share/doc/NuSMV-2.5.4/html/trace/exec requires detection
skipping /usr/share/doc/NuSMV-2.5.4/html/trace/loaders requires detection
skipping /usr/share/doc/NuSMV-2.5.4/html/trace/plugins requires detection
skipping /usr/share/doc/NuSMV-2.5.4/html/trans requires detection
skipping /usr/share/doc/NuSMV-2.5.4/html/trans/bdd requires detection
skipping /usr/share/doc/NuSMV-2.5.4/html/trans/generic requires detection
skipping /usr/share/doc/NuSMV-2.5.4/nusmv.pdf requires detection
skipping /usr/share/doc/NuSMV-2.5.4/tutorial.pdf requires detection
skipping /usr/src/examples/NuSMV-2.5.4 requires detection
skipping /usr/src/examples/NuSMV-2.5.4/Makefile.in requires detection
skipping /usr/src/examples/NuSMV-2.5.4/abp requires detection
skipping /usr/src/examples/NuSMV-2.5.4/bmc_tutorial requires detection
skipping /usr/src/examples/NuSMV-2.5.4/brp requires detection
skipping /usr/src/examples/NuSMV-2.5.4/deadlock requires detection
skipping /usr/src/examples/NuSMV-2.5.4/example_cmu requires detection
skipping /usr/src/examples/NuSMV-2.5.4/example_irst requires detection
skipping /usr/src/examples/NuSMV-2.5.4/guidance requires detection
skipping /usr/src/examples/NuSMV-2.5.4/m4 requires detection
skipping /usr/src/examples/NuSMV-2.5.4/m4/non_selective.m4.smv requires detection
skipping /usr/src/examples/NuSMV-2.5.4/msi requires detection
skipping /usr/src/examples/NuSMV-2.5.4/p-queue requires detection
skipping /usr/src/examples/NuSMV-2.5.4/pci requires detection
skipping /usr/src/examples/NuSMV-2.5.4/prod-cons requires detection
skipping /usr/src/examples/NuSMV-2.5.4/production-cell requires detection
skipping /usr/src/examples/NuSMV-2.5.4/psl-samples requires detection
skipping /usr/src/examples/NuSMV-2.5.4/queue requires detection
skipping /usr/src/examples/NuSMV-2.5.4/reactor requires detection
skipping /usr/src/examples/NuSMV-2.5.4/smv-dist requires detection
skipping /usr/src/examples/NuSMV-2.5.4/smv-dist/pci3p.ps requires detection
skipping /usr/src/examples/NuSMV-2.5.4/smv-dist/pci4p.ps requires detection
skipping /usr/src/examples/NuSMV-2.5.4/smv-dist/periodic.ps requires detection
skipping /usr/src/examples/NuSMV-2.5.4/smv-dist/robot.12.ps requires detection
skipping /usr/src/examples/NuSMV-2.5.4/tcas requires detection
Removing dependency on self: R libnusmv.so.0
Removing dependency on self: R librbcdag.so.0
Removing dependency on self: R libsmvgrammar.so.0
Provides: elf(buildid) = 06d59c26f2fbd8e4365ade8baa509142ab958365 elf(buildid) = 3443c156c0f1b7c6a5d77b1d8c7ddc36e04596a8 elf(buildid) = 5c43dba9028734897edb6d779cef84a0e0ad0a67 elf(buildid) = 643ba8cc479deb8393e9c837a2fbb6c9a26b3a77 elf(buildid) = 6bb370d0d70bb0be396a0540758c90692c892b12 elf(buildid) = e86e815f1d1537125dd3facccfa8fed34e40f52b libnusmv.so.0 libnusmvcore.so.0 librbcdag.so.0 libsmvgrammar.so.0
Requires(interp): /sbin/ldconfig /sbin/ldconfig
Requires(post): /sbin/ldconfig
Requires(postun): /sbin/ldconfig
Requires: /usr/bin/perl libc.so.6 libc.so.6(GLIBC_2.0) libc.so.6(GLIBC_2.1) libc.so.6(GLIBC_2.1.3) libc.so.6(GLIBC_2.11) libc.so.6(GLIBC_2.2) libc.so.6(GLIBC_2.3) libc.so.6(GLIBC_2.3.4) libc.so.6(GLIBC_2.4) libc.so.6(GLIBC_2.7) libexpat.so.1 libgcc_s.so.1 libgcc_s.so.1(GCC_3.0) libm.so.6 libm.so.6(GLIBC_2.0) libm.so.6(GLIBC_2.29) libreadline.so.8 libstdc++.so.6 libstdc++.so.6(CXXABI_1.3) libstdc++.so.6(CXXABI_1.3.9) libstdc++.so.6(GLIBCXX_3.4) rtld(GNU_HASH)
Processing files: NuSMV-devel-2.5.4-12.i686
Provides: pkgconfig(nusmv-2) = 2.5.4
Requires(rpmlib): rpmlib(VersionedDependencies) <= 3.0.3-1
Processing files: NuSMV-static-2.5.4-12.i686
Processing files: NuSMV-debuginfo-2.5.4-12.i686
Checking for unpackaged file(s): /usr/lib/rpm/check-files /tmp/B.fotg3S/BUILD/tmp/NuSMV-2.5.4-root-builder
warning: Could not canonicalize hostname: nereid-builder
Wrote: /tmp/B.fotg3S/RPMS/NuSMV-2.5.4-12.i686.rpm
Wrote: /tmp/B.fotg3S/RPMS/NuSMV-devel-2.5.4-12.i686.rpm
Wrote: /tmp/B.fotg3S/RPMS/NuSMV-static-2.5.4-12.i686.rpm
Wrote: /tmp/B.fotg3S/RPMS/NuSMV-debuginfo-2.5.4-12.i686.rpm
Executing(%clean): /bin/sh -e /tmp/B.fotg3S/BUILD/tmp/rpm-tmp.15960
+ umask 022
+ cd /tmp/B.fotg3S/BUILD
+ cd NuSMV-2.5.4
+ /bin/rm '--interactive=never' -rf /tmp/B.fotg3S/BUILD/tmp/NuSMV-2.5.4-root-builder
+ rm -rf /tmp/B.fotg3S/BUILD/tmp/NuSMV-2.5.4-root-builder
ended at: Sun Oct 20 13:09:31 2019, done in 0:02:12.041770
+ chmod -R u+rwX /tmp/B.fotg3S/BUILD
+ rm -rf /tmp/B.fotg3S/tmp /tmp/B.fotg3S/BUILD
copy rpm files to cache_dir: /spools/ready
Creating pndir index of /spools/ready/ (type=dir)...
Loading [pndir]previous /spools/ready/packages.ndir.gz...
Loading [dir]/spools/ready/...
200..400..600..800..1000..1200..1400..1600..1800..2000..2200..2400..2600..2800..3000..3058
Writing /spools/ready/packages.ndir.gz...
Begin-PLD-Builder-Info
upgrading packages
End-PLD-Builder-Info
+ rm -rf /tmp/B.fotg3S
Begin-PLD-Builder-Info
Build-Time: user:209.77s sys:17.25s real:138.48s (faults io:31 non-io:7616979)

Files queued for ftp:
   4164884 NuSMV-debuginfo-2.5.4-12.i686.rpm
    832311 NuSMV-static-2.5.4-12.i686.rpm
    161731 NuSMV-devel-2.5.4-12.i686.rpm
   3073793 NuSMV-2.5.4-12.i686.rpm
       197 NuSMV-2.5.4-12.src.rpm.uploadinfo

End-PLD-Builder-Info
[Back to list of logs] [View rpm -qa of builder]