draperlaboratory / VIBES

Verified, Incremental, Binary Editing with Synthesis
MIT License
48 stars 1 forks source link

CI failure: broken WP dependency #84

Closed codyroux closed 3 years ago

codyroux commented 3 years ago

The CI fails with the following message:

Unable to find "wp"

Scrolling up, we find that wp failed to install with the following error:

Error: Library "z3" not found

codyroux commented 3 years ago

Full dump:

Running with gitlab-runner 14.0.1 (c1edb478)
  on Gitlab Global Runner (vls7gitlabrun04) Lyyd_vqh
section_start:1625588542:resolve_secrets
Resolving secrets
section_end:1625588542:resolve_secrets
section_start:1625588542:prepare_executor
Preparing the "docker" executor
Using Docker executor with image binaryanalysisplatform/bap:latest ...
Pulling docker image binaryanalysisplatform/bap:latest ...
Using docker image sha256:6e003475ab0d47f9537513ea98b6ef76c7aa832483c84321fa71a83f4910c635 for binaryanalysisplatform/bap:latest with digest binaryanalysisplatform/bap@sha256:34433ae64f47ac5f46901d107738b3e220de26a7d710113ba1e81c9f6d85a3c1 ...
section_end:1625588661:prepare_executor
section_start:1625588661:prepare_script
Preparing environment
Running on runner-lyydvqh-project-4144-concurrent-0 via db7738d51a51...
section_end:1625588662:prepare_script
section_start:1625588662:get_sources
Getting source from Git repository
Fetching changes with git depth set to 50...
Reinitialized existing Git repository in /builds/vibes/vibes/.git/
Checking out db7e630b as main...
Removing bap-vibes/_build/
Removing bap-vibes/bap-vibes.install
Removing plugin/_build/
Removing plugin/vibes.plugin
Removing resources/exes/arm-simple-cegis/test.patched.by.vibes
Removing resources/exes/arm-simple-compiled/test.patched.by.vibes
Removing resources/exes/arm-simple-multi/test.patched.by.vibes
Removing resources/exes/arm-simple/test.patched.by.vibes
Removing resources/exes/thumb-simple-cegis/test.patched.by.vibes
Removing resources/exes/thumb-simple-compiled/test.patched.by.vibes
Removing resources/exes/thumb-simple-multi/test.patched.by.vibes
Removing resources/exes/thumb-simple/test.patched.by.vibes

Skipping Git submodules setup
section_end:1625588665:get_sources
section_start:1625588665:step_script
Executing "step_script" stage of the job script
Using docker image sha256:6e003475ab0d47f9537513ea98b6ef76c7aa832483c84321fa71a83f4910c635 for binaryanalysisplatform/bap:latest with digest binaryanalysisplatform/bap@sha256:34433ae64f47ac5f46901d107738b3e220de26a7d710113ba1e81c9f6d85a3c1 ...
$ sudo -E apt install -y qemu gcc-arm-linux-gnueabi binutils-arm-linux-gnueabi cmake

WARNING: apt does not have a stable CLI interface. Use with caution in scripts.

Reading package lists...
Building dependency tree...
Reading state information...
The following additional packages will be installed:
  acl cmake-data cpp-5-arm-linux-gnueabi cpp-arm-linux-gnueabi cpu-checker
  dbus gcc-5-arm-linux-gnueabi gcc-5-arm-linux-gnueabi-base gcc-5-cross-base
  ipxe-qemu libaio1 libarchive13 libasan2-armel-cross libasound2
  libasound2-data libasyncns0 libatomic1-armel-cross libbluetooth3
  libboost-iostreams1.58.0 libboost-random1.58.0 libboost-system1.58.0
  libboost-thread1.58.0 libbrlapi0.6 libc6-armel-cross libc6-dev-armel-cross
  libcaca0 libcacard0 libcap-ng0 libcurl3 libdbus-1-3 libfdt1 libflac8
  libgcc-5-dev-armel-cross libgcc1-armel-cross libgomp1-armel-cross libiscsi2
  libjpeg-turbo8 libjpeg8 liblzo2-2 libnspr4 libnss3 libnss3-nssdb libnuma1
  libogg0 libopus0 libpixman-1-0 libpng12-0 libpulse0 librados2 librbd1
  libsdl1.2debian libslang2 libsndfile1 libspice-server1
  libstdc++6-armel-cross libubsan0-armel-cross libusb-1.0-0 libusbredirparser1
  libvorbis0a libvorbisenc2 libwrap0 libxen-4.6 libxenstore3.0 libyajl2
  linux-libc-dev-armel-cross msr-tools qemu-block-extra qemu-slof qemu-system
  qemu-system-arm qemu-system-common qemu-system-mips qemu-system-misc
  qemu-system-ppc qemu-system-sparc qemu-system-x86 qemu-user qemu-user-binfmt
  qemu-utils seabios sharutils tcpd
Suggested packages:
  binutils-doc codeblocks eclipse ninja-build gcc-5-locales cpp-doc
  dbus-user-session | dbus-x11 gcc-5-multilib-arm-linux-gnueabi gcc-5-doc
  libgcc1-dbg-armel-cross libgomp1-dbg-armel-cross libitm1-dbg-armel-cross
  libatomic1-dbg-armel-cross libasan2-dbg-armel-cross liblsan0-dbg-armel-cross
  libtsan0-dbg-armel-cross libubsan0-dbg-armel-cross
  libcilkrts5-dbg-armel-cross libmpx0-dbg-armel-cross
  libquadmath0-dbg-armel-cross autoconf automake libtool flex bison
  gdb-arm-linux-gnueabi gcc-doc lrzip libasound2-plugins alsa-utils opus-tools
  pulseaudio qemu-user-static samba vde2 openbios-ppc openhackware kmod
  sgabios ovmf debootstrap bsd-mailx | mailx
The following NEW packages will be installed:
  acl binutils-arm-linux-gnueabi cmake cmake-data cpp-5-arm-linux-gnueabi
  cpp-arm-linux-gnueabi cpu-checker dbus gcc-5-arm-linux-gnueabi
  gcc-5-arm-linux-gnueabi-base gcc-5-cross-base gcc-arm-linux-gnueabi
  ipxe-qemu libaio1 libarchive13 libasan2-armel-cross libasound2
  libasound2-data libasyncns0 libatomic1-armel-cross libbluetooth3
  libboost-iostreams1.58.0 libboost-random1.58.0 libboost-system1.58.0
  libboost-thread1.58.0 libbrlapi0.6 libc6-armel-cross libc6-dev-armel-cross
  libcaca0 libcacard0 libcap-ng0 libcurl3 libdbus-1-3 libfdt1 libflac8
  libgcc-5-dev-armel-cross libgcc1-armel-cross libgomp1-armel-cross libiscsi2
  libjpeg-turbo8 libjpeg8 liblzo2-2 libnspr4 libnss3 libnss3-nssdb libnuma1
  libogg0 libopus0 libpixman-1-0 libpng12-0 libpulse0 librados2 librbd1
  libsdl1.2debian libslang2 libsndfile1 libspice-server1
  libstdc++6-armel-cross libubsan0-armel-cross libusb-1.0-0 libusbredirparser1
  libvorbis0a libvorbisenc2 libwrap0 libxen-4.6 libxenstore3.0 libyajl2
  linux-libc-dev-armel-cross msr-tools qemu qemu-block-extra qemu-slof
  qemu-system qemu-system-arm qemu-system-common qemu-system-mips
  qemu-system-misc qemu-system-ppc qemu-system-sparc qemu-system-x86 qemu-user
  qemu-user-binfmt qemu-utils seabios sharutils tcpd
