Started by user mt
[EnvInject] - Loading node environment variables.
Building remotely on mt-farm03 (SID_CHROOT) in workspace /srv/jenkins-slave/workspace/sid-goto-cc-proofgeneral
run PrePostClean
running on mt-farm03
clean on mt-farm02
clean on mt-farm01
clean on mt-farm04
clean on mt-farm05
[EnvInject] - Executing scripts and injecting environment variables after the SCM step.
[EnvInject] - Injecting as environment variables the properties content 
PKG=proofgeneral

[EnvInject] - Variables injected successfully.
[sid-goto-cc-proofgeneral] $ /bin/bash /tmp/hudson1950372523597491364.sh
dget: retrieving ftp://ftp.uk.debian.org/debian/pool/main/p/proofgeneral/proofgeneral_4.3~pre130510-1.1.dsc
--2014-06-09 20:16:26--  ftp://ftp.uk.debian.org/debian/pool/main/p/proofgeneral/proofgeneral_4.3~pre130510-1.1.dsc
           => `proofgeneral_4.3~pre130510-1.1.dsc'
Resolving ftp.uk.debian.org (ftp.uk.debian.org)... 83.142.228.128, 2001:470:1f08:80b::2
Connecting to ftp.uk.debian.org (ftp.uk.debian.org)|83.142.228.128|:21... connected.
Logging in as anonymous ... Logged in!
==> SYST ... done.    ==> PWD ... done.
==> TYPE I ... done.  ==> CWD (1) /debian/pool/main/p/proofgeneral ... done.
==> SIZE proofgeneral_4.3~pre130510-1.1.dsc ... 2016
==> PASV ... done.    ==> RETR proofgeneral_4.3~pre130510-1.1.dsc ... done.
Length: 2016 (2.0K) (unauthoritative)

     0K .                                                     100%  222K=0.009s

2014-06-09 20:16:27 (222 KB/s) - `proofgeneral_4.3~pre130510-1.1.dsc' saved [2016]

dget: retrieving ftp://ftp.uk.debian.org/debian/pool/main/p/proofgeneral/proofgeneral_4.3~pre130510.orig.tar.gz
--2014-06-09 20:16:27--  ftp://ftp.uk.debian.org/debian/pool/main/p/proofgeneral/proofgeneral_4.3~pre130510.orig.tar.gz
           => `proofgeneral_4.3~pre130510.orig.tar.gz'
Resolving ftp.uk.debian.org (ftp.uk.debian.org)... 83.142.228.128, 2001:470:1f08:80b::2
Connecting to ftp.uk.debian.org (ftp.uk.debian.org)|83.142.228.128|:21... connected.
Logging in as anonymous ... Logged in!
==> SYST ... done.    ==> PWD ... done.
==> TYPE I ... done.  ==> CWD (1) /debian/pool/main/p/proofgeneral ... done.
==> SIZE proofgeneral_4.3~pre130510.orig.tar.gz ... 1047655
==> PASV ... done.    ==> RETR proofgeneral_4.3~pre130510.orig.tar.gz ... done.
Length: 1047655 (1023K) (unauthoritative)

     0K .......... .......... .......... .......... ..........  4% 2.22M 0s
    50K .......... .......... .......... .......... ..........  9% 9.16M 0s
   100K .......... .......... .......... .......... .......... 14% 15.8M 0s
   150K .......... .......... .......... .......... .......... 19% 17.3M 0s
   200K .......... .......... .......... .......... .......... 24% 47.1M 0s
   250K .......... .......... .......... .......... .......... 29% 2.85M 0s
   300K .......... .......... .......... .......... .......... 34% 17.8M 0s
   350K .......... .......... .......... .......... .......... 39% 21.0M 0s
   400K .......... .......... .......... .......... .......... 43% 58.9M 0s
   450K .......... .......... .......... .......... .......... 48% 58.4M 0s
   500K .......... .......... .......... .......... .......... 53% 1.66M 0s
   550K .......... .......... .......... .......... .......... 58% 59.4M 0s
   600K .......... .......... .......... .......... .......... 63% 22.1M 0s
   650K .......... .......... .......... .......... .......... 68% 30.2M 0s
   700K .......... .......... .......... .......... .......... 73% 66.8M 0s
   750K .......... .......... .......... .......... .......... 78% 40.8M 0s
   800K .......... .......... .......... .......... .......... 83% 32.5M 0s
   850K .......... .......... .......... .......... .......... 87% 38.3M 0s
   900K .......... .......... .......... .......... .......... 92% 48.8M 0s
   950K .......... .......... .......... .......... .......... 97% 73.0M 0s
  1000K .......... .......... ...                             100%  146M=0.1s

2014-06-09 20:16:29 (10.1 MB/s) - `proofgeneral_4.3~pre130510.orig.tar.gz' saved [1047655]

dget: retrieving ftp://ftp.uk.debian.org/debian/pool/main/p/proofgeneral/proofgeneral_4.3~pre130510-1.1.debian.tar.xz
--2014-06-09 20:16:29--  ftp://ftp.uk.debian.org/debian/pool/main/p/proofgeneral/proofgeneral_4.3~pre130510-1.1.debian.tar.xz
           => `proofgeneral_4.3~pre130510-1.1.debian.tar.xz'
Resolving ftp.uk.debian.org (ftp.uk.debian.org)... 83.142.228.128, 2001:470:1f08:80b::2
Connecting to ftp.uk.debian.org (ftp.uk.debian.org)|83.142.228.128|:21... connected.
Logging in as anonymous ... Logged in!
==> SYST ... done.    ==> PWD ... done.
==> TYPE I ... done.  ==> CWD (1) /debian/pool/main/p/proofgeneral ... done.
==> SIZE proofgeneral_4.3~pre130510-1.1.debian.tar.xz ... 19108
==> PASV ... done.    ==> RETR proofgeneral_4.3~pre130510-1.1.debian.tar.xz ... done.
Length: 19108 (19K) (unauthoritative)

     0K .......... ........                                   100% 1.19M=0.02s

2014-06-09 20:16:31 (1.19 MB/s) - `proofgeneral_4.3~pre130510-1.1.debian.tar.xz' saved [19108]

dpkg-source: info: extracting proofgeneral in proofgeneral-4.3~pre130510
dpkg-source: info: unpacking proofgeneral_4.3~pre130510.orig.tar.gz
dpkg-source: info: unpacking proofgeneral_4.3~pre130510-1.1.debian.tar.xz
dpkg-source: info: applying restrict-installed-provers.patch
dpkg-source: info: applying dont-install-mmm-mode.patch
dpkg-source: info: applying fix-package-name-in-install-path.patch
dpkg-source: info: applying dont-install-elc.patch
dpkg-source: info: applying only-install-simplified-pg-script
dpkg-source: info: applying debian-specific-site-init.patch
dpkg-source: info: applying prepare-user-manual
dpkg-source: info: applying install-examples.patch
dpkg-source: info: applying fix-texinfo-5-1-bug.patch
dpkg-source: info: applying pg-image-bug.patch
dpkg-source: info: applying smartly-enable-prooftree.patch
dpkg-source: info: applying transition_to_makeinfo.patch
I: using cowbuilder as pbuilder
 -> Copying COW directory
  forking: rm -rf /srv/jenkins-slave/cow/cow.41909 
  forking: cp -al /srv/sid-base.cow /srv/jenkins-slave/cow/cow.41909 
I: removed stale ilistfile /srv/jenkins-slave/cow/cow.41909/.ilist
 -> Invoking pbuilder
  forking: pbuilder execute --bindmounts /srv/jenkins-slave/workspace/sid-goto-cc-proofgeneral --buildplace /srv/jenkins-slave/cow/cow.41909 --no-targz --internal-chrootexec chroot /srv/jenkins-slave/cow/cow.41909 cow-shell /usr/lib/pbuilder/pdebuild-internal /srv/jenkins-slave/workspace/sid-goto-cc-proofgeneral/proofgeneral-4.3~pre130510 --debbuildopts  --debbuildopts  --uid 1001 --gid 1599 --pbuildersatisfydepends /usr/bin/pbuilder-deps-wrapper.sh 
