Provisioning bridge common infrastructure for container bridges...
Installing bridge common infrastructure from: /home/slab/Code/uberspark/src-nextgen/bridges/common
Installing to bridge namespace: /home/slab/Code/uberspark/src-nextgen/bridges
Done
Successfully populated bridge common infrastructure
building amd64 build truss...
docker build --rm -f /home/slab/Code/uberspark/src-nextgen/bridges/bldsys-bridge/uberspark/container/amd64//uberspark-bridge.Dockerfile -t uberspark/uberspark:bridges__bldsys-bridge__uberspark__container__amd64 /home/slab/Code/uberspark/src-nextgen/bridges/bldsys-bridge/uberspark/container/amd64//.
Sending build context to Docker daemon  20.48kB

Step 1/25 : FROM ocaml/opam2:alpine-3.9-opam
 ---> cb6aa86bc2e0
Step 2/25 : LABEL maintainer="Amit Vasudevan <amitvasudevan@acm.org>" author="Amit Vasudevan <amitvasudevan@acm.org>"
 ---> Using cache
 ---> 246d27daf833
Step 3/25 : ENV D_CMD=/bin/bash
 ---> Using cache
 ---> baf795d793e2
Step 4/25 : ENV D_UID=1000
 ---> Using cache
 ---> 7c02a2ef6bed
Step 5/25 : ENV D_GID=1000
 ---> Using cache
 ---> 7959880f3768
Step 6/25 : USER root
 ---> Using cache
 ---> 7905a6a6ff77
Step 7/25 : RUN apk update &&    apk upgrade &&    apk add shadow
 ---> Using cache
 ---> f98731a01a11
Step 8/25 : RUN addgroup -S uberspark &&    adduser -S uberspark -G uberspark
 ---> Using cache
 ---> 4be8cedb09e9
Step 9/25 : RUN deluser opam
 ---> Using cache
 ---> 856de6f914af
Step 10/25 : RUN apk add m4 &&    apk add git &&    apk add cmake &&    apk add flex &&    apk add bison
 ---> Using cache
 ---> 8ad57e030c75
Step 11/25 : RUN apk add python3 &&    apk add py3-pip &&    pip3 install --upgrade pip
 ---> Using cache
 ---> b11e0303fc9f
Step 12/25 : RUN pip3 install sphinx-jsondomain==0.0.3
 ---> Using cache
 ---> 9468ffadcfa6
Step 13/25 : RUN pip3 install -U sphinx==3.0.3
 ---> Using cache
 ---> 980e6f60ecb7
Step 14/25 : RUN pip3 install breathe==4.18.1
 ---> Using cache
 ---> 18ab32380785
Step 15/25 : WORKDIR "/home/uberspark"
 ---> Using cache
 ---> c35e02ca49ee
Step 16/25 : RUN wget -O doxygen-Release_1_8_20.tar.gz https://github.com/doxygen/doxygen/archive/Release_1_8_20.tar.gz &&     tar -xzf ./doxygen-Release_1_8_20.tar.gz   &&     cd doxygen-Release_1_8_20 &&     mkdir build && cd build &&     cmake -G "Unix Makefiles" .. &&    make &&    make install && cd ../.. &&     rm -rf doxygen-Release_1_8_20.tar.gz
 ---> Using cache
 ---> 5efb7c66f9cd
Step 17/25 : USER uberspark
 ---> Using cache
 ---> a504f42ffd7a
Step 18/25 : WORKDIR "/home/uberspark"
 ---> Using cache
 ---> 580d3ba7652f
Step 19/25 : RUN opam init -a --comp=4.09.0+flambda --disable-sandboxing &&     eval $(opam env) &&     opam install -y depext &&    opam install -y depext &&    opam install -y ocamlfind &&     opam install -y yojson &&     opam install -y cmdliner.1.0.4 &&     opam install -y astring.0.8.3 &&     opam install -y dune.1.11.3 &&     opam install -y cppo.1.6.6 &&     opam install -y fileutils.0.6.1
 ---> Using cache
 ---> 30a7fea81482