0 upgraded, 86 newly installed, 0 to remove and 50 not upgraded.
Need to get 68.2 MB of archives.
After this operation, 348 MB of additional disk space will be used.
Get:1 http://archive.ubuntu.com/ubuntu xenial-updates/main amd64 cmake-data all 3.5.1-1ubuntu3 [1121 kB]
Get:2 http://archive.ubuntu.com/ubuntu xenial/main amd64 liblzo2-2 amd64 2.08-1.2 [48.7 kB]
Get:3 http://archive.ubuntu.com/ubuntu xenial-updates/main amd64 libarchive13 amd64 3.1.2-11ubuntu0.16.04.8 [262 kB]
Get:4 http://archive.ubuntu.com/ubuntu xenial-updates/main amd64 libcurl3 amd64 7.47.0-1ubuntu2.19 [192 kB]
Get:5 http://archive.ubuntu.com/ubuntu xenial-updates/main amd64 cmake amd64 3.5.1-1ubuntu3 [2623 kB]
Get:6 http://archive.ubuntu.com/ubuntu xenial/main amd64 libasyncns0 amd64 0.8-5build1 [12.3 kB]
Get:7 http://archive.ubuntu.com/ubuntu xenial/main amd64 libiscsi2 amd64 1.12.0-2 [51.5 kB]
Get:8 http://archive.ubuntu.com/ubuntu xenial-updates/main amd64 libjpeg-turbo8 amd64 1.4.2-0ubuntu3.4 [111 kB]
Get:9 http://archive.ubuntu.com/ubuntu xenial/main amd64 libogg0 amd64 1.3.2-1 [17.2 kB]
Get:10 http://archive.ubuntu.com/ubuntu xenial/main amd64 libwrap0 amd64 7.6.q-25 [46.2 kB]
Get:11 http://archive.ubuntu.com/ubuntu xenial/main amd64 libcap-ng0 amd64 0.7.7-1 [10.9 kB]
Get:12 http://archive.ubuntu.com/ubuntu xenial-updates/main amd64 libboost-iostreams1.58.0 amd64 1.58.0+dfsg-5ubuntu3.1 [29.0 kB]
Get:13 http://archive.ubuntu.com/ubuntu xenial-updates/main amd64 libboost-system1.58.0 amd64 1.58.0+dfsg-5ubuntu3.1 [9146 B]
Get:14 http://archive.ubuntu.com/ubuntu xenial-updates/main amd64 libboost-random1.58.0 amd64 1.58.0+dfsg-5ubuntu3.1 [11.7 kB]
Get:15 http://archive.ubuntu.com/ubuntu xenial-updates/main amd64 libboost-thread1.58.0 amd64 1.58.0+dfsg-5ubuntu3.1 [47.0 kB]
Get:16 http://archive.ubuntu.com/ubuntu xenial-updates/main amd64 libnspr4 amd64 2:4.13.1-0ubuntu0.16.04.1 [112 kB]
Get:17 http://archive.ubuntu.com/ubuntu xenial-updates/main amd64 libnss3-nssdb all 2:3.28.4-0ubuntu0.16.04.14 [10.6 kB]
Get:18 http://archive.ubuntu.com/ubuntu xenial-updates/main amd64 libnss3 amd64 2:3.28.4-0ubuntu0.16.04.14 [1232 kB]
Get:19 http://archive.ubuntu.com/ubuntu xenial-updates/main amd64 librados2 amd64 10.2.11-0ubuntu0.16.04.3 [1651 kB]
Get:20 http://archive.ubuntu.com/ubuntu xenial-updates/main amd64 librbd1 amd64 10.2.11-0ubuntu0.16.04.3 [2198 kB]
Get:21 http://archive.ubuntu.com/ubuntu xenial-updates/main amd64 qemu-block-extra amd64 1:2.5+dfsg-5ubuntu10.51 [32.4 kB]
Get:22 http://archive.ubuntu.com/ubuntu xenial/main amd64 acl amd64 2.2.52-3 [38.0 kB]
Get:23 http://archive.ubuntu.com/ubuntu xenial-updates/main amd64 qemu-system-common amd64 1:2.5+dfsg-5ubuntu10.51 [281 kB]
Get:24 http://archive.ubuntu.com/ubuntu xenial/main amd64 libyajl2 amd64 2.1.0-2 [19.6 kB]
Get:25 http://archive.ubuntu.com/ubuntu xenial-updates/main amd64 libpng12-0 amd64 1.2.54-1ubuntu1.1 [116 kB]
Get:26 http://archive.ubuntu.com/ubuntu xenial-updates/main amd64 libslang2 amd64 2.3.0-2ubuntu1.1 [415 kB]
Get:27 http://archive.ubuntu.com/ubuntu xenial-updates/main amd64 libdbus-1-3 amd64 1.10.6-1ubuntu3.6 [161 kB]
Get:28 http://archive.ubuntu.com/ubuntu xenial-updates/main amd64 dbus amd64 1.10.6-1ubuntu3.6 [141 kB]
Get:29 http://archive.ubuntu.com/ubuntu xenial-updates/main amd64 libnuma1 amd64 2.0.11-1ubuntu1.1 [21.0 kB]
Get:30 http://archive.ubuntu.com/ubuntu xenial/main amd64 libusb-1.0-0 amd64 2:1.0.20-1 [42.9 kB]
Get:31 http://archive.ubuntu.com/ubuntu xenial-updates/universe amd64 gcc-5-arm-linux-gnueabi-base amd64 5.4.0-6ubuntu1~16.04.9cross1 [24.9 kB]
Get:32 http://archive.ubuntu.com/ubuntu xenial-updates/universe amd64 cpp-5-arm-linux-gnueabi amd64 5.4.0-6ubuntu1~16.04.9cross1 [5572 kB]
Get:33 http://archive.ubuntu.com/ubuntu xenial/universe amd64 cpp-arm-linux-gnueabi amd64 4:5.3.1-1ubuntu1 [3436 B]
Get:34 http://archive.ubuntu.com/ubuntu xenial/main amd64 msr-tools amd64 1.3-2 [10.6 kB]
Get:35 http://archive.ubuntu.com/ubuntu xenial/main amd64 cpu-checker amd64 0.7-0ubuntu7 [6862 B]
Get:36 http://archive.ubuntu.com/ubuntu xenial-updates/universe amd64 binutils-arm-linux-gnueabi amd64 2.26.1-1ubuntu1~16.04.8 [2510 kB]
Get:37 http://archive.ubuntu.com/ubuntu xenial-updates/main amd64 gcc-5-cross-base all 5.4.0-6ubuntu1~16.04.9cross1 [17.7 kB]
Get:38 http://archive.ubuntu.com/ubuntu xenial/universe amd64 libc6-armel-cross all 2.23-0ubuntu3cross1 [980 kB]
Get:39 http://archive.ubuntu.com/ubuntu xenial-updates/universe amd64 libgcc1-armel-cross all 1:5.4.0-6ubuntu1~16.04.9cross1 [36.3 kB]
Get:40 http://archive.ubuntu.com/ubuntu xenial-updates/universe amd64 libgomp1-armel-cross all 5.4.0-6ubuntu1~16.04.9cross1 [50.0 kB]
Get:41 http://archive.ubuntu.com/ubuntu xenial-updates/universe amd64 libatomic1-armel-cross all 5.4.0-6ubuntu1~16.04.9cross1 [6590 B]
Get:42 http://archive.ubuntu.com/ubuntu xenial-updates/universe amd64 libasan2-armel-cross all 5.4.0-6ubuntu1~16.04.9cross1 [224 kB]
Get:43 http://archive.ubuntu.com/ubuntu xenial-updates/universe amd64 libstdc++6-armel-cross all 5.4.0-6ubuntu1~16.04.9cross1 [294 kB]
Get:44 http://archive.ubuntu.com/ubuntu xenial-updates/universe amd64 libubsan0-armel-cross all 5.4.0-6ubuntu1~16.04.9cross1 [83.3 kB]
Get:45 http://archive.ubuntu.com/ubuntu xenial-updates/universe amd64 libgcc-5-dev-armel-cross all 5.4.0-6ubuntu1~16.04.9cross1 [465 kB]
Get:46 http://archive.ubuntu.com/ubuntu xenial-updates/universe amd64 gcc-5-arm-linux-gnueabi amd64 5.4.0-6ubuntu1~16.04.9cross1 [6462 kB]
Get:47 http://archive.ubuntu.com/ubuntu xenial/universe amd64 gcc-arm-linux-gnueabi amd64 4:5.3.1-1ubuntu1 [1280 B]
Get:48 http://archive.ubuntu.com/ubuntu xenial-updates/main amd64 ipxe-qemu all 1.0.0+git-20150424.a25a16d-1ubuntu1.2 [717 kB]
Get:49 http://archive.ubuntu.com/ubuntu xenial/main amd64 libaio1 amd64 0.3.110-2 [6356 B]
Get:50 http://archive.ubuntu.com/ubuntu xenial/main amd64 libasound2-data all 1.1.0-0ubuntu1 [29.4 kB]
Get:51 http://archive.ubuntu.com/ubuntu xenial/main amd64 libasound2 amd64 1.1.0-0ubuntu1 [350 kB]
Get:52 http://archive.ubuntu.com/ubuntu xenial-updates/main amd64 libbluetooth3 amd64 5.37-0ubuntu5.3 [61.4 kB]
Get:53 http://archive.ubuntu.com/ubuntu xenial-updates/main amd64 libcaca0 amd64 0.99.beta19-2ubuntu0.16.04.2 [202 kB]
Get:54 http://archive.ubuntu.com/ubuntu xenial/main amd64 libcacard0 amd64 1:2.5.0-2 [19.7 kB]
Get:55 http://archive.ubuntu.com/ubuntu xenial/main amd64 libflac8 amd64 1.3.1-4 [210 kB]
Get:56 http://archive.ubuntu.com/ubuntu xenial/main amd64 libjpeg8 amd64 8c-2ubuntu8 [2194 B]
Get:57 http://archive.ubuntu.com/ubuntu xenial/main amd64 libopus0 amd64 1.1.2-1ubuntu1 [159 kB]
Get:58 http://archive.ubuntu.com/ubuntu xenial/main amd64 libpixman-1-0 amd64 0.33.6-1 [231 kB]
Get:59 http://archive.ubuntu.com/ubuntu xenial-updates/main amd64 libvorbis0a amd64 1.3.5-3ubuntu0.2 [86.0 kB]
Get:60 http://archive.ubuntu.com/ubuntu xenial-updates/main amd64 libvorbisenc2 amd64 1.3.5-3ubuntu0.2 [70.6 kB]
Get:61 http://archive.ubuntu.com/ubuntu xenial-updates/main amd64 libsndfile1 amd64 1.0.25-10ubuntu0.16.04.3 [139 kB]
Get:62 http://archive.ubuntu.com/ubuntu xenial-updates/main amd64 libpulse0 amd64 1:8.0-0ubuntu3.15 [252 kB]
Get:63 http://archive.ubuntu.com/ubuntu xenial-updates/main amd64 libsdl1.2debian amd64 1.2.15+dfsg1-3ubuntu0.1 [168 kB]
Get:64 http://archive.ubuntu.com/ubuntu xenial-updates/main amd64 libspice-server1 amd64 0.12.6-4ubuntu0.5 [340 kB]
Get:65 http://archive.ubuntu.com/ubuntu xenial/main amd64 libusbredirparser1 amd64 0.7.1-1 [13.6 kB]
Get:66 http://archive.ubuntu.com/ubuntu xenial-updates/main amd64 libxenstore3.0 amd64 4.6.5-0ubuntu1.4 [21.9 kB]
Get:67 http://archive.ubuntu.com/ubuntu xenial-updates/main amd64 libxen-4.6 amd64 4.6.5-0ubuntu1.4 [345 kB]
Get:68 http://archive.ubuntu.com/ubuntu xenial-updates/main amd64 libbrlapi0.6 amd64 5.3.1-2ubuntu2.1 [20.7 kB]
Get:69 http://archive.ubuntu.com/ubuntu xenial/main amd64 libfdt1 amd64 1.4.0+dfsg-2 [14.1 kB]
Get:70 http://archive.ubuntu.com/ubuntu xenial-updates/main amd64 qemu-system-arm amd64 1:2.5+dfsg-5ubuntu10.51 [4125 kB]
Get:71 http://archive.ubuntu.com/ubuntu xenial-updates/main amd64 qemu-system-mips amd64 1:2.5+dfsg-5ubuntu10.51 [3892 kB]
Get:72 http://archive.ubuntu.com/ubuntu xenial-updates/main amd64 qemu-slof all 20151103+dfsg-1ubuntu1.1 [173 kB]
Get:73 http://archive.ubuntu.com/ubuntu xenial-updates/main amd64 qemu-system-ppc amd64 1:2.5+dfsg-5ubuntu10.51 [5741 kB]
Get:74 http://archive.ubuntu.com/ubuntu xenial-updates/main amd64 qemu-system-sparc amd64 1:2.5+dfsg-5ubuntu10.51 [1988 kB]
Get:75 http://archive.ubuntu.com/ubuntu xenial/main amd64 seabios all 1.8.2-1ubuntu1 [113 kB]
Get:76 http://archive.ubuntu.com/ubuntu xenial-updates/main amd64 qemu-system-x86 amd64 1:2.5+dfsg-5ubuntu10.51 [3773 kB]
Get:77 http://archive.ubuntu.com/ubuntu xenial-updates/main amd64 qemu-system-misc amd64 1:2.5+dfsg-5ubuntu10.51 [7115 kB]
Get:78 http://archive.ubuntu.com/ubuntu xenial-updates/main amd64 qemu-system amd64 1:2.5+dfsg-5ubuntu10.51 [6124 B]
Get:79 http://archive.ubuntu.com/ubuntu xenial-updates/universe amd64 qemu-user amd64 1:2.5+dfsg-5ubuntu10.51 [6758 kB]
Get:80 http://archive.ubuntu.com/ubuntu xenial-updates/main amd64 qemu-utils amd64 1:2.5+dfsg-5ubuntu10.51 [582 kB]
Get:81 http://archive.ubuntu.com/ubuntu xenial-updates/universe amd64 qemu amd64 1:2.5+dfsg-5ubuntu10.51 [83.0 kB]
Get:82 http://archive.ubuntu.com/ubuntu xenial-updates/universe amd64 qemu-user-binfmt amd64 1:2.5+dfsg-5ubuntu10.51 [2644 B]
Get:83 http://archive.ubuntu.com/ubuntu xenial-updates/main amd64 sharutils amd64 1:4.15.2-1ubuntu0.1 [148 kB]
Get:84 http://archive.ubuntu.com/ubuntu xenial/main amd64 tcpd amd64 7.6.q-25 [23.0 kB]
Get:85 http://archive.ubuntu.com/ubuntu xenial/universe amd64 linux-libc-dev-armel-cross all 4.4.0-18.34cross1 [733 kB]
Get:86 http://archive.ubuntu.com/ubuntu xenial/universe amd64 libc6-dev-armel-cross all 2.23-0ubuntu3cross1 [1674 kB]
debconf: delaying package configuration, since apt-utils is not installed
Fetched 68.2 MB in 12s (5611 kB/s)
Selecting previously unselected package cmake-data.
(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 ... 20539 files and directories currently installed.)
Preparing to unpack .../cmake-data_3.5.1-1ubuntu3_all.deb ...
Unpacking cmake-data (3.5.1-1ubuntu3) ...
Selecting previously unselected package liblzo2-2:amd64.
Preparing to unpack .../liblzo2-2_2.08-1.2_amd64.deb ...
Unpacking liblzo2-2:amd64 (2.08-1.2) ...
Selecting previously unselected package libarchive13:amd64.
Preparing to unpack .../libarchive13_3.1.2-11ubuntu0.16.04.8_amd64.deb ...
Unpacking libarchive13:amd64 (3.1.2-11ubuntu0.16.04.8) ...
Selecting previously unselected package libcurl3:amd64.
Preparing to unpack .../libcurl3_7.47.0-1ubuntu2.19_amd64.deb ...
Unpacking libcurl3:amd64 (7.47.0-1ubuntu2.19) ...
Selecting previously unselected package cmake.
Preparing to unpack .../cmake_3.5.1-1ubuntu3_amd64.deb ...
Unpacking cmake (3.5.1-1ubuntu3) ...
Selecting previously unselected package libasyncns0:amd64.
Preparing to unpack .../libasyncns0_0.8-5build1_amd64.deb ...
Unpacking libasyncns0:amd64 (0.8-5build1) ...
Selecting previously unselected package libiscsi2:amd64.
Preparing to unpack .../libiscsi2_1.12.0-2_amd64.deb ...
Unpacking libiscsi2:amd64 (1.12.0-2) ...
Selecting previously unselected package libjpeg-turbo8:amd64.
Preparing to unpack .../libjpeg-turbo8_1.4.2-0ubuntu3.4_amd64.deb ...
Unpacking libjpeg-turbo8:amd64 (1.4.2-0ubuntu3.4) ...
Selecting previously unselected package libogg0:amd64.
Preparing to unpack .../libogg0_1.3.2-1_amd64.deb ...
Unpacking libogg0:amd64 (1.3.2-1) ...
Selecting previously unselected package libwrap0:amd64.
Preparing to unpack .../libwrap0_7.6.q-25_amd64.deb ...
Unpacking libwrap0:amd64 (7.6.q-25) ...
Selecting previously unselected package libcap-ng0:amd64.
Preparing to unpack .../libcap-ng0_0.7.7-1_amd64.deb ...
Unpacking libcap-ng0:amd64 (0.7.7-1) ...
Selecting previously unselected package libboost-iostreams1.58.0:amd64.
Preparing to unpack .../libboost-iostreams1.58.0_1.58.0+dfsg-5ubuntu3.1_amd64.deb ...
Unpacking libboost-iostreams1.58.0:amd64 (1.58.0+dfsg-5ubuntu3.1) ...
Selecting previously unselected package libboost-system1.58.0:amd64.
Preparing to unpack .../libboost-system1.58.0_1.58.0+dfsg-5ubuntu3.1_amd64.deb ...
Unpacking libboost-system1.58.0:amd64 (1.58.0+dfsg-5ubuntu3.1) ...
Selecting previously unselected package libboost-random1.58.0:amd64.
Preparing to unpack .../libboost-random1.58.0_1.58.0+dfsg-5ubuntu3.1_amd64.deb ...
Unpacking libboost-random1.58.0:amd64 (1.58.0+dfsg-5ubuntu3.1) ...
Selecting previously unselected package libboost-thread1.58.0:amd64.
Preparing to unpack .../libboost-thread1.58.0_1.58.0+dfsg-5ubuntu3.1_amd64.deb ...
Unpacking libboost-thread1.58.0:amd64 (1.58.0+dfsg-5ubuntu3.1) ...
Selecting previously unselected package libnspr4:amd64.
Preparing to unpack .../libnspr4_2%3a4.13.1-0ubuntu0.16.04.1_amd64.deb ...
Unpacking libnspr4:amd64 (2:4.13.1-0ubuntu0.16.04.1) ...
Selecting previously unselected package libnss3-nssdb.
Preparing to unpack .../libnss3-nssdb_2%3a3.28.4-0ubuntu0.16.04.14_all.deb ...
Unpacking libnss3-nssdb (2:3.28.4-0ubuntu0.16.04.14) ...
Selecting previously unselected package libnss3:amd64.
Preparing to unpack .../libnss3_2%3a3.28.4-0ubuntu0.16.04.14_amd64.deb ...
Unpacking libnss3:amd64 (2:3.28.4-0ubuntu0.16.04.14) ...
Selecting previously unselected package librados2.
Preparing to unpack .../librados2_10.2.11-0ubuntu0.16.04.3_amd64.deb ...
Unpacking librados2 (10.2.11-0ubuntu0.16.04.3) ...
Selecting previously unselected package librbd1.
Preparing to unpack .../librbd1_10.2.11-0ubuntu0.16.04.3_amd64.deb ...
Unpacking librbd1 (10.2.11-0ubuntu0.16.04.3) ...
Selecting previously unselected package qemu-block-extra:amd64.
Preparing to unpack .../qemu-block-extra_1%3a2.5+dfsg-5ubuntu10.51_amd64.deb ...
Unpacking qemu-block-extra:amd64 (1:2.5+dfsg-5ubuntu10.51) ...
Selecting previously unselected package acl.
Preparing to unpack .../acl_2.2.52-3_amd64.deb ...
Unpacking acl (2.2.52-3) ...
Selecting previously unselected package qemu-system-common.
Preparing to unpack .../qemu-system-common_1%3a2.5+dfsg-5ubuntu10.51_amd64.deb ...
Unpacking qemu-system-common (1:2.5+dfsg-5ubuntu10.51) ...
Selecting previously unselected package libyajl2:amd64.
Preparing to unpack .../libyajl2_2.1.0-2_amd64.deb ...
Unpacking libyajl2:amd64 (2.1.0-2) ...
Selecting previously unselected package libpng12-0:amd64.
Preparing to unpack .../libpng12-0_1.2.54-1ubuntu1.1_amd64.deb ...
Unpacking libpng12-0:amd64 (1.2.54-1ubuntu1.1) ...
Selecting previously unselected package libslang2:amd64.
Preparing to unpack .../libslang2_2.3.0-2ubuntu1.1_amd64.deb ...
Unpacking libslang2:amd64 (2.3.0-2ubuntu1.1) ...
Selecting previously unselected package libdbus-1-3:amd64.
Preparing to unpack .../libdbus-1-3_1.10.6-1ubuntu3.6_amd64.deb ...
Unpacking libdbus-1-3:amd64 (1.10.6-1ubuntu3.6) ...
Selecting previously unselected package dbus.
Preparing to unpack .../dbus_1.10.6-1ubuntu3.6_amd64.deb ...
Unpacking dbus (1.10.6-1ubuntu3.6) ...
Selecting previously unselected package libnuma1:amd64.
Preparing to unpack .../libnuma1_2.0.11-1ubuntu1.1_amd64.deb ...
Unpacking libnuma1:amd64 (2.0.11-1ubuntu1.1) ...
Selecting previously unselected package libusb-1.0-0:amd64.
Preparing to unpack .../libusb-1.0-0_2%3a1.0.20-1_amd64.deb ...
Unpacking libusb-1.0-0:amd64 (2:1.0.20-1) ...
Selecting previously unselected package gcc-5-arm-linux-gnueabi-base:amd64.
Preparing to unpack .../gcc-5-arm-linux-gnueabi-base_5.4.0-6ubuntu1~16.04.9cross1_amd64.deb ...
Unpacking gcc-5-arm-linux-gnueabi-base:amd64 (5.4.0-6ubuntu1~16.04.9cross1) ...
Selecting previously unselected package cpp-5-arm-linux-gnueabi.
Preparing to unpack .../cpp-5-arm-linux-gnueabi_5.4.0-6ubuntu1~16.04.9cross1_amd64.deb ...
Unpacking cpp-5-arm-linux-gnueabi (5.4.0-6ubuntu1~16.04.9cross1) ...
Selecting previously unselected package cpp-arm-linux-gnueabi.
Preparing to unpack .../cpp-arm-linux-gnueabi_4%3a5.3.1-1ubuntu1_amd64.deb ...
Unpacking cpp-arm-linux-gnueabi (4:5.3.1-1ubuntu1) ...
Selecting previously unselected package msr-tools.
Preparing to unpack .../msr-tools_1.3-2_amd64.deb ...
Unpacking msr-tools (1.3-2) ...
Selecting previously unselected package cpu-checker.
Preparing to unpack .../cpu-checker_0.7-0ubuntu7_amd64.deb ...
Unpacking cpu-checker (0.7-0ubuntu7) ...
Selecting previously unselected package binutils-arm-linux-gnueabi.
Preparing to unpack .../binutils-arm-linux-gnueabi_2.26.1-1ubuntu1~16.04.8_amd64.deb ...
Unpacking binutils-arm-linux-gnueabi (2.26.1-1ubuntu1~16.04.8) ...
Selecting previously unselected package gcc-5-cross-base.
Preparing to unpack .../gcc-5-cross-base_5.4.0-6ubuntu1~16.04.9cross1_all.deb ...
Unpacking gcc-5-cross-base (5.4.0-6ubuntu1~16.04.9cross1) ...
Selecting previously unselected package libc6-armel-cross.
Preparing to unpack .../libc6-armel-cross_2.23-0ubuntu3cross1_all.deb ...
Unpacking libc6-armel-cross (2.23-0ubuntu3cross1) ...
Selecting previously unselected package libgcc1-armel-cross.
Preparing to unpack .../libgcc1-armel-cross_1%3a5.4.0-6ubuntu1~16.04.9cross1_all.deb ...
Unpacking libgcc1-armel-cross (1:5.4.0-6ubuntu1~16.04.9cross1) ...
Selecting previously unselected package libgomp1-armel-cross.
Preparing to unpack .../libgomp1-armel-cross_5.4.0-6ubuntu1~16.04.9cross1_all.deb ...
Unpacking libgomp1-armel-cross (5.4.0-6ubuntu1~16.04.9cross1) ...
Selecting previously unselected package libatomic1-armel-cross.
Preparing to unpack .../libatomic1-armel-cross_5.4.0-6ubuntu1~16.04.9cross1_all.deb ...
Unpacking libatomic1-armel-cross (5.4.0-6ubuntu1~16.04.9cross1) ...
Selecting previously unselected package libasan2-armel-cross.
Preparing to unpack .../libasan2-armel-cross_5.4.0-6ubuntu1~16.04.9cross1_all.deb ...
Unpacking libasan2-armel-cross (5.4.0-6ubuntu1~16.04.9cross1) ...
Selecting previously unselected package libstdc++6-armel-cross.
Preparing to unpack .../libstdc++6-armel-cross_5.4.0-6ubuntu1~16.04.9cross1_all.deb ...
Unpacking libstdc++6-armel-cross (5.4.0-6ubuntu1~16.04.9cross1) ...
Selecting previously unselected package libubsan0-armel-cross.
Preparing to unpack .../libubsan0-armel-cross_5.4.0-6ubuntu1~16.04.9cross1_all.deb ...
Unpacking libubsan0-armel-cross (5.4.0-6ubuntu1~16.04.9cross1) ...
Selecting previously unselected package libgcc-5-dev-armel-cross.
Preparing to unpack .../libgcc-5-dev-armel-cross_5.4.0-6ubuntu1~16.04.9cross1_all.deb ...
Unpacking libgcc-5-dev-armel-cross (5.4.0-6ubuntu1~16.04.9cross1) ...
Selecting previously unselected package gcc-5-arm-linux-gnueabi.
Preparing to unpack .../gcc-5-arm-linux-gnueabi_5.4.0-6ubuntu1~16.04.9cross1_amd64.deb ...
Unpacking gcc-5-arm-linux-gnueabi (5.4.0-6ubuntu1~16.04.9cross1) ...
Selecting previously unselected package gcc-arm-linux-gnueabi.
Preparing to unpack .../gcc-arm-linux-gnueabi_4%3a5.3.1-1ubuntu1_amd64.deb ...
Unpacking gcc-arm-linux-gnueabi (4:5.3.1-1ubuntu1) ...
Selecting previously unselected package ipxe-qemu.
Preparing to unpack .../ipxe-qemu_1.0.0+git-20150424.a25a16d-1ubuntu1.2_all.deb ...
Unpacking ipxe-qemu (1.0.0+git-20150424.a25a16d-1ubuntu1.2) ...
Selecting previously unselected package libaio1:amd64.
Preparing to unpack .../libaio1_0.3.110-2_amd64.deb ...
Unpacking libaio1:amd64 (0.3.110-2) ...
Selecting previously unselected package libasound2-data.
Preparing to unpack .../libasound2-data_1.1.0-0ubuntu1_all.deb ...
Unpacking libasound2-data (1.1.0-0ubuntu1) ...
Selecting previously unselected package libasound2:amd64.
Preparing to unpack .../libasound2_1.1.0-0ubuntu1_amd64.deb ...
Unpacking libasound2:amd64 (1.1.0-0ubuntu1) ...
Selecting previously unselected package libbluetooth3:amd64.
Preparing to unpack .../libbluetooth3_5.37-0ubuntu5.3_amd64.deb ...
Unpacking libbluetooth3:amd64 (5.37-0ubuntu5.3) ...
Selecting previously unselected package libcaca0:amd64.
Preparing to unpack .../libcaca0_0.99.beta19-2ubuntu0.16.04.2_amd64.deb ...
Unpacking libcaca0:amd64 (0.99.beta19-2ubuntu0.16.04.2) ...
Selecting previously unselected package libcacard0:amd64.
Preparing to unpack .../libcacard0_1%3a2.5.0-2_amd64.deb ...
Unpacking libcacard0:amd64 (1:2.5.0-2) ...
Selecting previously unselected package libflac8:amd64.
Preparing to unpack .../libflac8_1.3.1-4_amd64.deb ...
Unpacking libflac8:amd64 (1.3.1-4) ...
Selecting previously unselected package libjpeg8:amd64.
Preparing to unpack .../libjpeg8_8c-2ubuntu8_amd64.deb ...
Unpacking libjpeg8:amd64 (8c-2ubuntu8) ...
Selecting previously unselected package libopus0:amd64.
Preparing to unpack .../libopus0_1.1.2-1ubuntu1_amd64.deb ...
Unpacking libopus0:amd64 (1.1.2-1ubuntu1) ...
Selecting previously unselected package libpixman-1-0:amd64.
Preparing to unpack .../libpixman-1-0_0.33.6-1_amd64.deb ...
Unpacking libpixman-1-0:amd64 (0.33.6-1) ...
Selecting previously unselected package libvorbis0a:amd64.
Preparing to unpack .../libvorbis0a_1.3.5-3ubuntu0.2_amd64.deb ...
Unpacking libvorbis0a:amd64 (1.3.5-3ubuntu0.2) ...
Selecting previously unselected package libvorbisenc2:amd64.
Preparing to unpack .../libvorbisenc2_1.3.5-3ubuntu0.2_amd64.deb ...
Unpacking libvorbisenc2:amd64 (1.3.5-3ubuntu0.2) ...
Selecting previously unselected package libsndfile1:amd64.
Preparing to unpack .../libsndfile1_1.0.25-10ubuntu0.16.04.3_amd64.deb ...
Unpacking libsndfile1:amd64 (1.0.25-10ubuntu0.16.04.3) ...
Selecting previously unselected package libpulse0:amd64.
Preparing to unpack .../libpulse0_1%3a8.0-0ubuntu3.15_amd64.deb ...
Unpacking libpulse0:amd64 (1:8.0-0ubuntu3.15) ...
Selecting previously unselected package libsdl1.2debian:amd64.
Preparing to unpack .../libsdl1.2debian_1.2.15+dfsg1-3ubuntu0.1_amd64.deb ...
Unpacking libsdl1.2debian:amd64 (1.2.15+dfsg1-3ubuntu0.1) ...
Selecting previously unselected package libspice-server1:amd64.
Preparing to unpack .../libspice-server1_0.12.6-4ubuntu0.5_amd64.deb ...
Unpacking libspice-server1:amd64 (0.12.6-4ubuntu0.5) ...
Selecting previously unselected package libusbredirparser1:amd64.
Preparing to unpack .../libusbredirparser1_0.7.1-1_amd64.deb ...
Unpacking libusbredirparser1:amd64 (0.7.1-1) ...
Selecting previously unselected package libxenstore3.0:amd64.
Preparing to unpack .../libxenstore3.0_4.6.5-0ubuntu1.4_amd64.deb ...
Unpacking libxenstore3.0:amd64 (4.6.5-0ubuntu1.4) ...
Selecting previously unselected package libxen-4.6:amd64.
Preparing to unpack .../libxen-4.6_4.6.5-0ubuntu1.4_amd64.deb ...
Unpacking libxen-4.6:amd64 (4.6.5-0ubuntu1.4) ...
Selecting previously unselected package libbrlapi0.6:amd64.
Preparing to unpack .../libbrlapi0.6_5.3.1-2ubuntu2.1_amd64.deb ...
Unpacking libbrlapi0.6:amd64 (5.3.1-2ubuntu2.1) ...
Selecting previously unselected package libfdt1:amd64.
Preparing to unpack .../libfdt1_1.4.0+dfsg-2_amd64.deb ...
Unpacking libfdt1:amd64 (1.4.0+dfsg-2) ...
Selecting previously unselected package qemu-system-arm.
Preparing to unpack .../qemu-system-arm_1%3a2.5+dfsg-5ubuntu10.51_amd64.deb ...
Unpacking qemu-system-arm (1:2.5+dfsg-5ubuntu10.51) ...
Selecting previously unselected package qemu-system-mips.
Preparing to unpack .../qemu-system-mips_1%3a2.5+dfsg-5ubuntu10.51_amd64.deb ...
Unpacking qemu-system-mips (1:2.5+dfsg-5ubuntu10.51) ...
Selecting previously unselected package qemu-slof.
Preparing to unpack .../qemu-slof_20151103+dfsg-1ubuntu1.1_all.deb ...
Unpacking qemu-slof (20151103+dfsg-1ubuntu1.1) ...
Selecting previously unselected package qemu-system-ppc.
Preparing to unpack .../qemu-system-ppc_1%3a2.5+dfsg-5ubuntu10.51_amd64.deb ...
Unpacking qemu-system-ppc (1:2.5+dfsg-5ubuntu10.51) ...
Selecting previously unselected package qemu-system-sparc.
Preparing to unpack .../qemu-system-sparc_1%3a2.5+dfsg-5ubuntu10.51_amd64.deb ...
Unpacking qemu-system-sparc (1:2.5+dfsg-5ubuntu10.51) ...
Selecting previously unselected package seabios.
Preparing to unpack .../seabios_1.8.2-1ubuntu1_all.deb ...
Unpacking seabios (1.8.2-1ubuntu1) ...
Selecting previously unselected package qemu-system-x86.
Preparing to unpack .../qemu-system-x86_1%3a2.5+dfsg-5ubuntu10.51_amd64.deb ...
Unpacking qemu-system-x86 (1:2.5+dfsg-5ubuntu10.51) ...
Selecting previously unselected package qemu-system-misc.
Preparing to unpack .../qemu-system-misc_1%3a2.5+dfsg-5ubuntu10.51_amd64.deb ...
Unpacking qemu-system-misc (1:2.5+dfsg-5ubuntu10.51) ...
Selecting previously unselected package qemu-system.
Preparing to unpack .../qemu-system_1%3a2.5+dfsg-5ubuntu10.51_amd64.deb ...
Unpacking qemu-system (1:2.5+dfsg-5ubuntu10.51) ...
Selecting previously unselected package qemu-user.
Preparing to unpack .../qemu-user_1%3a2.5+dfsg-5ubuntu10.51_amd64.deb ...
Unpacking qemu-user (1:2.5+dfsg-5ubuntu10.51) ...
Selecting previously unselected package qemu-utils.
Preparing to unpack .../qemu-utils_1%3a2.5+dfsg-5ubuntu10.51_amd64.deb ...
Unpacking qemu-utils (1:2.5+dfsg-5ubuntu10.51) ...
Selecting previously unselected package qemu.
Preparing to unpack .../qemu_1%3a2.5+dfsg-5ubuntu10.51_amd64.deb ...
Unpacking qemu (1:2.5+dfsg-5ubuntu10.51) ...
Selecting previously unselected package qemu-user-binfmt.
Preparing to unpack .../qemu-user-binfmt_1%3a2.5+dfsg-5ubuntu10.51_amd64.deb ...
Unpacking qemu-user-binfmt (1:2.5+dfsg-5ubuntu10.51) ...
Selecting previously unselected package sharutils.
Preparing to unpack .../sharutils_1%3a4.15.2-1ubuntu0.1_amd64.deb ...
Unpacking sharutils (1:4.15.2-1ubuntu0.1) ...
Selecting previously unselected package tcpd.
Preparing to unpack .../tcpd_7.6.q-25_amd64.deb ...
Unpacking tcpd (7.6.q-25) ...
Selecting previously unselected package linux-libc-dev-armel-cross.
Preparing to unpack .../linux-libc-dev-armel-cross_4.4.0-18.34cross1_all.deb ...
Unpacking linux-libc-dev-armel-cross (4.4.0-18.34cross1) ...
Selecting previously unselected package libc6-dev-armel-cross.
Preparing to unpack .../libc6-dev-armel-cross_2.23-0ubuntu3cross1_all.deb ...
Unpacking libc6-dev-armel-cross (2.23-0ubuntu3cross1) ...
Processing triggers for libc-bin (2.23-0ubuntu11.2) ...
Processing triggers for systemd (229-4ubuntu21.28) ...
Setting up cmake-data (3.5.1-1ubuntu3) ...
Setting up liblzo2-2:amd64 (2.08-1.2) ...
Setting up libarchive13:amd64 (3.1.2-11ubuntu0.16.04.8) ...
Setting up libcurl3:amd64 (7.47.0-1ubuntu2.19) ...
Setting up cmake (3.5.1-1ubuntu3) ...
Setting up libasyncns0:amd64 (0.8-5build1) ...
Setting up libiscsi2:amd64 (1.12.0-2) ...
Setting up libjpeg-turbo8:amd64 (1.4.2-0ubuntu3.4) ...
Setting up libogg0:amd64 (1.3.2-1) ...
Setting up libwrap0:amd64 (7.6.q-25) ...
Setting up libcap-ng0:amd64 (0.7.7-1) ...
Setting up libboost-iostreams1.58.0:amd64 (1.58.0+dfsg-5ubuntu3.1) ...
Setting up libboost-system1.58.0:amd64 (1.58.0+dfsg-5ubuntu3.1) ...
Setting up libboost-random1.58.0:amd64 (1.58.0+dfsg-5ubuntu3.1) ...
Setting up libboost-thread1.58.0:amd64 (1.58.0+dfsg-5ubuntu3.1) ...
Setting up libnspr4:amd64 (2:4.13.1-0ubuntu0.16.04.1) ...
Setting up acl (2.2.52-3) ...
Setting up libyajl2:amd64 (2.1.0-2) ...
Setting up libpng12-0:amd64 (1.2.54-1ubuntu1.1) ...
Setting up libslang2:amd64 (2.3.0-2ubuntu1.1) ...
Setting up libdbus-1-3:amd64 (1.10.6-1ubuntu3.6) ...
Setting up dbus (1.10.6-1ubuntu3.6) ...
Setting up libnuma1:amd64 (2.0.11-1ubuntu1.1) ...
Setting up libusb-1.0-0:amd64 (2:1.0.20-1) ...
Setting up gcc-5-arm-linux-gnueabi-base:amd64 (5.4.0-6ubuntu1~16.04.9cross1) ...
Setting up cpp-5-arm-linux-gnueabi (5.4.0-6ubuntu1~16.04.9cross1) ...
Setting up cpp-arm-linux-gnueabi (4:5.3.1-1ubuntu1) ...
Setting up msr-tools (1.3-2) ...
Setting up cpu-checker (0.7-0ubuntu7) ...
Setting up binutils-arm-linux-gnueabi (2.26.1-1ubuntu1~16.04.8) ...
Setting up gcc-5-cross-base (5.4.0-6ubuntu1~16.04.9cross1) ...
Setting up libc6-armel-cross (2.23-0ubuntu3cross1) ...
Setting up libgcc1-armel-cross (1:5.4.0-6ubuntu1~16.04.9cross1) ...
Setting up libgomp1-armel-cross (5.4.0-6ubuntu1~16.04.9cross1) ...
Setting up libatomic1-armel-cross (5.4.0-6ubuntu1~16.04.9cross1) ...
Setting up libasan2-armel-cross (5.4.0-6ubuntu1~16.04.9cross1) ...
Setting up libstdc++6-armel-cross (5.4.0-6ubuntu1~16.04.9cross1) ...
Setting up libubsan0-armel-cross (5.4.0-6ubuntu1~16.04.9cross1) ...
Setting up libgcc-5-dev-armel-cross (5.4.0-6ubuntu1~16.04.9cross1) ...
Setting up gcc-5-arm-linux-gnueabi (5.4.0-6ubuntu1~16.04.9cross1) ...
Setting up gcc-arm-linux-gnueabi (4:5.3.1-1ubuntu1) ...
Setting up ipxe-qemu (1.0.0+git-20150424.a25a16d-1ubuntu1.2) ...
Setting up libaio1:amd64 (0.3.110-2) ...
Setting up libasound2-data (1.1.0-0ubuntu1) ...
Setting up libasound2:amd64 (1.1.0-0ubuntu1) ...
Setting up libbluetooth3:amd64 (5.37-0ubuntu5.3) ...
Setting up libcaca0:amd64 (0.99.beta19-2ubuntu0.16.04.2) ...
Setting up libflac8:amd64 (1.3.1-4) ...
Setting up libjpeg8:amd64 (8c-2ubuntu8) ...
Setting up libopus0:amd64 (1.1.2-1ubuntu1) ...
Setting up libpixman-1-0:amd64 (0.33.6-1) ...
Setting up libvorbis0a:amd64 (1.3.5-3ubuntu0.2) ...
Setting up libvorbisenc2:amd64 (1.3.5-3ubuntu0.2) ...
Setting up libsndfile1:amd64 (1.0.25-10ubuntu0.16.04.3) ...
Setting up libpulse0:amd64 (1:8.0-0ubuntu3.15) ...
Setting up libsdl1.2debian:amd64 (1.2.15+dfsg1-3ubuntu0.1) ...
Setting up libspice-server1:amd64 (0.12.6-4ubuntu0.5) ...
Setting up libusbredirparser1:amd64 (0.7.1-1) ...
Setting up libxenstore3.0:amd64 (4.6.5-0ubuntu1.4) ...
Setting up libxen-4.6:amd64 (4.6.5-0ubuntu1.4) ...
Setting up libbrlapi0.6:amd64 (5.3.1-2ubuntu2.1) ...
Setting up libfdt1:amd64 (1.4.0+dfsg-2) ...
Setting up qemu-slof (20151103+dfsg-1ubuntu1.1) ...
Setting up seabios (1.8.2-1ubuntu1) ...
Setting up qemu-user (1:2.5+dfsg-5ubuntu10.51) ...
Setting up qemu-user-binfmt (1:2.5+dfsg-5ubuntu10.51) ...
update-binfmts: warning: Couldn't load the binfmt_misc module.
update-binfmts: warning: Couldn't load the binfmt_misc module.
update-binfmts: warning: Couldn't load the binfmt_misc module.
update-binfmts: warning: Couldn't load the binfmt_misc module.
update-binfmts: warning: Couldn't load the binfmt_misc module.
update-binfmts: warning: Couldn't load the binfmt_misc module.
update-binfmts: warning: Couldn't load the binfmt_misc module.
update-binfmts: warning: Couldn't load the binfmt_misc module.
update-binfmts: warning: Couldn't load the binfmt_misc module.
update-binfmts: warning: Couldn't load the binfmt_misc module.
update-binfmts: warning: Couldn't load the binfmt_misc module.
update-binfmts: warning: Couldn't load the binfmt_misc module.
update-binfmts: warning: Couldn't load the binfmt_misc module.
update-binfmts: warning: Couldn't load the binfmt_misc module.
update-binfmts: warning: Couldn't load the binfmt_misc module.
update-binfmts: warning: Couldn't load the binfmt_misc module.
update-binfmts: warning: Couldn't load the binfmt_misc module.
update-binfmts: warning: Couldn't load the binfmt_misc module.
update-binfmts: warning: Couldn't load the binfmt_misc module.
update-binfmts: warning: Couldn't load the binfmt_misc module.
update-binfmts: warning: Couldn't load the binfmt_misc module.
Setting up sharutils (1:4.15.2-1ubuntu0.1) ...
Setting up tcpd (7.6.q-25) ...
Setting up linux-libc-dev-armel-cross (4.4.0-18.34cross1) ...
Setting up libc6-dev-armel-cross (2.23-0ubuntu3cross1) ...
Setting up libnss3-nssdb (2:3.28.4-0ubuntu0.16.04.14) ...
Setting up libnss3:amd64 (2:3.28.4-0ubuntu0.16.04.14) ...
Setting up librados2 (10.2.11-0ubuntu0.16.04.3) ...
Setting up librbd1 (10.2.11-0ubuntu0.16.04.3) ...
Setting up qemu-block-extra:amd64 (1:2.5+dfsg-5ubuntu10.51) ...
Setting up qemu-system-common (1:2.5+dfsg-5ubuntu10.51) ...
invoke-rc.d: could not determine current runlevel
invoke-rc.d: policy-rc.d denied execution of start.
Setting up libcacard0:amd64 (1:2.5.0-2) ...
Setting up qemu-system-arm (1:2.5+dfsg-5ubuntu10.51) ...
Setting up qemu-system-mips (1:2.5+dfsg-5ubuntu10.51) ...
Setting up qemu-system-ppc (1:2.5+dfsg-5ubuntu10.51) ...
Setting up qemu-system-sparc (1:2.5+dfsg-5ubuntu10.51) ...
Setting up qemu-system-x86 (1:2.5+dfsg-5ubuntu10.51) ...
Setting up qemu-system-misc (1:2.5+dfsg-5ubuntu10.51) ...
Setting up qemu-system (1:2.5+dfsg-5ubuntu10.51) ...
Setting up qemu-utils (1:2.5+dfsg-5ubuntu10.51) ...
Setting up qemu (1:2.5+dfsg-5ubuntu10.51) ...
Processing triggers for libc-bin (2.23-0ubuntu11.2) ...
Processing triggers for systemd (229-4ubuntu21.28) ...
$ bash -x bin/setup/install-dependencies.bash --report-results
+ THIS_SCRIPT=bin/setup/install-dependencies.bash
+++ dirname bin/setup/install-dependencies.bash
++ cd bin/setup
++ pwd
+ THIS_DIR=/builds/vibes/vibes/bin/setup
++ cd /builds/vibes/vibes/bin/setup/../common-lib
++ pwd
+ COMMON_LIB_DIR=/builds/vibes/vibes/bin/common-lib
+ . /builds/vibes/vibes/bin/common-lib/utils.bash
+++ create_tmp_dir
+++ local DIR_NAME
+++ local ME
++++ get_me
+++++ basename bin/setup/install-dependencies.bash
++++ echo install-dependencies.bash
+++ ME=install-dependencies.bash
++++ mktemp -d /tmp/install-dependencies.bash.XXXXXXXXXXXX
+++ DIR_NAME=/tmp/install-dependencies.bash.fWcwPihmUua2
+++ echo /tmp/install-dependencies.bash.fWcwPihmUua2
++ TMP_SCRATCH_DIR=/tmp/install-dependencies.bash.fWcwPihmUua2
++ MSG_FILE=/tmp/install-dependencies.bash.fWcwPihmUua2/message.txt
++ REPORT_FILE=/tmp/install-dependencies.bash.fWcwPihmUua2/report.txt
++ SLACK_FILE=/tmp/install-dependencies.bash.fWcwPihmUua2/data.json
++ BAP_VERSION_FILE=/tmp/install-dependencies.bash.fWcwPihmUua2/bap-version.txt
++ GIT_COMMIT_FILE=/tmp/install-dependencies.bash.fWcwPihmUua2/git-commit.txt
++ echo 'Initializing message...no message yet'
++ echo 'Initializing report...nothing to report yet'
++ echo '{"username":"None yet","text":"Nothing yet"}'
++ echo 'No BAP version to report yet'
++ echo 'No commit to report yet'
++ is_bash
++ '[' -z '4.3.48(1)-release' ']'
++ return 0
++ '[' 0 -ne 0 ']'
++ THIS_SCRIPT=/builds/vibes/vibes/bin/common-lib/utils.bash
++++ dirname /builds/vibes/vibes/bin/common-lib/utils.bash
+++ cd /builds/vibes/vibes/bin/common-lib
+++ pwd
++ COMMON_LIB_DIR=/builds/vibes/vibes/bin/common-lib
+++ cd /builds/vibes/vibes/bin/common-lib/../../
+++ pwd
++ REPO_ROOT=/builds/vibes/vibes
++ '[' '!' -f /builds/vibes/vibes/.gitlab-ci.yml ']'
++ BIN_DIR=/builds/vibes/vibes/bin
+++ cd /builds/vibes/vibes/resources/exes
+++ pwd
++ EXES_DIR=/builds/vibes/vibes/resources/exes
+ . /builds/vibes/vibes/bin/common-lib/slack.bash
+ . /builds/vibes/vibes/bin/common-lib/env.bash
++ MINIZINC_URL=https://github.com/MiniZinc/MiniZincIDE/releases/download/2.5.3/MiniZincIDE-2.5.3-bundle-linux-x86_64.tgz
++ MINIZINC_BUNDLE=MiniZincIDE-2.5.3-bundle-linux-x86_64
++ MINIZINC_DIR=/home/opam/MiniZincIDE-2.5.3-bundle-linux-x86_64
++ export PATH=/home/opam/MiniZincIDE-2.5.3-bundle-linux-x86_64/bin:/home/opam/.opam/4.09/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin
++ PATH=/home/opam/MiniZincIDE-2.5.3-bundle-linux-x86_64/bin:/home/opam/.opam/4.09/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin
++ export LD_LIBRARY_PATH=/home/opam/MiniZincIDE-2.5.3-bundle-linux-x86_64/lib:
++ LD_LIBRARY_PATH=/home/opam/MiniZincIDE-2.5.3-bundle-linux-x86_64/lib:
++ BOOLECTOR_URL=https://github.com/boolector/boolector
++ BOOLECTOR_DIR=/home/opam/boolector
++ export PATH=/home/opam/boolector/build/bin:/home/opam/MiniZincIDE-2.5.3-bundle-linux-x86_64/bin:/home/opam/.opam/4.09/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin
++ PATH=/home/opam/boolector/build/bin:/home/opam/MiniZincIDE-2.5.3-bundle-linux-x86_64/bin:/home/opam/.opam/4.09/bin:/usr/local/sbin:/usr/local/bin:/usr/sbin:/usr/bin:/sbin:/bin
+ REPORT_RESULTS=false
+ ((  1  ))
+ case "${1}" in
+ REPORT_RESULTS=true
+ shift
+ ((  0  ))
+ trap clean_up EXIT
+ [[ true == \t\r\u\e ]]
+ there_is_a_SLACK_USERNAME
+ '[' -z x ']'
+ return 0
+ '[' 0 -ne 0 ']'
+ there_is_a_SLACK_URL
+ '[' -z [MASKED] ']'
+ return 0
+ '[' 0 -ne 0 ']'
++ report_file true
++ [[ true == \t\r\u\e ]]
++ echo /tmp/install-dependencies.bash.fWcwPihmUua2/report.txt
+ REPORT=/tmp/install-dependencies.bash.fWcwPihmUua2/report.txt
+ bap_version
+ bap --version
++ cat /tmp/install-dependencies.bash.fWcwPihmUua2/bap-version.txt
+ echo 'BAP_VERSION: 2.4.0-alpha+2d94822'
+ git_commit
BAP_VERSION: 2.4.0-alpha+2d94822
+ git log -1
++ cat /tmp/install-dependencies.bash.fWcwPihmUua2/git-commit.txt
+ [[ -z commit db7e630bded36bd5fa5db9d1189bc44a319c9084
Author: Cody Roux <croux@draper.com>
Date:   Tue Jul 6 10:57:06 2021 -0400

    Delete spurious 'forcing' code, add clarifying comments, type annotations and some minor name cleanup. ]]