I: Running in no-targz mode
I: copying local configuration
I: mounting /proc filesystem
I: mounting /dev/pts filesystem
I: Mounting /run/shm
I: Mounting /srv/jenkins-slave/workspace/sid-goto-cc-proofgeneral
I: policy-rc.d already exists
I: Obtaining the cached apt archive contents
Reading package lists...
Building dependency tree...
Reading state information...
passwd is already the newest version.
The following packages were automatically installed and are no longer required:
  aptitude-common libboost-iostreams1.55.0 libcwidget3 libept1.4.12
  libncursesw5 libsigc++-2.0-0c2a libsqlite3-0 libxapian22
Use 'apt-get autoremove' to remove them.
The following extra packages will be installed:
  debootstrap libffi6 libgnutls-deb0-28 libhogweed2 libidn11 libnettle4
  libp11-kit0 libtasn1-6 wget
Suggested packages:
  gnutls-bin pbuilder-uml gdebi-core
Recommended packages:
  fakeroot sudo devscripts ca-certificates
The following NEW packages will be installed:
  debootstrap libffi6 libgnutls-deb0-28 libhogweed2 libidn11 libnettle4
  libp11-kit0 libtasn1-6 pbuilder wget
debconf: delaying package configuration, since apt-utils is not installed
0 upgraded, 10 newly installed, 0 to remove and 0 not upgraded.
Need to get 0 B/2305 kB of archives.
After this operation, 7087 kB of additional disk space will be used.
Selecting previously unselected package libnettle4:amd64.
(Reading database ... 11564 files and directories currently installed.)
Preparing to unpack .../libnettle4_2.7.1-2+b1_amd64.deb ...
Unpacking libnettle4:amd64 (2.7.1-2+b1) ...
Selecting previously unselected package libhogweed2:amd64.
Preparing to unpack .../libhogweed2_2.7.1-2+b1_amd64.deb ...
Unpacking libhogweed2:amd64 (2.7.1-2+b1) ...
Selecting previously unselected package libffi6:amd64.
Preparing to unpack .../libffi6_3.1-2_amd64.deb ...
Unpacking libffi6:amd64 (3.1-2) ...
Selecting previously unselected package libp11-kit0:amd64.
Preparing to unpack .../libp11-kit0_0.20.2-5_amd64.deb ...
Unpacking libp11-kit0:amd64 (0.20.2-5) ...
Selecting previously unselected package libtasn1-6:amd64.
Preparing to unpack .../libtasn1-6_3.6-1_amd64.deb ...
Unpacking libtasn1-6:amd64 (3.6-1) ...
Selecting previously unselected package libgnutls-deb0-28:amd64.
Preparing to unpack .../libgnutls-deb0-28_3.2.15-2_amd64.deb ...
Unpacking libgnutls-deb0-28:amd64 (3.2.15-2) ...
Selecting previously unselected package libidn11:amd64.
Preparing to unpack .../libidn11_1.28-2_amd64.deb ...
Unpacking libidn11:amd64 (1.28-2) ...
Selecting previously unselected package wget.
Preparing to unpack .../wget_1.15-1+b1_amd64.deb ...
Unpacking wget (1.15-1+b1) ...
Selecting previously unselected package debootstrap.
Preparing to unpack .../debootstrap_1.0.60_all.deb ...
Unpacking debootstrap (1.0.60) ...
Selecting previously unselected package pbuilder.
Preparing to unpack .../pbuilder_0.215_all.deb ...
Unpacking pbuilder (0.215) ...
Setting up libnettle4:amd64 (2.7.1-2+b1) ...
Setting up libhogweed2:amd64 (2.7.1-2+b1) ...
Setting up libffi6:amd64 (3.1-2) ...
Setting up libp11-kit0:amd64 (0.20.2-5) ...
Setting up libtasn1-6:amd64 (3.6-1) ...
Setting up libgnutls-deb0-28:amd64 (3.2.15-2) ...
Setting up libidn11:amd64 (1.28-2) ...
Setting up wget (1.15-1+b1) ...
Setting up debootstrap (1.0.60) ...
Setting up pbuilder (0.215) ...
Processing triggers for libc-bin (2.19-1) ...
I: Setting DEBBUILDOPTS=
I: Setting DEBBUILDOPTS=
W: no hooks of type D found -- ignoring
 -> Attempting to parse the build-deps 
 -> Considering build-dep debhelper (>= 9)
   -> Trying debhelper
 -> Considering build-dep texinfo
   -> Trying texinfo
 -> Considering build-dep texlive-latex-recommended
   -> Trying texlive-latex-recommended
 -> Considering build-dep texlive-generic-recommended
   -> Trying texlive-generic-recommended
 -> Considering build-dep texlive-fonts-recommended
   -> Trying texlive-fonts-recommended
 -> Considering build-dep emacs23-nox | emacs23 | emacs23-lucid | emacs24-nox | emacs24 | emacs24-lucid
   -> Trying emacs23-nox
 -> Installing  debhelper texinfo texlive-latex-recommended texlive-generic-recommended texlive-fonts-recommended emacs23-nox
Reading package lists...
Building dependency tree...
Reading state information...
The following packages were automatically installed and are no longer required:
  aptitude-common libboost-iostreams1.55.0 libcwidget3 libept1.4.12
  libncursesw5 libsigc++-2.0-0c2a libsqlite3-0 libxapian22
Use 'apt-get autoremove' to remove them.
The following extra packages will be installed:
  bsdmainutils emacs23-bin-common emacs23-common emacsen-common file
  fontconfig-config fonts-dejavu-core gettext gettext-base groff-base
  intltool-debian libasound2 libasound2-data libasprintf0c2 libavahi-client3
  libavahi-common-data libavahi-common3 libcroco3 libcups2 libcupsfilters1
  libcupsimage2 libdbus-1-3 libexpat1 libfontconfig1 libfreetype6 libglib2.0-0
  libgpm2 libgraphite2-3 libgs9 libgs9-common libgssapi-krb5-2
  libharfbuzz-icu0 libharfbuzz0b libice6 libicu52 libijs-0.35 libintl-perl
  libjasper1 libjbig0 libjbig2dec0 libjpeg8 libk5crypto3 libkeyutils1
  libkpathsea6 libkrb5-3 libkrb5support0 liblcms2-2 liblockfile-bin
  liblockfile1 libmagic1 libopenjpeg5 libpaper-utils libpaper1 libpipeline1
  libpixman-1-0 libpng12-0 libpoppler44 libpotrace0 libptexenc1 libsm6
  libtext-unidecode-perl libtiff5 libunistring0 libx11-6 libx11-data libxau6
  libxaw7 libxcb1 libxdmcp6 libxext6 libxi6 libxml-libxml-perl
  libxml-namespacesupport-perl libxml-sax-base-perl libxml-sax-perl libxml2
  libxmu6 libxpm4 libxt6 libzzip-0-13 man-db po-debconf poppler-data
  tex-common texlive-base texlive-binaries texlive-latex-base ucf x11-common
  xdg-utils
Suggested packages:
  wamerican wordlist whois vacation dh-make emacs23-el emacs23-common-non-dfsg
  gettext-doc groff libasound2-plugins alsa-utils cups-common gpm krb5-doc
  krb5-user libintl-xs-perl libjasper-runtime liblcms2-utils less www-browser
  libmail-box-perl poppler-utils ghostscript fonts-japanese-mincho
  fonts-ipafont-mincho fonts-japanese-gothic fonts-ipafont-gothic
  fonts-arphic-ukai fonts-arphic-uming fonts-nanum texinfo-doc-nonfree gv
  postscript-viewer perl-tk xpdf-reader pdf-viewer gvfs-bin