Step 20/25 : USER root
 ---> Using cache
 ---> 928932627cac
Step 21/25 : WORKDIR "/home/uberspark"
 ---> Using cache
 ---> f58a1fc3d7d2
Step 22/25 : RUN chmod ugo+rwx -R .
 ---> Using cache
 ---> 470305e1a220
Step 23/25 : COPY common/container/amd64/docker-entrypoint-alpine.sh /docker-entrypoint-alpine.sh
 ---> Using cache
 ---> 725f9dfcba42
Step 24/25 : RUN chmod +x /docker-entrypoint-alpine.sh
 ---> Using cache
 ---> 0649d54f83ba
Step 25/25 : CMD /docker-entrypoint-alpine.sh ${D_UID} ${D_GID} ${D_CMD}
 ---> Using cache
 ---> 8b16d7e4c3de
Successfully built 8b16d7e4c3de
Successfully tagged uberspark/uberspark:bridges__bldsys-bridge__uberspark__container__amd64
docker build --rm -f /home/slab/Code/uberspark/src-nextgen/bridges/vf-bridge/container/amd64/generic/generic/uberspark/v6.0.0/uberspark-bridge.Dockerfile -t uberspark/uberspark:bridges__vf-bridge__container__amd64__generic__generic__uberspark /home/slab/Code/uberspark/src-nextgen/bridges/vf-bridge/container/amd64/generic/generic/uberspark/v6.0.0/.
Sending build context to Docker daemon   21.5kB

Step 1/31 : FROM amd64/ubuntu:20.04 AS base
 ---> 9140108b62dc
Step 2/31 : LABEL maintainer="Amit Vasudevan <amitvasudevan@acm.org>" author="Amit Vasudevan <amitvasudevan@acm.org>"
 ---> Using cache
 ---> 8ef3b7c70961
Step 3/31 : ENV DEBIAN_FRONTEND=noninteractive
 ---> Using cache
 ---> c994bd27abca
Step 4/31 : ENV D_CMD=/bin/bash
 ---> Using cache
 ---> bbac091917d0
Step 5/31 : ENV D_UID=1000
 ---> Using cache
 ---> b32633e032a1
Step 6/31 : ENV D_GID=1000
 ---> Using cache
 ---> 198fc8b30098
Step 7/31 : USER root
 ---> Using cache
 ---> 9d6e3645ae20
Step 8/31 : RUN apt-get update -y &&    apt-get install -y --no-install-recommends apt-utils &&    apt-get install -y sudo &&    echo 'debconf debconf/frontend select Noninteractive' | debconf-set-selections
 ---> Using cache
 ---> c7e01228ee76
Step 9/31 : RUN addgroup --system uberspark &&    adduser --system --disabled-password --ingroup uberspark uberspark &&    usermod -aG sudo uberspark &&    echo '%sudo ALL=(ALL) NOPASSWD:ALL' >> /etc/sudoers
 ---> Using cache
 ---> 3017c34fa4fd
Step 10/31 : RUN apt-get update -y &&     apt-get install -y         git         build-essential         opam
 ---> Using cache
 ---> a7b30c3b98ae
Step 11/31 : WORKDIR "/home/uberspark"
 ---> Using cache
 ---> 407c1823d7ba
Step 12/31 : RUN wget https://github.com/CVC4/CVC4/releases/download/1.8/cvc4-1.8-x86_64-linux-opt
 ---> Using cache
 ---> 4e43f6f6a52d
Step 13/31 : RUN cp ./cvc4-1.8-x86_64-linux-opt /usr/local/bin/cvc4
 ---> Using cache
 ---> 6dba9bb1de37
Step 14/31 : RUN chmod +x /usr/local/bin/cvc4
 ---> Using cache
 ---> 23b314a81f90
Step 15/31 : RUN cvc4 --version
 ---> Using cache
 ---> 912851b272e6
