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-2024 PLD Team
$Revision: 1.37 $
Powered by DWARF.
Your IP: 44.192.94.177

z3 d2d3a49f-d476-4875-a55a-cb5664f574f2

Status:Failed
Source URL:https://buildlogs.pld-linux.org/pld/th/SRPMS/FAIL/z3,d2d3a49f-d476-4875-a55a-cb5664f574f2.bz2
text/plain URL:View!
rpm -qa of builder:View!
Date:2023/11/11 19:55:16

Toc:

  • error 1
  • Error: some source, patch or icon files not stored in PLD repo. (https://github.com/Z3Prover/z3/archive/z3-4.12.2.tar.gz)
  • error 2
  • error: No files produced.
  • error 3
  • error: Macro %_builddir has empty body

Content:

request from: qboosh
started at: Sat Nov 11 19:55:11 2023
building SRPM using: cd rpm/packages; nice -n 0 ./builder -nu -nm --nodeps --http --define '_pld_builder 1' -bs  -r HEAD  -Tp auto/th/ -tt   z3.spec 2>&1

builder: SMP make flags are set to -j3
Cloning into 'z3'...
Already on 'master'
Your branch is up to date with 'origin/master'.
Already up to date.

No conditional flags passed

from available:
--with   :	 dotnet sse2
--without:	 apidocs ocaml ocaml_opt

Available branches: master
Searching for tag auto/th/z3-4.12.2-2...
Searching for tag auto/th/z3-4_12_2-2...
--2023-11-11 19:55:15--  http://distfiles.pld-linux.org/distfiles/by-md5/4/0/4061317f7948c19abd13041c5a32b057/z3-4.12.2.tar.gz
Resolving distfiles.pld-linux.org... failed: No address associated with hostname.
wget: unable to resolve host address 'distfiles.pld-linux.org'
--2023-11-11 19:55:15--  http://z3-4.12.2.tar.gz/
Resolving z3-4.12.2.tar.gz... failed: Name or service not known.
wget: unable to resolve host address 'z3-4.12.2.tar.gz'
--2023-11-11 19:55:15--  http://attic-distfiles.pld-linux.org/distfiles/Attic/by-md5/4/0/4061317f7948c19abd13041c5a32b057/z3-4.12.2.tar.gz
Resolving attic-distfiles.pld-linux.org... 193.239.45.41
Connecting to attic-distfiles.pld-linux.org|193.239.45.41|:80... connected.
HTTP request sent, awaiting response... 404 Not Found
2023-11-11 19:55:16 ERROR 404: Not Found.

Error: some source, patch or icon files not stored in PLD repo. (https://github.com/Z3Prover/z3/archive/z3-4.12.2.tar.gz)
exit status 1024
error: No files produced.
error: Macro %_builddir has empty body
Begin-PLD-Builder-Info
Build-Time: user:0.51s sys:0.46s real:4.32s (faults io:320 non-io:44639)

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