Recommended packages:
  autopoint libasprintf-dev libgettextpo-dev dbus libglib2.0-data
  shared-mime-info fonts-droid krb5-locales libxml-sax-expat-perl xml-core
  libmail-sendmail-perl lmodern python ruby wish tex-gyre tipa
  texlive-fonts-recommended-doc texlive-latex-base-doc
  texlive-latex-recommended-doc prosper libfile-mimeinfo-perl libnet-dbus-perl
  libx11-protocol-perl x11-utils x11-xserver-utils
The following NEW packages will be installed:
  bsdmainutils debhelper emacs23-bin-common emacs23-common emacs23-nox
  emacsen-common file fontconfig-config fonts-dejavu-core gettext gettext-base
  groff-base intltool-debian libasound2 libasound2-data libasprintf0c2
  libavahi-client3 libavahi-common-data libavahi-common3 libcroco3 libcups2
  libcupsfilters1 libcupsimage2 libdbus-1-3 libexpat1 libfontconfig1
  libfreetype6 libglib2.0-0 libgpm2 libgraphite2-3 libgs9 libgs9-common
  libgssapi-krb5-2 libharfbuzz-icu0 libharfbuzz0b libice6 libicu52 libijs-0.35
  libintl-perl libjasper1 libjbig0 libjbig2dec0 libjpeg8 libk5crypto3
  libkeyutils1 libkpathsea6 libkrb5-3 libkrb5support0 liblcms2-2
  liblockfile-bin liblockfile1 libmagic1 libopenjpeg5 libpaper-utils libpaper1
  libpipeline1 libpixman-1-0 libpng12-0 libpoppler44 libpotrace0 libptexenc1
  libsm6 libtext-unidecode-perl libtiff5 libunistring0 libx11-6 libx11-data
  libxau6 libxaw7 libxcb1 libxdmcp6 libxext6 libxi6 libxml-libxml-perl
  libxml-namespacesupport-perl libxml-sax-base-perl libxml-sax-perl libxml2
  libxmu6 libxpm4 libxt6 libzzip-0-13 man-db po-debconf poppler-data
  tex-common texinfo texlive-base texlive-binaries texlive-fonts-recommended
  texlive-generic-recommended texlive-latex-base texlive-latex-recommended ucf
  x11-common xdg-utils