Step 16/31 : RUN wget https://github.com/Z3Prover/z3/releases/download/z3-4.8.9/z3-4.8.9-x64-ubuntu-16.04.zip
 ---> Using cache
 ---> d4a4a144090b
Step 17/31 : RUN unzip z3-4.8.9-x64-ubuntu-16.04.zip
 ---> Using cache
 ---> ee514bb75d32
Step 18/31 : RUN cp z3-4.8.9-x64-ubuntu-16.04/bin/z3 /usr/local/bin
 ---> Using cache
 ---> da606941a98f
Step 19/31 : RUN chmod +x /usr/local/bin/z3
 ---> Using cache
 ---> 3a136a277f04
Step 20/31 : RUN z3 -version
 ---> Using cache
 ---> d16f6a3e1e74
Step 21/31 : USER uberspark
 ---> Using cache
 ---> b6aa3167d3f6
Step 22/31 : WORKDIR "/home/uberspark"
 ---> Using cache
 ---> 4af6ba149522
Step 23/31 : RUN opam init -a --comp=4.09.0+flambda --disable-sandboxing &&     eval $(opam env) &&     opam install -y depext &&    opam depext -y why3 &&    opam install -y why3 &&    opam depext -y alt-ergo &&    opam install -y alt-ergo &&    opam depext -y frama-c.20.0 &&    opam install -y frama-c.20.0
 ---> Using cache
 ---> 480db75dd996
Step 24/31 : RUN eval $(opam env) &&     opam depext -y fileutils.0.6.1 &&    opam install -y fileutils.0.6.1
 ---> Using cache
 ---> 06a85664e12f
Step 25/31 : RUN eval $(opam env) &&     why3 config --detect &&     why3 --list-provers
 ---> Using cache
 ---> 647da8f1aed7
Step 26/31 : USER root
 ---> Using cache
 ---> 29e19ee2ad38
Step 27/31 : WORKDIR "/home/uberspark"
 ---> Using cache
 ---> da9e09198390
Step 28/31 : RUN chmod ugo+rwx -R .
 ---> Using cache
 ---> db465d47a41d
Step 29/31 : COPY common/container/amd64/docker-entrypoint-ubuntu.sh /docker-entrypoint-ubuntu.sh
 ---> Using cache
 ---> 6a4e63513648
Step 30/31 : RUN chmod +x /docker-entrypoint-ubuntu.sh
 ---> Using cache
 ---> d6efc92d0aa3
Step 31/31 : CMD /docker-entrypoint-ubuntu.sh ${D_UID} ${D_GID} ${D_CMD}
 ---> Using cache
 ---> 92375909b6f2
Successfully built 92375909b6f2
Successfully tagged uberspark/uberspark:bridges__vf-bridge__container__amd64__generic__generic__uberspark
successfully built amd64 build truss!
docker run --rm -e D_CMD=" cd /home/uberspark/uberspark/build-trusses && make -f sdefpp.mk -w all" -e D_UID=" 1000" -e D_GID=" 1000" -e MAKE="make" -v /home/slab/Code/uberspark:/home/uberspark/uberspark -t  uberspark/uberspark:bridges__bldsys-bridge__uberspark__container__amd64 
# Run eval $(opam env) to update the current shell environment
make: Entering directory '/home/uberspark/uberspark/build-trusses'
cd /home/uberspark/uberspark/src-nextgen/tools/sdefpp && make -w all
make[1]: Entering directory '/home/uberspark/uberspark/src-nextgen/tools/sdefpp'
mkdir -p _build
cp -f uberspark_sdefpp.ml _build/.
cd _build && ocamlfind ocamlopt -g -ccopt -static -package unix -package str  -package yojson  -linkpkg -o uberspark_sdefpp uberspark_sdefpp.ml
File "uberspark_sdefpp.ml", line 255, characters 16-24:
255 |             let id_value = Yojson.Basic.Util.to_string (List.nth id_def_list 1) in 
                      ^^^^^^^^
