Diff of the two buildlogs: -- --- b1/build.log 2020-08-18 02:48:37.072975628 +0000 +++ b2/build.log 2020-08-18 03:02:34.767136650 +0000 @@ -1,6 +1,6 @@ I: pbuilder: network access will be disabled during build -I: Current time: Sun Sep 19 21:02:50 -12 2021 -I: pbuilder-time-stamp: 1632128570 +I: Current time: Tue Aug 18 16:48:51 +14 2020 +I: pbuilder-time-stamp: 1597718931 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 '/var/lib/jenkins/.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/6016/tmp/hooks/D02_print_environment starting +I: user script /srv/workspace/pbuilder/16849/tmp/hooks/D01_modify_environment starting +debug: Running on codethink-sled14-arm64. +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/16849/tmp/hooks/D01_modify_environment finished +I: user script /srv/workspace/pbuilder/16849/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='arm64' - DEBIAN_FRONTEND='noninteractive' + 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]="aarch64-unknown-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=arm64 + DEBIAN_FRONTEND=noninteractive DEB_BUILD_OPTIONS='buildinfo=+all reproducible=+all parallel=8' - DISTRIBUTION='' - HOME='/var/lib/jenkins' - HOST_ARCH='arm64' + DIRSTACK=() + DISTRIBUTION= + EUID=0 + FUNCNAME=([0]="Echo" [1]="main") + GROUPS=() + HOME=/var/lib/jenkins + HOSTNAME=i-capture-the-hostname + HOSTTYPE=aarch64 + HOST_ARCH=arm64 IFS=' ' - 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='6016' - PS1='# ' - PS2='> ' + LANG=C + LANGUAGE=nl_BE:nl + LC_ALL=C + MACHTYPE=aarch64-unknown-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=16849 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.ZfEIJBR2AN/pbuilderrc_UFTl --hookdir /etc/pbuilder/first-build-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/buster-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/tmp.ZfEIJBR2AN/b1 --logfile b1/build.log frama-c_20171101+sulfur+dfsg-2.dsc' - SUDO_GID='117' - SUDO_UID='110' - SUDO_USER='jenkins' - TERM='unknown' - TZ='/usr/share/zoneinfo/Etc/GMT+12' - USER='root' - USERNAME='root' - _='/usr/bin/systemd-run' - http_proxy='http://192.168.101.16: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.ZfEIJBR2AN/pbuilderrc_1mdn --hookdir /etc/pbuilder/rebuild-hooks --debbuildopts -b --basetgz /var/cache/pbuilder/buster-reproducible-base.tgz --buildresult /srv/reproducible-results/rbuild-debian/tmp.ZfEIJBR2AN/b2 --logfile b2/build.log frama-c_20171101+sulfur+dfsg-2.dsc' + SUDO_GID=117 + SUDO_UID=110 + SUDO_USER=jenkins + TERM=unknown + TZ=/usr/share/zoneinfo/Etc/GMT-14 + UID=0 + USER=root + USERNAME=root + _='I: set' + http_proxy=http://192.168.101.16:3128 I: uname -a - Linux codethink-sled9-arm64 4.4.0-187-generic #217-Ubuntu SMP Tue Jul 21 04:16:35 UTC 2020 aarch64 GNU/Linux + Linux i-capture-the-hostname 4.4.0-187-generic #217-Ubuntu SMP Tue Jul 21 04:16:35 UTC 2020 aarch64 GNU/Linux I: ls -l /bin total 4928 - -rwxr-xr-x 1 root root 1216928 Apr 17 2019 bash - -rwxr-xr-x 3 root root 34808 Jul 10 2019 bunzip2 - -rwxr-xr-x 3 root root 34808 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 34808 Jul 10 2019 bzip2 - -rwxr-xr-x 1 root root 14264 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 35576 Feb 28 2019 cat - -rwxr-xr-x 1 root root 60256 Feb 28 2019 chgrp - -rwxr-xr-x 1 root root 56096 Feb 28 2019 chmod - -rwxr-xr-x 1 root root 64368 Feb 28 2019 chown - -rwxr-xr-x 1 root root 134632 Feb 28 2019 cp - -rwxr-xr-x 1 root root 129536 Jan 17 2019 dash - -rwxr-xr-x 1 root root 97136 Feb 28 2019 date - -rwxr-xr-x 1 root root 76736 Feb 28 2019 dd - -rwxr-xr-x 1 root root 93752 Feb 28 2019 df - -rwxr-xr-x 1 root root 138848 Feb 28 2019 dir - -rwxr-xr-x 1 root root 75984 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 31368 Feb 28 2019 echo - -rwxr-xr-x 1 root root 28 Jan 7 2019 egrep - -rwxr-xr-x 1 root root 27256 Feb 28 2019 false - -rwxr-xr-x 1 root root 28 Jan 7 2019 fgrep - -rwxr-xr-x 1 root root 68792 Jan 9 2019 findmnt - -rwsr-xr-x 1 root root 34824 Apr 22 2020 fusermount - -rwxr-xr-x 1 root root 174304 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 89656 Jan 5 2019 gzip - -rwxr-xr-x 1 root root 18440 Sep 26 2018 hostname - -rwxr-xr-x 1 root root 64472 Feb 28 2019 ln - -rwxr-xr-x 1 root root 52544 Jul 26 2018 login - -rwxr-xr-x 1 root root 138848 Feb 28 2019 ls - -rwxr-xr-x 1 root root 108552 Jan 9 2019 lsblk - -rwxr-xr-x 1 root root 76840 Feb 28 2019 mkdir - -rwxr-xr-x 1 root root 64480 Feb 28 2019 mknod - -rwxr-xr-x 1 root root 39736 Feb 28 2019 mktemp - -rwxr-xr-x 1 root root 38840 Jan 9 2019 more - -rwsr-xr-x 1 root root 47112 Jan 9 2019 mount - -rwxr-xr-x 1 root root 14344 Jan 9 2019 mountpoint - -rwxr-xr-x 1 root root 138736 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 35560 Feb 28 2019 pwd - lrwxrwxrwx 1 root root 4 Apr 17 2019 rbash -> bash - -rwxr-xr-x 1 root root 43712 Feb 28 2019 readlink - -rwxr-xr-x 1 root root 68440 Feb 28 2019 rm - -rwxr-xr-x 1 root root 39624 Feb 28 2019 rmdir - -rwxr-xr-x 1 root root 19144 Jan 21 2019 run-parts - -rwxr-xr-x 1 root root 114016 Dec 22 2018 sed - lrwxrwxrwx 1 root root 4 Sep 19 02:49 sh -> dash - -rwxr-xr-x 1 root root 31384 Feb 28 2019 sleep - -rwxr-xr-x 1 root root 72480 Feb 28 2019 stty - -rwsr-xr-x 1 root root 59424 Jan 9 2019 su - -rwxr-xr-x 1 root root 31416 Feb 28 2019 sync - -rwxr-xr-x 1 root root 449416 Apr 23 2019 tar - -rwxr-xr-x 1 root root 10560 Jan 21 2019 tempfile - -rwxr-xr-x 1 root root 88968 Feb 28 2019 touch - -rwxr-xr-x 1 root root 27256 Feb 28 2019 true - -rwxr-xr-x 1 root root 14264 Apr 22 2020 ulockmgr_server - -rwsr-xr-x 1 root root 30728 Jan 9 2019 umount - -rwxr-xr-x 1 root root 31384 Feb 28 2019 uname - -rwxr-xr-x 2 root root 2345 Jan 5 2019 uncompress - -rwxr-xr-x 1 root root 138848 Feb 28 2019 vdir - -rwxr-xr-x 1 root root 34824 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/6016/tmp/hooks/D02_print_environment finished + -rwxr-xr-x 1 root root 1216928 Apr 18 2019 bash + -rwxr-xr-x 3 root root 34808 Jul 11 2019 bunzip2 + -rwxr-xr-x 3 root root 34808 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 34808 Jul 11 2019 bzip2 + -rwxr-xr-x 1 root root 14264 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 35576 Mar 1 2019 cat + -rwxr-xr-x 1 root root 60256 Mar 1 2019 chgrp + -rwxr-xr-x 1 root root 56096 Mar 1 2019 chmod + -rwxr-xr-x 1 root root 64368 Mar 1 2019 chown + -rwxr-xr-x 1 root root 134632 Mar 1 2019 cp + -rwxr-xr-x 1 root root 129536 Jan 18 2019 dash + -rwxr-xr-x 1 root root 97136 Mar 1 2019 date + -rwxr-xr-x 1 root root 76736 Mar 1 2019 dd + -rwxr-xr-x 1 root root 93752 Mar 1 2019 df + -rwxr-xr-x 1 root root 138848 Mar 1 2019 dir + -rwxr-xr-x 1 root root 75984 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 31368 Mar 1 2019 echo + -rwxr-xr-x 1 root root 28 Jan 8 2019 egrep + -rwxr-xr-x 1 root root 27256 Mar 1 2019 false + -rwxr-xr-x 1 root root 28 Jan 8 2019 fgrep + -rwxr-xr-x 1 root root 68792 Jan 10 2019 findmnt + -rwsr-xr-x 1 root root 34824 Apr 23 09:38 fusermount + -rwxr-xr-x 1 root root 174304 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 89656 Jan 6 2019 gzip + -rwxr-xr-x 1 root root 18440 Sep 27 2018 hostname + -rwxr-xr-x 1 root root 64472 Mar 1 2019 ln + -rwxr-xr-x 1 root root 52544 Jul 27 2018 login + -rwxr-xr-x 1 root root 138848 Mar 1 2019 ls + -rwxr-xr-x 1 root root 108552 Jan 10 2019 lsblk + -rwxr-xr-x 1 root root 76840 Mar 1 2019 mkdir + -rwxr-xr-x 1 root root 64480 Mar 1 2019 mknod + -rwxr-xr-x 1 root root 39736 Mar 1 2019 mktemp + -rwxr-xr-x 1 root root 38840 Jan 10 2019 more + -rwsr-xr-x 1 root root 47112 Jan 10 2019 mount + -rwxr-xr-x 1 root root 14344 Jan 10 2019 mountpoint + -rwxr-xr-x 1 root root 138736 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 35560 Mar 1 2019 pwd + lrwxrwxrwx 1 root root 4 Apr 18 2019 rbash -> bash + -rwxr-xr-x 1 root root 43712 Mar 1 2019 readlink + -rwxr-xr-x 1 root root 68440 Mar 1 2019 rm + -rwxr-xr-x 1 root root 39624 Mar 1 2019 rmdir + -rwxr-xr-x 1 root root 19144 Jan 22 2019 run-parts + -rwxr-xr-x 1 root root 114016 Dec 23 2018 sed + lrwxrwxrwx 1 root root 4 Aug 18 16:49 sh -> bash + lrwxrwxrwx 1 root root 4 Aug 17 22:26 sh.distrib -> dash + -rwxr-xr-x 1 root root 31384 Mar 1 2019 sleep + -rwxr-xr-x 1 root root 72480 Mar 1 2019 stty + -rwsr-xr-x 1 root root 59424 Jan 10 2019 su + -rwxr-xr-x 1 root root 31416 Mar 1 2019 sync + -rwxr-xr-x 1 root root 449416 Apr 24 2019 tar + -rwxr-xr-x 1 root root 10560 Jan 22 2019 tempfile + -rwxr-xr-x 1 root root 88968 Mar 1 2019 touch + -rwxr-xr-x 1 root root 27256 Mar 1 2019 true + -rwxr-xr-x 1 root root 14264 Apr 23 09:38 ulockmgr_server + -rwsr-xr-x 1 root root 30728 Jan 10 2019 umount + -rwxr-xr-x 1 root root 31384 Mar 1 2019 uname + -rwxr-xr-x 2 root root 2345 Jan 6 2019 uncompress + -rwxr-xr-x 1 root root 138848 Mar 1 2019 vdir + -rwxr-xr-x 1 root root 34824 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/16849/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 arm64 libzarith-ocaml arm64 1.7-1 [44.8 kB] Get: 99 http://deb.debian.org/debian buster/main arm64 libzarith-ocaml-dev arm64 1.7-1 [48.8 kB] Get: 100 http://deb.debian.org/debian buster/main arm64 ocaml-findlib arm64 1.7.3-2+b1 [385 kB] -Fetched 86.5 MB in 10s (9056 kB/s) +Fetched 86.5 MB in 9s (10.2 MB/s) debconf: delaying package configuration, since apt-utils is not installed Selecting previously unselected package libbsd0:arm64. (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 ... 19168 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,6 +3147,7 @@ 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 @@ -3922,6 +3957,7 @@ \ /build/frama-c-20171101+sulfur+dfsg/lib/plugins/top/E_ACSL.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/loop_analysis -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 LoopAnalysis src/plugins/loop_analysis/options.ml +touch src/plugins/loop_analysis/region_analysis_sig.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/loop_analysis -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 LoopAnalysis src/plugins/loop_analysis/region_analysis_sig.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/loop_analysis -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 LoopAnalysis src/plugins/loop_analysis/region_analysis.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 src/kernel_services/analysis/dominators.ml @@ -4093,7 +4129,6 @@ 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/wp -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 -I src/plugins/wp/qed/bin -for-pack Wp src/plugins/wp/normAtLabels.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 src/libraries/utils/bag.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/wp -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 -I src/plugins/wp/qed/bin -for-pack Wp src/plugins/wp/wpPropId.ml -touch src/plugins/wp/mcfg.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/wp -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 -I src/plugins/wp/qed/bin -for-pack Wp src/plugins/wp/mcfg.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/wp -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 -I src/plugins/wp/qed/bin -for-pack Wp src/plugins/wp/Context.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/wp -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 -I src/plugins/wp/qed/bin -for-pack Wp src/plugins/wp/Warning.ml @@ -4803,6 +4838,7 @@ cp src/kernel_internals/runtime/messages.cmx /build/frama-c-20171101+sulfur+dfsg/lib/fc/messages.cmx mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/kernel_internals/runtime/boot.cmx /build/frama-c-20171101+sulfur+dfsg/lib/fc/boot.cmx +touch src/kernel_internals/runtime/frama_c_init.o 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 @@ -4811,21 +4847,25 @@ 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 +touch src/libraries/stdlib/FCMap.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/libraries/stdlib/FCMap.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/FCMap.o touch src/libraries/stdlib/FCBuffer.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/libraries/stdlib/FCBuffer.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/FCBuffer.o +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 mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/libraries/datatype/unmarshal.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/unmarshal.o touch src/libraries/datatype/unmarshal_z.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 @@ -4834,6 +4874,7 @@ 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 @@ -4844,13 +4885,16 @@ cp src/libraries/utils/bag.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/bag.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/libraries/utils/wto.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/wto.o +touch src/libraries/utils/vector.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/libraries/utils/vector.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/vector.o +touch src/libraries/utils/indexer.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/libraries/utils/indexer.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/indexer.o 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 touch src/libraries/utils/qstack.o @@ -4861,12 +4905,11 @@ 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 mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/libraries/utils/filepath.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/filepath.o -touch src/libraries/utils/json.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/libraries/utils/json.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/json.o -touch src/kernel_internals/runtime/config.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/kernel_internals/runtime/config.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/config.o touch src/kernel_services/plugin_entry_points/log.o @@ -4875,6 +4918,7 @@ touch src/kernel_services/cmdline_parameters/cmdline.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/kernel_services/cmdline_parameters/cmdline.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/cmdline.o +touch src/libraries/project/project_skeleton.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/libraries/project/project_skeleton.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/project_skeleton.o touch src/libraries/datatype/datatype.o @@ -4883,6 +4927,7 @@ 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 @@ -4891,6 +4936,7 @@ touch src/libraries/project/state_topological.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/libraries/project/state_topological.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/state_topological.o +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 @@ -4899,14 +4945,15 @@ 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 touch src/libraries/utils/escape.o @@ -4915,13 +4962,16 @@ 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 mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/kernel_services/plugin_entry_points/dynamic.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/dynamic.o +touch src/kernel_services/cmdline_parameters/parameter_category.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/kernel_services/cmdline_parameters/parameter_category.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/parameter_category.o +touch src/kernel_services/cmdline_parameters/parameter_customize.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/kernel_services/cmdline_parameters/parameter_customize.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/parameter_customize.o touch src/kernel_services/cmdline_parameters/parameter_state.o @@ -4939,6 +4989,7 @@ touch src/libraries/utils/unicode.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/libraries/utils/unicode.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/unicode.o +touch src/kernel_services/plugin_entry_points/emitter.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/kernel_services/plugin_entry_points/emitter.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/emitter.o touch src/libraries/utils/floating_point.o @@ -4950,12 +5001,12 @@ 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 mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/kernel_internals/typing/alpha.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/alpha.o touch src/kernel_services/ast_queries/cil_state_builder.o @@ -4970,21 +5021,25 @@ 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 mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/kernel_services/ast_queries/logic_const.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/logic_const.o touch src/kernel_services/ast_queries/cil.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/kernel_services/ast_queries/cil.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/cil.o +touch src/kernel_internals/parsing/errorloc.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/kernel_internals/parsing/errorloc.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/errorloc.o 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 @@ -5020,12 +5075,12 @@ 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 @@ -5040,29 +5095,33 @@ 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 mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/kernel_internals/parsing/clexer.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/clexer.o touch src/kernel_internals/parsing/cparser.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/kernel_internals/parsing/cparser.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/cparser.o -touch src/kernel_internals/parsing/logic_preprocess.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/kernel_internals/parsing/logic_preprocess.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/logic_preprocess.o 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 touch src/kernel_internals/typing/frontc.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 @@ -5077,6 +5136,7 @@ touch src/kernel_services/analysis/dataflows.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/kernel_services/analysis/dataflows.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/dataflows.o +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 @@ -5088,7 +5148,6 @@ 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 @@ -5097,16 +5156,18 @@ 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 mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/kernel_services/abstract_interp/lattice_messages.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/lattice_messages.o +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 @@ -5139,11 +5200,12 @@ 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 @@ -5152,6 +5214,7 @@ 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 mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/plugins/value_types/value_types.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/value_types.o touch src/plugins/value_types/widen_type.o @@ -5160,6 +5223,7 @@ touch src/plugins/value_types/function_Froms.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/plugins/value_types/function_Froms.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/function_Froms.o +touch src/plugins/value_types/inout_type.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/plugins/value_types/inout_type.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/inout_type.o touch src/plugins/pdg_types/pdgIndex.o @@ -5174,8 +5238,10 @@ 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 @@ -5184,15 +5250,19 @@ touch src/kernel_services/ast_queries/file.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/kernel_services/ast_queries/file.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/file.o +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 mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/kernel_internals/typing/asm_contracts.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/asm_contracts.o +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 @@ -5205,8 +5275,10 @@ 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 +touch src/kernel_services/ast_transformations/filter.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/kernel_services/ast_transformations/filter.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/filter.o touch src/kernel_internals/runtime/special_hooks.o @@ -5215,7 +5287,6 @@ touch src/kernel_internals/runtime/messages.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/kernel_internals/runtime/messages.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/messages.o -touch src/kernel_internals/runtime/boot.o mkdir -p /build/frama-c-20171101+sulfur+dfsg/lib/fc cp src/kernel_internals/runtime/boot.o /build/frama-c-20171101+sulfur+dfsg/lib/fc/boot.o rm -f ptests/ptests_config.ml @@ -5420,28 +5491,28 @@ 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 Mcfg +W: frama-c-base doesn't resolve dependency on unit Memory +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 Vset -W: frama-c-base doesn't resolve dependency on unit Passive W: frama-c-base doesn't resolve dependency on unit Callgraph_api -W: frama-c-base doesn't resolve dependency on unit Lang -W: frama-c-base doesn't resolve dependency on unit Warning +W: frama-c-base doesn't resolve dependency on unit Mstate +W: frama-c-base doesn't resolve dependency on unit Model +W: frama-c-base doesn't resolve dependency on unit Definitions +W: frama-c-base doesn't resolve dependency on unit WpPropId +W: frama-c-base doesn't resolve dependency on unit Context +W: frama-c-base doesn't resolve dependency on unit Mcfg W: frama-c-base doesn't resolve dependency on unit Cstring -W: frama-c-base doesn't resolve dependency on unit Memory +W: frama-c-base doesn't resolve dependency on unit Cg W: frama-c-base doesn't resolve dependency on unit Uses -W: frama-c-base doesn't resolve dependency on unit Context -W: frama-c-base doesn't resolve dependency on unit Services -W: frama-c-base doesn't resolve dependency on unit Model +W: frama-c-base doesn't resolve dependency on unit Clabels W: frama-c-base doesn't resolve dependency on unit Marks +W: frama-c-base doesn't resolve dependency on unit Warning W: frama-c-base doesn't resolve dependency on unit Conditions +W: frama-c-base doesn't resolve dependency on unit Services +W: frama-c-base doesn't resolve dependency on unit Passive W: frama-c-base doesn't resolve dependency on unit LogicUsage -W: frama-c-base doesn't resolve dependency on unit Mstate -W: frama-c-base doesn't resolve dependency on unit Separation -W: frama-c-base doesn't resolve dependency on unit WpPropId -W: frama-c-base doesn't resolve dependency on unit Clabels -W: frama-c-base doesn't resolve dependency on unit Cg -W: frama-c-base doesn't resolve dependency on unit Ctypes -W: frama-c-base doesn't resolve dependency on unit Definitions +W: frama-c-base doesn't resolve dependency on unit Lang make[1]: Leaving directory '/build/frama-c-20171101+sulfur+dfsg' dh_gencontrol dh_md5sums @@ -5454,12 +5525,14 @@ dpkg-source --after-build . dpkg-buildpackage: info: binary-only upload (no source included) I: copying local configuration +I: user script /srv/workspace/pbuilder/16849/tmp/hooks/B01_cleanup starting +I: user script /srv/workspace/pbuilder/16849/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/6016 and its subdirectories -I: Current time: Sun Sep 19 21:11:35 -12 2021 -I: pbuilder-time-stamp: 1632129095 +I: removing directory /srv/workspace/pbuilder/16849 and its subdirectories +I: Current time: Tue Aug 18 17:02:31 +14 2020 +I: pbuilder-time-stamp: 1597719751