debconf: delaying package configuration, since apt-utils is not installed
0 upgraded, 96 newly installed, 0 to remove and 0 not upgraded.
Need to get 0 B/95.9 MB of archives.
After this operation, 322 MB of additional disk space will be used.
Selecting previously unselected package libpipeline1:amd64.
(Reading database ... 11844 files and directories currently installed.)
Preparing to unpack .../libpipeline1_1.3.0-1_amd64.deb ...
Unpacking libpipeline1:amd64 (1.3.0-1) ...
Selecting previously unselected package groff-base.
Preparing to unpack .../groff-base_1.22.2-5_amd64.deb ...
Unpacking groff-base (1.22.2-5) ...
Selecting previously unselected package bsdmainutils.
Preparing to unpack .../bsdmainutils_9.0.5_amd64.deb ...
Unpacking bsdmainutils (9.0.5) ...
Selecting previously unselected package man-db.
Preparing to unpack .../man-db_2.6.7.1-1_amd64.deb ...
Unpacking man-db (2.6.7.1-1) ...
Selecting previously unselected package libasprintf0c2:amd64.
Preparing to unpack .../libasprintf0c2_0.18.3.2-2_amd64.deb ...
Unpacking libasprintf0c2:amd64 (0.18.3.2-2) ...
Selecting previously unselected package libgpm2:amd64.
Preparing to unpack .../libgpm2_1.20.4-6.1_amd64.deb ...
Unpacking libgpm2:amd64 (1.20.4-6.1) ...
Selecting previously unselected package libkeyutils1:amd64.
Preparing to unpack .../libkeyutils1_1.5.9-4_amd64.deb ...
Unpacking libkeyutils1:amd64 (1.5.9-4) ...
Selecting previously unselected package libkrb5support0:amd64.
Preparing to unpack .../libkrb5support0_1.12.1+dfsg-2_amd64.deb ...
Unpacking libkrb5support0:amd64 (1.12.1+dfsg-2) ...
Selecting previously unselected package libk5crypto3:amd64.
Preparing to unpack .../libk5crypto3_1.12.1+dfsg-2_amd64.deb ...
Unpacking libk5crypto3:amd64 (1.12.1+dfsg-2) ...
Selecting previously unselected package libkrb5-3:amd64.
Preparing to unpack .../libkrb5-3_1.12.1+dfsg-2_amd64.deb ...
Unpacking libkrb5-3:amd64 (1.12.1+dfsg-2) ...
Selecting previously unselected package libgssapi-krb5-2:amd64.
Preparing to unpack .../libgssapi-krb5-2_1.12.1+dfsg-2_amd64.deb ...
Unpacking libgssapi-krb5-2:amd64 (1.12.1+dfsg-2) ...
Selecting previously unselected package liblockfile-bin.
Preparing to unpack .../liblockfile-bin_1.09-6_amd64.deb ...
Unpacking liblockfile-bin (1.09-6) ...
Selecting previously unselected package liblockfile1:amd64.
Preparing to unpack .../liblockfile1_1.09-6_amd64.deb ...
Unpacking liblockfile1:amd64 (1.09-6) ...
Selecting previously unselected package libmagic1:amd64.
Preparing to unpack .../libmagic1_1%3a5.18-1_amd64.deb ...
Unpacking libmagic1:amd64 (1:5.18-1) ...
Selecting previously unselected package libxml2:amd64.
Preparing to unpack .../libxml2_2.9.1+dfsg1-3_amd64.deb ...
Unpacking libxml2:amd64 (2.9.1+dfsg1-3) ...
Selecting previously unselected package libasound2-data.
Preparing to unpack .../libasound2-data_1.0.27.2-4_all.deb ...
Unpacking libasound2-data (1.0.27.2-4) ...
Selecting previously unselected package libasound2:amd64.
Preparing to unpack .../libasound2_1.0.27.2-4_amd64.deb ...
Unpacking libasound2:amd64 (1.0.27.2-4) ...
Selecting previously unselected package libavahi-common-data:amd64.
Preparing to unpack .../libavahi-common-data_0.6.31-4_amd64.deb ...
Unpacking libavahi-common-data:amd64 (0.6.31-4) ...
Selecting previously unselected package libavahi-common3:amd64.
Preparing to unpack .../libavahi-common3_0.6.31-4_amd64.deb ...
Unpacking libavahi-common3:amd64 (0.6.31-4) ...
Selecting previously unselected package libdbus-1-3:amd64.
Preparing to unpack .../libdbus-1-3_1.8.2-1_amd64.deb ...
Unpacking libdbus-1-3:amd64 (1.8.2-1) ...
Selecting previously unselected package libavahi-client3:amd64.
Preparing to unpack .../libavahi-client3_0.6.31-4_amd64.deb ...
Unpacking libavahi-client3:amd64 (0.6.31-4) ...
Selecting previously unselected package libglib2.0-0:amd64.
Preparing to unpack .../libglib2.0-0_2.40.0-3_amd64.deb ...
Unpacking libglib2.0-0:amd64 (2.40.0-3) ...
Selecting previously unselected package libcroco3:amd64.
Preparing to unpack .../libcroco3_0.6.8-2_amd64.deb ...
Unpacking libcroco3:amd64 (0.6.8-2) ...
Selecting previously unselected package libcups2:amd64.
Preparing to unpack .../libcups2_1.7.3-1+b1_amd64.deb ...
Unpacking libcups2:amd64 (1.7.3-1+b1) ...
Selecting previously unselected package libcupsimage2:amd64.
Preparing to unpack .../libcupsimage2_1.7.3-1+b1_amd64.deb ...
Unpacking libcupsimage2:amd64 (1.7.3-1+b1) ...
Selecting previously unselected package libjpeg8:amd64.
Preparing to unpack .../libjpeg8_8d-2_amd64.deb ...
Unpacking libjpeg8:amd64 (8d-2) ...
Selecting previously unselected package libpng12-0:amd64.
Preparing to unpack .../libpng12-0_1.2.50-1_amd64.deb ...
Unpacking libpng12-0:amd64 (1.2.50-1) ...
Selecting previously unselected package libjbig0:amd64.
Preparing to unpack .../libjbig0_2.0-2.1_amd64.deb ...
Unpacking libjbig0:amd64 (2.0-2.1) ...
Selecting previously unselected package libtiff5:amd64.
Preparing to unpack .../libtiff5_4.0.3-8_amd64.deb ...
Unpacking libtiff5:amd64 (4.0.3-8) ...
Selecting previously unselected package libcupsfilters1:amd64.
Preparing to unpack .../libcupsfilters1_1.0.53-2_amd64.deb ...
Unpacking libcupsfilters1:amd64 (1.0.53-2) ...
Selecting previously unselected package libexpat1:amd64.
Preparing to unpack .../libexpat1_2.1.0-6_amd64.deb ...
Unpacking libexpat1:amd64 (2.1.0-6) ...
Selecting previously unselected package libfreetype6:amd64.
Preparing to unpack .../libfreetype6_2.5.2-1_amd64.deb ...
Unpacking libfreetype6:amd64 (2.5.2-1) ...
Selecting previously unselected package ucf.
Preparing to unpack .../archives/ucf_3.0030_all.deb ...
Moving old data out of the way
Unpacking ucf (3.0030) ...
Selecting previously unselected package fonts-dejavu-core.
Preparing to unpack .../fonts-dejavu-core_2.34-1_all.deb ...
Unpacking fonts-dejavu-core (2.34-1) ...
Selecting previously unselected package fontconfig-config.
Preparing to unpack .../fontconfig-config_2.11.0-5_all.deb ...
Unpacking fontconfig-config (2.11.0-5) ...
Selecting previously unselected package libfontconfig1:amd64.
Preparing to unpack .../libfontconfig1_2.11.0-5_amd64.deb ...
Unpacking libfontconfig1:amd64 (2.11.0-5) ...
Selecting previously unselected package libgraphite2-3:amd64.
Preparing to unpack .../libgraphite2-3_1.2.4-3_amd64.deb ...
Unpacking libgraphite2-3:amd64 (1.2.4-3) ...
Selecting previously unselected package libharfbuzz0b:amd64.
Preparing to unpack .../libharfbuzz0b_0.9.28-2_amd64.deb ...
Unpacking libharfbuzz0b:amd64 (0.9.28-2) ...
Selecting previously unselected package libicu52:amd64.
Preparing to unpack .../libicu52_52.1-3_amd64.deb ...
Unpacking libicu52:amd64 (52.1-3) ...
Selecting previously unselected package libharfbuzz-icu0:amd64.
Preparing to unpack .../libharfbuzz-icu0_0.9.28-2_amd64.deb ...
Unpacking libharfbuzz-icu0:amd64 (0.9.28-2) ...
Selecting previously unselected package x11-common.
Preparing to unpack .../x11-common_1%3a7.7+7_all.deb ...
Unpacking x11-common (1:7.7+7) ...
Selecting previously unselected package libice6:amd64.
Preparing to unpack .../libice6_2%3a1.0.8-2_amd64.deb ...
Unpacking libice6:amd64 (2:1.0.8-2) ...
Selecting previously unselected package libijs-0.35:amd64.
Preparing to unpack .../libijs-0.35_0.35-10_amd64.deb ...
Unpacking libijs-0.35:amd64 (0.35-10) ...
Selecting previously unselected package libjasper1:amd64.
Preparing to unpack .../libjasper1_1.900.1-debian1-2_amd64.deb ...
Unpacking libjasper1:amd64 (1.900.1-debian1-2) ...
Selecting previously unselected package liblcms2-2:amd64.
Preparing to unpack .../liblcms2-2_2.6-2_amd64.deb ...
Unpacking liblcms2-2:amd64 (2.6-2) ...
Selecting previously unselected package libpaper1:amd64.
Preparing to unpack .../libpaper1_1.1.24+nmu3_amd64.deb ...
Unpacking libpaper1:amd64 (1.1.24+nmu3) ...
Selecting previously unselected package libpixman-1-0:amd64.
Preparing to unpack .../libpixman-1-0_0.32.4-1_amd64.deb ...
Unpacking libpixman-1-0:amd64 (0.32.4-1) ...
Selecting previously unselected package libopenjpeg5:amd64.
Preparing to unpack .../libopenjpeg5_1.5.2-2_amd64.deb ...
Unpacking libopenjpeg5:amd64 (1.5.2-2) ...
Selecting previously unselected package libpoppler44:amd64.
Preparing to unpack .../libpoppler44_0.24.5-4_amd64.deb ...
Unpacking libpoppler44:amd64 (0.24.5-4) ...
Selecting previously unselected package libsm6:amd64.
Preparing to unpack .../libsm6_2%3a1.2.1-2_amd64.deb ...
Unpacking libsm6:amd64 (2:1.2.1-2) ...
Selecting previously unselected package libunistring0:amd64.
Preparing to unpack .../libunistring0_0.9.3-5_amd64.deb ...
Unpacking libunistring0:amd64 (0.9.3-5) ...
Selecting previously unselected package libxau6:amd64.
Preparing to unpack .../libxau6_1%3a1.0.8-1_amd64.deb ...
Unpacking libxau6:amd64 (1:1.0.8-1) ...
Selecting previously unselected package libxdmcp6:amd64.
Preparing to unpack .../libxdmcp6_1%3a1.1.1-1_amd64.deb ...
Unpacking libxdmcp6:amd64 (1:1.1.1-1) ...
Selecting previously unselected package libxcb1:amd64.
Preparing to unpack .../libxcb1_1.10-3_amd64.deb ...
Unpacking libxcb1:amd64 (1.10-3) ...
Selecting previously unselected package libx11-data.
Preparing to unpack .../libx11-data_2%3a1.6.2-2_all.deb ...
Unpacking libx11-data (2:1.6.2-2) ...
Selecting previously unselected package libx11-6:amd64.
Preparing to unpack .../libx11-6_2%3a1.6.2-2_amd64.deb ...
Unpacking libx11-6:amd64 (2:1.6.2-2) ...
Selecting previously unselected package libxext6:amd64.
Preparing to unpack .../libxext6_2%3a1.3.2-1_amd64.deb ...
Unpacking libxext6:amd64 (2:1.3.2-1) ...
Selecting previously unselected package libxt6:amd64.
Preparing to unpack .../libxt6_1%3a1.1.4-1_amd64.deb ...
Unpacking libxt6:amd64 (1:1.1.4-1) ...
Selecting previously unselected package libxmu6:amd64.
Preparing to unpack .../libxmu6_2%3a1.1.2-1_amd64.deb ...
Unpacking libxmu6:amd64 (2:1.1.2-1) ...
Selecting previously unselected package libxpm4:amd64.
Preparing to unpack .../libxpm4_1%3a3.5.10-1_amd64.deb ...
Unpacking libxpm4:amd64 (1:3.5.10-1) ...
Selecting previously unselected package libxaw7:amd64.
Preparing to unpack .../libxaw7_2%3a1.0.12-1_amd64.deb ...
Unpacking libxaw7:amd64 (2:1.0.12-1) ...
Selecting previously unselected package libxi6:amd64.
Preparing to unpack .../libxi6_2%3a1.7.2-1_amd64.deb ...
Unpacking libxi6:amd64 (2:1.7.2-1) ...
Selecting previously unselected package libzzip-0-13:amd64.
Preparing to unpack .../libzzip-0-13_0.13.62-2_amd64.deb ...
Unpacking libzzip-0-13:amd64 (0.13.62-2) ...
Selecting previously unselected package poppler-data.
Preparing to unpack .../poppler-data_0.4.6-5_all.deb ...
Unpacking poppler-data (0.4.6-5) ...
Selecting previously unselected package file.
Preparing to unpack .../file_1%3a5.18-1_amd64.deb ...
Unpacking file (1:5.18-1) ...
Selecting previously unselected package gettext-base.
Preparing to unpack .../gettext-base_0.18.3.2-2_amd64.deb ...
Unpacking gettext-base (0.18.3.2-2) ...
Selecting previously unselected package libtext-unidecode-perl.
Preparing to unpack .../libtext-unidecode-perl_0.04-2_all.deb ...
Unpacking libtext-unidecode-perl (0.04-2) ...
Selecting previously unselected package libintl-perl.
Preparing to unpack .../libintl-perl_1.23-1_all.deb ...
Unpacking libintl-perl (1.23-1) ...
Selecting previously unselected package libxml-namespacesupport-perl.
Preparing to unpack .../libxml-namespacesupport-perl_1.11-1_all.deb ...
Unpacking libxml-namespacesupport-perl (1.11-1) ...
Selecting previously unselected package libxml-sax-base-perl.
Preparing to unpack .../libxml-sax-base-perl_1.07-1_all.deb ...
Unpacking libxml-sax-base-perl (1.07-1) ...
Selecting previously unselected package libxml-sax-perl.
Preparing to unpack .../libxml-sax-perl_0.99+dfsg-2_all.deb ...
Unpacking libxml-sax-perl (0.99+dfsg-2) ...
Selecting previously unselected package libxml-libxml-perl.
Preparing to unpack .../libxml-libxml-perl_2.0116+dfsg-1_amd64.deb ...
Unpacking libxml-libxml-perl (2.0116+dfsg-1) ...
Selecting previously unselected package texinfo.
Preparing to unpack .../texinfo_5.2.0.dfsg.1-4_amd64.deb ...
Unpacking texinfo (5.2.0.dfsg.1-4) ...
Selecting previously unselected package gettext.
Preparing to unpack .../gettext_0.18.3.2-2_amd64.deb ...
Unpacking gettext (0.18.3.2-2) ...
Selecting previously unselected package intltool-debian.
Preparing to unpack .../intltool-debian_0.35.0+20060710.1_all.deb ...
Unpacking intltool-debian (0.35.0+20060710.1) ...
Selecting previously unselected package po-debconf.
Preparing to unpack .../po-debconf_1.0.16+nmu2_all.deb ...
Unpacking po-debconf (1.0.16+nmu2) ...
Selecting previously unselected package debhelper.
Preparing to unpack .../debhelper_9.20140228_all.deb ...
Unpacking debhelper (9.20140228) ...
Selecting previously unselected package emacsen-common.
Preparing to unpack .../emacsen-common_2.0.8_all.deb ...
Unpacking emacsen-common (2.0.8) ...
Selecting previously unselected package emacs23-common.
Preparing to unpack .../emacs23-common_23.4+1-4.1_all.deb ...
Unpacking emacs23-common (23.4+1-4.1) ...
Selecting previously unselected package emacs23-bin-common.
Preparing to unpack .../emacs23-bin-common_23.4+1-4.1+b1_amd64.deb ...
Unpacking emacs23-bin-common (23.4+1-4.1+b1) ...
Selecting previously unselected package emacs23-nox.
Preparing to unpack .../emacs23-nox_23.4+1-4.1+b1_amd64.deb ...
Unpacking emacs23-nox (23.4+1-4.1+b1) ...
Selecting previously unselected package libjbig2dec0.
Preparing to unpack .../libjbig2dec0_0.11+20120125-1_amd64.deb ...
Unpacking libjbig2dec0 (0.11+20120125-1) ...
Selecting previously unselected package libgs9-common.
Preparing to unpack .../libgs9-common_9.05~dfsg-8.1_all.deb ...
Unpacking libgs9-common (9.05~dfsg-8.1) ...
Selecting previously unselected package libgs9.
Preparing to unpack .../libgs9_9.05~dfsg-8.1_amd64.deb ...
Unpacking libgs9 (9.05~dfsg-8.1) ...
Selecting previously unselected package libkpathsea6.
Preparing to unpack .../libkpathsea6_2014.20140528.34243-2_amd64.deb ...
Unpacking libkpathsea6 (2014.20140528.34243-2) ...
Selecting previously unselected package libpaper-utils.
Preparing to unpack .../libpaper-utils_1.1.24+nmu3_amd64.deb ...
Unpacking libpaper-utils (1.1.24+nmu3) ...
Selecting previously unselected package libpotrace0.
Preparing to unpack .../libpotrace0_1.11-2_amd64.deb ...
Unpacking libpotrace0 (1.11-2) ...
Selecting previously unselected package libptexenc1.
Preparing to unpack .../libptexenc1_2014.20140528.34243-2_amd64.deb ...
Unpacking libptexenc1 (2014.20140528.34243-2) ...
Selecting previously unselected package tex-common.
Preparing to unpack .../tex-common_5.02_all.deb ...
Unpacking tex-common (5.02) ...
Selecting previously unselected package texlive-binaries.
Preparing to unpack .../texlive-binaries_2014.20140528.34243-2_amd64.deb ...
Unpacking texlive-binaries (2014.20140528.34243-2) ...
Selecting previously unselected package xdg-utils.
Preparing to unpack .../xdg-utils_1.1.0~rc1+git20111210-7.1_all.deb ...
Unpacking xdg-utils (1.1.0~rc1+git20111210-7.1) ...
Selecting previously unselected package texlive-base.
Preparing to unpack .../texlive-base_2014.20140528-3_all.deb ...
Unpacking texlive-base (2014.20140528-3) ...
Selecting previously unselected package texlive-fonts-recommended.
Preparing to unpack .../texlive-fonts-recommended_2014.20140528-3_all.deb ...
Unpacking texlive-fonts-recommended (2014.20140528-3) ...
Selecting previously unselected package texlive-generic-recommended.
Preparing to unpack .../texlive-generic-recommended_2014.20140528-3_all.deb ...
Unpacking texlive-generic-recommended (2014.20140528-3) ...
Selecting previously unselected package texlive-latex-base.
Preparing to unpack .../texlive-latex-base_2014.20140528-3_all.deb ...
Unpacking texlive-latex-base (2014.20140528-3) ...
Selecting previously unselected package texlive-latex-recommended.
Preparing to unpack .../texlive-latex-recommended_2014.20140528-3_all.deb ...
Unpacking texlive-latex-recommended (2014.20140528-3) ...
Setting up libpipeline1:amd64 (1.3.0-1) ...
Setting up groff-base (1.22.2-5) ...
Setting up bsdmainutils (9.0.5) ...
update-alternatives: using /usr/bin/bsd-write to provide /usr/bin/write (write) in auto mode
update-alternatives: using /usr/bin/bsd-from to provide /usr/bin/from (from) in auto mode
Setting up man-db (2.6.7.1-1) ...
Building database of manual pages ...
Setting up libasprintf0c2:amd64 (0.18.3.2-2) ...
Setting up libgpm2:amd64 (1.20.4-6.1) ...
Setting up libkeyutils1:amd64 (1.5.9-4) ...
Setting up libkrb5support0:amd64 (1.12.1+dfsg-2) ...
Setting up libk5crypto3:amd64 (1.12.1+dfsg-2) ...
Setting up libkrb5-3:amd64 (1.12.1+dfsg-2) ...
Setting up libgssapi-krb5-2:amd64 (1.12.1+dfsg-2) ...
Setting up liblockfile-bin (1.09-6) ...
Setting up liblockfile1:amd64 (1.09-6) ...
Setting up libmagic1:amd64 (1:5.18-1) ...
Setting up libxml2:amd64 (2.9.1+dfsg1-3) ...
Setting up libasound2-data (1.0.27.2-4) ...
Setting up libasound2:amd64 (1.0.27.2-4) ...
Setting up libavahi-common-data:amd64 (0.6.31-4) ...
Setting up libavahi-common3:amd64 (0.6.31-4) ...
Setting up libdbus-1-3:amd64 (1.8.2-1) ...
Setting up libavahi-client3:amd64 (0.6.31-4) ...
Setting up libglib2.0-0:amd64 (2.40.0-3) ...
No schema files found: doing nothing.
Setting up libcroco3:amd64 (0.6.8-2) ...
Setting up libcups2:amd64 (1.7.3-1+b1) ...
Setting up libjpeg8:amd64 (8d-2) ...
Setting up libpng12-0:amd64 (1.2.50-1) ...
Setting up libjbig0:amd64 (2.0-2.1) ...
Setting up libtiff5:amd64 (4.0.3-8) ...
Setting up libexpat1:amd64 (2.1.0-6) ...
Setting up libfreetype6:amd64 (2.5.2-1) ...
Setting up ucf (3.0030) ...
Setting up fonts-dejavu-core (2.34-1) ...
Setting up fontconfig-config (2.11.0-5) ...
Setting up libfontconfig1:amd64 (2.11.0-5) ...
Setting up libgraphite2-3:amd64 (1.2.4-3) ...
Setting up libharfbuzz0b:amd64 (0.9.28-2) ...
Setting up libicu52:amd64 (52.1-3) ...
Setting up libharfbuzz-icu0:amd64 (0.9.28-2) ...
Setting up x11-common (1:7.7+7) ...
update-rc.d: warning: start and stop actions are no longer supported; falling back to defaults
Setting up X socket directories... /tmp/.X11-unix /tmp/.ICE-unix.
Setting up libice6:amd64 (2:1.0.8-2) ...
Setting up libijs-0.35:amd64 (0.35-10) ...
Setting up libjasper1:amd64 (1.900.1-debian1-2) ...
Setting up liblcms2-2:amd64 (2.6-2) ...
Setting up libpaper1:amd64 (1.1.24+nmu3) ...