Warning 26: unused variable id_value.
make[1]: Leaving directory '/home/uberspark/uberspark/src-nextgen/tools/sdefpp'
make: Leaving directory '/home/uberspark/uberspark/build-trusses'
/home/slab/Code/uberspark/_install/uberspark.json
docker run --rm -e D_CMD=" cd /home/uberspark/uberspark/build-trusses && make -f install.mk -w all" -e D_UID=" 1000" -e D_GID=" 1000" -e MAKE="make" -v /home/slab/Code/uberspark:/home/uberspark/uberspark -t  uberspark/uberspark:bridges__bldsys-bridge__uberspark__container__amd64 
# Run eval $(opam env) to update the current shell environment
make: Entering directory '/home/uberspark/uberspark/build-trusses'
Creating namespace within: /home/uberspark/uberspark/_install...
rm -rf /home/uberspark/uberspark/_install
mkdir -p /home/uberspark/uberspark/_install
mkdir -p /home/uberspark/uberspark/_install/bin
mkdir -p /home/uberspark/uberspark/_install/tools
mkdir -p /home/uberspark/uberspark/_install/tools/vbridge-plugin
mkdir -p /home/uberspark/uberspark/_install/bridges
mkdir -p /home/uberspark/uberspark/_install/docs
mkdir -p /home/uberspark/uberspark/_install/platforms
mkdir -p /home/uberspark/uberspark/_install/staging
mkdir -p /home/uberspark/uberspark/_install/staging/config
mkdir -p /home/uberspark/uberspark/_install/staging/hwm
mkdir -p /home/uberspark/uberspark/_install/staging/include
mkdir -p /home/uberspark/uberspark/_install/staging/loaders
mkdir -p /home/uberspark/uberspark/_install/staging/sentinels
mkdir -p /home/uberspark/uberspark/_install/staging/uobjs
mkdir -p /home/uberspark/uberspark/_install/staging/uobjcoll
mkdir -p /home/uberspark/uberspark/_install/staging/uobjrtl
mkdir -p /home/uberspark/uberspark/_install/staging/uobjslt
Namespace created.
cp -rf /home/uberspark/uberspark/src-nextgen/include/uberspark.h /home/uberspark/uberspark/_install/staging/include/.
/home/uberspark/uberspark/src-nextgen/tools/sdefpp/_build/uberspark_sdefpp /home/uberspark/uberspark/src-nextgen/include/basedefs.h.us /home/uberspark/uberspark/_install/staging/include/basedefs.h /home/uberspark/uberspark/src-nextgen/sdefs/basedefs.json
Using configuration json file: /home/uberspark/uberspark/src-nextgen/sdefs/basedefs.json
Successfully read json
source is c code; using c output..
Generating output file...Done!

/home/uberspark/uberspark/src-nextgen/tools/sdefpp/_build/uberspark_sdefpp /home/uberspark/uberspark/src-nextgen/include/binformat.h.us /home/uberspark/uberspark/_install/staging/include/binformat.h /home/uberspark/uberspark/src-nextgen/sdefs/binformat.json
Using configuration json file: /home/uberspark/uberspark/src-nextgen/sdefs/binformat.json
Successfully read json
source is c code; using c output..
Generating output file...Done!

Populating namespace within: /home/uberspark/uberspark/_install...
cp -rf /home/uberspark/uberspark/src-nextgen/bridges/* /home/uberspark/uberspark/_install/bridges/
cp -f /home/uberspark/uberspark/src-nextgen/tools/vbridge-plugin/top/* /home/uberspark/uberspark/_install/tools/vbridge-plugin/.
cp: cannot stat '/home/uberspark/uberspark/src-nextgen/tools/vbridge-plugin/top/*': No such file or directory
make: *** [install.mk:57: install_populateamespace] Error 1
make: Leaving directory '/home/uberspark/uberspark/build-trusses'
Makefile:197: recipe for target 'install' failed