[Bug 459409] Review Request: E - Equational Theorem Prover

bugzilla at redhat.com bugzilla at redhat.com
Wed Aug 27 00:20:48 UTC 2008


Please do not reply directly to this email. All additional
comments should be made in the comments box of this bug.


https://bugzilla.redhat.com/show_bug.cgi?id=459409





--- Comment #14 from David A. Wheeler <dwheeler at dwheeler.com>  2008-08-26 20:20:47 EDT ---
Help! Can't build; is the build env still down?
I got the cvs directories okay, but can't seem to build for F-8, F-9,
_OR_ devel. I just get these errors:
"FAILED: BuildError: package E not in list for tag dist-f8-updates-candidate"



I ran this:
 cd ~/cvs
 fedora-cvs E
 cd E
 ./common/cvs-import.sh ~/dwheeler.com/E-0.999.006-2.fc9.src.rpm 
 ./common/cvs-import.sh -b F-9 ~/dwheeler.com/E-0.999.006-2.fc9.src.rpm 
 ./common/cvs-import.sh -b F-8 ~/dwheeler.com/E-0.999.006-2.fc9.src.rpm 
 cd F-8
 cvs up
 cd ../F-9
 cvs up
 cd ../devel/
 cvs up
 cd ..
 cd F-8
 make build
 cd ../F-9/
 make build
 cd ../devel/
 make build


Here's what I get (skipping to the "make build" stuff):

$ cd F-8
$ make build
/usr/bin/koji  build  dist-f8-updates-candidate
'cvs://cvs.fedoraproject.org/cvs/pkgs?rpms/E/F-8#E-0_999_006-2_fc8'
Created task: 787924
Task info: http://koji.fedoraproject.org/koji/taskinfo?taskID=787924
Watching tasks (this may be safely interrupted)...
787924 build (dist-f8-updates-candidate, F-8:E-0_999_006-2_fc8): free
787924 build (dist-f8-updates-candidate, F-8:E-0_999_006-2_fc8): free -> open
(ppc4.fedora.phx.redhat.com)
  787925 buildSRPMFromSCM (F-8:E-0_999_006-2_fc8): free
  787925 buildSRPMFromSCM (F-8:E-0_999_006-2_fc8): free -> open
(x86-7.fedora.phx.redhat.com)
  787925 buildSRPMFromSCM (F-8:E-0_999_006-2_fc8): open
(x86-7.fedora.phx.redhat.com) -> closed
  0 free  1 open  1 done  0 failed
787924 build (dist-f8-updates-candidate, F-8:E-0_999_006-2_fc8): open
(ppc4.fedora.phx.redhat.com) -> FAILED: BuildError: package E not in list for
tag dist-f8-updates-candidate
  0 free  0 open  1 done  1 failed

787924 build (dist-f8-updates-candidate, F-8:E-0_999_006-2_fc8) failed
make: *** [koji] Error 1



$ cd ../F-9/
$ make build
/usr/bin/koji  build  dist-f9-updates-candidate
'cvs://cvs.fedoraproject.org/cvs/pkgs?rpms/E/F-9#E-0_999_006-2_fc9'
Created task: 787926
Task info: http://koji.fedoraproject.org/koji/taskinfo?taskID=787926
Watching tasks (this may be safely interrupted)...
787926 build (dist-f9-updates-candidate, F-9:E-0_999_006-2_fc9): free
787926 build (dist-f9-updates-candidate, F-9:E-0_999_006-2_fc9): free -> open
(x86-3.fedora.phx.redhat.com)
  787927 buildSRPMFromSCM (F-9:E-0_999_006-2_fc9): free
  787927 buildSRPMFromSCM (F-9:E-0_999_006-2_fc9): free -> open
(ppc2.fedora.redhat.com)
  787927 buildSRPMFromSCM (F-9:E-0_999_006-2_fc9): open
(ppc2.fedora.redhat.com) -> closed
  0 free  1 open  1 done  0 failed
787926 build (dist-f9-updates-candidate, F-9:E-0_999_006-2_fc9): open
(x86-3.fedora.phx.redhat.com) -> FAILED: BuildError: package E not in list for
tag dist-f9-updates-candidate
  0 free  0 open  1 done  1 failed

787926 build (dist-f9-updates-candidate, F-9:E-0_999_006-2_fc9) failed
make: *** [koji] Error 1



$ cd ../devel/
$ make build
/usr/bin/koji  build  dist-f10
'cvs://cvs.fedoraproject.org/cvs/pkgs?rpms/E/devel#E-0_999_006-2_fc10'
Created task: 787928
Task info: http://koji.fedoraproject.org/koji/taskinfo?taskID=787928
Watching tasks (this may be safely interrupted)...
787928 build (dist-f10, devel:E-0_999_006-2_fc10): open
(ppc4.fedora.phx.redhat.com)
  787929 buildSRPMFromSCM (devel:E-0_999_006-2_fc10): free
  787929 buildSRPMFromSCM (devel:E-0_999_006-2_fc10): free -> open
(x86-5.fedora.phx.redhat.com)
  787929 buildSRPMFromSCM (devel:E-0_999_006-2_fc10): open
(x86-5.fedora.phx.redhat.com) -> closed
  0 free  1 open  1 done  0 failed
787928 build (dist-f10, devel:E-0_999_006-2_fc10): open
(ppc4.fedora.phx.redhat.com) -> FAILED: BuildError: package E not in list for
tag dist-f10
  0 free  0 open  1 done  1 failed

787928 build (dist-f10, devel:E-0_999_006-2_fc10) failed
make: *** [koji] Error 1

-- 
Configure bugmail: https://bugzilla.redhat.com/userprefs.cgi?tab=email
------- You are receiving this mail because: -------
You are on the CC list for the bug.




More information about the Fedora-package-review mailing list