Creating config file /etc/papersize with new version
Setting up libpixman-1-0:amd64 (0.32.4-1) ...
Setting up libopenjpeg5:amd64 (1.5.2-2) ...
Setting up libpoppler44:amd64 (0.24.5-4) ...
Setting up libsm6:amd64 (2:1.2.1-2) ...
Setting up libunistring0:amd64 (0.9.3-5) ...
Setting up libxau6:amd64 (1:1.0.8-1) ...
Setting up libxdmcp6:amd64 (1:1.1.1-1) ...
Setting up libxcb1:amd64 (1.10-3) ...
Setting up libx11-data (2:1.6.2-2) ...
Setting up libx11-6:amd64 (2:1.6.2-2) ...
Setting up libxext6:amd64 (2:1.3.2-1) ...
Setting up libxt6:amd64 (1:1.1.4-1) ...
Setting up libxmu6:amd64 (2:1.1.2-1) ...
Setting up libxpm4:amd64 (1:3.5.10-1) ...
Setting up libxaw7:amd64 (2:1.0.12-1) ...
Setting up libxi6:amd64 (2:1.7.2-1) ...
Setting up libzzip-0-13:amd64 (0.13.62-2) ...
Setting up poppler-data (0.4.6-5) ...
Setting up file (1:5.18-1) ...
Setting up gettext-base (0.18.3.2-2) ...
Setting up libtext-unidecode-perl (0.04-2) ...
Setting up libintl-perl (1.23-1) ...
Setting up libxml-namespacesupport-perl (1.11-1) ...
Setting up libxml-sax-base-perl (1.07-1) ...
Setting up libxml-sax-perl (0.99+dfsg-2) ...
update-perl-sax-parsers: Registering Perl SAX parser XML::SAX::PurePerl with priority 10...
update-perl-sax-parsers: Updating overall Perl SAX parser modules info file...