++ cat /tmp/install-dependencies.bash.fWcwPihmUua2/git-commit.txt
+ echo -e 'GIT_COMMIT:\ncommit db7e630bded36bd5fa5db9d1189bc44a319c9084
Author: Cody Roux <croux@draper.com>
Date:   Tue Jul 6 10:57:06 2021 -0400

    Delete spurious '\''forcing'\'' code, add clarifying comments, type annotations and some minor name cleanup.'
GIT_COMMIT:
commit db7e630bded36bd5fa5db9d1189bc44a319c9084
Author: Cody Roux <croux@draper.com>
Date:   Tue Jul 6 10:57:06 2021 -0400

    Delete spurious 'forcing' code, add clarifying comments, type annotations and some minor name cleanup.

+ echo ''
++ bap list plugins
++ grep wp
++ grep 'weakest precondition'
+ WP_IS_INSTALLED=
+ '[' -z '' ']'
++ pwd
+ CURRENT_DIR=/builds/vibes/vibes
+ CBAT_DIR=/home/opam/cbat_tools
+ cd /home/opam
+ '[' -d /home/opam/cbat_tools ']'
+ git clone https://github.com/draperlaboratory/cbat_tools.git
Cloning into 'cbat_tools'...
+ cd cbat_tools/wp
+ make
UNINSTALLING PLUGIN
make -C plugin uninstall
make[1]: Entering directory '/home/opam/cbat_tools/wp/plugin'
rm -f /home/opam/.opam/4.09/share/bap/api/c/cbat.h
bapbundle remove wp.plugin
make[1]: Leaving directory '/home/opam/cbat_tools/wp/plugin'
INSTALLING LIB
make -C lib/bap_wp install
make[1]: Entering directory '/home/opam/cbat_tools/wp/lib/bap_wp'
dune build -p bap_wp
File "src/dune", line 4, characters 38-40:
4 |    (libraries bap bap-x86-cpu bap-arm z3 ounit2 re str)
                                          ^^
