Diff of the two buildlogs: -- --- b1/build.log 2021-08-09 16:40:11.704065703 +0000 +++ b2/build.log 2021-08-09 16:46:58.673037256 +0000 @@ -1,6 +1,6 @@ I: pbuilder: network access will be disabled during build -I: Current time: Mon Aug 9 04:17:48 -12 2021 -I: pbuilder-time-stamp: 1628525868 +I: Current time: Mon Sep 12 13:03:14 +14 2022 +I: pbuilder-time-stamp: 1662937394 I: Building the build Environment I: extracting base tarball [/var/cache/pbuilder/buster-reproducible-base.tgz] I: copying local configuration @@ -17,7 +17,7 @@ I: Extracting source gpgv: unknown type of key resource 'trustedkeys.kbx' gpgv: keyblock resource '/root/.gnupg/trustedkeys.kbx': General error -gpgv: Signature made Sun Nov 11 23:50:12 2018 -12 +gpgv: Signature made Tue Nov 13 01:50:12 2018 +14 gpgv: using RSA key 6DE24E97ECA886CC56E6250E21B8EEF1B1893081 gpgv: Can't check signature: No public key dpkg-source: warning: failed to verify signature on ./frama-c_20171101+sulfur+dfsg-2.dsc @@ -33,136 +33,170 @@ dpkg-source: info: applying 0006-Fix-installation-on-bytecode-architectures.patch I: using fakeroot in build. I: Installing the build-deps -I: user script /srv/workspace/pbuilder/62262/tmp/hooks/D02_print_environment starting +I: user script /srv/workspace/pbuilder/14806/tmp/hooks/D01_modify_environment starting +debug: Running on ionos15-amd64. +I: Changing host+domainname to test build reproducibility +I: Adding a custom variable just for the fun of it... +I: Changing /bin/sh to bash +Removing 'diversion of /bin/sh to /bin/sh.distrib by dash' +Adding 'diversion of /bin/sh to /bin/sh.distrib by bash' +Removing 'diversion of /usr/share/man/man1/sh.1.gz to /usr/share/man/man1/sh.distrib.1.gz by dash' +Adding 'diversion of /usr/share/man/man1/sh.1.gz to /usr/share/man/man1/sh.distrib.1.gz by bash' +I: Setting pbuilder2's login shell to /bin/bash +I: Setting pbuilder2's GECOS to second user,second room,second work-phone,second home-phone,second other +I: user script /srv/workspace/pbuilder/14806/tmp/hooks/D01_modify_environment finished +I: user script /srv/workspace/pbuilder/14806/tmp/hooks/D02_print_environment starting I: set - BUILDDIR='/build' - BUILDUSERGECOS='first user,first room,first work-phone,first home-phone,first other' - BUILDUSERNAME='pbuilder1' - BUILD_ARCH='amd64' - DEBIAN_FRONTEND='noninteractive' - DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all parallel=15' - DISTRIBUTION='' - HOME='/root' - HOST_ARCH='amd64' + BASH=/bin/sh + BASHOPTS=checkwinsize:cmdhist:complete_fullquote:extquote:force_fignore:globasciiranges:hostcomplete:interactive_comments:progcomp:promptvars:sourcepath + BASH_ALIASES=() + BASH_ARGC=() + BASH_ARGV=() + BASH_CMDS=() + BASH_LINENO=([0]="12" [1]="0") + BASH_SOURCE=([0]="/tmp/hooks/D02_print_environment" [1]="/tmp/hooks/D02_print_environment") + BASH_VERSINFO=([0]="5" [1]="0" [2]="3" [3]="1" [4]="release" [5]="x86_64-pc-linux-gnu") + BASH_VERSION='5.0.3(1)-release' + BUILDDIR=/build + BUILDUSERGECOS='second user,second room,second work-phone,second home-phone,second other' + BUILDUSERNAME=pbuilder2 + BUILD_ARCH=amd64 + DEBIAN_FRONTEND=noninteractive + DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all parallel=16' + DIRSTACK=() + DISTRIBUTION= + EUID=0 + FUNCNAME=([0]="Echo" [1]="main") + GROUPS=() + HOME=/root + HOSTNAME=i-capture-the-hostname + HOSTTYPE=x86_64 + HOST_ARCH=amd64 IFS=' ' - INVOCATION_ID='ffea249274274a1d894c8241952ae0c2' - LANG='C' - LANGUAGE='en_US:en' - LC_ALL='C' - MAIL='/var/mail/root' - OPTIND='1' - PATH='/usr/sbin:/usr/bin:/sbin:/bin:/usr/games' - PBCURRENTCOMMANDLINEOPERATION='build' - PBUILDER_OPERATION='build' - PBUILDER_PKGDATADIR='/usr/share/pbuilder' - PBUILDER_PKGLIBDIR='/usr/lib/pbuilder' - PBUILDER_SYSCONFDIR='/etc' - PPID='62262' - PS1='# ' - PS2='> ' + INVOCATION_ID=369165e3306845cf95799682853f8d1f + LANG=C + LANGUAGE=et_EE:et + LC_ALL=C + MACHTYPE=x86_64-pc-linux-gnu + MAIL=/var/mail/root + OPTERR=1 + OPTIND=1 + OSTYPE=linux-gnu + PATH=/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path + PBCURRENTCOMMANDLINEOPERATION=build + PBUILDER_OPERATION=build + PBUILDER_PKGDATADIR=/usr/share/pbuilder + PBUILDER_PKGLIBDIR=/usr/lib/pbuilder + PBUILDER_SYSCONFDIR=/etc + PIPESTATUS=([0]="0") + POSIXLY_CORRECT=y + PPID=14806 PS4='+ ' - PWD='/' - SHELL='/bin/bash' - SHLVL='2' - SUDO_COMMAND='/usr/bin/timeout -k 18.1h 18h /usr/bin/ionice -c 3 /usr/bin/nice /usr/sbin/pbuilder --build --configfile /srv/reproducible-results/rbuild-debian/tmp.wm62ukXikX/pbuilderrc_8emC --hookdir /etc/pbuilder/first-build-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/buster-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/tmp.wm62ukXikX/b1 --logfile b1/build.log frama-c_20171101+sulfur+dfsg-2.dsc' - SUDO_GID='111' - SUDO_UID='106' - SUDO_USER='jenkins' - TERM='unknown' - TZ='/usr/share/zoneinfo/Etc/GMT+12' - USER='root' - _='/usr/bin/systemd-run' - http_proxy='http://78.137.99.97:3128' + PWD=/ + SHELL=/bin/bash + SHELLOPTS=braceexpand:errexit:hashall:interactive-comments:posix + SHLVL=3 + SUDO_COMMAND='/usr/bin/timeout -k 24.1h 24h /usr/bin/ionice -c 3 /usr/bin/nice -n 11 /usr/bin/unshare --uts -- /usr/sbin/pbuilder --build --configfile /srv/reproducible-results/rbuild-debian/tmp.wm62ukXikX/pbuilderrc_BHKG --hookdir /etc/pbuilder/rebuild-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/buster-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/tmp.wm62ukXikX/b2 --logfile b2/build.log frama-c_20171101+sulfur+dfsg-2.dsc' + SUDO_GID=111 + SUDO_UID=106 + SUDO_USER=jenkins + TERM=unknown + TZ=/usr/share/zoneinfo/Etc/GMT-14 + UID=0 + USER=root + _='I: set' + http_proxy=http://85.184.249.68:3128 I: uname -a - Linux ionos11-amd64 4.19.0-17-amd64 #1 SMP Debian 4.19.194-3 (2021-07-18) x86_64 GNU/Linux + Linux i-capture-the-hostname 5.10.0-0.bpo.8-amd64 #1 SMP Debian 5.10.46-2~bpo10+1 (2021-07-22) x86_64 GNU/Linux I: ls -l /bin total 5116 - -rwxr-xr-x 1 root root 1168776 Apr 17 2019 bash - -rwxr-xr-x 3 root root 38984 Jul 10 2019 bunzip2 - -rwxr-xr-x 3 root root 38984 Jul 10 2019 bzcat - lrwxrwxrwx 1 root root 6 Jul 10 2019 bzcmp -> bzdiff - -rwxr-xr-x 1 root root 2227 Jul 10 2019 bzdiff - lrwxrwxrwx 1 root root 6 Jul 10 2019 bzegrep -> bzgrep - -rwxr-xr-x 1 root root 4877 Jun 24 2019 bzexe - lrwxrwxrwx 1 root root 6 Jul 10 2019 bzfgrep -> bzgrep - -rwxr-xr-x 1 root root 3641 Jul 10 2019 bzgrep - -rwxr-xr-x 3 root root 38984 Jul 10 2019 bzip2 - -rwxr-xr-x 1 root root 14328 Jul 10 2019 bzip2recover - lrwxrwxrwx 1 root root 6 Jul 10 2019 bzless -> bzmore - -rwxr-xr-x 1 root root 1297 Jul 10 2019 bzmore - -rwxr-xr-x 1 root root 43744 Feb 28 2019 cat - -rwxr-xr-x 1 root root 64320 Feb 28 2019 chgrp - -rwxr-xr-x 1 root root 64288 Feb 28 2019 chmod - -rwxr-xr-x 1 root root 72512 Feb 28 2019 chown - -rwxr-xr-x 1 root root 146880 Feb 28 2019 cp - -rwxr-xr-x 1 root root 121464 Jan 17 2019 dash - -rwxr-xr-x 1 root root 109408 Feb 28 2019 date - -rwxr-xr-x 1 root root 76712 Feb 28 2019 dd - -rwxr-xr-x 1 root root 93744 Feb 28 2019 df - -rwxr-xr-x 1 root root 138856 Feb 28 2019 dir - -rwxr-xr-x 1 root root 84288 Jan 9 2019 dmesg - lrwxrwxrwx 1 root root 8 Sep 26 2018 dnsdomainname -> hostname - lrwxrwxrwx 1 root root 8 Sep 26 2018 domainname -> hostname - -rwxr-xr-x 1 root root 39520 Feb 28 2019 echo - -rwxr-xr-x 1 root root 28 Jan 7 2019 egrep - -rwxr-xr-x 1 root root 35424 Feb 28 2019 false - -rwxr-xr-x 1 root root 28 Jan 7 2019 fgrep - -rwxr-xr-x 1 root root 68880 Jan 9 2019 findmnt - -rwsr-xr-x 1 root root 34896 Apr 22 2020 fusermount - -rwxr-xr-x 1 root root 198976 Jan 7 2019 grep - -rwxr-xr-x 2 root root 2345 Jan 5 2019 gunzip - -rwxr-xr-x 1 root root 6375 Jan 5 2019 gzexe - -rwxr-xr-x 1 root root 98048 Jan 5 2019 gzip - -rwxr-xr-x 1 root root 26696 Sep 26 2018 hostname - -rwxr-xr-x 1 root root 68552 Feb 28 2019 ln - -rwxr-xr-x 1 root root 56760 Jul 26 2018 login - -rwxr-xr-x 1 root root 138856 Feb 28 2019 ls - -rwxr-xr-x 1 root root 108624 Jan 9 2019 lsblk - -rwxr-xr-x 1 root root 89088 Feb 28 2019 mkdir - -rwxr-xr-x 1 root root 68544 Feb 28 2019 mknod - -rwxr-xr-x 1 root root 43808 Feb 28 2019 mktemp - -rwxr-xr-x 1 root root 43008 Jan 9 2019 more - -rwsr-xr-x 1 root root 51280 Jan 9 2019 mount - -rwxr-xr-x 1 root root 14408 Jan 9 2019 mountpoint - -rwxr-xr-x 1 root root 138728 Feb 28 2019 mv - lrwxrwxrwx 1 root root 8 Sep 26 2018 nisdomainname -> hostname - lrwxrwxrwx 1 root root 14 Feb 14 2019 pidof -> /sbin/killall5 - -rwxr-xr-x 1 root root 39616 Feb 28 2019 pwd - lrwxrwxrwx 1 root root 4 Apr 17 2019 rbash -> bash - -rwxr-xr-x 1 root root 47776 Feb 28 2019 readlink - -rwxr-xr-x 1 root root 68416 Feb 28 2019 rm - -rwxr-xr-x 1 root root 47776 Feb 28 2019 rmdir - -rwxr-xr-x 1 root root 23312 Jan 21 2019 run-parts - -rwxr-xr-x 1 root root 122224 Dec 22 2018 sed - lrwxrwxrwx 1 root root 4 Aug 6 20:24 sh -> dash - -rwxr-xr-x 1 root root 39552 Feb 28 2019 sleep - -rwxr-xr-x 1 root root 80672 Feb 28 2019 stty - -rwsr-xr-x 1 root root 63568 Jan 9 2019 su - -rwxr-xr-x 1 root root 35488 Feb 28 2019 sync - -rwxr-xr-x 1 root root 445560 Apr 23 2019 tar - -rwxr-xr-x 1 root root 14440 Jan 21 2019 tempfile - -rwxr-xr-x 1 root root 97152 Feb 28 2019 touch - -rwxr-xr-x 1 root root 35424 Feb 28 2019 true - -rwxr-xr-x 1 root root 14328 Apr 22 2020 ulockmgr_server - -rwsr-xr-x 1 root root 34888 Jan 9 2019 umount - -rwxr-xr-x 1 root root 39584 Feb 28 2019 uname - -rwxr-xr-x 2 root root 2345 Jan 5 2019 uncompress - -rwxr-xr-x 1 root root 138856 Feb 28 2019 vdir - -rwxr-xr-x 1 root root 34896 Jan 9 2019 wdctl - -rwxr-xr-x 1 root root 946 Jan 21 2019 which - lrwxrwxrwx 1 root root 8 Sep 26 2018 ypdomainname -> hostname - -rwxr-xr-x 1 root root 1983 Jan 5 2019 zcat - -rwxr-xr-x 1 root root 1677 Jan 5 2019 zcmp - -rwxr-xr-x 1 root root 5879 Jan 5 2019 zdiff - -rwxr-xr-x 1 root root 29 Jan 5 2019 zegrep - -rwxr-xr-x 1 root root 29 Jan 5 2019 zfgrep - -rwxr-xr-x 1 root root 2080 Jan 5 2019 zforce - -rwxr-xr-x 1 root root 7584 Jan 5 2019 zgrep - -rwxr-xr-x 1 root root 2205 Jan 5 2019 zless - -rwxr-xr-x 1 root root 1841 Jan 5 2019 zmore - -rwxr-xr-x 1 root root 4552 Jan 5 2019 znew -I: user script /srv/workspace/pbuilder/62262/tmp/hooks/D02_print_environment finished + -rwxr-xr-x 1 root root 1168776 Apr 18 2019 bash + -rwxr-xr-x 3 root root 38984 Jul 11 2019 bunzip2 + -rwxr-xr-x 3 root root 38984 Jul 11 2019 bzcat + lrwxrwxrwx 1 root root 6 Jul 11 2019 bzcmp -> bzdiff + -rwxr-xr-x 1 root root 2227 Jul 11 2019 bzdiff + lrwxrwxrwx 1 root root 6 Jul 11 2019 bzegrep -> bzgrep + -rwxr-xr-x 1 root root 4877 Jun 25 2019 bzexe + lrwxrwxrwx 1 root root 6 Jul 11 2019 bzfgrep -> bzgrep + -rwxr-xr-x 1 root root 3641 Jul 11 2019 bzgrep + -rwxr-xr-x 3 root root 38984 Jul 11 2019 bzip2 + -rwxr-xr-x 1 root root 14328 Jul 11 2019 bzip2recover + lrwxrwxrwx 1 root root 6 Jul 11 2019 bzless -> bzmore + -rwxr-xr-x 1 root root 1297 Jul 11 2019 bzmore + -rwxr-xr-x 1 root root 43744 Mar 1 2019 cat + -rwxr-xr-x 1 root root 64320 Mar 1 2019 chgrp + -rwxr-xr-x 1 root root 64288 Mar 1 2019 chmod + -rwxr-xr-x 1 root root 72512 Mar 1 2019 chown + -rwxr-xr-x 1 root root 146880 Mar 1 2019 cp + -rwxr-xr-x 1 root root 121464 Jan 18 2019 dash + -rwxr-xr-x 1 root root 109408 Mar 1 2019 date + -rwxr-xr-x 1 root root 76712 Mar 1 2019 dd + -rwxr-xr-x 1 root root 93744 Mar 1 2019 df + -rwxr-xr-x 1 root root 138856 Mar 1 2019 dir + -rwxr-xr-x 1 root root 84288 Jan 10 2019 dmesg + lrwxrwxrwx 1 root root 8 Sep 27 2018 dnsdomainname -> hostname + lrwxrwxrwx 1 root root 8 Sep 27 2018 domainname -> hostname + -rwxr-xr-x 1 root root 39520 Mar 1 2019 echo + -rwxr-xr-x 1 root root 28 Jan 8 2019 egrep + -rwxr-xr-x 1 root root 35424 Mar 1 2019 false + -rwxr-xr-x 1 root root 28 Jan 8 2019 fgrep + -rwxr-xr-x 1 root root 68880 Jan 10 2019 findmnt + -rwsr-xr-x 1 root root 34896 Apr 23 2020 fusermount + -rwxr-xr-x 1 root root 198976 Jan 8 2019 grep + -rwxr-xr-x 2 root root 2345 Jan 6 2019 gunzip + -rwxr-xr-x 1 root root 6375 Jan 6 2019 gzexe + -rwxr-xr-x 1 root root 98048 Jan 6 2019 gzip + -rwxr-xr-x 1 root root 26696 Sep 27 2018 hostname + -rwxr-xr-x 1 root root 68552 Mar 1 2019 ln + -rwxr-xr-x 1 root root 56760 Jul 27 2018 login + -rwxr-xr-x 1 root root 138856 Mar 1 2019 ls + -rwxr-xr-x 1 root root 108624 Jan 10 2019 lsblk + -rwxr-xr-x 1 root root 89088 Mar 1 2019 mkdir + -rwxr-xr-x 1 root root 68544 Mar 1 2019 mknod + -rwxr-xr-x 1 root root 43808 Mar 1 2019 mktemp + -rwxr-xr-x 1 root root 43008 Jan 10 2019 more + -rwsr-xr-x 1 root root 51280 Jan 10 2019 mount + -rwxr-xr-x 1 root root 14408 Jan 10 2019 mountpoint + -rwxr-xr-x 1 root root 138728 Mar 1 2019 mv + lrwxrwxrwx 1 root root 8 Sep 27 2018 nisdomainname -> hostname + lrwxrwxrwx 1 root root 14 Feb 15 2019 pidof -> /sbin/killall5 + -rwxr-xr-x 1 root root 39616 Mar 1 2019 pwd + lrwxrwxrwx 1 root root 4 Apr 18 2019 rbash -> bash + -rwxr-xr-x 1 root root 47776 Mar 1 2019 readlink + -rwxr-xr-x 1 root root 68416 Mar 1 2019 rm + -rwxr-xr-x 1 root root 47776 Mar 1 2019 rmdir + -rwxr-xr-x 1 root root 23312 Jan 22 2019 run-parts + -rwxr-xr-x 1 root root 122224 Dec 23 2018 sed + lrwxrwxrwx 1 root root 4 Sep 12 13:03 sh -> bash + lrwxrwxrwx 1 root root 4 Sep 10 04:47 sh.distrib -> dash + -rwxr-xr-x 1 root root 39552 Mar 1 2019 sleep + -rwxr-xr-x 1 root root 80672 Mar 1 2019 stty + -rwsr-xr-x 1 root root 63568 Jan 10 2019 su + -rwxr-xr-x 1 root root 35488 Mar 1 2019 sync + -rwxr-xr-x 1 root root 445560 Apr 24 2019 tar + -rwxr-xr-x 1 root root 14440 Jan 22 2019 tempfile + -rwxr-xr-x 1 root root 97152 Mar 1 2019 touch + -rwxr-xr-x 1 root root 35424 Mar 1 2019 true + -rwxr-xr-x 1 root root 14328 Apr 23 2020 ulockmgr_server + -rwsr-xr-x 1 root root 34888 Jan 10 2019 umount + -rwxr-xr-x 1 root root 39584 Mar 1 2019 uname + -rwxr-xr-x 2 root root 2345 Jan 6 2019 uncompress + -rwxr-xr-x 1 root root 138856 Mar 1 2019 vdir + -rwxr-xr-x 1 root root 34896 Jan 10 2019 wdctl + -rwxr-xr-x 1 root root 946 Jan 22 2019 which + lrwxrwxrwx 1 root root 8 Sep 27 2018 ypdomainname -> hostname + -rwxr-xr-x 1 root root 1983 Jan 6 2019 zcat + -rwxr-xr-x 1 root root 1677 Jan 6 2019 zcmp + -rwxr-xr-x 1 root root 5879 Jan 6 2019 zdiff + -rwxr-xr-x 1 root root 29 Jan 6 2019 zegrep + -rwxr-xr-x 1 root root 29 Jan 6 2019 zfgrep + -rwxr-xr-x 1 root root 2080 Jan 6 2019 zforce + -rwxr-xr-x 1 root root 7584 Jan 6 2019 zgrep + -rwxr-xr-x 1 root root 2205 Jan 6 2019 zless + -rwxr-xr-x 1 root root 1841 Jan 6 2019 zmore + -rwxr-xr-x 1 root root 4552 Jan 6 2019 znew +I: user script /srv/workspace/pbuilder/14806/tmp/hooks/D02_print_environment finished -> Attempting to satisfy build-dependencies -> Creating pbuilder-satisfydepends-dummy package Package: pbuilder-satisfydepends-dummy @@ -316,7 +350,7 @@ Get: 98 http://deb.debian.org/debian buster/main amd64 libzarith-ocaml amd64 1.7-1 [48.0 kB] Get: 99 http://deb.debian.org/debian buster/main amd64 libzarith-ocaml-dev amd64 1.7-1 [50.4 kB] Get: 100 http://deb.debian.org/debian buster/main amd64 ocaml-findlib amd64 1.7.3-2+b1 [370 kB] -Fetched 85.0 MB in 3s (25.4 MB/s) +Fetched 85.0 MB in 1s (58.7 MB/s) debconf: delaying package configuration, since apt-utils is not installed Selecting previously unselected package libbsd0:amd64. (Reading database ... (Reading database ... 5% (Reading database ... 10% (Reading database ... 15% (Reading database ... 20% (Reading database ... 25% (Reading database ... 30% (Reading database ... 35% (Reading database ... 40% (Reading database ... 45% (Reading database ... 50% (Reading database ... 55% (Reading database ... 60% (Reading database ... 65% (Reading database ... 70% (Reading database ... 75% (Reading database ... 80% (Reading database ... 85% (Reading database ... 90% (Reading database ... 95% (Reading database ... 100% (Reading database ... 19195 files and directories currently installed.) @@ -744,7 +778,7 @@ fakeroot is already the newest version (1.23-1). 0 upgraded, 0 newly installed, 0 to remove and 0 not upgraded. I: Building the package -I: Running cd /build/frama-c-20171101+sulfur+dfsg/ && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games" HOME="/nonexistent/first-build" dpkg-buildpackage -us -uc -b +I: Running cd /build/frama-c-20171101+sulfur+dfsg/ && env PATH="/usr/sbin:/usr/bin:/sbin:/bin:/usr/games:/i/capture/the/path" HOME="/nonexistent/second-build" dpkg-buildpackage -us -uc -b dpkg-buildpackage: info: source package frama-c dpkg-buildpackage: info: source version 20171101+sulfur+dfsg-2 dpkg-buildpackage: info: source distribution unstable @@ -3113,7 +3147,6 @@ cp src/kernel_services/ast_printing/cil_printer.cmi /build/frama-c-20171101+sulfur+dfsg/lib/fc/cil_printer.cmi mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/kernel_services/ast_printing/cil_descriptive_printer.cmi /build/frama-c-20171101+sulfur+dfsg/lib/fc/cil_descriptive_printer.cmi -touch src/kernel_services/parsetree/cabs.cmi mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/kernel_services/parsetree/cabs.cmi /build/frama-c-20171101+sulfur+dfsg/lib/fc/cabs.cmi mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc @@ -3964,7 +3997,6 @@ \ /build/frama-c-20171101+sulfur+dfsg/lib/plugins/top/Obfuscator.cmx ocamlfind ocamlopt -intf-suffix .cmi -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -w -a -bin-annot -strict-sequence -safe-string -g -I src/plugins/pdg_types -I src/plugins/value_types -I src/libraries/stdlib -I src/libraries/utils -I src/libraries/project -I src/libraries/datatype -I src/kernel_internals/parsing -I src/kernel_internals/typing -I src/kernel_internals/runtime -I src/kernel_services/parsetree -I src/kernel_services/ast_data -I src/kernel_services/ast_queries -I src/kernel_services/ast_printing -I src/kernel_services/cmdline_parameters -I src/kernel_services/plugin_entry_points -I src/kernel_services/abstract_interp -I src/kernel_services/visitors -I src/kernel_services/analysis -I src/kernel_services/ast_transformations -I src/plugins/gui -I /build/frama-c-20171101+sulfur+dfsg/lib/plugins -compact -I src/plugins/print_api -I /build/frama-c-20171101+sulfur+dfsg/lib/plugins -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -w -a -bin-annot -strict-sequence -safe-string -g -I /build/frama-c-20171101+sulfur+dfsg/src/plugins/pdg_types -I /build/frama-c-20171101+sulfur+dfsg/src/plugins/value_types -I /build/frama-c-20171101+sulfur+dfsg/src/libraries/stdlib -I /build/frama-c-20171101+sulfur+dfsg/src/libraries/utils -I /build/frama-c-20171101+sulfur+dfsg/src/libraries/project -I /build/frama-c-20171101+sulfur+dfsg/src/libraries/datatype -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_internals/parsing -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_internals/typing -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_internals/runtime -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/parsetree -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/ast_data -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/ast_queries -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/ast_printing -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/cmdline_parameters -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/plugin_entry_points -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/abstract_interp -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/visitors -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/analysis -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/ast_transformations -I /build/frama-c-20171101+sulfur+dfsg/src/plugins/gui -I /build/frama-c-20171101+sulfur+dfsg/lib -for-pack Print_api src/plugins/print_api/grammar.ml -touch src/plugins/print_api/lexer.cmi ocamlfind ocamlopt -intf-suffix .cmi -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -w -a -bin-annot -strict-sequence -safe-string -g -I src/plugins/pdg_types -I src/plugins/value_types -I src/libraries/stdlib -I src/libraries/utils -I src/libraries/project -I src/libraries/datatype -I src/kernel_internals/parsing -I src/kernel_internals/typing -I src/kernel_internals/runtime -I src/kernel_services/parsetree -I src/kernel_services/ast_data -I src/kernel_services/ast_queries -I src/kernel_services/ast_printing -I src/kernel_services/cmdline_parameters -I src/kernel_services/plugin_entry_points -I src/kernel_services/abstract_interp -I src/kernel_services/visitors -I src/kernel_services/analysis -I src/kernel_services/ast_transformations -I src/plugins/gui -I /build/frama-c-20171101+sulfur+dfsg/lib/plugins -compact -I src/plugins/print_api -I /build/frama-c-20171101+sulfur+dfsg/lib/plugins -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -w -a -bin-annot -strict-sequence -safe-string -g -I /build/frama-c-20171101+sulfur+dfsg/src/plugins/pdg_types -I /build/frama-c-20171101+sulfur+dfsg/src/plugins/value_types -I /build/frama-c-20171101+sulfur+dfsg/src/libraries/stdlib -I /build/frama-c-20171101+sulfur+dfsg/src/libraries/utils -I /build/frama-c-20171101+sulfur+dfsg/src/libraries/project -I /build/frama-c-20171101+sulfur+dfsg/src/libraries/datatype -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_internals/parsing -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_internals/typing -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_internals/runtime -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/parsetree -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/ast_data -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/ast_queries -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/ast_printing -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/cmdline_parameters -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/plugin_entry_points -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/abstract_interp -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/visitors -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/analysis -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/ast_transformations -I /build/frama-c-20171101+sulfur+dfsg/src/plugins/gui -I /build/frama-c-20171101+sulfur+dfsg/lib -for-pack Print_api src/plugins/print_api/lexer.ml touch src/plugins/print_api/print_interface.cmi ocamlfind ocamlopt -intf-suffix .cmi -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -w -a -bin-annot -strict-sequence -safe-string -g -I src/plugins/pdg_types -I src/plugins/value_types -I src/libraries/stdlib -I src/libraries/utils -I src/libraries/project -I src/libraries/datatype -I src/kernel_internals/parsing -I src/kernel_internals/typing -I src/kernel_internals/runtime -I src/kernel_services/parsetree -I src/kernel_services/ast_data -I src/kernel_services/ast_queries -I src/kernel_services/ast_printing -I src/kernel_services/cmdline_parameters -I src/kernel_services/plugin_entry_points -I src/kernel_services/abstract_interp -I src/kernel_services/visitors -I src/kernel_services/analysis -I src/kernel_services/ast_transformations -I src/plugins/gui -I /build/frama-c-20171101+sulfur+dfsg/lib/plugins -compact -I src/plugins/print_api -I /build/frama-c-20171101+sulfur+dfsg/lib/plugins -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -w -a -bin-annot -strict-sequence -safe-string -g -I /build/frama-c-20171101+sulfur+dfsg/src/plugins/pdg_types -I /build/frama-c-20171101+sulfur+dfsg/src/plugins/value_types -I /build/frama-c-20171101+sulfur+dfsg/src/libraries/stdlib -I /build/frama-c-20171101+sulfur+dfsg/src/libraries/utils -I /build/frama-c-20171101+sulfur+dfsg/src/libraries/project -I /build/frama-c-20171101+sulfur+dfsg/src/libraries/datatype -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_internals/parsing -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_internals/typing -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_internals/runtime -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/parsetree -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/ast_data -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/ast_queries -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/ast_printing -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/cmdline_parameters -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/plugin_entry_points -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/abstract_interp -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/visitors -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/analysis -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/ast_transformations -I /build/frama-c-20171101+sulfur+dfsg/src/plugins/gui -I /build/frama-c-20171101+sulfur+dfsg/lib -for-pack Print_api src/plugins/print_api/print_interface.ml @@ -4000,7 +4032,6 @@ /build/frama-c-20171101+sulfur+dfsg/lib/plugins/top/Studia.cmx ocamlfind ocamlopt -intf-suffix .cmi -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -w -a -bin-annot -strict-sequence -safe-string -g -I src/plugins/pdg_types -I src/plugins/value_types -I src/libraries/stdlib -I src/libraries/utils -I src/libraries/project -I src/libraries/datatype -I src/kernel_internals/parsing -I src/kernel_internals/typing -I src/kernel_internals/runtime -I src/kernel_services/parsetree -I src/kernel_services/ast_data -I src/kernel_services/ast_queries -I src/kernel_services/ast_printing -I src/kernel_services/cmdline_parameters -I src/kernel_services/plugin_entry_points -I src/kernel_services/abstract_interp -I src/kernel_services/visitors -I src/kernel_services/analysis -I src/kernel_services/ast_transformations -I src/plugins/gui -I /build/frama-c-20171101+sulfur+dfsg/lib/plugins -compact -I src/plugins/variadic -I /build/frama-c-20171101+sulfur+dfsg/lib/plugins -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -w -a -bin-annot -strict-sequence -safe-string -g -I /build/frama-c-20171101+sulfur+dfsg/src/plugins/pdg_types -I /build/frama-c-20171101+sulfur+dfsg/src/plugins/value_types -I /build/frama-c-20171101+sulfur+dfsg/src/libraries/stdlib -I /build/frama-c-20171101+sulfur+dfsg/src/libraries/utils -I /build/frama-c-20171101+sulfur+dfsg/src/libraries/project -I /build/frama-c-20171101+sulfur+dfsg/src/libraries/datatype -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_internals/parsing -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_internals/typing -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_internals/runtime -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/parsetree -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/ast_data -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/ast_queries -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/ast_printing -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/cmdline_parameters -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/plugin_entry_points -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/abstract_interp -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/visitors -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/analysis -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/ast_transformations -I /build/frama-c-20171101+sulfur+dfsg/src/plugins/gui -I /build/frama-c-20171101+sulfur+dfsg/lib -for-pack Variadic src/plugins/variadic/options.ml ocamlfind ocamlopt -intf-suffix .cmi -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -w -a -bin-annot -strict-sequence -safe-string -g -I src/plugins/pdg_types -I src/plugins/value_types -I src/libraries/stdlib -I src/libraries/utils -I src/libraries/project -I src/libraries/datatype -I src/kernel_internals/parsing -I src/kernel_internals/typing -I src/kernel_internals/runtime -I src/kernel_services/parsetree -I src/kernel_services/ast_data -I src/kernel_services/ast_queries -I src/kernel_services/ast_printing -I src/kernel_services/cmdline_parameters -I src/kernel_services/plugin_entry_points -I src/kernel_services/abstract_interp -I src/kernel_services/visitors -I src/kernel_services/analysis -I src/kernel_services/ast_transformations -I src/plugins/gui -I /build/frama-c-20171101+sulfur+dfsg/lib/plugins -compact -I src/plugins/variadic -I /build/frama-c-20171101+sulfur+dfsg/lib/plugins -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -w -a -bin-annot -strict-sequence -safe-string -g -I /build/frama-c-20171101+sulfur+dfsg/src/plugins/pdg_types -I /build/frama-c-20171101+sulfur+dfsg/src/plugins/value_types -I /build/frama-c-20171101+sulfur+dfsg/src/libraries/stdlib -I /build/frama-c-20171101+sulfur+dfsg/src/libraries/utils -I /build/frama-c-20171101+sulfur+dfsg/src/libraries/project -I /build/frama-c-20171101+sulfur+dfsg/src/libraries/datatype -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_internals/parsing -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_internals/typing -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_internals/runtime -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/parsetree -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/ast_data -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/ast_queries -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/ast_printing -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/cmdline_parameters -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/plugin_entry_points -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/abstract_interp -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/visitors -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/analysis -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/ast_transformations -I /build/frama-c-20171101+sulfur+dfsg/src/plugins/gui -I /build/frama-c-20171101+sulfur+dfsg/lib -for-pack Variadic src/plugins/variadic/extends.ml -touch src/plugins/variadic/va_build.cmi ocamlfind ocamlopt -intf-suffix .cmi -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -w -a -bin-annot -strict-sequence -safe-string -g -I src/plugins/pdg_types -I src/plugins/value_types -I src/libraries/stdlib -I src/libraries/utils -I src/libraries/project -I src/libraries/datatype -I src/kernel_internals/parsing -I src/kernel_internals/typing -I src/kernel_internals/runtime -I src/kernel_services/parsetree -I src/kernel_services/ast_data -I src/kernel_services/ast_queries -I src/kernel_services/ast_printing -I src/kernel_services/cmdline_parameters -I src/kernel_services/plugin_entry_points -I src/kernel_services/abstract_interp -I src/kernel_services/visitors -I src/kernel_services/analysis -I src/kernel_services/ast_transformations -I src/plugins/gui -I /build/frama-c-20171101+sulfur+dfsg/lib/plugins -compact -I src/plugins/variadic -I /build/frama-c-20171101+sulfur+dfsg/lib/plugins -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -w -a -bin-annot -strict-sequence -safe-string -g -I /build/frama-c-20171101+sulfur+dfsg/src/plugins/pdg_types -I /build/frama-c-20171101+sulfur+dfsg/src/plugins/value_types -I /build/frama-c-20171101+sulfur+dfsg/src/libraries/stdlib -I /build/frama-c-20171101+sulfur+dfsg/src/libraries/utils -I /build/frama-c-20171101+sulfur+dfsg/src/libraries/project -I /build/frama-c-20171101+sulfur+dfsg/src/libraries/datatype -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_internals/parsing -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_internals/typing -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_internals/runtime -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/parsetree -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/ast_data -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/ast_queries -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/ast_printing -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/cmdline_parameters -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/plugin_entry_points -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/abstract_interp -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/visitors -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/analysis -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/ast_transformations -I /build/frama-c-20171101+sulfur+dfsg/src/plugins/gui -I /build/frama-c-20171101+sulfur+dfsg/lib -for-pack Variadic src/plugins/variadic/va_build.ml touch src/plugins/variadic/environment.cmi ocamlfind ocamlopt -intf-suffix .cmi -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -w -a -bin-annot -strict-sequence -safe-string -g -I src/plugins/pdg_types -I src/plugins/value_types -I src/libraries/stdlib -I src/libraries/utils -I src/libraries/project -I src/libraries/datatype -I src/kernel_internals/parsing -I src/kernel_internals/typing -I src/kernel_internals/runtime -I src/kernel_services/parsetree -I src/kernel_services/ast_data -I src/kernel_services/ast_queries -I src/kernel_services/ast_printing -I src/kernel_services/cmdline_parameters -I src/kernel_services/plugin_entry_points -I src/kernel_services/abstract_interp -I src/kernel_services/visitors -I src/kernel_services/analysis -I src/kernel_services/ast_transformations -I src/plugins/gui -I /build/frama-c-20171101+sulfur+dfsg/lib/plugins -compact -I src/plugins/variadic -I /build/frama-c-20171101+sulfur+dfsg/lib/plugins -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -w -a -bin-annot -strict-sequence -safe-string -g -I /build/frama-c-20171101+sulfur+dfsg/src/plugins/pdg_types -I /build/frama-c-20171101+sulfur+dfsg/src/plugins/value_types -I /build/frama-c-20171101+sulfur+dfsg/src/libraries/stdlib -I /build/frama-c-20171101+sulfur+dfsg/src/libraries/utils -I /build/frama-c-20171101+sulfur+dfsg/src/libraries/project -I /build/frama-c-20171101+sulfur+dfsg/src/libraries/datatype -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_internals/parsing -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_internals/typing -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_internals/runtime -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/parsetree -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/ast_data -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/ast_queries -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/ast_printing -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/cmdline_parameters -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/plugin_entry_points -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/abstract_interp -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/visitors -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/analysis -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/ast_transformations -I /build/frama-c-20171101+sulfur+dfsg/src/plugins/gui -I /build/frama-c-20171101+sulfur+dfsg/lib -for-pack Variadic src/plugins/variadic/environment.ml @@ -4018,6 +4049,7 @@ ocamlfind ocamlopt -intf-suffix .cmi -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -w -a -bin-annot -strict-sequence -safe-string -g -I src/plugins/pdg_types -I src/plugins/value_types -I src/libraries/stdlib -I src/libraries/utils -I src/libraries/project -I src/libraries/datatype -I src/kernel_internals/parsing -I src/kernel_internals/typing -I src/kernel_internals/runtime -I src/kernel_services/parsetree -I src/kernel_services/ast_data -I src/kernel_services/ast_queries -I src/kernel_services/ast_printing -I src/kernel_services/cmdline_parameters -I src/kernel_services/plugin_entry_points -I src/kernel_services/abstract_interp -I src/kernel_services/visitors -I src/kernel_services/analysis -I src/kernel_services/ast_transformations -I src/plugins/gui -I /build/frama-c-20171101+sulfur+dfsg/lib/plugins -compact -I src/plugins/variadic -I /build/frama-c-20171101+sulfur+dfsg/lib/plugins -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -w -a -bin-annot -strict-sequence -safe-string -g -I /build/frama-c-20171101+sulfur+dfsg/src/plugins/pdg_types -I /build/frama-c-20171101+sulfur+dfsg/src/plugins/value_types -I /build/frama-c-20171101+sulfur+dfsg/src/libraries/stdlib -I /build/frama-c-20171101+sulfur+dfsg/src/libraries/utils -I /build/frama-c-20171101+sulfur+dfsg/src/libraries/project -I /build/frama-c-20171101+sulfur+dfsg/src/libraries/datatype -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_internals/parsing -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_internals/typing -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_internals/runtime -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/parsetree -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/ast_data -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/ast_queries -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/ast_printing -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/cmdline_parameters -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/plugin_entry_points -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/abstract_interp -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/visitors -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/analysis -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/ast_transformations -I /build/frama-c-20171101+sulfur+dfsg/src/plugins/gui -I /build/frama-c-20171101+sulfur+dfsg/lib -for-pack Variadic src/plugins/variadic/classify.ml touch src/plugins/variadic/translate.cmi ocamlfind ocamlopt -intf-suffix .cmi -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -w -a -bin-annot -strict-sequence -safe-string -g -I src/plugins/pdg_types -I src/plugins/value_types -I src/libraries/stdlib -I src/libraries/utils -I src/libraries/project -I src/libraries/datatype -I src/kernel_internals/parsing -I src/kernel_internals/typing -I src/kernel_internals/runtime -I src/kernel_services/parsetree -I src/kernel_services/ast_data -I src/kernel_services/ast_queries -I src/kernel_services/ast_printing -I src/kernel_services/cmdline_parameters -I src/kernel_services/plugin_entry_points -I src/kernel_services/abstract_interp -I src/kernel_services/visitors -I src/kernel_services/analysis -I src/kernel_services/ast_transformations -I src/plugins/gui -I /build/frama-c-20171101+sulfur+dfsg/lib/plugins -compact -I src/plugins/variadic -I /build/frama-c-20171101+sulfur+dfsg/lib/plugins -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -w -a -bin-annot -strict-sequence -safe-string -g -I /build/frama-c-20171101+sulfur+dfsg/src/plugins/pdg_types -I /build/frama-c-20171101+sulfur+dfsg/src/plugins/value_types -I /build/frama-c-20171101+sulfur+dfsg/src/libraries/stdlib -I /build/frama-c-20171101+sulfur+dfsg/src/libraries/utils -I /build/frama-c-20171101+sulfur+dfsg/src/libraries/project -I /build/frama-c-20171101+sulfur+dfsg/src/libraries/datatype -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_internals/parsing -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_internals/typing -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_internals/runtime -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/parsetree -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/ast_data -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/ast_queries -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/ast_printing -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/cmdline_parameters -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/plugin_entry_points -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/abstract_interp -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/visitors -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/analysis -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/ast_transformations -I /build/frama-c-20171101+sulfur+dfsg/src/plugins/gui -I /build/frama-c-20171101+sulfur+dfsg/lib -for-pack Variadic src/plugins/variadic/translate.ml +touch src/plugins/variadic/register.cmi ocamlfind ocamlopt -intf-suffix .cmi -c -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -w -a -bin-annot -strict-sequence -safe-string -g -I src/plugins/pdg_types -I src/plugins/value_types -I src/libraries/stdlib -I src/libraries/utils -I src/libraries/project -I src/libraries/datatype -I src/kernel_internals/parsing -I src/kernel_internals/typing -I src/kernel_internals/runtime -I src/kernel_services/parsetree -I src/kernel_services/ast_data -I src/kernel_services/ast_queries -I src/kernel_services/ast_printing -I src/kernel_services/cmdline_parameters -I src/kernel_services/plugin_entry_points -I src/kernel_services/abstract_interp -I src/kernel_services/visitors -I src/kernel_services/analysis -I src/kernel_services/ast_transformations -I src/plugins/gui -I /build/frama-c-20171101+sulfur+dfsg/lib/plugins -compact -I src/plugins/variadic -I /build/frama-c-20171101+sulfur+dfsg/lib/plugins -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -w -a -bin-annot -strict-sequence -safe-string -g -I /build/frama-c-20171101+sulfur+dfsg/src/plugins/pdg_types -I /build/frama-c-20171101+sulfur+dfsg/src/plugins/value_types -I /build/frama-c-20171101+sulfur+dfsg/src/libraries/stdlib -I /build/frama-c-20171101+sulfur+dfsg/src/libraries/utils -I /build/frama-c-20171101+sulfur+dfsg/src/libraries/project -I /build/frama-c-20171101+sulfur+dfsg/src/libraries/datatype -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_internals/parsing -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_internals/typing -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_internals/runtime -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/parsetree -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/ast_data -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/ast_queries -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/ast_printing -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/cmdline_parameters -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/plugin_entry_points -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/abstract_interp -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/visitors -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/analysis -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/ast_transformations -I /build/frama-c-20171101+sulfur+dfsg/src/plugins/gui -I /build/frama-c-20171101+sulfur+dfsg/lib -for-pack Variadic src/plugins/variadic/register.ml ocamlfind ocamlopt -o /build/frama-c-20171101+sulfur+dfsg/lib/plugins/top/Variadic.cmx -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -w -a -bin-annot -strict-sequence -safe-string -g -I src/plugins/pdg_types -I src/plugins/value_types -I src/libraries/stdlib -I src/libraries/utils -I src/libraries/project -I src/libraries/datatype -I src/kernel_internals/parsing -I src/kernel_internals/typing -I src/kernel_internals/runtime -I src/kernel_services/parsetree -I src/kernel_services/ast_data -I src/kernel_services/ast_queries -I src/kernel_services/ast_printing -I src/kernel_services/cmdline_parameters -I src/kernel_services/plugin_entry_points -I src/kernel_services/abstract_interp -I src/kernel_services/visitors -I src/kernel_services/analysis -I src/kernel_services/ast_transformations -I src/plugins/gui -I /build/frama-c-20171101+sulfur+dfsg/lib/plugins -compact -I src/plugins/variadic -I /build/frama-c-20171101+sulfur+dfsg/lib/plugins -package findlib -package ocamlgraph -package unix -package str -package dynlink -package bytes -package zarith -w -a -bin-annot -strict-sequence -safe-string -g -I /build/frama-c-20171101+sulfur+dfsg/src/plugins/pdg_types -I /build/frama-c-20171101+sulfur+dfsg/src/plugins/value_types -I /build/frama-c-20171101+sulfur+dfsg/src/libraries/stdlib -I /build/frama-c-20171101+sulfur+dfsg/src/libraries/utils -I /build/frama-c-20171101+sulfur+dfsg/src/libraries/project -I /build/frama-c-20171101+sulfur+dfsg/src/libraries/datatype -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_internals/parsing -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_internals/typing -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_internals/runtime -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/parsetree -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/ast_data -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/ast_queries -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/ast_printing -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/cmdline_parameters -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/plugin_entry_points -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/abstract_interp -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/visitors -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/analysis -I /build/frama-c-20171101+sulfur+dfsg/src/kernel_services/ast_transformations -I /build/frama-c-20171101+sulfur+dfsg/src/plugins/gui -I /build/frama-c-20171101+sulfur+dfsg/lib -pack \ \ @@ -4804,9 +4836,9 @@ cp src/kernel_internals/runtime/boot.cmx /build/frama-c-20171101+sulfur+dfsg/lib/fc/boot.cmx mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/kernel_internals/runtime/frama_c_init.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/frama_c_init.o -touch src/libraries/stdlib/transitioning.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/libraries/stdlib/transitioning.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/transitioning.o +touch src/libraries/stdlib/FCSet.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/libraries/stdlib/FCSet.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/FCSet.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc @@ -4817,7 +4849,6 @@ touch src/libraries/stdlib/FCHashtbl.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/libraries/stdlib/FCHashtbl.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/FCHashtbl.o -touch src/libraries/stdlib/extlib.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/libraries/stdlib/extlib.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/extlib.o touch src/libraries/datatype/unmarshal.o @@ -4825,18 +4856,16 @@ cp src/libraries/datatype/unmarshal.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/unmarshal.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/libraries/datatype/unmarshal_z.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/unmarshal_z.o -touch src/libraries/datatype/structural_descr.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/libraries/datatype/structural_descr.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/structural_descr.o touch src/libraries/datatype/type.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/libraries/datatype/type.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/type.o -touch src/libraries/datatype/descr.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/libraries/datatype/descr.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/descr.o -touch src/libraries/utils/pretty_utils.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/libraries/utils/pretty_utils.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/pretty_utils.o +touch src/libraries/utils/hook.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/libraries/utils/hook.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/hook.o touch src/libraries/utils/bag.o @@ -4853,14 +4882,12 @@ touch src/libraries/utils/rgmap.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/libraries/utils/rgmap.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/rgmap.o -touch src/libraries/utils/bitvector.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/libraries/utils/bitvector.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/bitvector.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/libraries/utils/qstack.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/qstack.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/libraries/utils/leftistheap.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/leftistheap.o -touch src/libraries/stdlib/integer.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/libraries/stdlib/integer.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/integer.o touch src/libraries/utils/filepath.o @@ -4884,10 +4911,8 @@ touch src/kernel_services/plugin_entry_points/journal.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/kernel_services/plugin_entry_points/journal.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/journal.o -touch src/libraries/project/state.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/libraries/project/state.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/state.o -touch src/libraries/project/state_dependency_graph.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/libraries/project/state_dependency_graph.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/state_dependency_graph.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc @@ -4895,30 +4920,24 @@ touch src/libraries/project/state_selection.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/libraries/project/state_selection.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/state_selection.o -touch src/libraries/project/project.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/libraries/project/project.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/project.o touch src/libraries/project/state_builder.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/libraries/project/state_builder.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/state_builder.o -touch src/libraries/utils/utf8_logic.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/libraries/utils/utf8_logic.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/utf8_logic.o -touch src/libraries/utils/binary_cache.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/libraries/utils/binary_cache.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/binary_cache.o touch src/libraries/utils/hptmap.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/libraries/utils/hptmap.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/hptmap.o -touch src/libraries/utils/hptset.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/libraries/utils/hptset.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/hptset.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/libraries/utils/escape.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/escape.o -touch src/kernel_services/ast_queries/cil_datatype.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/kernel_services/ast_queries/cil_datatype.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/cil_datatype.o -touch src/kernel_services/cmdline_parameters/typed_parameter.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/kernel_services/cmdline_parameters/typed_parameter.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/typed_parameter.o touch src/kernel_services/plugin_entry_points/dynamic.o @@ -4933,13 +4952,10 @@ touch src/kernel_services/cmdline_parameters/parameter_state.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/kernel_services/cmdline_parameters/parameter_state.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/parameter_state.o -touch src/kernel_services/cmdline_parameters/parameter_builder.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/kernel_services/cmdline_parameters/parameter_builder.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/parameter_builder.o -touch src/kernel_services/plugin_entry_points/plugin.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/kernel_services/plugin_entry_points/plugin.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/plugin.o -touch src/kernel_services/plugin_entry_points/kernel.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/kernel_services/plugin_entry_points/kernel.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/kernel.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc @@ -4950,16 +4966,13 @@ touch src/libraries/utils/floating_point.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/libraries/utils/floating_point.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/floating_point.o -touch src/libraries/utils/rangemap.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/libraries/utils/rangemap.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/rangemap.o touch src/kernel_services/ast_printing/cil_types_debug.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/kernel_services/ast_printing/cil_types_debug.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/cil_types_debug.o -touch src/kernel_services/ast_printing/printer_builder.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/kernel_services/ast_printing/printer_builder.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/printer_builder.o -touch src/libraries/utils/cilconfig.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/libraries/utils/cilconfig.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/cilconfig.o touch src/kernel_internals/typing/alpha.o @@ -4968,13 +4981,10 @@ touch src/kernel_services/ast_queries/cil_state_builder.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/kernel_services/ast_queries/cil_state_builder.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/cil_state_builder.o -touch src/kernel_internals/runtime/machdeps.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/kernel_internals/runtime/machdeps.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/machdeps.o -touch src/kernel_services/ast_queries/cil_const.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/kernel_services/ast_queries/cil_const.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/cil_const.o -touch src/kernel_services/ast_queries/logic_env.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/kernel_services/ast_queries/logic_env.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/logic_env.o touch src/kernel_services/ast_queries/logic_const.o @@ -4989,13 +4999,11 @@ touch src/kernel_services/ast_printing/cil_printer.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/kernel_services/ast_printing/cil_printer.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/cil_printer.o -touch src/kernel_services/ast_printing/cil_descriptive_printer.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/kernel_services/ast_printing/cil_descriptive_printer.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/cil_descriptive_printer.o touch src/kernel_services/parsetree/cabs.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/kernel_services/parsetree/cabs.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/cabs.o -touch src/kernel_services/parsetree/cabshelper.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/kernel_services/parsetree/cabshelper.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/cabshelper.o touch src/kernel_services/ast_printing/logic_print.o @@ -5004,6 +5012,7 @@ touch src/kernel_services/ast_queries/logic_utils.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/kernel_services/ast_queries/logic_utils.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/logic_utils.o +touch src/kernel_internals/parsing/logic_parser.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/kernel_internals/parsing/logic_parser.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/logic_parser.o touch src/kernel_internals/parsing/logic_lexer.o @@ -5015,13 +5024,11 @@ touch src/kernel_services/ast_queries/ast_info.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/kernel_services/ast_queries/ast_info.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/ast_info.o -touch src/kernel_services/ast_data/ast.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/kernel_services/ast_data/ast.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/ast.o touch src/kernel_services/ast_data/globals.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/kernel_services/ast_data/globals.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/globals.o -touch src/kernel_services/ast_printing/cprint.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/kernel_services/ast_printing/cprint.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/cprint.o touch src/kernel_services/visitors/cabsvisit.o @@ -5030,31 +5037,24 @@ touch src/kernel_internals/typing/cabs2cil.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/kernel_internals/typing/cabs2cil.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/cabs2cil.o -touch src/kernel_internals/typing/cfg.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/kernel_internals/typing/cfg.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/cfg.o touch src/kernel_services/ast_data/kernel_function.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/kernel_services/ast_data/kernel_function.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/kernel_function.o -touch src/kernel_services/ast_data/property.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/kernel_services/ast_data/property.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/property.o -touch src/kernel_services/ast_data/property_status.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/kernel_services/ast_data/property_status.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/property_status.o -touch src/kernel_services/ast_data/annotations.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/kernel_services/ast_data/annotations.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/annotations.o -touch src/kernel_services/ast_printing/printer.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/kernel_services/ast_printing/printer.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/printer.o touch src/kernel_internals/typing/logic_builtin.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/kernel_internals/typing/logic_builtin.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/logic_builtin.o -touch src/kernel_services/ast_printing/cabs_debug.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/kernel_services/ast_printing/cabs_debug.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/cabs_debug.o -touch src/kernel_internals/parsing/lexerhack.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/kernel_internals/parsing/lexerhack.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/lexerhack.o touch src/kernel_internals/parsing/clexer.o @@ -5069,23 +5069,19 @@ touch src/kernel_internals/typing/mergecil.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/kernel_internals/typing/mergecil.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/mergecil.o -touch src/kernel_internals/typing/rmtmps.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/kernel_internals/typing/rmtmps.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/rmtmps.o +touch src/kernel_internals/typing/oneret.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/kernel_internals/typing/oneret.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/oneret.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/kernel_internals/typing/frontc.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/frontc.o -touch src/kernel_services/ast_data/statuses_by_call.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/kernel_services/ast_data/statuses_by_call.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/statuses_by_call.o -touch src/kernel_services/analysis/dataflow.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/kernel_services/analysis/dataflow.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/dataflow.o -touch src/kernel_services/analysis/ordered_stmt.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/kernel_services/analysis/ordered_stmt.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/ordered_stmt.o -touch src/kernel_services/analysis/wto_statement.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/kernel_services/analysis/wto_statement.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/wto_statement.o touch src/kernel_services/analysis/dataflows.o @@ -5094,7 +5090,6 @@ touch src/kernel_services/analysis/dataflow2.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/kernel_services/analysis/dataflow2.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/dataflow2.o -touch src/kernel_services/analysis/stmts_graph.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/kernel_services/analysis/stmts_graph.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/stmts_graph.o touch src/kernel_services/analysis/dominators.o @@ -5103,13 +5098,11 @@ touch src/kernel_services/analysis/service_graph.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/kernel_services/analysis/service_graph.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/service_graph.o -touch src/kernel_services/analysis/undefined_sequence.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/kernel_services/analysis/undefined_sequence.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/undefined_sequence.o touch src/kernel_services/ast_printing/description.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/kernel_services/ast_printing/description.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/description.o -touch src/kernel_services/ast_data/alarms.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/kernel_services/ast_data/alarms.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/alarms.o touch src/kernel_services/abstract_interp/lattice_messages.o @@ -5118,13 +5111,10 @@ touch src/kernel_services/abstract_interp/abstract_interp.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/kernel_services/abstract_interp/abstract_interp.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/abstract_interp.o -touch src/kernel_services/abstract_interp/bottom.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/kernel_services/abstract_interp/bottom.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/bottom.o -touch src/kernel_services/abstract_interp/int_Base.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/kernel_services/abstract_interp/int_Base.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/int_Base.o -touch src/kernel_services/analysis/bit_utils.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/kernel_services/analysis/bit_utils.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/bit_utils.o touch src/kernel_services/abstract_interp/fval.o @@ -5133,7 +5123,6 @@ touch src/kernel_services/abstract_interp/ival.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/kernel_services/abstract_interp/ival.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/ival.o -touch src/kernel_services/abstract_interp/base.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/kernel_services/abstract_interp/base.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/base.o touch src/kernel_services/abstract_interp/origin.o @@ -5156,19 +5145,15 @@ touch src/kernel_services/abstract_interp/lmap.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/kernel_services/abstract_interp/lmap.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/lmap.o -touch src/kernel_services/abstract_interp/lmap_bitwise.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/kernel_services/abstract_interp/lmap_bitwise.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/lmap_bitwise.o touch src/kernel_services/visitors/visitor.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/kernel_services/visitors/visitor.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/visitor.o -touch src/plugins/value_types/cilE.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/plugins/value_types/cilE.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/cilE.o -touch src/plugins/value_types/cvalue.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/plugins/value_types/cvalue.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/cvalue.o -touch src/plugins/value_types/precise_locs.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/plugins/value_types/precise_locs.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/precise_locs.o touch src/plugins/value_types/value_types.o @@ -5191,12 +5176,11 @@ touch src/plugins/pdg_types/pdgMarks.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/plugins/pdg_types/pdgMarks.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/pdgMarks.o -touch src/kernel_services/plugin_entry_points/db.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/kernel_services/plugin_entry_points/db.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/db.o +touch src/libraries/utils/command.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/libraries/utils/command.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/command.o -touch src/libraries/utils/task.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/libraries/utils/task.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/task.o touch src/kernel_services/ast_queries/filecheck.o @@ -5208,9 +5192,9 @@ touch src/kernel_internals/typing/translate_lightweight.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/kernel_internals/typing/translate_lightweight.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/translate_lightweight.o +touch src/kernel_internals/typing/allocates.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/kernel_internals/typing/allocates.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/allocates.o -touch src/kernel_internals/typing/unroll_loops.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/kernel_internals/typing/unroll_loops.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/unroll_loops.o touch src/kernel_internals/typing/asm_contracts.o @@ -5219,18 +5203,14 @@ touch src/kernel_services/analysis/loop.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/kernel_services/analysis/loop.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/loop.o -touch src/kernel_services/analysis/exn_flow.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/kernel_services/analysis/exn_flow.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/exn_flow.o -touch src/kernel_services/analysis/destructors.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/kernel_services/analysis/destructors.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/destructors.o -touch src/kernel_services/analysis/logic_interp.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/kernel_services/analysis/logic_interp.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/logic_interp.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/kernel_internals/typing/infer_annotations.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/infer_annotations.o -touch src/kernel_services/ast_transformations/clone.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/kernel_services/ast_transformations/clone.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/clone.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc @@ -5445,46 +5425,48 @@ debian/rules override_dh_ocaml make[1]: Entering directory '/build/frama-c-20171101+sulfur+dfsg' dh_ocaml --nodefined-map=frama-c-base:Big_int_Z,Z,Q -W: frama-c-base doesn't resolve dependency on unit Mstate +W: frama-c-base doesn't resolve dependency on unit Context W: frama-c-base doesn't resolve dependency on unit Definitions -W: frama-c-base doesn't resolve dependency on unit Cg -W: frama-c-base doesn't resolve dependency on unit Warning -W: frama-c-base doesn't resolve dependency on unit Marks W: frama-c-base doesn't resolve dependency on unit Vset -W: frama-c-base doesn't resolve dependency on unit Context -W: frama-c-base doesn't resolve dependency on unit Callgraph_api -W: frama-c-base doesn't resolve dependency on unit Model -W: frama-c-base doesn't resolve dependency on unit Uses -W: frama-c-base doesn't resolve dependency on unit Mcfg -W: frama-c-base doesn't resolve dependency on unit Lang -W: frama-c-base doesn't resolve dependency on unit Memory +W: frama-c-base doesn't resolve dependency on unit Marks W: frama-c-base doesn't resolve dependency on unit Conditions +W: frama-c-base doesn't resolve dependency on unit Ctypes +W: frama-c-base doesn't resolve dependency on unit Model W: frama-c-base doesn't resolve dependency on unit Cstring W: frama-c-base doesn't resolve dependency on unit Passive -W: frama-c-base doesn't resolve dependency on unit Services -W: frama-c-base doesn't resolve dependency on unit Clabels -W: frama-c-base doesn't resolve dependency on unit Separation -W: frama-c-base doesn't resolve dependency on unit Ctypes -W: frama-c-base doesn't resolve dependency on unit LogicUsage W: frama-c-base doesn't resolve dependency on unit WpPropId +W: frama-c-base doesn't resolve dependency on unit Warning +W: frama-c-base doesn't resolve dependency on unit LogicUsage +W: frama-c-base doesn't resolve dependency on unit Lang +W: frama-c-base doesn't resolve dependency on unit Separation +W: frama-c-base doesn't resolve dependency on unit Cg +W: frama-c-base doesn't resolve dependency on unit Clabels +W: frama-c-base doesn't resolve dependency on unit Uses +W: frama-c-base doesn't resolve dependency on unit Services +W: frama-c-base doesn't resolve dependency on unit Mcfg +W: frama-c-base doesn't resolve dependency on unit Callgraph_api +W: frama-c-base doesn't resolve dependency on unit Memory +W: frama-c-base doesn't resolve dependency on unit Mstate make[1]: Leaving directory '/build/frama-c-20171101+sulfur+dfsg' dh_gencontrol dh_md5sums dh_builddeb -dpkg-deb: building package 'frama-c-base-dbgsym' in '../frama-c-base-dbgsym_20171101+sulfur+dfsg-2_amd64.deb'. dpkg-deb: building package 'frama-c-base' in '../frama-c-base_20171101+sulfur+dfsg-2_amd64.deb'. +dpkg-deb: building package 'frama-c-base-dbgsym' in '../frama-c-base-dbgsym_20171101+sulfur+dfsg-2_amd64.deb'. dpkg-genbuildinfo --build=binary dpkg-genchanges --build=binary >../frama-c_20171101+sulfur+dfsg-2_amd64.changes dpkg-genchanges: info: binary-only upload (no source code included) dpkg-source --after-build . dpkg-buildpackage: info: binary-only upload (no source included) I: copying local configuration +I: user script /srv/workspace/pbuilder/14806/tmp/hooks/B01_cleanup starting +I: user script /srv/workspace/pbuilder/14806/tmp/hooks/B01_cleanup finished I: unmounting dev/ptmx filesystem I: unmounting dev/pts filesystem I: unmounting dev/shm filesystem I: unmounting proc filesystem I: unmounting sys filesystem I: cleaning the build env -I: removing directory /srv/workspace/pbuilder/62262 and its subdirectories -I: Current time: Mon Aug 9 04:40:10 -12 2021 -I: pbuilder-time-stamp: 1628527210 +I: removing directory /srv/workspace/pbuilder/14806 and its subdirectories +I: Current time: Mon Sep 12 13:09:58 +14 2022 +I: pbuilder-time-stamp: 1662937798