Creating config file /etc/perl/XML/SAX/ParserDetails.ini with new version
Setting up libxml-libxml-perl (2.0116+dfsg-1) ...
update-perl-sax-parsers: Registering Perl SAX parser XML::LibXML::SAX::Parser with priority 50...
update-perl-sax-parsers: Registering Perl SAX parser XML::LibXML::SAX with priority 50...
update-perl-sax-parsers: Updating overall Perl SAX parser modules info file...
Replacing config file /etc/perl/XML/SAX/ParserDetails.ini with new version
Setting up texinfo (5.2.0.dfsg.1-4) ...
Running mktexlsr. This may take some time. ... done.
Setting up gettext (0.18.3.2-2) ...
Setting up intltool-debian (0.35.0+20060710.1) ...
Setting up po-debconf (1.0.16+nmu2) ...
Setting up debhelper (9.20140228) ...
Setting up emacsen-common (2.0.8) ...
Setting up emacs23-common (23.4+1-4.1) ...
Setting up emacs23-bin-common (23.4+1-4.1+b1) ...
update-alternatives: using /usr/bin/b2m.emacs23 to provide /usr/bin/b2m (b2m) in auto mode
update-alternatives: using /usr/bin/ctags.emacs23 to provide /usr/bin/ctags (ctags) in auto mode
update-alternatives: using /usr/bin/ebrowse.emacs23 to provide /usr/bin/ebrowse (ebrowse) in auto mode
update-alternatives: using /usr/bin/emacsclient.emacs23 to provide /usr/bin/emacsclient (emacsclient) in auto mode
update-alternatives: using /usr/bin/etags.emacs23 to provide /usr/bin/etags (etags) in auto mode
update-alternatives: using /usr/bin/grep-changelog.emacs23 to provide /usr/bin/grep-changelog (grep-changelog) in auto mode
update-alternatives: using /usr/bin/rcs-checkin.emacs23 to provide /usr/bin/rcs-checkin (rcs-checkin) in auto mode
Setting up emacs23-nox (23.4+1-4.1+b1) ...
update-alternatives: using /usr/bin/emacs23-nox to provide /usr/bin/emacs (emacs) in auto mode
update-alternatives: using /usr/bin/emacs23 to provide /usr/bin/editor (editor) in auto mode
Install emacsen-common for emacs23
emacsen-common: Handling install of emacsen flavor emacs23
Wrote /etc/emacs23/site-start.d/00debian-vars.elc
Wrote /usr/share/emacs23/site-lisp/debian-startup.elc
Setting up libjbig2dec0 (0.11+20120125-1) ...
Setting up libgs9-common (9.05~dfsg-8.1) ...
Setting up libkpathsea6 (2014.20140528.34243-2) ...
Setting up libpaper-utils (1.1.24+nmu3) ...
Setting up libpotrace0 (1.11-2) ...
Setting up libptexenc1 (2014.20140528.34243-2) ...
Setting up tex-common (5.02) ...
Setting up xdg-utils (1.1.0~rc1+git20111210-7.1) ...
Setting up libcupsimage2:amd64 (1.7.3-1+b1) ...
Setting up libcupsfilters1:amd64 (1.0.53-2) ...
Setting up libgs9 (9.05~dfsg-8.1) ...
Setting up texlive-binaries (2014.20140528.34243-2) ...
update-alternatives: using /usr/bin/xdvi-xaw to provide /usr/bin/xdvi.bin (xdvi.bin) in auto mode
update-alternatives: using /usr/bin/bibtex.original to provide /usr/bin/bibtex (bibtex) in auto mode
Building format(s) --refresh.
	This may take some time... done.
Setting up texlive-base (2014.20140528-3) ...
/usr/bin/tl-paper: setting paper size for dvips to a4.
/usr/bin/tl-paper: setting paper size for dvipdfmx to a4.
/usr/bin/tl-paper: setting paper size for xdvi to a4.
/usr/bin/tl-paper: setting paper size for pdftex to a4.
Running mktexlsr. This may take some time... done.
Building format(s) --all.
	This may take some time... done.
