[build-status: 169641] Log for successful build of picosat_632-1 (dist=unstable)

[Build Daemon 2]

Automatic build of picosat_632-1 on mappi005 by sbuild/m32r 98-farm
Build started at 20080913-1505
******************************************************************************
Checking available source versions...
Fetching source files...
Reading package lists...
Building dependency tree...
Reading state information...
Need to get 34.7kB of source archives.
Get:1 http://debian.linux-m32r.org 06_devonian/main picosat 632-1 (dsc) [922B]
Get:2 http://debian.linux-m32r.org 06_devonian/main picosat 632-1 (tar) [30.7kB]
Get:3 http://debian.linux-m32r.org 06_devonian/main picosat 632-1 (diff) [3016B]
Fetched 34.7kB in 5s (6366B/s)
Download complete and in download only mode
** Using build dependencies supplied by package:
Build-Depends: debhelper (>= 5)
Checking for already installed source dependencies...
debhelper: already installed (7.0.17 >= 5 is satisfied)
Checking for source dependency conflicts...
Checking correctness of source dependencies...
Toolchain package versions: libc6-dev_2.3.6.ds1-13 linux-kernel-headers_2.6.18-7 gcc-4.1_4.1.1-21 g++-4.1_4.1.1-21 binutils_2.18.1~cvs20080103-1 libstdc++6-4.1-dev_4.1.1-21 libstdc++6_4.1.1-21
/usr/bin/dpkg --set-selections failed------------------------------------------------------------------------------
dpkg-source: extracting picosat in picosat-632
dpkg-source: info: unpacking picosat_632.orig.tar.gz
dpkg-source: info: applying picosat_632-1.diff.gz
dpkg-buildpackage: set CFLAGS to default value: -g -O2
dpkg-buildpackage: set CPPFLAGS to default value: 
dpkg-buildpackage: set LDFLAGS to default value: 
dpkg-buildpackage: set FFLAGS to default value: -g -O2
dpkg-buildpackage: set CXXFLAGS to default value: -g -O2
dpkg-buildpackage: source package picosat
dpkg-buildpackage: source version 632-1
dpkg-buildpackage: host architecture m32r
 /usr/bin/fakeroot debian/rules clean
dh_testdir
dh_testroot
rm -f build-stamp 
# Add here commands to clean up after the build process.
[ ! -e makefile ] || /usr/bin/make clean
dh_clean 
 debian/rules build
dh_testdir
# Add here commands to configure the package.
./configure -O --trace --stats
debug ... no
optimize ... yes
log ... no
stats ... yes
trace ... yes
cc ... gcc
cflags ... -O
makefile ... done
dh_testdir
# Add here commands to compile the package.
/usr/bin/make
make[1]: Entering directory `/build/buildd2/picosat-632'
rm -f config.h; ./mkconfig > config.h
gcc -O -c picosat.c
gcc -O -c app.c
gcc -O -c main.c
gcc -O -o picosat main.o app.o picosat.o
ar rc libpicosat.a picosat.o
ranlib libpicosat.a
make[1]: Leaving directory `/build/buildd2/picosat-632'
touch build-stamp
 /usr/bin/fakeroot debian/rules binary-arch
dh_testdir
dh_testroot
dh_clean -k 
dh_installdirs
# Add here commands to install the package into debian/picosat.
cp picosat /build/buildd2/picosat-632/debian/picosat/usr/bin/
dh_testdir
dh_testroot
dh_installchangelogs 
dh_installdocs
dh_installman debian/picosat.1
ERROR: ld.so: object 'libfakeroot-sysv.so' from LD_PRELOAD cannot be preloaded: ignored.
dh_link
dh_strip
dh_compress
dh_fixperms
dh_installdeb
dh_shlibdeps
dh_gencontrol
dh_md5sums
dh_builddeb
dpkg-deb: building package `picosat' in `../picosat_632-1_m32r.deb'.
 dpkg-genchanges -B -mHirokazu Takata <takata at linux-m32r.org> >../picosat_632-1_m32r.changes
dpkg-genchanges: arch-specific upload - not including arch-independent packages
dpkg-genchanges: binary-only upload - not including any source code
dpkg-buildpackage: binary only upload (no source included)
******************************************************************************
Build finished at 20080913-1547

chroot-unstable/build/buildd2/picosat_632-1_m32r.deb:
 new debian package, version 2.0.
 size 29264 bytes: control archive= 576 bytes.
     372 bytes,    11 lines      control              
     258 bytes,     4 lines      md5sums              
 Package: picosat
 Version: 632-1
 Architecture: m32r
 Maintainer: Michael Tautschnig <mt at debian.org>
 Installed-Size: 104
 Depends: libc6 (>= 2.3.5-1)
 Section: science
 Priority: extra
 Description: SAT solver with proof and core support
  PicoSAT is a SAT solver turned out to be faster on industrial instances than
  MiniSAT 2.0 and also can generate proofs and cores in memory.

chroot-unstable/build/buildd2/picosat_632-1_m32r.deb:
drwxr-xr-x root/root         0 2008-09-13 15:41 ./
drwxr-xr-x root/root         0 2008-09-13 15:38 ./usr/
drwxr-xr-x root/root         0 2008-09-13 15:40 ./usr/bin/
-rwxr-xr-x root/root     52284 2008-09-13 15:40 ./usr/bin/picosat
drwxr-xr-x root/root         0 2008-09-13 15:39 ./usr/share/
drwxr-xr-x root/root         0 2008-09-13 15:38 ./usr/share/doc/
drwxr-xr-x root/root         0 2008-09-13 15:40 ./usr/share/doc/picosat/
-rw-r--r-- root/root      1459 2008-09-13 15:28 ./usr/share/doc/picosat/copyright
-rw-r--r-- root/root       155 2008-09-13 15:28 ./usr/share/doc/picosat/changelog.Debian.gz
drwxr-xr-x root/root         0 2008-09-13 15:39 ./usr/share/man/
drwxr-xr-x root/root         0 2008-09-13 15:40 ./usr/share/man/man1/
-rw-r--r-- root/root       987 2008-09-13 15:39 ./usr/share/man/man1/picosat.1.gz

picosat_632-1_m32r.changes:
Format: 1.8
Date: Sun,  8 Jun 2008 13:08:48 +0200
Source: picosat
Binary: picosat
Architecture: m32r
Version: 632-1
Distribution: unstable
Urgency: low
Maintainer: Hirokazu Takata <takata at linux-m32r.org>
Changed-By: Michael Tautschnig <mt at debian.org>
Description: 
 picosat    - SAT solver with proof and core support
Closes: 485117
Changes: 
 picosat (632-1) unstable; urgency=low
 .
   * Initial release (Closes: #485117)
Checksums-Sha1: 
 8434db169e99ac0e6835906687b41468465e143f 29264 picosat_632-1_m32r.deb
Checksums-Sha256: 
 7d88d60f45c4ef9e732841f45b197c84f5667baadb9106bb2de00616f4009244 29264 picosat_632-1_m32r.deb
Files: 
 abd862e7a05854434d8d33d9852da79d 29264 science extra picosat_632-1_m32r.deb

******************************************************************************
Built successfully
Purging chroot-unstable/build/buildd2/picosat-632
------------------------------------------------------------------------------
******************************************************************************
Finished at 20080913-1547
Build needed 00:23:25, 568k disk space