Error: Library "z3" not found.
Hint: try:
  dune external-lib-deps --missing --no-config --root . --ignore-promoted-rules --default-target @install --always-show-command-line --promote-install-files --release --only-packages bap_wp -p bap_wp --profile release @install
make[1]: *** [_build/install/default/lib/bap_wp/bap_wp.cmxa] Error 1
Makefile:38: recipe for target '_build/install/default/lib/bap_wp/bap_wp.cmxa' failed
make[1]: Leaving directory '/home/opam/cbat_tools/wp/lib/bap_wp'
make: *** [install.lib] Error 2
Makefile:75: recipe for target 'install.lib' failed
+ cd /builds/vibes/vibes
++ bap list plugins
++ grep wp
++ grep 'weakest precondition'
+ WP_IS_INSTALLED=
+ '[' -z '' ']'
+ echo 'Unable to find '\''wp'\'''
+ echo Halting.
+ echo 'WP does not seem to be installed.'
+ echo 'Grepped '\''bap list plugins'\'' for '\''wp'\''.'
+ echo 'Only got this: '\'''\'''
++ cat /tmp/install-dependencies.bash.fWcwPihmUua2/message.txt
+ echo 'Unable to find '\''wp'\'''
Unable to find 'wp'
++ cat /tmp/install-dependencies.bash.fWcwPihmUua2/report.txt
+ echo 'Initializing report...nothing to report yet
Halting.
WP does not seem to be installed.
Grepped '\''bap list plugins'\'' for '\''wp'\''.
Only got this: '\'''\'''
+ [[ true == \t\r\u\e ]]
+ report_to_slack
Initializing report...nothing to report yet
Halting.
WP does not seem to be installed.
Grepped 'bap list plugins' for 'wp'.
Only got this: ''
+ build_slack_payload
+ local MESSAGE
+ local BAP
+ local BRANCH
+ local COMMIT
+ local DATA
+ local TEXT
++ cat /tmp/install-dependencies.bash.fWcwPihmUua2/message.txt
+ MESSAGE='Unable to find '\''wp'\'''
++ cat /tmp/install-dependencies.bash.fWcwPihmUua2/bap-version.txt
+ BAP=2.4.0-alpha+2d94822
++ sed -z -e 's/\n/\\n/g' -e 's/\"/\\"/g' /tmp/install-dependencies.bash.fWcwPihmUua2/git-commit.txt
+ COMMIT='commit db7e630bded36bd5fa5db9d1189bc44a319c9084\nAuthor: Cody Roux <croux@draper.com>\nDate:   Tue Jul 6 10:57:06 2021 -0400\n\n    Delete spurious '\''forcing'\'' code, add clarifying comments, type annotations and some minor name cleanup.\n'
++ sed -z -e 's/\n/\\n/g' -e 's/\"/\\"/g' -e 's/'\''/\'\''/g' -e 's/`/`/g' /tmp/install-dependencies.bash.fWcwPihmUua2/report.txt
+ DATA='Initializing report...nothing to report yet\nHalting.\nWP does not seem to be installed.\nGrepped '\''bap list plugins'\'' for '\''wp'\''.\nOnly got this: '\'''\''\n'
+ TEXT='STATUS: Unable to find '\''wp'\'''
+ TEXT='STATUS: Unable to find '\''wp'\''\nBAP: 2.4.0-alpha+2d94822'
+ TEXT='STATUS: Unable to find '\''wp'\''\nBAP: 2.4.0-alpha+2d94822\nCOMMIT:\n```\ncommit db7e630bded36bd5fa5db9d1189bc44a319c9084\nAuthor: Cody Roux <croux@draper.com>\nDate:   Tue Jul 6 10:57:06 2021 -0400\n\n    Delete spurious '\''forcing'\'' code, add clarifying comments, type annotations and some minor name cleanup.\n\n```'
+ TEXT='STATUS: Unable to find '\''wp'\''\nBAP: 2.4.0-alpha+2d94822\nCOMMIT:\n```\ncommit db7e630bded36bd5fa5db9d1189bc44a319c9084\nAuthor: Cody Roux <croux@draper.com>\nDate:   Tue Jul 6 10:57:06 2021 -0400\n\n    Delete spurious '\''forcing'\'' code, add clarifying comments, type annotations and some minor name cleanup.\n\n```\nOUTPUT:\n```\nInitializing report...nothing to report yet\nHalting.\nWP does not seem to be installed.\nGrepped '\''bap list plugins'\'' for '\''wp'\''.\nOnly got this: '\'''\''\n\n```'
+ echo '{
        "username":"Your friendly neighborhood Gitlab Ghost (VIBES)",
        "text":"STATUS: Unable to find '\''wp'\''\nBAP: 2.4.0-alpha+2d94822\nCOMMIT:\n```\ncommit db7e630bded36bd5fa5db9d1189bc44a319c9084\nAuthor: Cody Roux <croux@draper.com>\nDate:   Tue Jul 6 10:57:06 2021 -0400\n\n    Delete spurious '\''forcing'\'' code, add clarifying comments, type annotations and some minor name cleanup.\n\n```\nOUTPUT:\n```\nInitializing report...nothing to report yet\nHalting.\nWP does not seem to be installed.\nGrepped '\''bap list plugins'\'' for '\''wp'\''.\nOnly got this: '\'''\''\n\n```"
    }'
+ post_to_slack
+ local OUTPUT
+ local RESULT
++ curl -X POST -H 'Content-Type: application/json' -d @/tmp/install-dependencies.bash.fWcwPihmUua2/data.json [MASKED]
  % Total    % Received % Xferd  Average Speed   Time    Time     Time  Current
                                 Dload  Upload   Total   Spent    Left  Speed

  0     0    0     0    0     0      0      0 --:--:-- --:--:-- --:--:--     0
100   572    0     2  100   570      7   2101 --:--:-- --:--:-- --:--:--  2103
ok
+ OUTPUT=ok
+ RESULT=0
+ echo ok
+ return 0
+ exit 1
+ clean_up
+ rm -rf /tmp/install-dependencies.bash.fWcwPihmUua2
section_end:1625588704:step_script
section_start:1625588704:cleanup_file_variables
Cleaning up file based variables
section_end:1625588705:cleanup_file_variables
ERROR: Job failed: exit code 1

codyroux commented 3 years ago

Ok I'm really confused now: if I directly try to make within the plugin, I get the error:

Error, Library "z3" not found.

But if I do

opam install z3

That works! Then make works as usual! What gives?

codyroux commented 3 years ago

Increasingly confused. @jtpaasch do you want to help me restore my HONOR?

codyroux commented 3 years ago

Fixed.