Setting up texlive-fonts-recommended (2014.20140528-3) ...
Setting up texlive-generic-recommended (2014.20140528-3) ...
Setting up texlive-latex-base (2014.20140528-3) ...
Running mktexlsr. This may take some time... done.
Building format(s) --all --cnffile /etc/texmf/fmt.d/10texlive-latex-base.cnf.
	This may take some time... done.
Setting up texlive-latex-recommended (2014.20140528-3) ...
Processing triggers for libc-bin (2.19-1) ...
Processing triggers for tex-common (5.02) ...
Running mktexlsr. This may take some time... done.
 -> Finished parsing the build-deps
Reading package lists...
Building dependency tree...
Reading state information...
The following packages were automatically installed and are no longer required:
  aptitude-common libboost-iostreams1.55.0 libcwidget3 libept1.4.12
  libncursesw5 libsigc++-2.0-0c2a libsqlite3-0 libxapian22
Use 'apt-get autoremove' to remove them.
The following extra packages will be installed:
  libfakeroot
The following NEW packages will be installed:
  fakeroot libfakeroot
debconf: delaying package configuration, since apt-utils is not installed
0 upgraded, 2 newly installed, 0 to remove and 0 not upgraded.
Need to get 0 B/122 kB of archives.
After this operation, 411 kB of additional disk space will be used.
Selecting previously unselected package libfakeroot:amd64.
(Reading database ... 26827 files and directories currently installed.)
Preparing to unpack .../libfakeroot_1.20-3_amd64.deb ...
Unpacking libfakeroot:amd64 (1.20-3) ...
Selecting previously unselected package fakeroot.
Preparing to unpack .../fakeroot_1.20-3_amd64.deb ...
Unpacking fakeroot (1.20-3) ...
Processing triggers for man-db (2.6.7.1-1) ...
Setting up libfakeroot:amd64 (1.20-3) ...
Setting up fakeroot (1.20-3) ...
update-alternatives: using /usr/bin/fakeroot-sysv to provide /usr/bin/fakeroot (fakeroot) in auto mode
W: no hooks of type A found -- ignoring
I: Running /usr/bin/dpkg-buildpackage -rfakeroot -us -uc ${DEBBUILDOPTS}
dpkg-buildpackage: source package proofgeneral
dpkg-buildpackage: source version 4.3~pre130510-1.1
dpkg-buildpackage: source distribution unstable
dpkg-buildpackage: source changed by Hideki Yamane <henrich@debian.org>
 dpkg-source --before-build proofgeneral-4.3~pre130510
dpkg-buildpackage: host architecture amd64
 fakeroot debian/rules clean
dh clean 
   dh_testdir
   dh_auto_clean
	make -j1 distclean
