RUN: /usr/share/launchpad-buildd/slavebin/slave-prep ['slave-prep'] Forking launchpad-buildd slave process... Kernel version: 3.2.0-37-generic #58-Ubuntu SMP Thu Jan 24 15:28:10 UTC 2013 x86_64 Buildd toolchain package versions: launchpad-buildd_114-0~53~0.IS.08.04 python-lpbuildd_114-0~53~0.IS.08.04 bzr_2.5.1-0ubuntu2. Syncing the system clock with the buildd NTP service... 9 May 14:05:50 ntpdate[12956]: adjust time server 10.211.37.1 offset 0.000002 sec RUN: /usr/share/launchpad-buildd/slavebin/unpack-chroot ['unpack-chroot', 'c1dc92b7cd7ffc3c2a7323a1c743da9e86bf256a', '/home/buildd/filecache-default/a3d423a5f02e5b83aef7343e498cb003b4c55e07'] Unpacking chroot for build c1dc92b7cd7ffc3c2a7323a1c743da9e86bf256a RUN: /usr/share/launchpad-buildd/slavebin/mount-chroot ['mount-chroot', 'c1dc92b7cd7ffc3c2a7323a1c743da9e86bf256a'] Mounting chroot for build c1dc92b7cd7ffc3c2a7323a1c743da9e86bf256a RUN: /usr/share/launchpad-buildd/slavebin/override-sources-list ['override-sources-list', 'c1dc92b7cd7ffc3c2a7323a1c743da9e86bf256a', 'deb http://ftpmaster.internal/ubuntu saucy main universe', 'deb http://ftpmaster.internal/ubuntu saucy-security main universe', 'deb http://ftpmaster.internal/ubuntu saucy-updates main universe', 'deb http://ftpmaster.internal/ubuntu saucy-proposed main universe'] Overriding sources.list in build-c1dc92b7cd7ffc3c2a7323a1c743da9e86bf256a RUN: /usr/share/launchpad-buildd/slavebin/update-debian-chroot ['update-debian-chroot', 'c1dc92b7cd7ffc3c2a7323a1c743da9e86bf256a', 'amd64'] Updating debian chroot for build c1dc92b7cd7ffc3c2a7323a1c743da9e86bf256a Ign http://archive-team.internal saucy Release.gpg Get:1 http://ftpmaster.internal saucy Release.gpg [933 B] Get:2 http://ftpmaster.internal saucy-security Release.gpg [933 B] Get:3 http://archive-team.internal saucy Release [728 B] Get:4 http://ftpmaster.internal saucy-updates Release.gpg [933 B] Get:5 http://ftpmaster.internal saucy-proposed Release.gpg [933 B] Get:6 http://ftpmaster.internal saucy Release [40.8 kB] Get:7 http://ftpmaster.internal saucy-security Release [40.8 kB] Get:8 http://ftpmaster.internal saucy-updates Release [40.8 kB] Get:9 http://ftpmaster.internal saucy-proposed Release [40.8 kB] Get:10 http://archive-team.internal saucy/main amd64 Packages Ign http://archive-team.internal saucy/main Translation-en Get:11 http://ftpmaster.internal saucy/main amd64 Packages [1185 kB] Get:12 http://ftpmaster.internal saucy/universe amd64 Packages [5508 kB] Get:13 http://ftpmaster.internal saucy/main Translation-en [682 kB] Get:14 http://ftpmaster.internal saucy/universe Translation-en [3813 kB] Get:15 http://ftpmaster.internal saucy-security/main amd64 Packages [14 B] Get:16 http://ftpmaster.internal saucy-security/universe amd64 Packages [14 B] Get:17 http://ftpmaster.internal saucy-security/main Translation-en [14 B] Get:18 http://ftpmaster.internal saucy-security/universe Translation-en [14 B] Get:19 http://ftpmaster.internal saucy-updates/main amd64 Packages [14 B] Get:20 http://ftpmaster.internal saucy-updates/universe amd64 Packages [14 B] Get:21 http://ftpmaster.internal saucy-updates/main Translation-en [14 B] Get:22 http://ftpmaster.internal saucy-updates/universe Translation-en [14 B] Get:23 http://ftpmaster.internal saucy-proposed/main amd64 Packages [5398 B] Get:24 http://ftpmaster.internal saucy-proposed/universe amd64 Packages [37.3 kB] Get:25 http://ftpmaster.internal saucy-proposed/main Translation-en [5233 B] Get:26 http://ftpmaster.internal saucy-proposed/universe Translation-en [25.3 kB] Fetched 11.4 MB in 3s (2867 kB/s) Reading package lists... Reading package lists... Building dependency tree... Reading state information... The following packages will be upgraded: cpp-4.8 debconf g++-4.8 gcc-4.8 gcc-4.8-base libasan0 libatomic1 libcurl3-gnutls libgcc-4.8-dev libgcc1 libgomp1 libitm1 libquadmath0 libstdc++-4.8-dev libstdc++6 libtsan0 linux-libc-dev 17 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. Need to get 27.7 MB of archives. After this operation, 21.5 kB of additional disk space will be used. WARNING: The following packages cannot be authenticated! libitm1 libgomp1 gcc-4.8-base libstdc++6 libasan0 libatomic1 libtsan0 libquadmath0 cpp-4.8 libstdc++-4.8-dev g++-4.8 gcc-4.8 libgcc-4.8-dev libgcc1 debconf libcurl3-gnutls linux-libc-dev Authentication warning overridden. Get:1 http://ftpmaster.internal/ubuntu/ saucy/main libitm1 amd64 4.8.0-6ubuntu1 [37.5 kB] Get:2 http://ftpmaster.internal/ubuntu/ saucy/main libgomp1 amd64 4.8.0-6ubuntu1 [27.0 kB] Get:3 http://ftpmaster.internal/ubuntu/ saucy/main gcc-4.8-base amd64 4.8.0-6ubuntu1 [15.2 kB] Get:4 http://ftpmaster.internal/ubuntu/ saucy/main libstdc++6 amd64 4.8.0-6ubuntu1 [326 kB] Get:5 http://ftpmaster.internal/ubuntu/ saucy/main libasan0 amd64 4.8.0-6ubuntu1 [76.0 kB] Get:6 http://ftpmaster.internal/ubuntu/ saucy/main libatomic1 amd64 4.8.0-6ubuntu1 [10.3 kB] Get:7 http://ftpmaster.internal/ubuntu/ saucy/main libtsan0 amd64 4.8.0-6ubuntu1 [118 kB] Get:8 http://ftpmaster.internal/ubuntu/ saucy/main libquadmath0 amd64 4.8.0-6ubuntu1 [139 kB] Get:9 http://ftpmaster.internal/ubuntu/ saucy/main cpp-4.8 amd64 4.8.0-6ubuntu1 [5835 kB] Get:10 http://ftpmaster.internal/ubuntu/ saucy/main libstdc++-4.8-dev amd64 4.8.0-6ubuntu1 [1738 kB] Get:11 http://ftpmaster.internal/ubuntu/ saucy/main g++-4.8 amd64 4.8.0-6ubuntu1 [8593 kB] Get:12 http://ftpmaster.internal/ubuntu/ saucy/main gcc-4.8 amd64 4.8.0-6ubuntu1 [6606 kB] Get:13 http://ftpmaster.internal/ubuntu/ saucy/main libgcc-4.8-dev amd64 4.8.0-6ubuntu1 [2790 kB] Get:14 http://ftpmaster.internal/ubuntu/ saucy/main libgcc1 amd64 1:4.8.0-6ubuntu1 [43.3 kB] Get:15 http://ftpmaster.internal/ubuntu/ saucy/main debconf all 1.5.50ubuntu1 [149 kB] Get:16 http://ftpmaster.internal/ubuntu/ saucy/main libcurl3-gnutls amd64 7.30.0-1ubuntu1 [240 kB] Get:17 http://ftpmaster.internal/ubuntu/ saucy/main linux-libc-dev amd64 3.9.0-1.5 [916 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 27.7 MB in 1s (22.5 MB/s) (Reading database ... 12007 files and directories currently installed.) Preparing to replace libitm1:amd64 4.8.0-4ubuntu3 (using .../libitm1_4.8.0-6ubuntu1_amd64.deb) ... Unpacking replacement libitm1:amd64 ... Preparing to replace libgomp1:amd64 4.8.0-4ubuntu3 (using .../libgomp1_4.8.0-6ubuntu1_amd64.deb) ... Unpacking replacement libgomp1:amd64 ... Preparing to replace gcc-4.8-base:amd64 4.8.0-4ubuntu3 (using .../gcc-4.8-base_4.8.0-6ubuntu1_amd64.deb) ... Unpacking replacement gcc-4.8-base:amd64 ... Setting up gcc-4.8-base:amd64 (4.8.0-6ubuntu1) ... (Reading database ... 12007 files and directories currently installed.) Preparing to replace libstdc++6:amd64 4.8.0-4ubuntu3 (using .../libstdc++6_4.8.0-6ubuntu1_amd64.deb) ... Unpacking replacement libstdc++6:amd64 ... Setting up libstdc++6:amd64 (4.8.0-6ubuntu1) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place (Reading database ... 12007 files and directories currently installed.) Preparing to replace libasan0:amd64 4.8.0-4ubuntu3 (using .../libasan0_4.8.0-6ubuntu1_amd64.deb) ... Unpacking replacement libasan0:amd64 ... Preparing to replace libatomic1:amd64 4.8.0-4ubuntu3 (using .../libatomic1_4.8.0-6ubuntu1_amd64.deb) ... Unpacking replacement libatomic1:amd64 ... Preparing to replace libtsan0:amd64 4.8.0-4ubuntu3 (using .../libtsan0_4.8.0-6ubuntu1_amd64.deb) ... Unpacking replacement libtsan0:amd64 ... Preparing to replace libquadmath0:amd64 4.8.0-4ubuntu3 (using .../libquadmath0_4.8.0-6ubuntu1_amd64.deb) ... Unpacking replacement libquadmath0:amd64 ... Preparing to replace cpp-4.8 4.8.0-4ubuntu3 (using .../cpp-4.8_4.8.0-6ubuntu1_amd64.deb) ... Unpacking replacement cpp-4.8 ... Preparing to replace libstdc++-4.8-dev:amd64 4.8.0-4ubuntu3 (using .../libstdc++-4.8-dev_4.8.0-6ubuntu1_amd64.deb) ... Unpacking replacement libstdc++-4.8-dev:amd64 ... Preparing to replace g++-4.8 4.8.0-4ubuntu3 (using .../g++-4.8_4.8.0-6ubuntu1_amd64.deb) ... Unpacking replacement g++-4.8 ... Preparing to replace gcc-4.8 4.8.0-4ubuntu3 (using .../gcc-4.8_4.8.0-6ubuntu1_amd64.deb) ... Unpacking replacement gcc-4.8 ... Preparing to replace libgcc-4.8-dev:amd64 4.8.0-4ubuntu3 (using .../libgcc-4.8-dev_4.8.0-6ubuntu1_amd64.deb) ... Unpacking replacement libgcc-4.8-dev:amd64 ... Preparing to replace libgcc1:amd64 1:4.8.0-4ubuntu3 (using .../libgcc1_1%3a4.8.0-6ubuntu1_amd64.deb) ... Unpacking replacement libgcc1:amd64 ... Setting up libgcc1:amd64 (1:4.8.0-6ubuntu1) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place (Reading database ... 12007 files and directories currently installed.) Preparing to replace debconf 1.5.49ubuntu1 (using .../debconf_1.5.50ubuntu1_all.deb) ... Unpacking replacement debconf ... Setting up debconf (1.5.50ubuntu1) ... (Reading database ... 12007 files and directories currently installed.) Preparing to replace libcurl3-gnutls:amd64 7.29.0-1ubuntu3 (using .../libcurl3-gnutls_7.30.0-1ubuntu1_amd64.deb) ... Unpacking replacement libcurl3-gnutls:amd64 ... Preparing to replace linux-libc-dev:amd64 3.9.0-0.4 (using .../linux-libc-dev_3.9.0-1.5_amd64.deb) ... Unpacking replacement linux-libc-dev:amd64 ... Setting up libitm1:amd64 (4.8.0-6ubuntu1) ... Setting up libgomp1:amd64 (4.8.0-6ubuntu1) ... Setting up libasan0:amd64 (4.8.0-6ubuntu1) ... Setting up libatomic1:amd64 (4.8.0-6ubuntu1) ... Setting up libtsan0:amd64 (4.8.0-6ubuntu1) ... Setting up libquadmath0:amd64 (4.8.0-6ubuntu1) ... Setting up cpp-4.8 (4.8.0-6ubuntu1) ... Setting up libgcc-4.8-dev:amd64 (4.8.0-6ubuntu1) ... Setting up libstdc++-4.8-dev:amd64 (4.8.0-6ubuntu1) ... Setting up gcc-4.8 (4.8.0-6ubuntu1) ... Setting up g++-4.8 (4.8.0-6ubuntu1) ... Setting up libcurl3-gnutls:amd64 (7.30.0-1ubuntu1) ... Setting up linux-libc-dev:amd64 (3.9.0-1.5) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place RUN: /usr/share/launchpad-buildd/slavebin/sbuild-package ['sbuild-package', 'c1dc92b7cd7ffc3c2a7323a1c743da9e86bf256a', 'amd64', 'saucy-proposed', '--nolog', '--batch', '--archive=ubuntu', '--dist=saucy-proposed', '--purpose=PRIMARY', '--architecture=amd64', '--comp=universe', 'coccinelle_1.0.0~rc17.deb-2build1.dsc'] Initiating build c1dc92b7cd7ffc3c2a7323a1c743da9e86bf256a with 8 jobs across 8 processor cores. Kernel reported to sbuild: 3.2.0-37-generic #58-Ubuntu SMP Thu Jan 24 15:28:10 UTC 2013 x86_64 Automatic build of coccinelle_1.0.0~rc17.deb-2build1 on batsu by sbuild/amd64 1.170.5 Build started at 20130509-1406 ****************************************************************************** coccinelle_1.0.0~rc17.deb-2build1.dsc exists in cwd ** Using build dependencies supplied by package: Build-Depends: debhelper (>= 8.9.7~), dh-ocaml (>= 1.0.3~), ocaml-nox (>= 3.11.1-3~), libpycaml-ocaml-dev (>= 0.82-13~), python (>= 2.6.6-3~), menhir (>= 20090204.dfsg), libmenhir-ocaml-dev (>= 20090204.dfsg), ocaml-findlib, ocaml-best-compilers, libpcre-ocaml-dev, pkg-config (>= 0.9.0), texlive-fonts-extra, texlive-fonts-recommended, texlive-latex-base, texlive-latex-extra, texlive-latex-recommended Checking for already installed source dependencies... debhelper: missing dh-ocaml: missing ocaml-nox: missing libpycaml-ocaml-dev: missing python: missing menhir: missing libmenhir-ocaml-dev: missing ocaml-findlib: missing ocaml-best-compilers: missing libpcre-ocaml-dev: missing pkg-config: missing texlive-fonts-extra: missing texlive-fonts-recommended: missing texlive-latex-base: missing texlive-latex-extra: missing texlive-latex-recommended: missing Checking for source dependency conflicts... /usr/bin/sudo /usr/bin/apt-get --purge $CHROOT_OPTIONS -q -y install debhelper dh-ocaml ocaml-nox libpycaml-ocaml-dev python menhir libmenhir-ocaml-dev ocaml-findlib ocaml-best-compilers libpcre-ocaml-dev pkg-config texlive-fonts-extra texlive-fonts-recommended texlive-latex-base texlive-latex-extra texlive-latex-recommended Reading package lists... Building dependency tree... Reading state information... The following extra packages will be installed: bsdmainutils dh-apparmor ed file fontconfig-config fonts-comfortaa fonts-droid fonts-freefont-otf fonts-freefont-ttf fonts-gfs-artemisia fonts-gfs-complutum fonts-gfs-didot fonts-gfs-neohellenic fonts-gfs-olga fonts-gfs-solomos fonts-inconsolata fonts-junicode fonts-linuxlibertine fonts-oflb-asana-math fonts-sil-gentium fonts-sil-gentium-basic fonts-stix gettext gettext-base groff-base html2text intltool-debian libasprintf-dev libasprintf0c2 libavahi-client3 libavahi-common-data libavahi-common3 libcroco3 libcups2 libcupsfilters1 libcupsimage2 libexpat1 libexpat1-dev libffi6 libfindlib-ocaml libfontconfig1 libfreetype6 libgettextpo-dev libgettextpo0 libglib2.0-0 libgraphite3 libgs9 libgs9-common libice6 libijs-0.35 libjbig0 libjbig2dec0 libjpeg-turbo8 libjpeg8 libkpathsea6 liblcms2-2 libmagic1 libncurses5-dev libpaper-utils libpaper1 libpcre-ocaml libpcre3 libpcre3-dev libpcrecpp0 libpipeline1 libpoppler28 libpopt0 libptexenc1 libpycaml-ocaml libpython-dev libpython-stdlib libpython2.7 libpython2.7-dev libpython2.7-minimal libpython2.7-stdlib libsm6 libssl1.0.0 libtiff5 libtinfo-dev libunistring0 libx11-6 libx11-data libxau6 libxaw7 libxcb1 libxdmcp6 libxext6 libxml2 libxmu6 libxpm4 libxt6 luatex man-db mime-support ocaml-base-nox ocaml-interp otf-freefont po-debconf poppler-data preview-latex-style python-dev python-minimal python2.7 python2.7-dev python2.7-minimal tex-common texlive-base texlive-binaries texlive-common texlive-doc-base texlive-pictures ttf-dejavu-core ttf-dejavu-extra ttf-freefont ttf-marvosym ucf x11-common xdg-utils Suggested packages: wamerican wordlist whois vacation dh-make git fontforge gettext-doc groff cups-common liblcms2-utils ncurses-doc less www-browser camlp4 ocaml-findlib-wizard ocaml-doc libgdbm-dev tuareg-mode ocaml-mode 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-unfonts-core python-doc python-tk python2.7-doc binfmt-support perl-tk xpdf-reader pdf-viewer gv postscript-viewer cm-super libfile-which-perl dot2tex gvfs-bin Recommended packages: fontconfig texlive-xetex curl wget lynx-cur libglib2.0-data shared-mime-info xml-core texlive-luatex libfindlib-ocaml-dev ledit readline-editor libmail-sendmail-perl lmodern ruby wish texlive-fonts-extra-doc texlive-fonts-recommended-doc tex-gyre tipa texlive-latex-base-doc texlive-latex-extra-doc latex-xcolor texlive-latex-recommended-doc latex-beamer prosper texlive-pictures-doc pgf libfile-mimeinfo-perl x11-utils x11-xserver-utils The following NEW packages will be installed: bsdmainutils debhelper dh-apparmor dh-ocaml ed file fontconfig-config fonts-comfortaa fonts-droid fonts-freefont-otf fonts-freefont-ttf fonts-gfs-artemisia fonts-gfs-complutum fonts-gfs-didot fonts-gfs-neohellenic fonts-gfs-olga fonts-gfs-solomos fonts-inconsolata fonts-junicode fonts-linuxlibertine fonts-oflb-asana-math fonts-sil-gentium fonts-sil-gentium-basic fonts-stix gettext gettext-base groff-base html2text intltool-debian libasprintf-dev libasprintf0c2 libavahi-client3 libavahi-common-data libavahi-common3 libcroco3 libcups2 libcupsfilters1 libcupsimage2 libexpat1 libexpat1-dev libffi6 libfindlib-ocaml libfontconfig1 libfreetype6 libgettextpo-dev libgettextpo0 libglib2.0-0 libgraphite3 libgs9 libgs9-common libice6 libijs-0.35 libjbig0 libjbig2dec0 libjpeg-turbo8 libjpeg8 libkpathsea6 liblcms2-2 libmagic1 libmenhir-ocaml-dev libncurses5-dev libpaper-utils libpaper1 libpcre-ocaml libpcre-ocaml-dev libpcre3 libpcre3-dev libpcrecpp0 libpipeline1 libpoppler28 libpopt0 libptexenc1 libpycaml-ocaml libpycaml-ocaml-dev libpython-dev libpython-stdlib libpython2.7 libpython2.7-dev libpython2.7-minimal libpython2.7-stdlib libsm6 libssl1.0.0 libtiff5 libtinfo-dev libunistring0 libx11-6 libx11-data libxau6 libxaw7 libxcb1 libxdmcp6 libxext6 libxml2 libxmu6 libxpm4 libxt6 luatex man-db menhir mime-support ocaml-base-nox ocaml-findlib ocaml-interp ocaml-native-compilers ocaml-nox otf-freefont pkg-config po-debconf poppler-data preview-latex-style python python-dev python-minimal python2.7 python2.7-dev python2.7-minimal tex-common texlive-base texlive-binaries texlive-common texlive-doc-base texlive-fonts-extra texlive-fonts-recommended texlive-latex-base texlive-latex-extra texlive-latex-recommended texlive-pictures ttf-dejavu-core ttf-dejavu-extra ttf-freefont ttf-marvosym ucf x11-common xdg-utils 0 upgraded, 134 newly installed, 0 to remove and 0 not upgraded. Need to get 285 MB of archives. After this operation, 824 MB of additional disk space will be used. WARNING: The following packages cannot be authenticated! libexpat1 libffi6 libmagic1 libpopt0 libssl1.0.0 libasprintf0c2 libpcre3 libglib2.0-0 libpipeline1 libxau6 libxdmcp6 libxcb1 libx11-data libx11-6 libxext6 libxml2 groff-base bsdmainutils man-db ucf ttf-dejavu-core fonts-freefont-ttf ttf-freefont fontconfig-config fonts-droid fonts-junicode libavahi-common-data libavahi-common3 libavahi-client3 libcroco3 libcups2 libjpeg-turbo8 libjpeg8 libjbig0 libtiff5 libcupsfilters1 libcupsimage2 libfreetype6 libfontconfig1 libunistring0 libgettextpo0 x11-common libice6 liblcms2-2 libpaper1 libpcrecpp0 libpoppler28 libpython2.7-minimal mime-support libpython2.7-stdlib libpython2.7 libexpat1-dev libpython2.7-dev libsm6 libxt6 libxmu6 libxpm4 libxaw7 tex-common libkpathsea6 luatex poppler-data ttf-dejavu-extra file ed gettext-base html2text libasprintf-dev libgettextpo-dev gettext intltool-debian po-debconf dh-apparmor debhelper fonts-comfortaa fonts-freefont-otf fonts-gfs-artemisia fonts-gfs-complutum fonts-gfs-didot fonts-gfs-neohellenic fonts-gfs-olga fonts-gfs-solomos fonts-inconsolata fonts-linuxlibertine fonts-oflb-asana-math fonts-sil-gentium fonts-sil-gentium-basic ocaml-base-nox libfindlib-ocaml libgraphite3 libijs-0.35 libjbig2dec0 libgs9-common libgs9 libtinfo-dev libncurses5-dev ocaml-interp ocaml-nox libmenhir-ocaml-dev libpaper-utils libpcre-ocaml libpcre3-dev ocaml-findlib libpcre-ocaml-dev libptexenc1 libpycaml-ocaml python2.7-minimal python2.7 python-minimal libpython-stdlib python libpython-dev python2.7-dev python-dev libpycaml-ocaml-dev menhir ocaml-native-compilers otf-freefont pkg-config preview-latex-style texlive-common texlive-doc-base texlive-binaries xdg-utils texlive-base fonts-stix texlive-fonts-extra ttf-marvosym texlive-fonts-recommended texlive-latex-base texlive-latex-recommended texlive-pictures texlive-latex-extra dh-ocaml Authentication warning overridden. Get:1 http://ftpmaster.internal/ubuntu/ saucy/main libexpat1 amd64 2.1.0-3 [129 kB] Get:2 http://ftpmaster.internal/ubuntu/ saucy/main libffi6 amd64 3.0.13-2ubuntu1 [19.5 kB] Get:3 http://ftpmaster.internal/ubuntu/ saucy/main libmagic1 amd64 5.11-2ubuntu4 [170 kB] Get:4 http://ftpmaster.internal/ubuntu/ saucy/main libpopt0 amd64 1.16-7ubuntu3 [28.9 kB] Get:5 http://ftpmaster.internal/ubuntu/ saucy/main libssl1.0.0 amd64 1.0.1c-4ubuntu8 [1054 kB] Get:6 http://ftpmaster.internal/ubuntu/ saucy/main libasprintf0c2 amd64 0.18.1.1-10ubuntu3 [6864 B] Get:7 http://ftpmaster.internal/ubuntu/ saucy/main libpcre3 amd64 1:8.31-2 [158 kB] Get:8 http://ftpmaster.internal/ubuntu/ saucy/main libglib2.0-0 amd64 2.36.0-1ubuntu2 [991 kB] Get:9 http://ftpmaster.internal/ubuntu/ saucy/main libpipeline1 amd64 1.2.3-1 [26.9 kB] Get:10 http://ftpmaster.internal/ubuntu/ saucy/main libxau6 amd64 1:1.0.7-1 [8592 B] Get:11 http://ftpmaster.internal/ubuntu/ saucy/main libxdmcp6 amd64 1:1.1.1-1 [12.8 kB] Get:12 http://ftpmaster.internal/ubuntu/ saucy/main libxcb1 amd64 1.8.1-2ubuntu2 [44.8 kB] Get:13 http://ftpmaster.internal/ubuntu/ saucy/main libx11-data all 2:1.5.0-1ubuntu1 [177 kB] Get:14 http://ftpmaster.internal/ubuntu/ saucy/main libx11-6 amd64 2:1.5.0-1ubuntu1 [770 kB] Get:15 http://ftpmaster.internal/ubuntu/ saucy/main libxext6 amd64 2:1.3.1-2 [33.7 kB] Get:16 http://ftpmaster.internal/ubuntu/ saucy/main libxml2 amd64 2.9.0+dfsg1-4ubuntu5 [692 kB] Get:17 http://ftpmaster.internal/ubuntu/ saucy/main groff-base amd64 1.22.2-2 [719 kB] Get:18 http://ftpmaster.internal/ubuntu/ saucy/main bsdmainutils amd64 9.0.4ubuntu4 [202 kB] Get:19 http://ftpmaster.internal/ubuntu/ saucy/main man-db amd64 2.6.3-6 [637 kB] Get:20 http://ftpmaster.internal/ubuntu/ saucy/main ucf all 3.0025+nmu3 [55.0 kB] Get:21 http://ftpmaster.internal/ubuntu/ saucy/main ttf-dejavu-core all 2.33-3ubuntu2 [1019 kB] Get:22 http://ftpmaster.internal/ubuntu/ saucy/main fonts-freefont-ttf all 20120503-1 [5909 kB] Get:23 http://ftpmaster.internal/ubuntu/ saucy/universe ttf-freefont all 20120503-1 [1690 B] Get:24 http://ftpmaster.internal/ubuntu/ saucy/main fontconfig-config all 2.10.2-0ubuntu2 [46.5 kB] Get:25 http://ftpmaster.internal/ubuntu/ saucy/universe fonts-droid all 1:4.2.r1-1ubuntu1 [3042 kB] Get:26 http://ftpmaster.internal/ubuntu/ saucy/universe fonts-junicode all 0.7.8-1 [1237 kB] Get:27 http://ftpmaster.internal/ubuntu/ saucy/main libavahi-common-data amd64 0.6.31-1ubuntu3 [21.8 kB] Get:28 http://ftpmaster.internal/ubuntu/ saucy/main libavahi-common3 amd64 0.6.31-1ubuntu3 [25.6 kB] Get:29 http://ftpmaster.internal/ubuntu/ saucy/main libavahi-client3 amd64 0.6.31-1ubuntu3 [30.5 kB] Get:30 http://ftpmaster.internal/ubuntu/ saucy/main libcroco3 amd64 0.6.8-1 [82.1 kB] Get:31 http://ftpmaster.internal/ubuntu/ saucy/main libcups2 amd64 1.6.2-1ubuntu5 [195 kB] Get:32 http://ftpmaster.internal/ubuntu/ saucy/main libjpeg-turbo8 amd64 1.2.1-0ubuntu2 [114 kB] Get:33 http://ftpmaster.internal/ubuntu/ saucy/main libjpeg8 amd64 8c-2ubuntu7 [2112 B] Get:34 http://ftpmaster.internal/ubuntu/ saucy/main libjbig0 amd64 2.0-2ubuntu1 [28.6 kB] Get:35 http://ftpmaster.internal/ubuntu/ saucy/main libtiff5 amd64 4.0.2-4ubuntu2 [167 kB] Get:36 http://ftpmaster.internal/ubuntu/ saucy/main libcupsfilters1 amd64 1.0.34-0ubuntu2 [73.5 kB] Get:37 http://ftpmaster.internal/ubuntu/ saucy/main libcupsimage2 amd64 1.6.2-1ubuntu5 [17.2 kB] Get:38 http://ftpmaster.internal/ubuntu/ saucy/main libfreetype6 amd64 2.4.11-0ubuntu1 [346 kB] Get:39 http://ftpmaster.internal/ubuntu/ saucy/main libfontconfig1 amd64 2.10.2-0ubuntu2 [136 kB] Get:40 http://ftpmaster.internal/ubuntu/ saucy/main libunistring0 amd64 0.9.3-5build1 [430 kB] Get:41 http://ftpmaster.internal/ubuntu/ saucy/main libgettextpo0 amd64 0.18.1.1-10ubuntu3 [123 kB] Get:42 http://ftpmaster.internal/ubuntu/ saucy/main x11-common all 1:7.7+1ubuntu4 [58.1 kB] Get:43 http://ftpmaster.internal/ubuntu/ saucy/main libice6 amd64 2:1.0.8-2 [47.0 kB] Get:44 http://ftpmaster.internal/ubuntu/ saucy/main liblcms2-2 amd64 2.4-0ubuntu3 [156 kB] Get:45 http://ftpmaster.internal/ubuntu/ saucy/main libpaper1 amd64 1.1.24+nmu2ubuntu2 [14.6 kB] Get:46 http://ftpmaster.internal/ubuntu/ saucy/main libpcrecpp0 amd64 1:8.31-2 [16.5 kB] Get:47 http://ftpmaster.internal/ubuntu/ saucy/main libpoppler28 amd64 0.20.5-1ubuntu3 [882 kB] Get:48 http://ftpmaster.internal/ubuntu/ saucy/main libpython2.7-minimal amd64 2.7.4-2ubuntu3 [502 kB] Get:49 http://ftpmaster.internal/ubuntu/ saucy/main mime-support all 3.52-2ubuntu1 [30.5 kB] Get:50 http://ftpmaster.internal/ubuntu/ saucy/main libpython2.7-stdlib amd64 2.7.4-2ubuntu3 [2381 kB] Get:51 http://ftpmaster.internal/ubuntu/ saucy/main libpython2.7 amd64 2.7.4-2ubuntu3 [1277 kB] Get:52 http://ftpmaster.internal/ubuntu/ saucy/main libexpat1-dev amd64 2.1.0-3 [213 kB] Get:53 http://ftpmaster.internal/ubuntu/ saucy/main libpython2.7-dev amd64 2.7.4-2ubuntu3 [24.2 MB] Get:54 http://ftpmaster.internal/ubuntu/ saucy/main libsm6 amd64 2:1.2.1-2 [18.1 kB] Get:55 http://ftpmaster.internal/ubuntu/ saucy/main libxt6 amd64 1:1.1.3-1 [187 kB] Get:56 http://ftpmaster.internal/ubuntu/ saucy/main libxmu6 amd64 2:1.1.1-1 [53.8 kB] Get:57 http://ftpmaster.internal/ubuntu/ saucy/main libxpm4 amd64 1:3.5.10-1 [38.3 kB] Get:58 http://ftpmaster.internal/ubuntu/ saucy/main libxaw7 amd64 2:1.0.10-2 [204 kB] Get:59 http://ftpmaster.internal/ubuntu/ saucy/main tex-common all 4.02 [620 kB] Get:60 http://ftpmaster.internal/ubuntu/ saucy/main libkpathsea6 amd64 2012.20120628-4 [72.6 kB] Get:61 http://ftpmaster.internal/ubuntu/ saucy/main luatex amd64 0.70.1.20120524-3build2 [2419 kB] Get:62 http://ftpmaster.internal/ubuntu/ saucy/main poppler-data all 0.4.6-3 [1500 kB] Get:63 http://ftpmaster.internal/ubuntu/ saucy/main ttf-dejavu-extra all 2.33-3ubuntu2 [1680 kB] Get:64 http://ftpmaster.internal/ubuntu/ saucy/main file amd64 5.11-2ubuntu4 [18.4 kB] Get:65 http://ftpmaster.internal/ubuntu/ saucy-proposed/main ed amd64 1.8-1 [52.1 kB] Get:66 http://ftpmaster.internal/ubuntu/ saucy/main gettext-base amd64 0.18.1.1-10ubuntu3 [77.8 kB] Get:67 http://ftpmaster.internal/ubuntu/ saucy/main html2text amd64 1.3.2a-15ubuntu3 [92.9 kB] Get:68 http://ftpmaster.internal/ubuntu/ saucy/main libasprintf-dev amd64 0.18.1.1-10ubuntu3 [4544 B] Get:69 http://ftpmaster.internal/ubuntu/ saucy/main libgettextpo-dev amd64 0.18.1.1-10ubuntu3 [164 kB] Get:70 http://ftpmaster.internal/ubuntu/ saucy/main gettext amd64 0.18.1.1-10ubuntu3 [1039 kB] Get:71 http://ftpmaster.internal/ubuntu/ saucy/main intltool-debian all 0.35.0+20060710.1 [31.6 kB] Get:72 http://ftpmaster.internal/ubuntu/ saucy/main po-debconf all 1.0.16+nmu2ubuntu1 [210 kB] Get:73 http://ftpmaster.internal/ubuntu/ saucy/main dh-apparmor all 2.8.0-0ubuntu11 [8392 B] Get:74 http://ftpmaster.internal/ubuntu/ saucy/main debhelper all 9.20120909ubuntu1 [631 kB] Get:75 http://ftpmaster.internal/ubuntu/ saucy/universe fonts-comfortaa all 2.003-1 [131 kB] Get:76 http://ftpmaster.internal/ubuntu/ saucy/universe fonts-freefont-otf all 20120503-1 [4316 kB] Get:77 http://ftpmaster.internal/ubuntu/ saucy/universe fonts-gfs-artemisia all 1.1-4 [339 kB] Get:78 http://ftpmaster.internal/ubuntu/ saucy/universe fonts-gfs-complutum all 1.1-5 [48.4 kB] Get:79 http://ftpmaster.internal/ubuntu/ saucy/universe fonts-gfs-didot all 1.1-5 [372 kB] Get:80 http://ftpmaster.internal/ubuntu/ saucy/universe fonts-gfs-neohellenic all 1.1-4 [283 kB] Get:81 http://ftpmaster.internal/ubuntu/ saucy/universe fonts-gfs-olga all 1.1-3 [36.6 kB] Get:82 http://ftpmaster.internal/ubuntu/ saucy/universe fonts-gfs-solomos all 1.1-4 [46.1 kB] Get:83 http://ftpmaster.internal/ubuntu/ saucy/universe fonts-inconsolata all 001.010-4 [66.0 kB] Get:84 http://ftpmaster.internal/ubuntu/ saucy/universe fonts-linuxlibertine all 5.1.3-1 [12.8 MB] Get:85 http://ftpmaster.internal/ubuntu/ saucy/universe fonts-oflb-asana-math all 000.907-4 [297 kB] Get:86 http://ftpmaster.internal/ubuntu/ saucy/universe fonts-sil-gentium all 20081126:1.02-12 [681 kB] Get:87 http://ftpmaster.internal/ubuntu/ saucy/universe fonts-sil-gentium-basic all 1.1-5 [867 kB] Get:88 http://ftpmaster.internal/ubuntu/ saucy/main ocaml-base-nox amd64 3.12.1-4ubuntu1 [598 kB] Get:89 http://ftpmaster.internal/ubuntu/ saucy/main libfindlib-ocaml amd64 1.3.1-1 [104 kB] Get:90 http://ftpmaster.internal/ubuntu/ saucy/main libgraphite3 amd64 1:2.3.1-0.2build1 [186 kB] Get:91 http://ftpmaster.internal/ubuntu/ saucy/main libijs-0.35 amd64 0.35-8build1 [16.8 kB] Get:92 http://ftpmaster.internal/ubuntu/ saucy/main libjbig2dec0 amd64 0.11+20120125-1ubuntu1 [48.6 kB] Get:93 http://ftpmaster.internal/ubuntu/ saucy/main libgs9-common all 9.07~dfsg2-0ubuntu3 [2145 kB] Get:94 http://ftpmaster.internal/ubuntu/ saucy/main libgs9 amd64 9.07~dfsg2-0ubuntu3 [2531 kB] Get:95 http://ftpmaster.internal/ubuntu/ saucy/main libtinfo-dev amd64 5.9-10ubuntu4 [105 kB] Get:96 http://ftpmaster.internal/ubuntu/ saucy/main libncurses5-dev amd64 5.9-10ubuntu4 [224 kB] Get:97 http://ftpmaster.internal/ubuntu/ saucy/main ocaml-interp amd64 3.12.1-4ubuntu1 [258 kB] Get:98 http://ftpmaster.internal/ubuntu/ saucy/main ocaml-nox amd64 3.12.1-4ubuntu1 [7560 kB] Get:99 http://ftpmaster.internal/ubuntu/ saucy/universe libmenhir-ocaml-dev amd64 20120123.dfsg-1 [49.3 kB] Get:100 http://ftpmaster.internal/ubuntu/ saucy/main libpaper-utils amd64 1.1.24+nmu2ubuntu2 [9164 B] Get:101 http://ftpmaster.internal/ubuntu/ saucy-proposed/universe libpcre-ocaml amd64 7.0.2-2 [102 kB] Get:102 http://ftpmaster.internal/ubuntu/ saucy/main libpcre3-dev amd64 1:8.31-2 [266 kB] Get:103 http://ftpmaster.internal/ubuntu/ saucy/main ocaml-findlib amd64 1.3.1-1 [263 kB] Get:104 http://ftpmaster.internal/ubuntu/ saucy-proposed/universe libpcre-ocaml-dev amd64 7.0.2-2 [65.4 kB] Get:105 http://ftpmaster.internal/ubuntu/ saucy/main libptexenc1 amd64 2012.20120628-4 [38.6 kB] Get:106 http://ftpmaster.internal/ubuntu/ saucy/universe libpycaml-ocaml amd64 0.82-14 [16.5 kB] Get:107 http://ftpmaster.internal/ubuntu/ saucy/main python2.7-minimal amd64 2.7.4-2ubuntu3 [1223 kB] Get:108 http://ftpmaster.internal/ubuntu/ saucy/main python2.7 amd64 2.7.4-2ubuntu3 [263 kB] Get:109 http://ftpmaster.internal/ubuntu/ saucy/main python-minimal amd64 2.7.4-0ubuntu1 [30.8 kB] Get:110 http://ftpmaster.internal/ubuntu/ saucy/main libpython-stdlib amd64 2.7.4-0ubuntu1 [7542 B] Get:111 http://ftpmaster.internal/ubuntu/ saucy/main python amd64 2.7.4-0ubuntu1 [169 kB] Get:112 http://ftpmaster.internal/ubuntu/ saucy/main libpython-dev amd64 2.7.4-0ubuntu1 [7612 B] Get:113 http://ftpmaster.internal/ubuntu/ saucy/main python2.7-dev amd64 2.7.4-2ubuntu3 [274 kB] Get:114 http://ftpmaster.internal/ubuntu/ saucy/main python-dev amd64 2.7.4-0ubuntu1 [1126 B] Get:115 http://ftpmaster.internal/ubuntu/ saucy/universe libpycaml-ocaml-dev amd64 0.82-14 [302 kB] Get:116 http://ftpmaster.internal/ubuntu/ saucy/universe menhir amd64 20120123.dfsg-1 [478 kB] Get:117 http://ftpmaster.internal/ubuntu/ saucy/universe ocaml-native-compilers amd64 3.12.1-4ubuntu1 [3112 kB] Get:118 http://ftpmaster.internal/ubuntu/ saucy/universe otf-freefont all 20120503-1 [1684 B] Get:119 http://ftpmaster.internal/ubuntu/ saucy/main pkg-config amd64 0.26-1ubuntu3 [41.2 kB] Get:120 http://ftpmaster.internal/ubuntu/ saucy/main preview-latex-style all 11.87-1ubuntu1 [186 kB] Get:121 http://ftpmaster.internal/ubuntu/ saucy/main texlive-common all 2012.20120611-5 [191 kB] Get:122 http://ftpmaster.internal/ubuntu/ saucy/main texlive-doc-base all 2012.20120611-1 [1650 kB] Get:123 http://ftpmaster.internal/ubuntu/ saucy/main texlive-binaries amd64 2012.20120628-4 [17.3 MB] Get:124 http://ftpmaster.internal/ubuntu/ saucy/main xdg-utils all 1.1.0~rc1-2ubuntu7 [65.6 kB] Get:125 http://ftpmaster.internal/ubuntu/ saucy/main texlive-base all 2012.20120611-5 [14.2 MB] Get:126 http://ftpmaster.internal/ubuntu/ saucy/universe fonts-stix all 1.1.0-1 [763 kB] Get:127 http://ftpmaster.internal/ubuntu/ saucy/universe texlive-fonts-extra all 2012.20120611-2 [130 MB] Get:128 http://ftpmaster.internal/ubuntu/ saucy/main ttf-marvosym all 0.1+dfsg-2 [46.9 kB] Get:129 http://ftpmaster.internal/ubuntu/ saucy/main texlive-fonts-recommended all 2012.20120611-5 [5466 kB] Get:130 http://ftpmaster.internal/ubuntu/ saucy/main texlive-latex-base all 2012.20120611-5 [871 kB] Get:131 http://ftpmaster.internal/ubuntu/ saucy/main texlive-latex-recommended all 2012.20120611-5 [6758 kB] Get:132 http://ftpmaster.internal/ubuntu/ saucy/main texlive-pictures all 2012.20120611-5 [2254 kB] Get:133 http://ftpmaster.internal/ubuntu/ saucy/main texlive-latex-extra all 2012.20120611-2 [6374 kB] Get:134 http://ftpmaster.internal/ubuntu/ saucy/main dh-ocaml all 1.0.7 [89.6 kB] debconf: delaying package configuration, since apt-utils is not installed Fetched 285 MB in 11s (25.5 MB/s) Selecting previously unselected package libexpat1:amd64. (Reading database ... 12007 files and directories currently installed.) Unpacking libexpat1:amd64 (from .../libexpat1_2.1.0-3_amd64.deb) ... Selecting previously unselected package libffi6:amd64. Unpacking libffi6:amd64 (from .../libffi6_3.0.13-2ubuntu1_amd64.deb) ... Selecting previously unselected package libmagic1:amd64. Unpacking libmagic1:amd64 (from .../libmagic1_5.11-2ubuntu4_amd64.deb) ... Selecting previously unselected package libpopt0:amd64. Unpacking libpopt0:amd64 (from .../libpopt0_1.16-7ubuntu3_amd64.deb) ... Selecting previously unselected package libssl1.0.0:amd64. Unpacking libssl1.0.0:amd64 (from .../libssl1.0.0_1.0.1c-4ubuntu8_amd64.deb) ... Selecting previously unselected package libasprintf0c2:amd64. Unpacking libasprintf0c2:amd64 (from .../libasprintf0c2_0.18.1.1-10ubuntu3_amd64.deb) ... Selecting previously unselected package libpcre3:amd64. Unpacking libpcre3:amd64 (from .../libpcre3_1%3a8.31-2_amd64.deb) ... Selecting previously unselected package libglib2.0-0:amd64. Unpacking libglib2.0-0:amd64 (from .../libglib2.0-0_2.36.0-1ubuntu2_amd64.deb) ... Selecting previously unselected package libpipeline1:amd64. Unpacking libpipeline1:amd64 (from .../libpipeline1_1.2.3-1_amd64.deb) ... Selecting previously unselected package libxau6:amd64. Unpacking libxau6:amd64 (from .../libxau6_1%3a1.0.7-1_amd64.deb) ... Selecting previously unselected package libxdmcp6:amd64. Unpacking libxdmcp6:amd64 (from .../libxdmcp6_1%3a1.1.1-1_amd64.deb) ... Selecting previously unselected package libxcb1:amd64. Unpacking libxcb1:amd64 (from .../libxcb1_1.8.1-2ubuntu2_amd64.deb) ... Selecting previously unselected package libx11-data. Unpacking libx11-data (from .../libx11-data_2%3a1.5.0-1ubuntu1_all.deb) ... Selecting previously unselected package libx11-6:amd64. Unpacking libx11-6:amd64 (from .../libx11-6_2%3a1.5.0-1ubuntu1_amd64.deb) ... Selecting previously unselected package libxext6:amd64. Unpacking libxext6:amd64 (from .../libxext6_2%3a1.3.1-2_amd64.deb) ... Selecting previously unselected package libxml2:amd64. Unpacking libxml2:amd64 (from .../libxml2_2.9.0+dfsg1-4ubuntu5_amd64.deb) ... Selecting previously unselected package groff-base. Unpacking groff-base (from .../groff-base_1.22.2-2_amd64.deb) ... Selecting previously unselected package bsdmainutils. Unpacking bsdmainutils (from .../bsdmainutils_9.0.4ubuntu4_amd64.deb) ... Selecting previously unselected package man-db. Unpacking man-db (from .../man-db_2.6.3-6_amd64.deb) ... Selecting previously unselected package ucf. Unpacking ucf (from .../ucf_3.0025+nmu3_all.deb) ... Moving old data out of the way Selecting previously unselected package ttf-dejavu-core. Unpacking ttf-dejavu-core (from .../ttf-dejavu-core_2.33-3ubuntu2_all.deb) ... Selecting previously unselected package fonts-freefont-ttf. Unpacking fonts-freefont-ttf (from .../fonts-freefont-ttf_20120503-1_all.deb) ... Selecting previously unselected package ttf-freefont. Unpacking ttf-freefont (from .../ttf-freefont_20120503-1_all.deb) ... Selecting previously unselected package fontconfig-config. Unpacking fontconfig-config (from .../fontconfig-config_2.10.2-0ubuntu2_all.deb) ... Selecting previously unselected package fonts-droid. Unpacking fonts-droid (from .../fonts-droid_1%3a4.2.r1-1ubuntu1_all.deb) ... Selecting previously unselected package fonts-junicode. Unpacking fonts-junicode (from .../fonts-junicode_0.7.8-1_all.deb) ... Selecting previously unselected package libavahi-common-data:amd64. Unpacking libavahi-common-data:amd64 (from .../libavahi-common-data_0.6.31-1ubuntu3_amd64.deb) ... Selecting previously unselected package libavahi-common3:amd64. Unpacking libavahi-common3:amd64 (from .../libavahi-common3_0.6.31-1ubuntu3_amd64.deb) ... Selecting previously unselected package libavahi-client3:amd64. Unpacking libavahi-client3:amd64 (from .../libavahi-client3_0.6.31-1ubuntu3_amd64.deb) ... Selecting previously unselected package libcroco3:amd64. Unpacking libcroco3:amd64 (from .../libcroco3_0.6.8-1_amd64.deb) ... Selecting previously unselected package libcups2:amd64. Unpacking libcups2:amd64 (from .../libcups2_1.6.2-1ubuntu5_amd64.deb) ... Selecting previously unselected package libjpeg-turbo8:amd64. Unpacking libjpeg-turbo8:amd64 (from .../libjpeg-turbo8_1.2.1-0ubuntu2_amd64.deb) ... Selecting previously unselected package libjpeg8:amd64. Unpacking libjpeg8:amd64 (from .../libjpeg8_8c-2ubuntu7_amd64.deb) ... Selecting previously unselected package libjbig0:amd64. Unpacking libjbig0:amd64 (from .../libjbig0_2.0-2ubuntu1_amd64.deb) ... Selecting previously unselected package libtiff5:amd64. Unpacking libtiff5:amd64 (from .../libtiff5_4.0.2-4ubuntu2_amd64.deb) ... Selecting previously unselected package libcupsfilters1:amd64. Unpacking libcupsfilters1:amd64 (from .../libcupsfilters1_1.0.34-0ubuntu2_amd64.deb) ... Selecting previously unselected package libcupsimage2:amd64. Unpacking libcupsimage2:amd64 (from .../libcupsimage2_1.6.2-1ubuntu5_amd64.deb) ... Selecting previously unselected package libfreetype6:amd64. Unpacking libfreetype6:amd64 (from .../libfreetype6_2.4.11-0ubuntu1_amd64.deb) ... Selecting previously unselected package libfontconfig1:amd64. Unpacking libfontconfig1:amd64 (from .../libfontconfig1_2.10.2-0ubuntu2_amd64.deb) ... Selecting previously unselected package libunistring0:amd64. Unpacking libunistring0:amd64 (from .../libunistring0_0.9.3-5build1_amd64.deb) ... Selecting previously unselected package libgettextpo0:amd64. Unpacking libgettextpo0:amd64 (from .../libgettextpo0_0.18.1.1-10ubuntu3_amd64.deb) ... Selecting previously unselected package x11-common. Unpacking x11-common (from .../x11-common_1%3a7.7+1ubuntu4_all.deb) ... Selecting previously unselected package libice6:amd64. Unpacking libice6:amd64 (from .../libice6_2%3a1.0.8-2_amd64.deb) ... Selecting previously unselected package liblcms2-2:amd64. Unpacking liblcms2-2:amd64 (from .../liblcms2-2_2.4-0ubuntu3_amd64.deb) ... Selecting previously unselected package libpaper1:amd64. Unpacking libpaper1:amd64 (from .../libpaper1_1.1.24+nmu2ubuntu2_amd64.deb) ... Selecting previously unselected package libpcrecpp0:amd64. Unpacking libpcrecpp0:amd64 (from .../libpcrecpp0_1%3a8.31-2_amd64.deb) ... Selecting previously unselected package libpoppler28:amd64. Unpacking libpoppler28:amd64 (from .../libpoppler28_0.20.5-1ubuntu3_amd64.deb) ... Selecting previously unselected package libpython2.7-minimal:amd64. Unpacking libpython2.7-minimal:amd64 (from .../libpython2.7-minimal_2.7.4-2ubuntu3_amd64.deb) ... Selecting previously unselected package mime-support. Unpacking mime-support (from .../mime-support_3.52-2ubuntu1_all.deb) ... Selecting previously unselected package libpython2.7-stdlib:amd64. Unpacking libpython2.7-stdlib:amd64 (from .../libpython2.7-stdlib_2.7.4-2ubuntu3_amd64.deb) ... Selecting previously unselected package libpython2.7:amd64. Unpacking libpython2.7:amd64 (from .../libpython2.7_2.7.4-2ubuntu3_amd64.deb) ... Selecting previously unselected package libexpat1-dev:amd64. Unpacking libexpat1-dev:amd64 (from .../libexpat1-dev_2.1.0-3_amd64.deb) ... Selecting previously unselected package libpython2.7-dev:amd64. Unpacking libpython2.7-dev:amd64 (from .../libpython2.7-dev_2.7.4-2ubuntu3_amd64.deb) ... Selecting previously unselected package libsm6:amd64. Unpacking libsm6:amd64 (from .../libsm6_2%3a1.2.1-2_amd64.deb) ... Selecting previously unselected package libxt6:amd64. Unpacking libxt6:amd64 (from .../libxt6_1%3a1.1.3-1_amd64.deb) ... Selecting previously unselected package libxmu6:amd64. Unpacking libxmu6:amd64 (from .../libxmu6_2%3a1.1.1-1_amd64.deb) ... Selecting previously unselected package libxpm4:amd64. Unpacking libxpm4:amd64 (from .../libxpm4_1%3a3.5.10-1_amd64.deb) ... Selecting previously unselected package libxaw7:amd64. Unpacking libxaw7:amd64 (from .../libxaw7_2%3a1.0.10-2_amd64.deb) ... Selecting previously unselected package tex-common. Unpacking tex-common (from .../tex-common_4.02_all.deb) ... Selecting previously unselected package libkpathsea6. Unpacking libkpathsea6 (from .../libkpathsea6_2012.20120628-4_amd64.deb) ... Selecting previously unselected package luatex. Unpacking luatex (from .../luatex_0.70.1.20120524-3build2_amd64.deb) ... Selecting previously unselected package poppler-data. Unpacking poppler-data (from .../poppler-data_0.4.6-3_all.deb) ... Selecting previously unselected package ttf-dejavu-extra. Unpacking ttf-dejavu-extra (from .../ttf-dejavu-extra_2.33-3ubuntu2_all.deb) ... Selecting previously unselected package file. Unpacking file (from .../file_5.11-2ubuntu4_amd64.deb) ... Selecting previously unselected package ed. Unpacking ed (from .../archives/ed_1.8-1_amd64.deb) ... Selecting previously unselected package gettext-base. Unpacking gettext-base (from .../gettext-base_0.18.1.1-10ubuntu3_amd64.deb) ... Selecting previously unselected package html2text. Unpacking html2text (from .../html2text_1.3.2a-15ubuntu3_amd64.deb) ... Selecting previously unselected package libasprintf-dev:amd64. Unpacking libasprintf-dev:amd64 (from .../libasprintf-dev_0.18.1.1-10ubuntu3_amd64.deb) ... Selecting previously unselected package libgettextpo-dev:amd64. Unpacking libgettextpo-dev:amd64 (from .../libgettextpo-dev_0.18.1.1-10ubuntu3_amd64.deb) ... Selecting previously unselected package gettext. Unpacking gettext (from .../gettext_0.18.1.1-10ubuntu3_amd64.deb) ... Selecting previously unselected package intltool-debian. Unpacking intltool-debian (from .../intltool-debian_0.35.0+20060710.1_all.deb) ... Selecting previously unselected package po-debconf. Unpacking po-debconf (from .../po-debconf_1.0.16+nmu2ubuntu1_all.deb) ... Selecting previously unselected package dh-apparmor. Unpacking dh-apparmor (from .../dh-apparmor_2.8.0-0ubuntu11_all.deb) ... Selecting previously unselected package debhelper. Unpacking debhelper (from .../debhelper_9.20120909ubuntu1_all.deb) ... Selecting previously unselected package fonts-comfortaa. Unpacking fonts-comfortaa (from .../fonts-comfortaa_2.003-1_all.deb) ... Selecting previously unselected package fonts-freefont-otf. Unpacking fonts-freefont-otf (from .../fonts-freefont-otf_20120503-1_all.deb) ... Selecting previously unselected package fonts-gfs-artemisia. Unpacking fonts-gfs-artemisia (from .../fonts-gfs-artemisia_1.1-4_all.deb) ... Selecting previously unselected package fonts-gfs-complutum. Unpacking fonts-gfs-complutum (from .../fonts-gfs-complutum_1.1-5_all.deb) ... Selecting previously unselected package fonts-gfs-didot. Unpacking fonts-gfs-didot (from .../fonts-gfs-didot_1.1-5_all.deb) ... Selecting previously unselected package fonts-gfs-neohellenic. Unpacking fonts-gfs-neohellenic (from .../fonts-gfs-neohellenic_1.1-4_all.deb) ... Selecting previously unselected package fonts-gfs-olga. Unpacking fonts-gfs-olga (from .../fonts-gfs-olga_1.1-3_all.deb) ... Selecting previously unselected package fonts-gfs-solomos. Unpacking fonts-gfs-solomos (from .../fonts-gfs-solomos_1.1-4_all.deb) ... Selecting previously unselected package fonts-inconsolata. Unpacking fonts-inconsolata (from .../fonts-inconsolata_001.010-4_all.deb) ... Selecting previously unselected package fonts-linuxlibertine. Unpacking fonts-linuxlibertine (from .../fonts-linuxlibertine_5.1.3-1_all.deb) ... Selecting previously unselected package fonts-oflb-asana-math. Unpacking fonts-oflb-asana-math (from .../fonts-oflb-asana-math_000.907-4_all.deb) ... Selecting previously unselected package fonts-sil-gentium. Unpacking fonts-sil-gentium (from .../fonts-sil-gentium_20081126%3a1.02-12_all.deb) ... Selecting previously unselected package fonts-sil-gentium-basic. Unpacking fonts-sil-gentium-basic (from .../fonts-sil-gentium-basic_1.1-5_all.deb) ... Selecting previously unselected package ocaml-base-nox. Unpacking ocaml-base-nox (from .../ocaml-base-nox_3.12.1-4ubuntu1_amd64.deb) ... Selecting previously unselected package libfindlib-ocaml. Unpacking libfindlib-ocaml (from .../libfindlib-ocaml_1.3.1-1_amd64.deb) ... Selecting previously unselected package libgraphite3. Unpacking libgraphite3 (from .../libgraphite3_1%3a2.3.1-0.2build1_amd64.deb) ... Selecting previously unselected package libijs-0.35. Unpacking libijs-0.35 (from .../libijs-0.35_0.35-8build1_amd64.deb) ... Selecting previously unselected package libjbig2dec0. Unpacking libjbig2dec0 (from .../libjbig2dec0_0.11+20120125-1ubuntu1_amd64.deb) ... Selecting previously unselected package libgs9-common. Unpacking libgs9-common (from .../libgs9-common_9.07~dfsg2-0ubuntu3_all.deb) ... Selecting previously unselected package libgs9. Unpacking libgs9 (from .../libgs9_9.07~dfsg2-0ubuntu3_amd64.deb) ... Selecting previously unselected package libtinfo-dev:amd64. Unpacking libtinfo-dev:amd64 (from .../libtinfo-dev_5.9-10ubuntu4_amd64.deb) ... Selecting previously unselected package libncurses5-dev. Unpacking libncurses5-dev (from .../libncurses5-dev_5.9-10ubuntu4_amd64.deb) ... Selecting previously unselected package ocaml-interp. Unpacking ocaml-interp (from .../ocaml-interp_3.12.1-4ubuntu1_amd64.deb) ... Selecting previously unselected package ocaml-nox. Unpacking ocaml-nox (from .../ocaml-nox_3.12.1-4ubuntu1_amd64.deb) ... Selecting previously unselected package libmenhir-ocaml-dev. Unpacking libmenhir-ocaml-dev (from .../libmenhir-ocaml-dev_20120123.dfsg-1_amd64.deb) ... Selecting previously unselected package libpaper-utils. Unpacking libpaper-utils (from .../libpaper-utils_1.1.24+nmu2ubuntu2_amd64.deb) ... Selecting previously unselected package libpcre-ocaml. Unpacking libpcre-ocaml (from .../libpcre-ocaml_7.0.2-2_amd64.deb) ... Selecting previously unselected package libpcre3-dev:amd64. Unpacking libpcre3-dev:amd64 (from .../libpcre3-dev_1%3a8.31-2_amd64.deb) ... Selecting previously unselected package ocaml-findlib. Unpacking ocaml-findlib (from .../ocaml-findlib_1.3.1-1_amd64.deb) ... Selecting previously unselected package libpcre-ocaml-dev. Unpacking libpcre-ocaml-dev (from .../libpcre-ocaml-dev_7.0.2-2_amd64.deb) ... Selecting previously unselected package libptexenc1. Unpacking libptexenc1 (from .../libptexenc1_2012.20120628-4_amd64.deb) ... Selecting previously unselected package libpycaml-ocaml. Unpacking libpycaml-ocaml (from .../libpycaml-ocaml_0.82-14_amd64.deb) ... Selecting previously unselected package python2.7-minimal. Unpacking python2.7-minimal (from .../python2.7-minimal_2.7.4-2ubuntu3_amd64.deb) ... Selecting previously unselected package python2.7. Unpacking python2.7 (from .../python2.7_2.7.4-2ubuntu3_amd64.deb) ... Selecting previously unselected package python-minimal. Unpacking python-minimal (from .../python-minimal_2.7.4-0ubuntu1_amd64.deb) ... Selecting previously unselected package libpython-stdlib:amd64. Unpacking libpython-stdlib:amd64 (from .../libpython-stdlib_2.7.4-0ubuntu1_amd64.deb) ... Selecting previously unselected package python. Unpacking python (from .../python_2.7.4-0ubuntu1_amd64.deb) ... Selecting previously unselected package libpython-dev:amd64. Unpacking libpython-dev:amd64 (from .../libpython-dev_2.7.4-0ubuntu1_amd64.deb) ... Selecting previously unselected package python2.7-dev. Unpacking python2.7-dev (from .../python2.7-dev_2.7.4-2ubuntu3_amd64.deb) ... Selecting previously unselected package python-dev. Unpacking python-dev (from .../python-dev_2.7.4-0ubuntu1_amd64.deb) ... Selecting previously unselected package libpycaml-ocaml-dev. Unpacking libpycaml-ocaml-dev (from .../libpycaml-ocaml-dev_0.82-14_amd64.deb) ... Selecting previously unselected package menhir. Unpacking menhir (from .../menhir_20120123.dfsg-1_amd64.deb) ... Selecting previously unselected package ocaml-native-compilers. Unpacking ocaml-native-compilers (from .../ocaml-native-compilers_3.12.1-4ubuntu1_amd64.deb) ... Selecting previously unselected package otf-freefont. Unpacking otf-freefont (from .../otf-freefont_20120503-1_all.deb) ... Selecting previously unselected package pkg-config. Unpacking pkg-config (from .../pkg-config_0.26-1ubuntu3_amd64.deb) ... Selecting previously unselected package preview-latex-style. Unpacking preview-latex-style (from .../preview-latex-style_11.87-1ubuntu1_all.deb) ... Selecting previously unselected package texlive-common. Unpacking texlive-common (from .../texlive-common_2012.20120611-5_all.deb) ... Selecting previously unselected package texlive-doc-base. Unpacking texlive-doc-base (from .../texlive-doc-base_2012.20120611-1_all.deb) ... Selecting previously unselected package texlive-binaries. Unpacking texlive-binaries (from .../texlive-binaries_2012.20120628-4_amd64.deb) ... Selecting previously unselected package xdg-utils. Unpacking xdg-utils (from .../xdg-utils_1.1.0~rc1-2ubuntu7_all.deb) ... Selecting previously unselected package texlive-base. Unpacking texlive-base (from .../texlive-base_2012.20120611-5_all.deb) ... Selecting previously unselected package fonts-stix. Unpacking fonts-stix (from .../fonts-stix_1.1.0-1_all.deb) ... Selecting previously unselected package texlive-fonts-extra. Unpacking texlive-fonts-extra (from .../texlive-fonts-extra_2012.20120611-2_all.deb) ... Selecting previously unselected package ttf-marvosym. Unpacking ttf-marvosym (from .../ttf-marvosym_0.1+dfsg-2_all.deb) ... Selecting previously unselected package texlive-fonts-recommended. Unpacking texlive-fonts-recommended (from .../texlive-fonts-recommended_2012.20120611-5_all.deb) ... Selecting previously unselected package texlive-latex-base. Unpacking texlive-latex-base (from .../texlive-latex-base_2012.20120611-5_all.deb) ... Selecting previously unselected package texlive-latex-recommended. Unpacking texlive-latex-recommended (from .../texlive-latex-recommended_2012.20120611-5_all.deb) ... Selecting previously unselected package texlive-pictures. Unpacking texlive-pictures (from .../texlive-pictures_2012.20120611-5_all.deb) ... Selecting previously unselected package texlive-latex-extra. Unpacking texlive-latex-extra (from .../texlive-latex-extra_2012.20120611-2_all.deb) ... Selecting previously unselected package dh-ocaml. Unpacking dh-ocaml (from .../dh-ocaml_1.0.7_all.deb) ... Setting up libexpat1:amd64 (2.1.0-3) ... Setting up libffi6:amd64 (3.0.13-2ubuntu1) ... Setting up libmagic1:amd64 (5.11-2ubuntu4) ... Setting up libpopt0:amd64 (1.16-7ubuntu3) ... Setting up libssl1.0.0:amd64 (1.0.1c-4ubuntu8) ... Setting up libasprintf0c2:amd64 (0.18.1.1-10ubuntu3) ... Setting up libpcre3:amd64 (1:8.31-2) ... Setting up libglib2.0-0:amd64 (2.36.0-1ubuntu2) ... No schema files found: doing nothing. Setting up libpipeline1:amd64 (1.2.3-1) ... Setting up libxau6:amd64 (1:1.0.7-1) ... Setting up libxdmcp6:amd64 (1:1.1.1-1) ... Setting up libxcb1:amd64 (1.8.1-2ubuntu2) ... Setting up libx11-data (2:1.5.0-1ubuntu1) ... Setting up libx11-6:amd64 (2:1.5.0-1ubuntu1) ... Setting up libxext6:amd64 (2:1.3.1-2) ... Setting up libxml2:amd64 (2.9.0+dfsg1-4ubuntu5) ... Setting up groff-base (1.22.2-2) ... Setting up bsdmainutils (9.0.4ubuntu4) ... 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.3-6) ... Not building database; man-db/auto-update is not 'true'. Setting up ucf (3.0025+nmu3) ... Setting up ttf-dejavu-core (2.33-3ubuntu2) ... Setting up fonts-freefont-ttf (20120503-1) ... Setting up ttf-freefont (20120503-1) ... Setting up fontconfig-config (2.10.2-0ubuntu2) ... Setting up fonts-droid (1:4.2.r1-1ubuntu1) ... Setting up fonts-junicode (0.7.8-1) ... Setting up libavahi-common-data:amd64 (0.6.31-1ubuntu3) ... Setting up libavahi-common3:amd64 (0.6.31-1ubuntu3) ... Setting up libavahi-client3:amd64 (0.6.31-1ubuntu3) ... Setting up libcroco3:amd64 (0.6.8-1) ... Setting up libcups2:amd64 (1.6.2-1ubuntu5) ... Setting up libjpeg-turbo8:amd64 (1.2.1-0ubuntu2) ... Setting up libjpeg8:amd64 (8c-2ubuntu7) ... Setting up libjbig0:amd64 (2.0-2ubuntu1) ... Setting up libtiff5:amd64 (4.0.2-4ubuntu2) ... Setting up libcupsfilters1:amd64 (1.0.34-0ubuntu2) ... Setting up libcupsimage2:amd64 (1.6.2-1ubuntu5) ... Setting up libfreetype6:amd64 (2.4.11-0ubuntu1) ... Setting up libfontconfig1:amd64 (2.10.2-0ubuntu2) ... Setting up libunistring0:amd64 (0.9.3-5build1) ... Setting up libgettextpo0:amd64 (0.18.1.1-10ubuntu3) ... Setting up x11-common (1:7.7+1ubuntu4) ... invoke-rc.d: policy-rc.d denied execution of start. Setting up libice6:amd64 (2:1.0.8-2) ... Setting up liblcms2-2:amd64 (2.4-0ubuntu3) ... Setting up libpaper1:amd64 (1.1.24+nmu2ubuntu2) ... Creating config file /etc/papersize with new version Setting up libpcrecpp0:amd64 (1:8.31-2) ... Setting up libpoppler28:amd64 (0.20.5-1ubuntu3) ... Setting up libpython2.7-minimal:amd64 (2.7.4-2ubuntu3) ... Setting up mime-support (3.52-2ubuntu1) ... update-alternatives: using /usr/bin/see to provide /usr/bin/view (view) in auto mode Setting up libpython2.7-stdlib:amd64 (2.7.4-2ubuntu3) ... Setting up libpython2.7:amd64 (2.7.4-2ubuntu3) ... Setting up libexpat1-dev:amd64 (2.1.0-3) ... Setting up libpython2.7-dev:amd64 (2.7.4-2ubuntu3) ... Setting up libsm6:amd64 (2:1.2.1-2) ... Setting up libxt6:amd64 (1:1.1.3-1) ... Setting up libxmu6:amd64 (2:1.1.1-1) ... Setting up libxpm4:amd64 (1:3.5.10-1) ... Setting up libxaw7:amd64 (2:1.0.10-2) ... Setting up tex-common (4.02) ... Running mktexlsr. This may take some time... done. texlive-base is not ready, delaying updmap-sys call texlive-base is not ready, skipping fmtutil-sys --all call Setting up libkpathsea6 (2012.20120628-4) ... Setting up luatex (0.70.1.20120524-3build2) ... texlive-base is not ready, cannot create formats Setting up poppler-data (0.4.6-3) ... Setting up ttf-dejavu-extra (2.33-3ubuntu2) ... Setting up file (5.11-2ubuntu4) ... Setting up ed (1.8-1) ... Setting up gettext-base (0.18.1.1-10ubuntu3) ... Setting up html2text (1.3.2a-15ubuntu3) ... Setting up libasprintf-dev:amd64 (0.18.1.1-10ubuntu3) ... Setting up libgettextpo-dev:amd64 (0.18.1.1-10ubuntu3) ... Setting up gettext (0.18.1.1-10ubuntu3) ... Setting up intltool-debian (0.35.0+20060710.1) ... Setting up po-debconf (1.0.16+nmu2ubuntu1) ... Setting up dh-apparmor (2.8.0-0ubuntu11) ... Setting up debhelper (9.20120909ubuntu1) ... Setting up fonts-comfortaa (2.003-1) ... Setting up fonts-freefont-otf (20120503-1) ... Setting up fonts-gfs-artemisia (1.1-4) ... Setting up fonts-gfs-complutum (1.1-5) ... Setting up fonts-gfs-didot (1.1-5) ... Setting up fonts-gfs-neohellenic (1.1-4) ... Setting up fonts-gfs-olga (1.1-3) ... Setting up fonts-gfs-solomos (1.1-4) ... Setting up fonts-inconsolata (001.010-4) ... Setting up fonts-linuxlibertine (5.1.3-1) ... Setting up fonts-oflb-asana-math (000.907-4) ... Setting up fonts-sil-gentium (20081126:1.02-12) ... Setting up fonts-sil-gentium-basic (1.1-5) ... Setting up ocaml-base-nox (3.12.1-4ubuntu1) ... Setting up libfindlib-ocaml (1.3.1-1) ... Setting up libgraphite3 (1:2.3.1-0.2build1) ... Setting up libijs-0.35 (0.35-8build1) ... Setting up libjbig2dec0 (0.11+20120125-1ubuntu1) ... Setting up libgs9-common (9.07~dfsg2-0ubuntu3) ... update-alternatives: using /usr/share/ghostscript/9.07 to provide /usr/share/ghostscript/current (ghostscript-current) in auto mode Setting up libgs9 (9.07~dfsg2-0ubuntu3) ... Setting up libtinfo-dev:amd64 (5.9-10ubuntu4) ... Setting up libncurses5-dev (5.9-10ubuntu4) ... Setting up ocaml-interp (3.12.1-4ubuntu1) ... Setting up ocaml-nox (3.12.1-4ubuntu1) ... Setting up libmenhir-ocaml-dev (20120123.dfsg-1) ... Setting up libpaper-utils (1.1.24+nmu2ubuntu2) ... Setting up libpcre-ocaml (7.0.2-2) ... Setting up libpcre3-dev:amd64 (1:8.31-2) ... Setting up ocaml-findlib (1.3.1-1) ... Setting up libpcre-ocaml-dev (7.0.2-2) ... Setting up libptexenc1 (2012.20120628-4) ... Setting up libpycaml-ocaml (0.82-14) ... Setting up python2.7-minimal (2.7.4-2ubuntu3) ... Linking and byte-compiling packages for runtime python2.7... Setting up python2.7 (2.7.4-2ubuntu3) ... Setting up python-minimal (2.7.4-0ubuntu1) ... Setting up libpython-stdlib:amd64 (2.7.4-0ubuntu1) ... Setting up python (2.7.4-0ubuntu1) ... Setting up libpython-dev:amd64 (2.7.4-0ubuntu1) ... Setting up python2.7-dev (2.7.4-2ubuntu3) ... Setting up python-dev (2.7.4-0ubuntu1) ... Setting up libpycaml-ocaml-dev (0.82-14) ... Setting up menhir (20120123.dfsg-1) ... Setting up ocaml-native-compilers (3.12.1-4ubuntu1) ... Setting up otf-freefont (20120503-1) ... Setting up pkg-config (0.26-1ubuntu3) ... Setting up preview-latex-style (11.87-1ubuntu1) ... Setting up texlive-common (2012.20120611-5) ... Setting up texlive-doc-base (2012.20120611-1) ... Setting up texlive-binaries (2012.20120628-4) ... 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 xdg-utils (1.1.0~rc1-2ubuntu7) ... Setting up fonts-stix (1.1.0-1) ... Setting up ttf-marvosym (0.1+dfsg-2) ... Setting up dh-ocaml (1.0.7) ... Processing triggers for tex-common ... Running mktexlsr. This may take some time... done. Setting up texlive-base (2012.20120611-5) ... /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. Processing triggers for tex-common ... Running updmap-sys. This may take some time... done. Running mktexlsr /var/lib/texmf ... done. Setting up texlive-latex-base (2012.20120611-5) ... 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-pictures (2012.20120611-5) ... Setting up texlive-fonts-extra (2012.20120611-2) ... Setting up texlive-fonts-recommended (2012.20120611-5) ... Processing triggers for tex-common ... Running mktexlsr. This may take some time... done. Running updmap-sys. This may take some time... done. Running mktexlsr /var/lib/texmf ... done. Setting up texlive-latex-recommended (2012.20120611-5) ... Processing triggers for tex-common ... Running mktexlsr. This may take some time... done. Setting up texlive-latex-extra (2012.20120611-2) ... Processing triggers for libc-bin ... ldconfig deferred processing now taking place Processing triggers for tex-common ... Running mktexlsr. This may take some time... done. Running updmap-sys. This may take some time... done. Running mktexlsr /var/lib/texmf ... done. Checking correctness of source dependencies... Toolchain package versions: libc6-dev_2.17-0ubuntu5 make_3.81-8.2ubuntu2 dpkg-dev_1.16.10ubuntu1 gcc-4.8_4.8.0-6ubuntu1 g++-4.8_4.8.0-6ubuntu1 binutils_2.23.2-2ubuntu1 libstdc++-4.8-dev_4.8.0-6ubuntu1 libstdc++6_4.8.0-6ubuntu1 ------------------------------------------------------------------------------ dpkg-source: warning: -sn is not a valid option for Dpkg::Source::Package::V3::quilt gpgv: Signature made Thu May 9 14:03:21 2013 UTC using RSA key ID 7D86500B gpgv: Can't check signature: public key not found dpkg-source: warning: failed to verify signature on ./coccinelle_1.0.0~rc17.deb-2build1.dsc dpkg-source: info: extracting coccinelle in coccinelle-1.0.0~rc17.deb dpkg-source: info: unpacking coccinelle_1.0.0~rc17.deb.orig.tar.gz dpkg-source: info: unpacking coccinelle_1.0.0~rc17.deb-2build1.debian.tar.gz dpkg-source: info: applying pdf-docs-build.diff dpkg-buildpackage: source package coccinelle dpkg-buildpackage: source version 1.0.0~rc17.deb-2build1 dpkg-source --before-build coccinelle-1.0.0~rc17.deb dpkg-buildpackage: host architecture amd64 /usr/bin/fakeroot debian/rules clean dh clean --with ocaml,python2 --parallel dh_testdir -O--parallel debian/rules override_dh_auto_clean make[1]: Entering directory `/build/buildd/coccinelle-1.0.0~rc17.deb' /usr/bin/make CLEANSUBDIRS=\$\(MAKESUBDIRS\) distclean make[2]: Entering directory `/build/buildd/coccinelle-1.0.0~rc17.deb' rm -f ocaml/coccilib/coccilib.cmi rm -f spatch spatch.opt spatch.top rm -rf _build _log make[3]: Entering directory `/build/buildd/coccinelle-1.0.0~rc17.deb/tools' rm -f spp gitgrep splitpatch extract_c_and_res gitsort alloc_free bridge process_isoprofile isoprof rm -f *.cm[ioxa] *.o *.a *.cmxa *.annot rm -f .depend make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc17.deb/tools' rm -f scripts/spatch scripts/spatch.byte scripts/spatch.opt rm -f gmon.out ocamlprof.dump rm -f .depend rm -f *.cm[iox] *.o *.annot rm -f *~ .*~ *.exe #*# set -e; for i in commons globals ctl parsing_cocci parsing_c engine popl09 extra python ocaml; do /usr/bin/make -C $i distclean; done make[3]: Entering directory `/build/buildd/coccinelle-1.0.0~rc17.deb/commons' rm -f commons.top rm -f dllcommons_backtrace.so rm -f gmon.out rm -f *.cm[iox] *.o *.a *.cma *.cmxa *.annot rm -f *~ .*~ #*# for i in ocamlextra ocollection; do (cd $i; \ rm -f *.cm[iox] *.o *.a *.cma *.cmxa *.annot *~ .*~ ; \ cd ..; ) \ done rm -f .depend rm -f commands.ml make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc17.deb/commons' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0~rc17.deb/globals' rm -f *.cm[ioxa] *.o *.a *.cmxa *.annot rm -f *~ .*~ gmon.out #*# rm -f .depend make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc17.deb/globals' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0~rc17.deb/ctl' rm -f ctl.cma ctl.cmxa ctl.a ctl.top rm -f *.cm[iox] *.o *.annot rm -f *~ .*~ #*# rm -f .depend make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc17.deb/ctl' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0~rc17.deb/parsing_cocci' rm -f cocci_parser.cma rm -f cocci_parser.cmxa cocci_parser.a rm -f cocci_parser rm -f *.cm[iox] *.o *.annot rm -f *~ .*~ #*# rm -f .depend if test -z ""; then \ @echo cleaning generated parsers and lexers; \ rm -f lexer_cocci.ml lexer_cli.ml lexer_script.ml parser_cocci_menhir.ml parser_cocci_menhir.mli; fi /bin/sh: 2: @echo: not found make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc17.deb/parsing_cocci' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0~rc17.deb/parsing_c' rm -f parsing_c.top rm -f lexer_c.ml rm -f parser_c.ml parser_c.mli parser_c.output rm -f *.cm[ioxa] *.o *.a *.cmxa *.annot rm -f *~ .*~ gmon.out #*# rm -f .depend make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc17.deb/parsing_c' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0~rc17.deb/engine' rm -f cocciengine.top rm -f *.cm[ioxa] *.o *.a *.cmxa *.annot rm -f *~ .*~ gmon.out #*# rm -f .depend make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc17.deb/engine' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0~rc17.deb/popl09' rm -f popl.cma popl.top rm -f popl.cmxa popl.a rm -f *.cm[iox] *.o *.annot rm -f *~ .*~ #*# rm -f .depend make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc17.deb/popl09' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0~rc17.deb/extra' rm -f extra.byte extra.opt rm -f extra.top rm -f .depend rm -f *.cm[ioxa] *.o *.a *.cmxa *.annot rm -f *~ .*~ gmon.out #*# make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc17.deb/extra' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0~rc17.deb/python' /usr/bin/make -C coccilib distclean make[4]: Entering directory `/build/buildd/coccinelle-1.0.0~rc17.deb/python/coccilib' set -e; for i in coccigui; do /usr/bin/make -C $i clean; done make[5]: Entering directory `/build/buildd/coccinelle-1.0.0~rc17.deb/python/coccilib/coccigui' rm -f *.pyc make[5]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc17.deb/python/coccilib/coccigui' rm -rf __pycache__ rm -f *.pyc make[4]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc17.deb/python/coccilib' rm -f pycocci.ml rm -f *.cm[ioxa] *.o *.annot make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc17.deb/python' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0~rc17.deb/ocaml' rm -f cocciocaml.top rm -f *.cm[ioxa] *.o *.a *.cmxa *.annot rm -f *~ .*~ gmon.out #*# rm -f .depend rm -f coccilib/coccilib.cmi make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc17.deb/ocaml' rm -f test.ml rm -f TAGS *.native *.byte *.d.native *.p.byte if test -z ""; then \ rm -f tests/SCORE_actual.sexp tests/SCORE_best_of_both.sexp; fi find . -name ".#*1.*" | xargs rm -f rm -f spatch spatch.opt spatch.top rm -f setup/Makefile cleaning configured files if test -z ""; then rm -f Makefile.config; fi rm -rf autom4te.cache rm -f config.status rm -f config.log if test -z ""; then \ rm -f version.ml; fi rm -f globals/config.ml rm -f globals/regexp.ml python/pycocci.ml ocaml/prepare_ocamlcocci.ml rm -f scripts/spatch.sh rm -f aclocal.m4 run 'configure' again prior to building coccinelle make[2]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc17.deb' rm -rf texmf-var texmf-config make[1]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc17.deb' dh_ocamlclean -O--parallel dh_clean -O--parallel debian/rules build-arch dh build-arch --with ocaml,python2 --parallel dh_testdir -a -O--parallel dh_ocamlinit -a -O--parallel debian/rules override_dh_auto_configure make[1]: Entering directory `/build/buildd/coccinelle-1.0.0~rc17.deb' ./configure --prefix=/usr --sysconfdir=/etc configure: configuring coccinelle 1.0.0-rc15 in /build/buildd/coccinelle-1.0.0~rc17.deb checking for a BSD-compatible install... /usr/bin/install -c checking whether build environment is sane... yes checking for a thread-safe mkdir -p... /bin/mkdir -p checking for gawk... no checking for mawk... mawk checking whether make sets $(MAKE)... yes configure: determining version suffix checking for date... /bin/date configure: version suffix set to Thu, 09 May 2013 14:09:57 +0000 configure: this configure program uses pkg-config m4 macros configure: this configure program uses ocaml m4 macros (see setup/ocaml.m4) configure: this configure program uses custom m4 macros (see setup/cocci.m4) configure: some fake substitutions for required but unavailable programs may be used (see setup/fake*) configure: verifying basic tools checking for style of include used by make... GNU checking for gcc... gcc checking whether the C compiler works... yes checking for C compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix of object files... o checking whether we are using the GNU C compiler... yes checking whether gcc accepts -g... yes checking for gcc option to accept ISO C89... none needed checking dependency style of gcc... none checking how to run the C preprocessor... gcc -E checking for tar... /bin/tar checking for patch... /usr/bin/patch checking for patchelf... no checking for pkg-config... /usr/bin/pkg-config checking pkg-config is at least version 0.9.0... yes checking for ocamlc... /usr/bin/ocamlc OCaml version is 3.12.1 OCaml library path is /usr/lib/ocaml checking for ocamlopt... /usr/bin/ocamlopt checking for ocamlc.opt... /usr/bin/ocamlc.opt checking for ocamlopt.opt... /usr/bin/ocamlopt.opt checking for ocaml... /usr/bin/ocaml checking for ocamldep... /usr/bin/ocamldep checking for ocamlmktop... /usr/bin/ocamlmktop checking for ocamlmklib... /usr/bin/ocamlmklib checking for ocamldoc... /usr/bin/ocamldoc checking for ocamlbuild... /usr/bin/ocamlbuild checking that the OCaml version is at least 3.10... yes checking that the OCaml version is at least 3.11... yes checking for camlp4... no checking for camlp4boot... no checking for camlp4o... no checking for camlp4of... no checking for camlp4oof... no checking for camlp4orf... no checking for camlp4prof... no checking for camlp4r... no checking for camlp4rf... no checking for ocamllex... /usr/bin/ocamllex checking for ocamllex.opt... /usr/bin/ocamllex.opt checking for ocamlyacc... /usr/bin/ocamlyacc checking for ocamlfind... /usr/bin/ocamlfind checking for ocamlprof... /usr/bin/ocamlprof configure: verifying basic ocaml modules configure: coccinelle may use external ocaml libraries in /build/buildd/coccinelle-1.0.0~rc17.deb/bundles configure: the following OCaml packages should be provided by your ocaml installation checking for OCaml findlib package unix... found checking for OCaml findlib package bigarray... found checking for OCaml findlib package num... found checking for OCaml findlib package str... found configure: configuring package dynlink checking for OCaml findlib package dynlink... found configure: configuring package camlp4 checking for OCaml findlib package camlp4... found configure: configuring package menhirLib checking for OCaml findlib package menhirLib... found configure: verifying optional features checking for menhir... /usr/bin/menhir configure: ocaml scripting is disabled because it requires camlp4 which is not available checking for python... /usr/bin/python checking python version... 2.7 found configure: python major version: 2 configure: looking for the corresponding python library checking for PYTHON... yes configure: support for python scripts is enabled configure: configuring package pycaml checking for OCaml findlib package pycaml... found checking for PCRE... yes configure: configuring package pcre checking for OCaml findlib package pcre... found configure: support for pcre syntax is enabled checking for pdflatex... /usr/bin/pdflatex configure: choosing the development Makefile configuration because the release configuration is not explicitly requested. checking that generated files are newer than configure... done configure: creating ./config.status config.status: creating Makefile.config config.status: creating version.ml config.status: creating commons/commands.ml config.status: creating globals/config.ml config.status: creating globals/regexp.ml config.status: creating python/pycocci.ml config.status: creating ocaml/prepare_ocamlcocci.ml config.status: creating scripts/spatch.sh config.status: creating docs/spatch.1 config.status: creating myocamlbuild.ml config.status: creating setup/Makefile config.status: executing depfiles commands configure: configuration completed ------------------------------------------------------------------------------ Summary configure flags: --prefix=/usr --sysconfdir=/etc findlib: /usr/bin/ocamlfind (an actual version is strongly recommended) menhir: /usr/bin/menhir (should be an optional tool) menhirLib module: yes (for local package use --disable-menhirLib) ocaml scripting: no (overridable with --enable-ocaml) python scripting: yes (overridable with --enable-python) pycaml module: yes (for local package use --disable-pycaml) pcre regexes: yes (overridable with --enable-pcre-syntax) pcre module: yes (for local package use --disable-pcre) pcre library: yes (requires the dev version of libpcre) release config: no (strongly recommended to be 'yes', overridable with --enable-release) optimized spatch: no (overridable with --disable-opt) ------------------------------------------------------------------------------ Coccinelle can now be compiled and installed. If you compile coccinelle again after source code changes or configuration changes, you may need to run first: $ make clean To compile coccinelle, run: $ make all To install coccinelle, run: $ make install Then, to test coccinelle, run for example: $ spatch -sp_file demos/simple.cocci demos/simple.c -o /tmp/new_simple.c Or when coccinelle is not installed yet: $ COCCINELLE_HOME=/build/buildd/coccinelle-1.0.0~rc17.deb ./scripts/spatch -sp_file demos/simple.cocci demos/simple.c -o /tmp/new_simple.c ------------------------------------------------------------------------------ You may need to set some environment variables so that the python libraries are found. The frontend 'spatch' sets the following variables: $ export LD_LIBRARY_PATH=$LD_LIBRARY_PATH:/usr/lib $ export PYTHONPATH=$PYTHONPATH:/usr/share/coccinelle/python ------------------------------------------------------------------------------ make[1]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc17.deb' debian/rules override_dh_auto_build-arch make[1]: Entering directory `/build/buildd/coccinelle-1.0.0~rc17.deb' /usr/bin/make BYTECODE_STATIC="" MANDIR=/usr/share/man depend make[2]: Entering directory `/build/buildd/coccinelle-1.0.0~rc17.deb' echo "let foo_ctl () = failwith \"there is no foo_ctl formula\"" \ > test.ml constructing .depend make[3]: Entering directory `/build/buildd/coccinelle-1.0.0~rc17.deb/commons' /usr/bin/ocamldep -I ocamlextra -I ocollection *.mli *.ml > .depend for i in ocamlextra ocollection; do /usr/bin/ocamldep -I ocamlextra -I ocollection $i/*.ml $i/*.mli >> .depend; done make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc17.deb/commons' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0~rc17.deb/commons' /usr/bin/ocamldep -I ocamlextra -I ocollection *.mli *.ml > .depend for i in ocamlextra ocollection; do /usr/bin/ocamldep -I ocamlextra -I ocollection $i/*.ml $i/*.mli >> .depend; done make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc17.deb/commons' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0~rc17.deb/globals' /usr/bin/ocamldep -I ../commons -I /usr/lib/ocaml/pcre *.mli *.ml > .depend make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc17.deb/globals' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0~rc17.deb/globals' /usr/bin/ocamldep -I ../commons -I /usr/lib/ocaml/pcre *.mli *.ml > .depend make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc17.deb/globals' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0~rc17.deb/ctl' /usr/bin/ocamldep -I ../commons -I ../commons/ocamlextra -I ../globals *.mli *.ml > .depend make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc17.deb/ctl' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0~rc17.deb/ctl' /usr/bin/ocamldep -I ../commons -I ../commons/ocamlextra -I ../globals *.mli *.ml > .depend make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc17.deb/ctl' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0~rc17.deb/parsing_cocci' /usr/bin/ocamllex.opt lexer_cocci.mll 262 states, 4860 transitions, table size 21012 bytes 2644 additional bytes used for bindings /usr/bin/ocamllex.opt lexer_cli.mll 14 states, 681 transitions, table size 2808 bytes /usr/bin/ocamllex.opt lexer_script.mll 18 states, 265 transitions, table size 1168 bytes /usr/bin/menhir --ocamlc "/usr/bin/ocamlc.opt" --ocamldep "/usr/bin/ocamldep" --table --base parser_cocci_menhir parser_cocci_menhir.mly Warning: you are using the standard library and/or the %inline keyword. We recommend switching on --infer in order to avoid obscure type error messages. /usr/bin/ocamldep *.mli *.ml > .depend make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc17.deb/parsing_cocci' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0~rc17.deb/parsing_cocci' /usr/bin/ocamldep *.mli *.ml > .depend make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc17.deb/parsing_cocci' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0~rc17.deb/parsing_c' /usr/bin/ocamllex.opt lexer_c.mll 600 states, 26061 transitions, table size 107844 bytes 16279 additional bytes used for bindings /usr/bin/ocamlyacc -v parser_c.mly /usr/bin/ocamldep -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci *.mli *.ml > .depend make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc17.deb/parsing_c' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0~rc17.deb/parsing_c' /usr/bin/ocamldep -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci *.mli *.ml > .depend make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc17.deb/parsing_c' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0~rc17.deb/engine' /usr/bin/ocamldep *.mli *.ml > .depend make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc17.deb/engine' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0~rc17.deb/engine' /usr/bin/ocamldep *.mli *.ml > .depend make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc17.deb/engine' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0~rc17.deb/popl09' /usr/bin/ocamldep -I ../commons -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../engine *.mli *.ml > .depend make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc17.deb/popl09' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0~rc17.deb/popl09' /usr/bin/ocamldep -I ../commons -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../engine *.mli *.ml > .depend make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc17.deb/popl09' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0~rc17.deb/extra' /usr/bin/ocamldep *.mli *.ml > .depend make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc17.deb/extra' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0~rc17.deb/extra' /usr/bin/ocamldep *.mli *.ml > .depend make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc17.deb/extra' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0~rc17.deb/python' /usr/bin/ocamldep -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_c -I ../parsing_cocci *.mli *.ml > .depend make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc17.deb/python' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0~rc17.deb/python' /usr/bin/ocamldep -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_c -I ../parsing_cocci *.mli *.ml > .depend make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc17.deb/python' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0~rc17.deb/ocaml' /usr/bin/ocamldep -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -I ../parsing_c -I ../engine *.mli *.ml > .depend make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc17.deb/ocaml' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0~rc17.deb/ocaml' /usr/bin/ocamldep -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -I ../parsing_c -I ../engine *.mli *.ml > .depend make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc17.deb/ocaml' /usr/bin/ocamldep -I commons -I commons/ocamlextra -I globals -I ctl -I parsing_cocci -I parsing_c -I engine -I popl09 -I extra -I python -I ocaml *.mli *.ml > .depend make[2]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc17.deb' # make all.opt does not build documentation /usr/bin/make BYTECODE_STATIC="" MANDIR=/usr/share/man -C docs all make[2]: Entering directory `/build/buildd/coccinelle-1.0.0~rc17.deb/docs' /usr/bin/make -C manual all make[3]: Entering directory `/build/buildd/coccinelle-1.0.0~rc17.deb/docs/manual' make[3]: Nothing to be done for `all'. make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc17.deb/docs/manual' make[2]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc17.deb/docs' # Re-create this directory here because git does not store empty directories mkdir -p ocaml/coccilib dh_auto_build -- BYTECODE_STATIC="" MANDIR=/usr/share/man all-release make[2]: Entering directory `/build/buildd/coccinelle-1.0.0~rc17.deb' building byte-only make .depend make[3]: Entering directory `/build/buildd/coccinelle-1.0.0~rc17.deb' make[3]: `.depend' is up to date. make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc17.deb' make byte-only make[3]: Entering directory `/build/buildd/coccinelle-1.0.0~rc17.deb' make[4]: Entering directory `/build/buildd/coccinelle-1.0.0~rc17.deb' make[4]: `.depend' is up to date. make[4]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc17.deb' make[4]: Entering directory `/build/buildd/coccinelle-1.0.0~rc17.deb' make[5]: Entering directory `/build/buildd/coccinelle-1.0.0~rc17.deb' make[6]: Entering directory `/build/buildd/coccinelle-1.0.0~rc17.deb/commons' /usr/bin/ocamlc.opt -g -dtypes -I ocamlextra -I ocollection -c ocamlextra/dumper.mli /usr/bin/ocamlc.opt -g -dtypes -I ocamlextra -I ocollection -c ocamlextra/ANSITerminal.mli /usr/bin/ocamlc.opt -g -dtypes -I ocamlextra -I ocollection -c ocamlextra/setb.mli /usr/bin/ocamlc.opt -g -dtypes -I ocamlextra -I ocollection -c ocamlextra/mapb.ml /usr/bin/ocamlc.opt -g -dtypes -I ocamlextra -I ocollection -c ocamlextra/setPt.ml /usr/bin/ocamlc.opt -g -dtypes -I ocamlextra -I ocollection -c commands.ml /usr/bin/ocamlc.opt -g -dtypes -I ocamlextra -I ocollection -c common.mli /usr/bin/ocamlc.opt -g -dtypes -I ocamlextra -I ocollection -c objet.mli /usr/bin/ocamlc.opt -g -dtypes -I ocamlextra -I ocollection -c parser_combinators.mli /usr/bin/ocamlc.opt -g -dtypes -I ocamlextra -I ocollection -c ocamlextra/enum.mli /usr/bin/ocamlc.opt -g -dtypes -I ocamlextra -I ocollection -c ocamlextra/suffix_tree.mli /usr/bin/ocamlc.opt -g -dtypes -I ocamlextra -I ocollection -c ocamlextra/suffix_tree_ext.mli /usr/bin/ocamlc.opt -g -dtypes -I ocamlextra -I ocollection -c ocamlextra/dumper.ml /usr/bin/ocamlc.opt -g -dtypes -I ocamlextra -I ocollection -c ocamlextra/ANSITerminal.ml /usr/bin/ocamlc.opt -g -dtypes -I ocamlextra -I ocollection -c ocamlextra/setb.ml /usr/bin/ocamlc.opt -g -dtypes -I ocamlextra -I ocollection -c ocollection.mli /usr/bin/ocamlc.opt -g -dtypes -I ocamlextra -I ocollection -c ocamlextra/enum.ml /usr/bin/ocamlc.opt -g -dtypes -I ocamlextra -I ocollection -c ocamlextra/dynArray.mli /usr/bin/ocamlc.opt -g -dtypes -I ocamlextra -I ocollection -c ocamlextra/suffix_tree.ml /usr/bin/ocamlc.opt -g -dtypes -I ocamlextra -I ocollection -c ocamlextra/suffix_tree_ext.ml /usr/bin/ocamlc.opt -g -dtypes -I ocamlextra -I ocollection -c oassoc.mli /usr/bin/ocamlc.opt -g -dtypes -I ocamlextra -I ocollection -c ocamlextra/dynArray.ml /usr/bin/ocamlc.opt -g -dtypes -I ocamlextra -I ocollection -c osequence.mli /usr/bin/ocamlc.opt -g -dtypes -I ocamlextra -I ocollection -c ocollection/oassoc_buffer.mli /usr/bin/ocamlc.opt -g -dtypes -I ocamlextra -I ocollection -c ocollection/oassoc_cache.mli /usr/bin/ocamlc.opt -g -dtypes -I ocamlextra -I ocollection -c ocollection/oassocid.ml /usr/bin/ocamlc.opt -g -dtypes -I ocamlextra -I ocollection -c oarray.mli /usr/bin/ocamlc.opt -g -dtypes -I ocamlextra -I ocollection -c glimpse.ml /usr/bin/ocamlc.opt -g -dtypes -I ocamlextra -I ocollection -c parser_combinators.ml /usr/bin/ocamlc.opt -g -dtypes -I ocamlextra -I ocollection -c common.ml /usr/bin/ocamlc.opt -g -dtypes -I ocamlextra -I ocollection -c common_extra.ml /usr/bin/ocamlc.opt -g -dtypes -I ocamlextra -I ocollection -c interfaces.ml /usr/bin/ocamlc.opt -g -dtypes -I ocamlextra -I ocollection -c objet.ml /usr/bin/ocamlc.opt -g -dtypes -I ocamlextra -I ocollection -c ocollection.ml /usr/bin/ocamlc.opt -g -dtypes -I ocamlextra -I ocollection -c seti.ml /usr/bin/ocamlc.opt -g -dtypes -I ocamlextra -I ocollection -c oassoc.ml /usr/bin/ocamlc.opt -g -dtypes -I ocamlextra -I ocollection -c osequence.ml /usr/bin/ocamlc.opt -g -dtypes -I ocamlextra -I ocollection -c ocollection/oassocb.ml /usr/bin/ocamlc.opt -g -dtypes -I ocamlextra -I ocollection -c ocollection/oassoch.ml /usr/bin/ocamlc.opt -g -dtypes -I ocamlextra -I ocollection -c oarray.ml /usr/bin/ocamlc.opt -g -dtypes -I ocamlextra -I ocollection -c oset.mli /usr/bin/ocamlc.opt -g -dtypes -I ocamlextra -I ocollection -c oset.ml /usr/bin/ocamlc.opt -g -dtypes -I ocamlextra -I ocollection -c ograph.mli /usr/bin/ocamlc.opt -g -dtypes -I ocamlextra -I ocollection -c ocollection/oseti.ml /usr/bin/ocamlc.opt -g -dtypes -I ocamlextra -I ocollection -c ocollection/oseth.ml /usr/bin/ocamlc.opt -g -dtypes -I ocamlextra -I ocollection -c ocollection/osetb.ml /usr/bin/ocamlc.opt -g -dtypes -I ocamlextra -I ocollection -c ocollection/osetpt.ml /usr/bin/ocamlc.opt -g -dtypes -I ocamlextra -I ocollection -c ograph_simple.mli /usr/bin/ocamlc.opt -g -dtypes -I ocamlextra -I ocollection -c ograph_extended.mli /usr/bin/ocamlc.opt -g -dtypes -I ocamlextra -I ocollection -c ograph.ml /usr/bin/ocamlc.opt -g -dtypes -I ocamlextra -I ocollection -c ocollection/oassoc_buffer.ml /usr/bin/ocamlc.opt -g -dtypes -I ocamlextra -I ocollection -c ocollection/oassoc_cache.ml /usr/bin/ocamlc.opt -g -dtypes -I ocamlextra -I ocollection -c ocollection/ograph2way.mli /usr/bin/ocamlc.opt -g -dtypes -I ocamlextra -I ocollection -c ograph_simple.ml /usr/bin/ocamlc.opt -g -dtypes -I ocamlextra -I ocollection -c ograph_extended.ml /usr/bin/ocamlc.opt -g -dtypes -I ocamlextra -I ocollection -c ocollection/ograph2way.ml /usr/bin/ocamlc.opt -g -dtypes -I ocamlextra -I ocollection -a -o commons.cma ocamlextra/dumper.cmo ocamlextra/ANSITerminal.cmo ocamlextra/setb.cmo ocamlextra/mapb.cmo ocamlextra/setPt.cmo commands.cmo common.cmo common_extra.cmo interfaces.cmo objet.cmo ocollection.cmo seti.cmo oset.cmo oassoc.cmo osequence.cmo ograph.cmo ocollection/oseti.cmo ocollection/oseth.cmo ocollection/osetb.cmo ocollection/osetpt.cmo ocollection/oassocb.cmo ocollection/oassoch.cmo ocollection/oassoc_buffer.cmo ocollection/oassoc_cache.cmo ocollection/oassocid.cmo oarray.cmo ocollection/ograph2way.cmo ograph_simple.cmo ograph_extended.cmo glimpse.cmo parser_combinators.cmo ocamlextra/enum.cmo ocamlextra/dynArray.cmo ocamlextra/suffix_tree.cmo ocamlextra/suffix_tree_ext.cmo make[6]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc17.deb/commons' make[5]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc17.deb' make[5]: Entering directory `/build/buildd/coccinelle-1.0.0~rc17.deb' make[6]: Entering directory `/build/buildd/coccinelle-1.0.0~rc17.deb/globals' /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I /usr/lib/ocaml/pcre -c config.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I /usr/lib/ocaml/pcre -c flag.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I /usr/lib/ocaml/pcre -c iteration.mli /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I /usr/lib/ocaml/pcre -c regexp_pcre.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I /usr/lib/ocaml/pcre -c iteration.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I /usr/lib/ocaml/pcre -c regexp.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I /usr/lib/ocaml/pcre -a -o globals.cma config.cmo flag.cmo iteration.cmo regexp_pcre.cmo regexp.cmo make[6]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc17.deb/globals' make[5]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc17.deb' make[5]: Entering directory `/build/buildd/coccinelle-1.0.0~rc17.deb' make[6]: Entering directory `/build/buildd/coccinelle-1.0.0~rc17.deb/ctl' /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -c flag_ctl.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -c ast_ctl.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -c pretty_print_ctl.mli /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -c ctl_engine.mli /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -c pretty_print_ctl.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -c ctl_engine.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -c wrapper_ctl.mli /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -c wrapper_ctl.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -a -o ctl.cma flag_ctl.cmo ast_ctl.cmo pretty_print_ctl.cmo ctl_engine.cmo wrapper_ctl.cmo make[6]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc17.deb/ctl' make[5]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc17.deb' make[5]: Entering directory `/build/buildd/coccinelle-1.0.0~rc17.deb' make[6]: Entering directory `/build/buildd/coccinelle-1.0.0~rc17.deb/parsing_cocci' /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c flag_parsing_cocci.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c type_cocci.mli /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c semantic_cocci.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c lexer_cli.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c command_line.mli /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c type_cocci.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c ast_cocci.mli /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c command_line.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c ast_cocci.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c ast0_cocci.mli /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c pretty_print_cocci.mli /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c visitor_ast.mli /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c unify_ast.mli /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c free_vars.mli /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c safe_for_multi_decls.mli /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c disjdistr.mli /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c get_constants2.mli /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c pretty_print_cocci.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c unify_ast.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c free_vars.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c safe_for_multi_decls.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c disjdistr.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c get_constants2.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c id_utils.mli /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c adjacency.mli /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c commas_on_lists.mli /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c parse_cocci.mli /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c ast0_cocci.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c unparse_ast0.mli /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c visitor_ast0_types.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c visitor_ast.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c compute_lines.mli /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c comm_assoc.mli /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c iso_pattern.mli /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c single_statement.mli /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c simple_assignments.mli /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c get_metas.mli /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c ast0toast.mli /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c check_meta.mli /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c top_level.mli /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c type_infer.mli /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c test_exps.mli /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c unitary_ast0.mli /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c arity.mli /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c index.mli /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c context_neg.mli /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c adjust_pragmas.mli /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c insert_plus.mli /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c function_prototypes.mli /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c data.mli /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c id_utils.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c unparse_ast0.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c visitor_ast0.mli /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c compute_lines.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c iso_compile.mli /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c single_statement.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c simple_assignments.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c get_metas.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c ast0toast.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c check_meta.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c top_level.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c type_infer.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c test_exps.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c unitary_ast0.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c arity.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c index.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c context_neg.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c adjust_pragmas.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c insert_plus.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c function_prototypes.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c data.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c parse_aux.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c adjacency.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c commas_on_lists.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c visitor_ast0.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c comm_assoc.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c iso_pattern.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c iso_compile.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c parser_cocci_menhir.mli /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c lexer_cocci.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c parser_cocci_menhir.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c lexer_script.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -c parse_cocci.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I /usr/lib/ocaml/menhirLib -I /usr/lib/ocaml/menhirLib -a -o cocci_parser.cma menhirLib.cmo flag_parsing_cocci.cmo type_cocci.cmo ast_cocci.cmo ast0_cocci.cmo pretty_print_cocci.cmo unparse_ast0.cmo visitor_ast0_types.cmo visitor_ast.cmo visitor_ast0.cmo compute_lines.cmo comm_assoc.cmo iso_pattern.cmo iso_compile.cmo single_statement.cmo simple_assignments.cmo get_metas.cmo ast0toast.cmo check_meta.cmo top_level.cmo type_infer.cmo test_exps.cmo unitary_ast0.cmo arity.cmo index.cmo context_neg.cmo adjust_pragmas.cmo insert_plus.cmo function_prototypes.cmo unify_ast.cmo semantic_cocci.cmo data.cmo free_vars.cmo safe_for_multi_decls.cmo parse_aux.cmo disjdistr.cmo lexer_cocci.cmo parser_cocci_menhir.cmo lexer_cli.cmo lexer_script.cmo get_constants2.cmo id_utils.cmo adjacency.cmo commas_on_lists.cmo parse_cocci.cmo command_line.cmo make[6]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc17.deb/parsing_cocci' make[5]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc17.deb' make[5]: Entering directory `/build/buildd/coccinelle-1.0.0~rc17.deb' make[6]: Entering directory `/build/buildd/coccinelle-1.0.0~rc17.deb/parsing_c' /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c token_annot.mli /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c flag_parsing_c.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c parsing_stat.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c token_c.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c semantic_c.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c lexer_parser.mli /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c compare_c.mli /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c test_parsing_c.mli /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c token_annot.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c ast_c.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c lexer_parser.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c control_flow_c.mli /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c parser_c.mli /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c unparse_cocci.mli /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c unparse_hrule.mli /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c parsing_consistency_c.mli /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c type_c.mli /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c type_annoter_c.mli /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c type_c.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c parser_c.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c lexer_c.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c token_helpers.mli /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c token_views_c.mli /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c parsing_recovery_c.mli /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c comment_annotater_c.mli /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c control_flow_c.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c visitor_c.mli /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c control_flow_c_build.mli /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c pretty_print_c.mli /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c cpp_token_c.mli /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c parsing_recovery_c.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c comment_annotater_c.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c visitor_c.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c lib_parsing_c.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c token_helpers.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c token_views_c.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c cpp_token_c.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c parsing_hacks.mli /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c cpp_analysis_c.mli /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c unparse_cocci.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c parse_c.mli /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c unparse_hrule.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c parsing_consistency_c.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c cpp_ast_c.mli /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c type_annoter_c.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c compare_c.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c control_flow_c_build.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c pretty_print_c.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c parsing_hacks.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c cpp_analysis_c.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c unparse_c.mli /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c parse_c.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c cpp_ast_c.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c test_parsing_c.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -c unparse_c.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../commons/ocollection -I ../globals -I ../parsing_cocci -a -o parsing_c.cma token_annot.cmo flag_parsing_c.cmo parsing_stat.cmo token_c.cmo ast_c.cmo control_flow_c.cmo visitor_c.cmo lib_parsing_c.cmo control_flow_c_build.cmo pretty_print_c.cmo semantic_c.cmo lexer_parser.cmo parser_c.cmo lexer_c.cmo token_helpers.cmo token_views_c.cmo cpp_token_c.cmo parsing_hacks.cmo cpp_analysis_c.cmo unparse_cocci.cmo unparse_c.cmo unparse_hrule.cmo parsing_recovery_c.cmo parsing_consistency_c.cmo parse_c.cmo type_c.cmo cpp_ast_c.cmo type_annoter_c.cmo comment_annotater_c.cmo compare_c.cmo test_parsing_c.cmo make[6]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc17.deb/parsing_c' make[5]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc17.deb' make[5]: Entering directory `/build/buildd/coccinelle-1.0.0~rc17.deb' make[6]: Entering directory `/build/buildd/coccinelle-1.0.0~rc17.deb/engine' /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c externalanalysis.mli /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c flag_matcher.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c lib_engine.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c check_exhaustive_pattern.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c check_reachability.mli /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c c_vs_c.mli /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c isomorphisms_c_c.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c cocci_vs_c.mli /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c check_reachability.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c c_vs_c.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c externalanalysis.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c pretty_print_engine.mli /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c pattern_c.mli /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c transformation_c.mli /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c asttomember.mli /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c asttoctl2.mli /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c ctltotex.mli /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c postprocess_transinfo.mli /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c ctlcocci_integration.mli /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c pretty_print_engine.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c cocci_vs_c.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c pattern_c.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c transformation_c.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c asttomember.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c asttoctl2.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c ctltotex.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c postprocess_transinfo.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -c ctlcocci_integration.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -a -o cocciengine.cma externalanalysis.cmo flag_matcher.cmo lib_engine.cmo pretty_print_engine.cmo check_exhaustive_pattern.cmo check_reachability.cmo c_vs_c.cmo isomorphisms_c_c.cmo cocci_vs_c.cmo pattern_c.cmo transformation_c.cmo asttomember.cmo asttoctl2.cmo ctltotex.cmo postprocess_transinfo.cmo ctlcocci_integration.cmo make[6]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc17.deb/engine' make[5]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc17.deb' make[5]: Entering directory `/build/buildd/coccinelle-1.0.0~rc17.deb' make[6]: Entering directory `/build/buildd/coccinelle-1.0.0~rc17.deb/popl09' /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../engine -c ast_popl.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../engine -c flag_popl.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../engine -c popl.mli /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../engine -c asttopopl.mli /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../engine -c insert_quantifiers.mli /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../engine -c pretty_print_popl.mli /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../engine -c popltoctl.mli /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../engine -c pretty_print_popl.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../engine -c insert_quantifiers.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../engine -c asttopopl.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../engine -c popltoctl.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../engine -c popl.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../globals -I ../ctl -I ../parsing_cocci -I ../parsing_c -I ../engine -a -o popl.cma ast_popl.cmo asttopopl.cmo insert_quantifiers.cmo pretty_print_popl.cmo flag_popl.cmo popltoctl.cmo popl.cmo make[6]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc17.deb/popl09' make[5]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc17.deb' make[5]: Entering directory `/build/buildd/coccinelle-1.0.0~rc17.deb' make[6]: Entering directory `/build/buildd/coccinelle-1.0.0~rc17.deb/extra' /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../globals -I ../parsing_cocci -I ../parsing_c -c classic_patch.mli /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../globals -I ../parsing_cocci -I ../parsing_c -c kbuild.mli /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../globals -I ../parsing_cocci -I ../parsing_c -c maintainers.mli /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../globals -I ../parsing_cocci -I ../parsing_c -c kbuild.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../globals -I ../parsing_cocci -I ../parsing_c -c classic_patch.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../globals -I ../parsing_cocci -I ../parsing_c -c maintainers.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../globals -I ../parsing_cocci -I ../parsing_c -a -o extra.cma classic_patch.cmo kbuild.cmo maintainers.cmo make[6]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc17.deb/extra' make[5]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc17.deb' make[5]: Entering directory `/build/buildd/coccinelle-1.0.0~rc17.deb' make[6]: Entering directory `/build/buildd/coccinelle-1.0.0~rc17.deb/python' /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_c -I ../parsing_cocci -I /usr/lib/ocaml/pycaml -c pycocci_aux.mli /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_c -I ../parsing_cocci -I /usr/lib/ocaml/pycaml -c pycocci.mli /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_c -I ../parsing_cocci -I /usr/lib/ocaml/pycaml -c pycocci_aux.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_c -I ../parsing_cocci -I /usr/lib/ocaml/pycaml -c yes_pycocci.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_c -I ../parsing_cocci -I /usr/lib/ocaml/pycaml -c pycocci.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_c -I ../parsing_cocci -I /usr/lib/ocaml/pycaml -a -o coccipython.cma pycocci_aux.cmo yes_pycocci.cmo pycocci.cmo make[6]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc17.deb/python' make[5]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc17.deb' make[5]: Entering directory `/build/buildd/coccinelle-1.0.0~rc17.deb' make[6]: Entering directory `/build/buildd/coccinelle-1.0.0~rc17.deb/ocaml' /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -I ../parsing_c -I ../engine -c exposed_modules.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -I ../parsing_c -I ../engine -c ocamlcocci_aux.mli /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -I ../parsing_c -I ../engine -c no_prepare_ocamlcocci.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -I ../parsing_c -I ../engine -c prepare_ocamlcocci.mli /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -I ../parsing_c -I ../engine -c run_ocamlcocci.mli /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -I ../parsing_c -I ../engine -c ocamlcocci_aux.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -I ../parsing_c -I ../engine -c prepare_ocamlcocci.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -I ../parsing_c -I ../engine -c coccilib.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -I ../parsing_c -I ../engine -c run_ocamlcocci.ml /usr/bin/ocamlc.opt -g -dtypes -I ../commons -I ../commons/ocamlextra -I ../globals -I ../parsing_cocci -I ../parsing_c -I ../engine -a -o cocciocaml.cma exposed_modules.cmo coccilib.cmo ocamlcocci_aux.cmo no_prepare_ocamlcocci.cmo prepare_ocamlcocci.cmo run_ocamlcocci.cmo make[6]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc17.deb/ocaml' make[5]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc17.deb' make[4]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc17.deb' make[4]: Entering directory `/build/buildd/coccinelle-1.0.0~rc17.deb' make[5]: Entering directory `/build/buildd/coccinelle-1.0.0~rc17.deb/ctl' make[5]: Nothing to be done for `all'. make[5]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc17.deb/ctl' make[5]: Entering directory `/build/buildd/coccinelle-1.0.0~rc17.deb/globals' make[5]: Entering directory `/build/buildd/coccinelle-1.0.0~rc17.deb/commons' make[5]: Nothing to be done for `all'. make[5]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc17.deb/commons' make[5]: Nothing to be done for `all'. make[5]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc17.deb/globals' make[5]: Entering directory `/build/buildd/coccinelle-1.0.0~rc17.deb/parsing_cocci' make[5]: Nothing to be done for `all'. make[5]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc17.deb/parsing_cocci' make[5]: Entering directory `/build/buildd/coccinelle-1.0.0~rc17.deb/extra' make[5]: Nothing to be done for `all'. make[5]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc17.deb/extra' make[5]: Entering directory `/build/buildd/coccinelle-1.0.0~rc17.deb/popl09' make[5]: Nothing to be done for `all'. make[5]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc17.deb/popl09' make[5]: Entering directory `/build/buildd/coccinelle-1.0.0~rc17.deb/engine' make[5]: Nothing to be done for `all'. make[5]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc17.deb/engine' make[5]: Entering directory `/build/buildd/coccinelle-1.0.0~rc17.deb/python' make[5]: Entering directory `/build/buildd/coccinelle-1.0.0~rc17.deb/parsing_c' make[5]: Nothing to be done for `all'. make[5]: Nothing to be done for `all'. make[5]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc17.deb/python' make[5]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc17.deb/parsing_c' make[5]: Entering directory `/build/buildd/coccinelle-1.0.0~rc17.deb/ocaml' make[5]: Nothing to be done for `all'. make[5]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc17.deb/ocaml' /usr/bin/ocamlc.opt -g -dtypes -I /usr/lib/ocaml/menhirLib -I /usr/lib/ocaml/pcre -I /usr/lib/ocaml/pycaml -I commons -I commons/ocamlextra -I ctl -I engine -I extra -I globals -I ocaml -I parsing_c -I parsing_cocci -I popl09 -I python -c cocci.mli /usr/bin/ocamlc.opt -g -dtypes -I /usr/lib/ocaml/menhirLib -I /usr/lib/ocaml/pcre -I /usr/lib/ocaml/pycaml -I commons -I commons/ocamlextra -I ctl -I engine -I extra -I globals -I ocaml -I parsing_c -I parsing_cocci -I popl09 -I python -c testing.mli /usr/bin/ocamlc.opt -g -dtypes -I /usr/lib/ocaml/menhirLib -I /usr/lib/ocaml/pcre -I /usr/lib/ocaml/pycaml -I commons -I commons/ocamlextra -I ctl -I engine -I extra -I globals -I ocaml -I parsing_c -I parsing_cocci -I popl09 -I python -c flag_cocci.ml /usr/bin/ocamlc.opt -g -dtypes -I /usr/lib/ocaml/menhirLib -I /usr/lib/ocaml/pcre -I /usr/lib/ocaml/pycaml -I commons -I commons/ocamlextra -I ctl -I engine -I extra -I globals -I ocaml -I parsing_c -I parsing_cocci -I popl09 -I python -c test.ml /usr/bin/ocamlc.opt -g -dtypes -I /usr/lib/ocaml/menhirLib -I /usr/lib/ocaml/pcre -I /usr/lib/ocaml/pycaml -I commons -I commons/ocamlextra -I ctl -I engine -I extra -I globals -I ocaml -I parsing_c -I parsing_cocci -I popl09 -I python -c cocci.ml /usr/bin/ocamlc.opt -g -dtypes -I /usr/lib/ocaml/menhirLib -I /usr/lib/ocaml/pcre -I /usr/lib/ocaml/pycaml -I commons -I commons/ocamlextra -I ctl -I engine -I extra -I globals -I ocaml -I parsing_c -I parsing_cocci -I popl09 -I python -c testing.ml /usr/bin/ocamlc.opt -g -dtypes -I /usr/lib/ocaml/menhirLib -I /usr/lib/ocaml/pcre -I /usr/lib/ocaml/pycaml -I commons -I commons/ocamlextra -I ctl -I engine -I extra -I globals -I ocaml -I parsing_c -I parsing_cocci -I popl09 -I python -c main.ml /usr/bin/ocamlc.opt -g -dtypes -I /usr/lib/ocaml/menhirLib -I /usr/lib/ocaml/pcre -I /usr/lib/ocaml/pycaml -I commons -I commons/ocamlextra -I ctl -I engine -I extra -I globals -I ocaml -I parsing_c -I parsing_cocci -I popl09 -I python -custom -g -dtypes -dllib -lpycaml_stubs -cclib -lpycaml_stubs -cclib -lpython2.7 -ccopt -lpcre -dllib -lpcre_stubs -cclib -lpcre_stubs -o spatch str.cma unix.cma bigarray.cma nums.cma /usr/lib/ocaml/pycaml/pycaml.cma /usr/lib/ocaml/pcre/pcre.cma commons/commons.cma globals/globals.cma ctl/ctl.cma parsing_cocci/cocci_parser.cma parsing_c/parsing_c.cma engine/cocciengine.cma popl09/popl.cma extra/extra.cma python/coccipython.cma ocaml/cocciocaml.cma flag_cocci.cmo cocci.cmo testing.cmo test.cmo main.cmo make[4]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc17.deb' the compilation of spatch finished spatch can be installed or used make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc17.deb' make preinstall make[3]: Entering directory `/build/buildd/coccinelle-1.0.0~rc17.deb' cp scripts/spatch.sh scripts/spatch cp scripts/spatch.sh scripts/spatch.opt cp scripts/spatch.sh scripts/spatch.byte chmod +x scripts/spatch chmod +x scripts/spatch.opt chmod +x scripts/spatch.byte make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc17.deb' make docs make[3]: Entering directory `/build/buildd/coccinelle-1.0.0~rc17.deb' make[4]: Entering directory `/build/buildd/coccinelle-1.0.0~rc17.deb/docs' make -C manual all make[5]: Entering directory `/build/buildd/coccinelle-1.0.0~rc17.deb/docs/manual' make[5]: Nothing to be done for `all'. make[5]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc17.deb/docs/manual' make[4]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc17.deb/docs' finished building manuals make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc17.deb' -e coccinelle can now be installed via 'make install' make[2]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc17.deb' make[1]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc17.deb' debian/rules override_dh_auto_test make[1]: Entering directory `/build/buildd/coccinelle-1.0.0~rc17.deb' # Nothing make[1]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc17.deb' /usr/bin/fakeroot debian/rules binary-arch dh binary-arch --with ocaml,python2 --parallel dh_testroot -a -O--parallel dh_prep -a -O--parallel dh_installdirs -a -O--parallel debian/rules override_dh_auto_install-arch make[1]: Entering directory `/build/buildd/coccinelle-1.0.0~rc17.deb' /usr/bin/make DESTDIR=/build/buildd/coccinelle-1.0.0~rc17.deb/debian/coccinelle BYTECODE_STATIC="" MANDIR=/usr/share/man install install-bash make[2]: Entering directory `/build/buildd/coccinelle-1.0.0~rc17.deb' Installing manuals in: /build/buildd/coccinelle-1.0.0~rc17.deb/debian/coccinelle/usr/share/man /bin/mkdir -p /build/buildd/coccinelle-1.0.0~rc17.deb/debian/coccinelle/usr/share/man/man1 /bin/mkdir -p /build/buildd/coccinelle-1.0.0~rc17.deb/debian/coccinelle/usr/share/man/man3 /usr/bin/install -c -m 644 docs/spatch.1 /build/buildd/coccinelle-1.0.0~rc17.deb/debian/coccinelle/usr/share/man/man1/ /usr/bin/install -c -m 644 docs/Coccilib.3cocci /build/buildd/coccinelle-1.0.0~rc17.deb/debian/coccinelle/usr/share/man/man3/ cp ocaml/coccilib.cmi ocaml/coccilib/coccilib.cmi /bin/mkdir -p /build/buildd/coccinelle-1.0.0~rc17.deb/debian/coccinelle/usr/bin /bin/mkdir -p /build/buildd/coccinelle-1.0.0~rc17.deb/debian/coccinelle/usr/lib /bin/mkdir -p /build/buildd/coccinelle-1.0.0~rc17.deb/debian/coccinelle/usr/share/coccinelle/ocaml /usr/bin/install -c -m 644 standard.h /build/buildd/coccinelle-1.0.0~rc17.deb/debian/coccinelle/usr/share/coccinelle /usr/bin/install -c -m 644 standard.iso /build/buildd/coccinelle-1.0.0~rc17.deb/debian/coccinelle/usr/share/coccinelle /usr/bin/install -c -m 644 ocaml/coccilib/coccilib.cmi /build/buildd/coccinelle-1.0.0~rc17.deb/debian/coccinelle/usr/share/coccinelle/ocaml/ /bin/mkdir -p /build/buildd/coccinelle-1.0.0~rc17.deb/debian/coccinelle/usr/share/coccinelle Installing python support in: /build/buildd/coccinelle-1.0.0~rc17.deb/debian/coccinelle/usr/share/coccinelle/python /bin/mkdir -p /build/buildd/coccinelle-1.0.0~rc17.deb/debian/coccinelle/usr/share/coccinelle/python/coccilib/coccigui /usr/bin/install -c -m 644 python/coccilib/*.py \ /build/buildd/coccinelle-1.0.0~rc17.deb/debian/coccinelle/usr/share/coccinelle/python/coccilib /usr/bin/install -c -m 644 python/coccilib/coccigui/*.py \ /build/buildd/coccinelle-1.0.0~rc17.deb/debian/coccinelle/usr/share/coccinelle/python/coccilib/coccigui /usr/bin/install -c -m 644 python/coccilib/coccigui/pygui.glade \ /build/buildd/coccinelle-1.0.0~rc17.deb/debian/coccinelle/usr/share/coccinelle/python/coccilib/coccigui /usr/bin/install -c -m 644 python/coccilib/coccigui/pygui.gladep \ /build/buildd/coccinelle-1.0.0~rc17.deb/debian/coccinelle/usr/share/coccinelle/python/coccilib/coccigui rm -f /build/buildd/coccinelle-1.0.0~rc17.deb/debian/coccinelle/usr/share/coccinelle/spatch rm -f /build/buildd/coccinelle-1.0.0~rc17.deb/debian/coccinelle/usr/share/coccinelle/spatch.opt make[3]: Entering directory `/build/buildd/coccinelle-1.0.0~rc17.deb' /usr/bin/install -c -m 755 scripts/spatch /build/buildd/coccinelle-1.0.0~rc17.deb/debian/coccinelle/usr/bin/spatch make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc17.deb' make[3]: Entering directory `/build/buildd/coccinelle-1.0.0~rc17.deb' /usr/bin/install -c -m 755 spatch /build/buildd/coccinelle-1.0.0~rc17.deb/debian/coccinelle/usr/share/coccinelle /usr/bin/install -c -m 755 scripts/spatch.byte /build/buildd/coccinelle-1.0.0~rc17.deb/debian/coccinelle/usr/bin/spatch.byte make[3]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc17.deb' -e You can also install spatch by copying the program spatch -e (available in this directory) anywhere you want and -e give it the right options to find its configuration files. Installing bash completion in: /build/buildd/coccinelle-1.0.0~rc17.deb/debian/coccinelle/etc/bash_completion.d /bin/mkdir -p /build/buildd/coccinelle-1.0.0~rc17.deb/debian/coccinelle/etc/bash_completion.d /usr/bin/install -c -m 644 scripts/spatch.bash_completion \ /build/buildd/coccinelle-1.0.0~rc17.deb/debian/coccinelle/etc/bash_completion.d/spatch make[2]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc17.deb' # install the wrapper script, i dont like upstreams one rm /build/buildd/coccinelle-1.0.0~rc17.deb/debian/coccinelle/usr/bin/spatch* install /build/buildd/coccinelle-1.0.0~rc17.deb/debian/spatch /build/buildd/coccinelle-1.0.0~rc17.deb/debian/coccinelle/usr/bin/ # move binary into /usr/lib/coccinelle mv /build/buildd/coccinelle-1.0.0~rc17.deb/debian/coccinelle/usr/share/coccinelle/spatch* \ /build/buildd/coccinelle-1.0.0~rc17.deb/debian/coccinelle/usr/lib/coccinelle/spatch # Vim files install -d /build/buildd/coccinelle-1.0.0~rc17.deb/debian/coccinelle/usr/share/vim/addons/ftdetect /build/buildd/coccinelle-1.0.0~rc17.deb/debian/coccinelle/usr/share/vim/addons/syntax cp /build/buildd/coccinelle-1.0.0~rc17.deb/editors/vim/ftdetect/cocci.vim /build/buildd/coccinelle-1.0.0~rc17.deb/debian/coccinelle/usr/share/vim/addons/ftdetect/ cp /build/buildd/coccinelle-1.0.0~rc17.deb/editors/vim/syntax/cocci.vim /build/buildd/coccinelle-1.0.0~rc17.deb/debian/coccinelle/usr/share/vim/addons/syntax/ install -d /build/buildd/coccinelle-1.0.0~rc17.deb/debian/coccinelle/usr/share/vim/registry cp /build/buildd/coccinelle-1.0.0~rc17.deb/debian/coccinelle.yaml /build/buildd/coccinelle-1.0.0~rc17.deb/debian/coccinelle/usr/share/vim/registry/ # Emacs files cp /build/buildd/coccinelle-1.0.0~rc17.deb/editors/emacs/cocci.el /build/buildd/coccinelle-1.0.0~rc17.deb/debian/coccinelle/usr/share/emacs/site-lisp/ make[1]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc17.deb' dh_install -a -O--parallel dh_ocamldoc -a -O--parallel dh_installdocs -a -O--parallel dh_installchangelogs -a -O--parallel dh_installexamples -a -O--parallel dh_installman -a -O--parallel dh_installcatalogs -a -O--parallel dh_installcron -a -O--parallel dh_installdebconf -a -O--parallel dh_installemacsen -a -O--parallel dh_installifupdown -a -O--parallel dh_installinfo -a -O--parallel dh_python2 -a -O--parallel dh_installinit -a -O--parallel dh_installmenu -a -O--parallel dh_installmime -a -O--parallel dh_installmodules -a -O--parallel dh_installlogcheck -a -O--parallel dh_installlogrotate -a -O--parallel dh_installpam -a -O--parallel dh_installppp -a -O--parallel dh_installudev -a -O--parallel dh_installwm -a -O--parallel dh_installxfonts -a -O--parallel dh_installgsettings -a -O--parallel dh_bugfiles -a -O--parallel dh_ucf -a -O--parallel dh_lintian -a -O--parallel dh_gconf -a -O--parallel dh_icons -a -O--parallel dh_perl -a -O--parallel dh_usrlocal -a -O--parallel dh_link -a -O--parallel debian/rules override_dh_compress make[1]: Entering directory `/build/buildd/coccinelle-1.0.0~rc17.deb' dh_compress -X.pdf -X.cocci -X.c make[1]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc17.deb' dh_fixperms -a -O--parallel dh_strip -a -O--parallel dh_strip debug symbol extraction: all non-arch-all packages for this build platform amd64: coccinelle dh_strip debug symbol extraction: packages to act on: coccinelle dh_strip debug symbol extraction: ignored packages: coccinelle is already stripped, ignoring dh_makeshlibs -a -O--parallel dh_shlibdeps -a -O--parallel dh_installdeb -a -O--parallel dh_ocaml -a -O--parallel W: coccinelle doesn't resolve dependency on unit Ast0_cocci W: coccinelle doesn't resolve dependency on unit Oset W: coccinelle doesn't resolve dependency on unit Externalanalysis W: coccinelle doesn't resolve dependency on unit Common W: coccinelle doesn't resolve dependency on unit Regexp_pcre W: coccinelle doesn't resolve dependency on unit Token_c W: coccinelle doesn't resolve dependency on unit Flag_parsing_c W: coccinelle doesn't resolve dependency on unit Lexer_c W: coccinelle doesn't resolve dependency on unit Config W: coccinelle doesn't resolve dependency on unit Seti W: coccinelle doesn't resolve dependency on unit Type_cocci W: coccinelle doesn't resolve dependency on unit Ograph_extended W: coccinelle doesn't resolve dependency on unit SetPt W: coccinelle doesn't resolve dependency on unit Commands W: coccinelle doesn't resolve dependency on unit Visitor_c W: coccinelle doesn't resolve dependency on unit Token_annot W: coccinelle doesn't resolve dependency on unit Exposed_modules W: coccinelle doesn't resolve dependency on unit Ocollection W: coccinelle doesn't resolve dependency on unit Lib_parsing_c W: coccinelle doesn't resolve dependency on unit Parser_c W: coccinelle doesn't resolve dependency on unit Regexp W: coccinelle doesn't resolve dependency on unit Setb W: coccinelle doesn't resolve dependency on unit Pretty_print_c W: coccinelle doesn't resolve dependency on unit Flag W: coccinelle doesn't resolve dependency on unit Objet W: coccinelle doesn't resolve dependency on unit Ast_c W: coccinelle doesn't resolve dependency on unit Iteration W: coccinelle doesn't resolve dependency on unit Ast_cocci W: coccinelle doesn't resolve dependency on unit Control_flow_c W: coccinelle doesn't resolve dependency on unit Oassoc dh_gencontrol -a -O--parallel dpkg-gencontrol: warning: File::FcntlLock not available; using flock which is not NFS-safe dh_md5sums -a -O--parallel debian/rules override_dh_builddeb make[1]: Entering directory `/build/buildd/coccinelle-1.0.0~rc17.deb' dh_builddeb -- -Zxz INFO: pkgstriptranslations version 117 pkgstriptranslations: processing coccinelle (in debian/coccinelle); do_strip: , oemstrip: pkgmaintainermangler: Maintainer field overridden to "Ubuntu Developers " pkgstripfiles: processing control file: debian/coccinelle/DEBIAN/control, package coccinelle, directory debian/coccinelle pkgstripfiles: Truncating usr/share/doc/coccinelle/changelog.Debian.gz to topmost ten records pkgstripfiles: PNG optimization for package coccinelle took 0 s dpkg-deb: warning: 'debian/coccinelle/DEBIAN/control' contains user-defined field 'Original-Maintainer' dpkg-deb: warning: ignoring 1 warning about the control file(s) dpkg-deb: building package `coccinelle' in `../coccinelle_1.0.0~rc17.deb-2build1_amd64.deb'. make[1]: Leaving directory `/build/buildd/coccinelle-1.0.0~rc17.deb' dpkg-genchanges -B -mUbuntu/amd64 Build Daemon >../coccinelle_1.0.0~rc17.deb-2build1_amd64.changes dpkg-genchanges: arch-specific upload - not including arch-independent packages dpkg-genchanges: binary-only upload - not including any source code dpkg-source --after-build coccinelle-1.0.0~rc17.deb dpkg-buildpackage: binary only upload (no source included) ****************************************************************************** Build finished at 20130509-1410 chroot-autobuild/build/buildd/coccinelle_1.0.0~rc17.deb-2build1_amd64.deb: new debian package, version 2.0. size 515944 bytes: control archive= 1960 bytes. 70 bytes, 2 lines conffiles 892 bytes, 16 lines control 2563 bytes, 33 lines md5sums 181 bytes, 9 lines * postinst #!/bin/sh 257 bytes, 14 lines * prerm #!/bin/sh Package: coccinelle Version: 1.0.0~rc17.deb-2build1 Architecture: amd64 Maintainer: Ubuntu Developers Original-Maintainer: Debian OCaml Maintainers Installed-Size: 3716 Depends: libc6 (>= 2.15), libpcre3 (>= 8.10), libpython2.7 (>= 2.7), libtinfo5, libpcre-ocaml-8zec4, ocaml-base-nox-3.12.1, python (>= 2.7.1-0ubuntu2), python-gobject, python-gtk2, python-glade2, ocaml-findlib, libpycaml-ocaml Suggests: vim-addon-manager, coccinelle-doc Section: devel Priority: optional Homepage: http://coccinelle.lip6.fr Description: semantic patching tool for C Cocinelle is a program matching and transformation tool for C. The programmer describes the code to match and the transformation to perform as a semantic patch, which looks like a standard patch, but can transform multiple files at any number of code sites. chroot-autobuild/build/buildd/coccinelle_1.0.0~rc17.deb-2build1_amd64.deb: drwxr-xr-x root/root 0 2013-05-09 14:10 ./ drwxr-xr-x root/root 0 2013-05-09 14:10 ./etc/ drwxr-xr-x root/root 0 2013-05-09 14:10 ./etc/emacs/ drwxr-xr-x root/root 0 2013-05-09 14:10 ./etc/emacs/site-start.d/ -rw-r--r-- root/root 256 2013-05-09 14:10 ./etc/emacs/site-start.d/50coccinelle.el drwxr-xr-x root/root 0 2013-05-09 14:10 ./etc/bash_completion.d/ -rw-r--r-- root/root 3226 2013-05-09 14:10 ./etc/bash_completion.d/spatch drwxr-xr-x root/root 0 2013-05-09 14:10 ./usr/ drwxr-xr-x root/root 0 2013-05-09 14:10 ./usr/share/ drwxr-xr-x root/root 0 2013-05-09 14:10 ./usr/share/coccinelle/ -rw-r--r-- root/root 21644 2013-05-09 14:10 ./usr/share/coccinelle/standard.h drwxr-xr-x root/root 0 2013-05-09 14:10 ./usr/share/coccinelle/ocaml/ -rw-r--r-- root/root 220175 2013-05-09 14:10 ./usr/share/coccinelle/ocaml/coccilib.cmi drwxr-xr-x root/root 0 2013-05-09 14:10 ./usr/share/coccinelle/python/ drwxr-xr-x root/root 0 2013-05-09 14:10 ./usr/share/coccinelle/python/coccilib/ -rw-r--r-- root/root 2949 2013-05-09 14:10 ./usr/share/coccinelle/python/coccilib/output.py drwxr-xr-x root/root 0 2013-05-09 14:10 ./usr/share/coccinelle/python/coccilib/coccigui/ -rw-r--r-- root/root 4613 2013-05-09 14:10 ./usr/share/coccinelle/python/coccilib/coccigui/coccigui.py -rw-r--r-- root/root 271 2013-05-09 14:10 ./usr/share/coccinelle/python/coccilib/coccigui/pygui.gladep -rw-r--r-- root/root 4364 2013-05-09 14:10 ./usr/share/coccinelle/python/coccilib/coccigui/vimembed.py -rw-r--r-- root/root 599 2013-05-09 14:10 ./usr/share/coccinelle/python/coccilib/coccigui/pycoccimodel.py -rw-r--r-- root/root 4953 2013-05-09 14:10 ./usr/share/coccinelle/python/coccilib/coccigui/pygui.glade -rw-r--r-- root/root 9799 2013-05-09 14:10 ./usr/share/coccinelle/python/coccilib/coccigui/vimeditor.py -rw-r--r-- root/root 27183 2013-05-09 14:10 ./usr/share/coccinelle/python/coccilib/coccigui/vimcom.py -rw-r--r-- root/root 24 2013-05-09 14:10 ./usr/share/coccinelle/python/coccilib/coccigui/__init__.py -rw-r--r-- root/root 9169 2013-05-09 14:10 ./usr/share/coccinelle/python/coccilib/coccigui/vim.py -rw-r--r-- root/root 842 2013-05-09 14:10 ./usr/share/coccinelle/python/coccilib/elems.py -rw-r--r-- root/root 24 2013-05-09 14:10 ./usr/share/coccinelle/python/coccilib/__init__.py -rw-r--r-- root/root 557 2013-05-09 14:10 ./usr/share/coccinelle/python/coccilib/trac.py -rw-r--r-- root/root 162 2013-05-09 14:10 ./usr/share/coccinelle/python/coccilib/report.py -rw-r--r-- root/root 1116 2013-05-09 14:10 ./usr/share/coccinelle/python/coccilib/org.py -rw-r--r-- root/root 15163 2013-05-09 14:10 ./usr/share/coccinelle/standard.iso drwxr-xr-x root/root 0 2013-05-09 14:10 ./usr/share/man/ drwxr-xr-x root/root 0 2013-05-09 14:10 ./usr/share/man/man1/ -rw-r--r-- root/root 4863 2013-05-09 14:10 ./usr/share/man/man1/spatch.1.gz drwxr-xr-x root/root 0 2013-05-09 14:10 ./usr/share/man/man3/ -rw-r--r-- root/root 1630 2013-05-09 14:10 ./usr/share/man/man3/Coccilib.3cocci.gz drwxr-xr-x root/root 0 2013-05-09 14:10 ./usr/share/doc/ drwxr-xr-x root/root 0 2013-05-09 14:10 ./usr/share/doc/coccinelle/ -rw-r--r-- root/root 1047 2013-04-06 13:38 ./usr/share/doc/coccinelle/authors.txt -rw-r--r-- root/root 1616 2013-04-06 13:38 ./usr/share/doc/coccinelle/readme.txt -rw-r--r-- root/root 5708 2013-05-05 13:28 ./usr/share/doc/coccinelle/copyright -rw-r--r-- root/root 502 2013-04-06 13:38 ./usr/share/doc/coccinelle/credits.txt -rw-r--r-- root/root 750 2013-05-09 14:10 ./usr/share/doc/coccinelle/changelog.Debian.gz -rw-r--r-- root/root 98 2013-05-05 13:28 ./usr/share/doc/coccinelle/TODO.Debian drwxr-xr-x root/root 0 2013-05-09 14:10 ./usr/share/vim/ drwxr-xr-x root/root 0 2013-05-09 14:10 ./usr/share/vim/addons/ drwxr-xr-x root/root 0 2013-05-09 14:10 ./usr/share/vim/addons/ftdetect/ -rw-r--r-- root/root 367 2013-05-09 14:10 ./usr/share/vim/addons/ftdetect/cocci.vim drwxr-xr-x root/root 0 2013-05-09 14:10 ./usr/share/vim/addons/syntax/ -rw-r--r-- root/root 1248 2013-05-09 14:10 ./usr/share/vim/addons/syntax/cocci.vim drwxr-xr-x root/root 0 2013-05-09 14:10 ./usr/share/vim/registry/ -rw-r--r-- root/root 144 2013-05-09 14:10 ./usr/share/vim/registry/coccinelle.yaml drwxr-xr-x root/root 0 2013-05-09 14:10 ./usr/share/emacs/ drwxr-xr-x root/root 0 2013-05-09 14:10 ./usr/share/emacs/site-lisp/ -rw-r--r-- root/root 11218 2013-05-09 14:10 ./usr/share/emacs/site-lisp/cocci.el drwxr-xr-x root/root 0 2013-05-09 14:10 ./usr/share/python/ drwxr-xr-x root/root 0 2013-05-09 14:10 ./usr/share/python/runtime.d/ -rwxr-xr-x root/root 142 2013-05-09 14:10 ./usr/share/python/runtime.d/coccinelle.rtupdate drwxr-xr-x root/root 0 2013-05-09 14:10 ./usr/lib/ drwxr-xr-x root/root 0 2013-05-09 14:10 ./usr/lib/coccinelle/ -rwxr-xr-x root/root 3321520 2013-05-09 14:10 ./usr/lib/coccinelle/spatch drwxr-xr-x root/root 0 2013-05-09 14:10 ./usr/bin/ -rwxr-xr-x root/root 119 2013-05-09 14:10 ./usr/bin/spatch coccinelle_1.0.0~rc17.deb-2build1_amd64.changes: Format: 1.8 Date: Thu, 09 May 2013 15:03:14 +0100 Source: coccinelle Binary: coccinelle coccinelle-doc Architecture: amd64 Version: 1.0.0~rc17.deb-2build1 Distribution: saucy-proposed Urgency: low Maintainer: Ubuntu/amd64 Build Daemon Changed-By: Colin Watson Description: coccinelle - semantic patching tool for C coccinelle-doc - documentation for coccinelle Changes: coccinelle (1.0.0~rc17.deb-2build1) saucy; urgency=low . * Rebuild for new OCaml ABIs. Checksums-Sha1: 845712ec3b6f242f63903a120859ac6348c91934 515944 coccinelle_1.0.0~rc17.deb-2build1_amd64.deb Checksums-Sha256: 7daf8d6580ab255b0462ad06367dc7befcf8a8fefc30c6118e80f7ea36c896a6 515944 coccinelle_1.0.0~rc17.deb-2build1_amd64.deb Files: e326b8088a67173fd63ec1ee5a0cfea3 515944 devel optional coccinelle_1.0.0~rc17.deb-2build1_amd64.deb ****************************************************************************** Built successfully ****************************************************************************** Finished at 20130509-1410 Build needed 00:00:37, 112124k disk space RUN: /usr/share/launchpad-buildd/slavebin/scan-for-processes ['/usr/share/launchpad-buildd/slavebin/scan-for-processes', 'c1dc92b7cd7ffc3c2a7323a1c743da9e86bf256a'] Scanning for processes to kill in build /home/buildd/build-c1dc92b7cd7ffc3c2a7323a1c743da9e86bf256a/chroot-autobuild... RUN: /usr/share/launchpad-buildd/slavebin/umount-chroot ['umount-chroot', 'c1dc92b7cd7ffc3c2a7323a1c743da9e86bf256a'] Unmounting chroot for build c1dc92b7cd7ffc3c2a7323a1c743da9e86bf256a... RUN: /usr/share/launchpad-buildd/slavebin/remove-build ['remove-build', 'c1dc92b7cd7ffc3c2a7323a1c743da9e86bf256a'] Removing build c1dc92b7cd7ffc3c2a7323a1c743da9e86bf256a