make[1]: Entering directory '/srv/jenkins-slave/workspace/sid-goto-cc-proofgeneral/proofgeneral-4.3~pre130510'
***** CLEANING UP INTERMEDIATE FILES ****
rm -f doc/ProofGeneralPortrait.eps.gz
rm -f ../web/ProofGeneral
rm -rf doc/html doc/proofgeneral.pdf doc/proofgeneral.info
rm -f coq/coq-abbrev.elc coq/coq-autotest.elc coq/coq-compile-common.elc coq/coq-db.elc coq/coq-indent.elc coq/coq-local-vars.elc coq/coq-mmm.elc coq/coq-par-compile.elc coq/coq-seq-compile.elc coq/coq-smie-lexer.elc coq/coq-syntax.elc coq/coq-unicode-tokens.elc coq/coq.elc generic/pg-assoc.elc generic/pg-autotest.elc generic/pg-custom.elc generic/pg-goals.elc generic/pg-movie.elc generic/pg-pamacs.elc generic/pg-pbrpm.elc generic/pg-pgip.elc generic/pg-response.elc generic/pg-user.elc generic/pg-vars.elc generic/pg-xml.elc generic/proof-autoloads.elc generic/proof-auxmodes.elc generic/proof-config.elc generic/proof-depends.elc generic/proof-easy-config.elc generic/proof-faces.elc generic/proof-indent.elc generic/proof-maths-menu.elc generic/proof-menu.elc generic/proof-mmm.elc generic/proof-script.elc generic/proof-shell.elc generic/proof-site.elc generic/proof-splash.elc generic/proof-syntax.elc generic/proof-toolbar.elc generic/proof-tree.elc generic/proof-unicode-tokens.elc generic/proof-useropts.elc generic/proof-utils.elc generic/proof.elc lib/bufhist.elc lib/holes.elc lib/local-vars-list.elc lib/maths-menu.elc lib/pg-dev.elc lib/pg-fontsets.elc lib/proof-compat.elc lib/scomint.elc lib/span.elc lib/texi-docstring-magic.elc lib/unicode-chars.elc lib/unicode-tokens.elc .\#* */.\#* */.autotest.log */.profile.log
(cd doc; make clean)
make[2]: Entering directory '/srv/jenkins-slave/workspace/sid-goto-cc-proofgeneral/proofgeneral-4.3~pre130510/doc'
make -f Makefile.doc DOCNAME=ProofGeneral MAKE="make -f Makefile.doc" clean 
make[3]: Entering directory '/srv/jenkins-slave/workspace/sid-goto-cc-proofgeneral/proofgeneral-4.3~pre130510/doc'
rm -f ProofGeneral.cp ProofGeneral.fn ProofGeneral.vr ProofGeneral.tp ProofGeneral.ky ProofGeneral.kys ProofGeneral.pg ProofGeneral.fns ProofGeneral.vrs ProofGeneral.cps ProofGeneral.aux ProofGeneral.log ProofGeneral.cp ProofGeneral.cp0 ProofGeneral.toc
make[3]: Leaving directory '/srv/jenkins-slave/workspace/sid-goto-cc-proofgeneral/proofgeneral-4.3~pre130510/doc'
make[2]: Leaving directory '/srv/jenkins-slave/workspace/sid-goto-cc-proofgeneral/proofgeneral-4.3~pre130510/doc'
***** CLEANING UP ALL JUNK FILES ****
find . \( -name '*~' -o -name '#*#' -o -name '\.\#*' -o -name '\.*\.log' \) -print | xargs rm -f
(cd doc; make distclean)
make[2]: Entering directory '/srv/jenkins-slave/workspace/sid-goto-cc-proofgeneral/proofgeneral-4.3~pre130510/doc'
make -f Makefile.doc DOCNAME=ProofGeneral MAKE="make -f Makefile.doc" distclean 
make[3]: Entering directory '/srv/jenkins-slave/workspace/sid-goto-cc-proofgeneral/proofgeneral-4.3~pre130510/doc'
rm -f ProofGeneral.cp ProofGeneral.fn ProofGeneral.vr ProofGeneral.tp ProofGeneral.ky ProofGeneral.kys ProofGeneral.pg ProofGeneral.fns ProofGeneral.vrs ProofGeneral.cps ProofGeneral.aux ProofGeneral.log ProofGeneral.cp ProofGeneral.cp0 ProofGeneral.toc
rm -rf ProofGeneral.info* ProofGeneral.pdf ProofGeneral
rm -f *~
make[3]: Leaving directory '/srv/jenkins-slave/workspace/sid-goto-cc-proofgeneral/proofgeneral-4.3~pre130510/doc'
make[2]: Leaving directory '/srv/jenkins-slave/workspace/sid-goto-cc-proofgeneral/proofgeneral-4.3~pre130510/doc'
make[1]: Leaving directory '/srv/jenkins-slave/workspace/sid-goto-cc-proofgeneral/proofgeneral-4.3~pre130510'
   dh_clean
	rm -f debian/proofgeneral.substvars
	rm -f debian/proofgeneral.*.debhelper
	rm -rf debian/proofgeneral/
	rm -f debian/proofgeneral-doc.substvars
	rm -f debian/proofgeneral-doc.*.debhelper
	rm -rf debian/proofgeneral-doc/
	rm -f debian/*.debhelper.log
	rm -f debian/files
	find .  \( \( -type f -a \
	        \( -name '#*#' -o -name '.*~' -o -name '*~' -o -name DEADJOE \
		 -o -name '*.orig' -o -name '*.rej' -o -name '*.bak' \
		 -o -name '.*.orig' -o -name .*.rej -o -name '.SUMS' \
		 -o -name TAGS -o \( -path '*/.deps/*' -a -name '*.P' \) \
		\) -exec rm -f {} + \) -o \
		\( -type d -a -name autom4te.cache -prune -exec rm -rf {} + \) \)
	rm -f *-stamp
 dpkg-source -b proofgeneral-4.3~pre130510
dpkg-source: info: using source format `3.0 (quilt)'
dpkg-source: info: building proofgeneral using existing ./proofgeneral_4.3~pre130510.orig.tar.gz
dpkg-source: warning: ignoring deletion of file TAGS, use --include-removal to override
dpkg-source: info: building proofgeneral in proofgeneral_4.3~pre130510-1.1.debian.tar.xz
dpkg-source: info: building proofgeneral in proofgeneral_4.3~pre130510-1.1.dsc
 debian/rules build
dh build 
   dh_testdir
   dh_auto_configure
   debian/rules override_dh_auto_build
make[1]: Entering directory '/srv/jenkins-slave/workspace/sid-goto-cc-proofgeneral/proofgeneral-4.3~pre130510'
make prepare-doc
make[2]: Entering directory '/srv/jenkins-slave/workspace/sid-goto-cc-proofgeneral/proofgeneral-4.3~pre130510'
cp doc/ProofGeneral.jpg doc/ProofGeneral-image.jpg
(cd doc; make EMACS=emacs info)
make[3]: Entering directory '/srv/jenkins-slave/workspace/sid-goto-cc-proofgeneral/proofgeneral-4.3~pre130510/doc'
make -f Makefile.doc DOCNAME=ProofGeneral MAKE="make -f Makefile.doc" info 
make[4]: Entering directory '/srv/jenkins-slave/workspace/sid-goto-cc-proofgeneral/proofgeneral-4.3~pre130510/doc'
makeinfo ProofGeneral.texi 
make[4]: Leaving directory '/srv/jenkins-slave/workspace/sid-goto-cc-proofgeneral/proofgeneral-4.3~pre130510/doc'
make[3]: Leaving directory '/srv/jenkins-slave/workspace/sid-goto-cc-proofgeneral/proofgeneral-4.3~pre130510/doc'
(cd doc; make EMACS=emacs pdf)
make[3]: Entering directory '/srv/jenkins-slave/workspace/sid-goto-cc-proofgeneral/proofgeneral-4.3~pre130510/doc'
make -f Makefile.doc DOCNAME=ProofGeneral MAKE="make -f Makefile.doc" pdf 
make[4]: Entering directory '/srv/jenkins-slave/workspace/sid-goto-cc-proofgeneral/proofgeneral-4.3~pre130510/doc'
texi2pdf ProofGeneral.texi 
This is pdfTeX, Version 3.14159265-2.6-1.40.15 (TeX Live 2014/Debian) (preloaded format=pdfetex)
 restricted \write18 enabled.
entering extended mode
(./ProofGeneral.texi (/usr/share/texmf/tex/texinfo/texinfo.tex
Loading texinfo [version 2013-09-11.11]: pdf, fonts, markup, glyphs,
page headings, tables, conditionals, indexing, sectioning, toc, environments,
defuns, macros, cross references, insertions,
(/usr/share/texlive/texmf-dist/tex/generic/epsf/epsf.tex
This is `epsf.tex' v2.7.4 <14 February 2011>
) localization, formatting, and turning on texinfo input format.) <./ProofGener
al-image.jpg> [1{/usr/share/texlive/texmf-dist/fonts/map/pdftex/updmap/pdftex.m
ap}] [2] (Preface) Cross reference values unknown; you must run TeX again.
[1] [2] Chapter 1 [3] [4] [5] [6] [7] Chapter 2 [8] [9] [10] [11] [12] [13]
[14] [15] [16] [17]
Underfull \hbox (badness 10000) in paragraph at lines 1683--1687
 []@textsl warning[]@textrm : this com-mand risks spoil-ing syn-chro-niza-tion 
if the test
[18] Chapter 3 [19] [20] [21] [22] [23] [24] [25] Chapter 4 [26] [27] [28]
[29] [30] Chapter 5 [31] [32] [33] [34] Chapter 6 [35] [36] Chapter 7 [37]
[38] [39] Chapter 8 [40] [41] [42] [43] [44] [45]
Underfull \hbox (badness 10000) in paragraph at lines 3654--3657
 []@textrm This op-tion is com-pat-i-ble with `@texttt proof-prog-name-ask[][]@
textrm '[]. No ef-fect if
[46] [47] [48] Chapter 9 [49] [50] [51] [52] Chapter 10 [53] [54] Chapter 11
[55] [56] [57] [58] [59] [60]
Underfull \hbox (badness 10000) in paragraph at lines 4656--4658
 []@textrm After the sub-sti-tu-tion the com-mand can be changed in the mini-bu
f-fer if

Underfull \hbox (badness 10000) in paragraph at lines 4666--4668
 []@textrm This op-tion can be set/reset via menu `@texttt Coq -> Settings -> C
onfirm External
[61] [62] [63] Chapter 12 [64] [65] [66] Chapter 13 [67] [68] Chapter 14
[69] [70] Appendix A [71] [72] [73] Appendix B [74] (References) [75] [76]
(History of Proof General) [77] [78] [79] [80] [81]
(Function and Command Index) [82] (Variable and User Option Index) [83]
[84] (Keystroke Index) [85] [86] (Concept Index) [87] [88] [89] [90]
(./ProofGeneral.toc [-1] [-2]) [-3] [-4] (./ProofGeneral.toc)
(./ProofGeneral.toc) )
(see the transcript file for additional information)
!pdfTeX error: pdfetex (file cm-super-t1.enc): cannot open encoding file for re
ading
 ==> Fatal error occurred, no output PDF file produced!
/usr/bin/texi2dvi: pdfetex exited with bad status, quitting.
Makefile.doc:50: recipe for target 'ProofGeneral.pdf' failed
make[4]: *** [ProofGeneral.pdf] Error 1
make[4]: Leaving directory '/srv/jenkins-slave/workspace/sid-goto-cc-proofgeneral/proofgeneral-4.3~pre130510/doc'
Makefile:22: recipe for target 'pdf' failed
make[3]: *** [pdf] Error 2
make[3]: Leaving directory '/srv/jenkins-slave/workspace/sid-goto-cc-proofgeneral/proofgeneral-4.3~pre130510/doc'
Makefile:213: recipe for target 'doc.pdf' failed
make[2]: *** [doc.pdf] Error 2
make[2]: Leaving directory '/srv/jenkins-slave/workspace/sid-goto-cc-proofgeneral/proofgeneral-4.3~pre130510'
debian/rules:25: recipe for target 'override_dh_auto_build' failed
make[1]: *** [override_dh_auto_build] Error 2
make[1]: Leaving directory '/srv/jenkins-slave/workspace/sid-goto-cc-proofgeneral/proofgeneral-4.3~pre130510'
debian/rules:21: recipe for target 'build' failed
make: *** [build] Error 2
dpkg-buildpackage: error: debian/rules build gave error exit status 2
W: no hooks of type C found -- ignoring
I: Copying back the cached apt archive contents
I: unmounting /srv/jenkins-slave/workspace/sid-goto-cc-proofgeneral filesystem
I: unmounting /run/shm filesystem
I: unmounting dev/pts filesystem
I: unmounting proc filesystem
 -> Cleaning COW directory
  forking: rm -rf /srv/jenkins-slave/cow/cow.41909 

Finished: FAILURE
