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 " author="Amit Vasudevan " ---> 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 " author="Amit Vasudevan " ---> 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' docker run --rm -e D_CMD=" cd /home/uberspark/uberspark/build-trusses && make -f build-docs.mk -w docs_html" -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' rm -rf /home/uberspark/uberspark/docs/_build rm -rf /home/uberspark/uberspark/docs/_themes rm -rf /home/uberspark/uberspark/docs/_temp mkdir -p /home/uberspark/uberspark/docs/_temp mkdir -p /home/uberspark/uberspark/docs/_build mkdir -p /home/uberspark/uberspark/docs/_themes # create symlink for doxygen include headers ln -s /home/uberspark/uberspark/src-nextgen/ /home/uberspark/uberspark/docs/_build/ mv -T /home/uberspark/uberspark/docs/_build/src-nextgen /home/uberspark/uberspark/docs/_build/uberspark cd /home/uberspark/uberspark/docs/_temp && git clone https://github.com/uberspark/uberspark-htmlcss-themes.git uberspark-htmlcss-themes.git Cloning into 'uberspark-htmlcss-themes.git'... remote: Enumerating objects: 758, done. remote: Counting objects: 0% (1/758) remote: Counting objects: 1% (8/758) remote: Counting objects: 2% (16/758) remote: Counting objects: 3% (23/758) remote: Counting objects: 4% (31/758) remote: Counting objects: 5% (38/758) remote: Counting objects: 6% (46/758) remote: Counting objects: 7% (54/758) remote: Counting objects: 8% (61/758) remote: Counting objects: 9% (69/758) remote: Counting objects: 10% (76/758) remote: Counting objects: 11% (84/758) remote: Counting objects: 12% (91/758) remote: Counting objects: 13% (99/758) remote: Counting objects: 14% (107/758) remote: Counting objects: 15% (114/758) remote: Counting objects: 16% (122/758) remote: Counting objects: 17% (129/758) remote: Counting objects: 18% (137/758) remote: Counting objects: 19% (145/758) remote: Counting objects: 20% (152/758) remote: Counting objects: 21% (160/758) remote: Counting objects: 22% (167/758) remote: Counting objects: 23% (175/758) remote: Counting objects: 24% (182/758) remote: Counting objects: 25% (190/758) remote: Counting objects: 26% (198/758) remote: Counting objects: 27% (205/758) remote: Counting objects: 28% (213/758) remote: Counting objects: 29% (220/758) remote: Counting objects: 30% (228/758) remote: Counting objects: 31% (235/758) remote: Counting objects: 32% (243/758) remote: Counting objects: 33% (251/758) remote: Counting objects: 34% (258/758) remote: Counting objects: 35% (266/758) remote: Counting objects: 36% (273/758) remote: Counting objects: 37% (281/758) remote: Counting objects: 38% (289/758) remote: Counting objects: 39% (296/758) remote: Counting objects: 40% (304/758) remote: Counting objects: 41% (311/758) remote: Counting objects: 42% (319/758) remote: Counting objects: 43% (326/758) remote: Counting objects: 44% (334/758) remote: Counting objects: 45% (342/758) remote: Counting objects: 46% (349/758) remote: Counting objects: 47% (357/758) remote: Counting objects: 48% (364/758) remote: Counting objects: 49% (372/758) remote: Counting objects: 50% (379/758) remote: Counting objects: 51% (387/758) remote: Counting objects: 52% (395/758) remote: Counting objects: 53% (402/758) remote: Counting objects: 54% (410/758) remote: Counting objects: 55% (417/758) remote: Counting objects: 56% (425/758) remote: Counting objects: 57% (433/758) remote: Counting objects: 58% (440/758) remote: Counting objects: 59% (448/758) remote: Counting objects: 60% (455/758) remote: Counting objects: 61% (463/758) remote: Counting objects: 62% (470/758) remote: Counting objects: 63% (478/758) remote: Counting objects: 64% (486/758) remote: Counting objects: 65% (493/758) remote: Counting objects: 66% (501/758) remote: Counting objects: 67% (508/758) remote: Counting objects: 68% (516/758) remote: Counting objects: 69% (524/758) remote: Counting objects: 70% (531/758) remote: Counting objects: 71% (539/758) remote: Counting objects: 72% (546/758) remote: Counting objects: 73% (554/758) remote: Counting objects: 74% (561/758) remote: Counting objects: 75% (569/758) remote: Counting objects: 76% (577/758) remote: Counting objects: 77% (584/758) remote: Counting objects: 78% (592/758) remote: Counting objects: 79% (599/758) remote: Counting objects: 80% (607/758) remote: Counting objects: 81% (614/758) remote: Counting objects: 82% (622/758) remote: Counting objects: 83% (630/758) remote: Counting objects: 84% (637/758) remote: Counting objects: 85% (645/758) remote: Counting objects: 86% (652/758) remote: Counting objects: 87% (660/758) remote: Counting objects: 88% (668/758) remote: Counting objects: 89% (675/758) remote: Counting objects: 90% (683/758) remote: Counting objects: 91% (690/758) remote: Counting objects: 92% (698/758) remote: Counting objects: 93% (705/758) remote: Counting objects: 94% (713/758) remote: Counting objects: 95% (721/758) remote: Counting objects: 96% (728/758) remote: Counting objects: 97% (736/758) remote: Counting objects: 98% (743/758) remote: Counting objects: 99% (751/758) remote: Counting objects: 100% (758/758) remote: Counting objects: 100% (758/758), done. remote: Compressing objects: 0% (1/414) remote: Compressing objects: 1% (5/414) remote: Compressing objects: 2% (9/414) remote: Compressing objects: 3% (13/414) remote: Compressing objects: 4% (17/414) remote: Compressing objects: 5% (21/414) remote: Compressing objects: 6% (25/414) remote: Compressing objects: 7% (29/414) remote: Compressing objects: 8% (34/414) remote: Compressing objects: 9% (38/414) remote: Compressing objects: 10% (42/414) remote: Compressing objects: 11% (46/414) remote: Compressing objects: 12% (50/414) remote: Compressing objects: 13% (54/414) remote: Compressing objects: 14% (58/414) remote: Compressing objects: 15% (63/414) remote: Compressing objects: 16% (67/414) remote: Compressing objects: 17% (71/414) remote: Compressing objects: 18% (75/414) remote: Compressing objects: 19% (79/414) remote: Compressing objects: 20% (83/414) remote: Compressing objects: 21% (87/414) remote: Compressing objects: 22% (92/414) remote: Compressing objects: 23% (96/414) remote: Compressing objects: 24% (100/414) remote: Compressing objects: 25% (104/414) remote: Compressing objects: 26% (108/414) remote: Compressing objects: 27% (112/414) remote: Compressing objects: 28% (116/414) remote: Compressing objects: 29% (121/414) remote: Compressing objects: 30% (125/414) remote: Compressing objects: 31% (129/414) remote: Compressing objects: 32% (133/414) remote: Compressing objects: 33% (137/414) remote: Compressing objects: 34% (141/414) remote: Compressing objects: 35% (145/414) remote: Compressing objects: 36% (150/414) remote: Compressing objects: 37% (154/414) remote: Compressing objects: 38% (158/414) remote: Compressing objects: 39% (162/414) remote: Compressing objects: 40% (166/414) remote: Compressing objects: 41% (170/414) remote: Compressing objects: 42% (174/414) remote: Compressing objects: 43% (179/414) remote: Compressing objects: 44% (183/414) remote: Compressing objects: 45% (187/414) remote: Compressing objects: 46% (191/414) remote: Compressing objects: 47% (195/414) remote: Compressing objects: 48% (199/414) remote: Compressing objects: 49% (203/414) remote: Compressing objects: 50% (207/414) remote: Compressing objects: 51% (212/414) remote: Compressing objects: 52% (216/414) remote: Compressing objects: 53% (220/414) remote: Compressing objects: 54% (224/414) remote: Compressing objects: 55% (228/414) remote: Compressing objects: 56% (232/414) remote: Compressing objects: 57% (236/414) remote: Compressing objects: 58% (241/414) remote: Compressing objects: 59% (245/414) remote: Compressing objects: 60% (249/414) remote: Compressing objects: 61% (253/414) remote: Compressing objects: 62% (257/414) remote: Compressing objects: 63% (261/414) remote: Compressing objects: 64% (265/414) remote: Compressing objects: 65% (270/414) remote: Compressing objects: 66% (274/414) remote: Compressing objects: 67% (278/414) remote: Compressing objects: 68% (282/414) remote: Compressing objects: 69% (286/414) remote: Compressing objects: 70% (290/414) remote: Compressing objects: 71% (294/414) remote: Compressing objects: 72% (299/414) remote: Compressing objects: 73% (303/414) remote: Compressing objects: 74% (307/414) remote: Compressing objects: 75% (311/414) remote: Compressing objects: 76% (315/414) remote: Compressing objects: 77% (319/414) remote: Compressing objects: 78% (323/414) remote: Compressing objects: 79% (328/414) remote: Compressing objects: 80% (332/414) remote: Compressing objects: 81% (336/414) remote: Compressing objects: 82% (340/414) remote: Compressing objects: 83% (344/414) remote: Compressing objects: 84% (348/414) remote: Compressing objects: 85% (352/414) remote: Compressing objects: 86% (357/414) remote: Compressing objects: 87% (361/414) remote: Compressing objects: 88% (365/414) remote: Compressing objects: 89% (369/414) remote: Compressing objects: 90% (373/414) remote: Compressing objects: 91% (377/414) remote: Compressing objects: 92% (381/414) remote: Compressing objects: 93% (386/414) remote: Compressing objects: 94% (390/414) remote: Compressing objects: 95% (394/414) remote: Compressing objects: 96% (398/414) remote: Compressing objects: 97% (402/414) remote: Compressing objects: 98% (406/414) remote: Compressing objects: 99% (410/414) remote: Compressing objects: 100% (414/414) remote: Compressing objects: 100% (414/414), done. Receiving objects: 0% (1/758) Receiving objects: 1% (8/758) Receiving objects: 2% (16/758) Receiving objects: 3% (23/758) Receiving objects: 4% (31/758) Receiving objects: 5% (38/758) Receiving objects: 6% (46/758) Receiving objects: 7% (54/758) Receiving objects: 8% (61/758) Receiving objects: 9% (69/758) Receiving objects: 10% (76/758) Receiving objects: 11% (84/758) Receiving objects: 12% (91/758) Receiving objects: 13% (99/758) Receiving objects: 14% (107/758) Receiving objects: 15% (114/758) Receiving objects: 16% (122/758) Receiving objects: 17% (129/758) Receiving objects: 18% (137/758) Receiving objects: 19% (145/758) Receiving objects: 20% (152/758) Receiving objects: 21% (160/758), 1.00 MiB | 1.99 MiB/s Receiving objects: 22% (167/758), 1.00 MiB | 1.99 MiB/s Receiving objects: 23% (175/758), 1.00 MiB | 1.99 MiB/s Receiving objects: 24% (182/758), 1.00 MiB | 1.99 MiB/s Receiving objects: 25% (190/758), 1.00 MiB | 1.99 MiB/s Receiving objects: 26% (198/758), 1.00 MiB | 1.99 MiB/s Receiving objects: 27% (205/758), 1.00 MiB | 1.99 MiB/s Receiving objects: 28% (213/758), 1.00 MiB | 1.99 MiB/s Receiving objects: 29% (220/758), 1.00 MiB | 1.99 MiB/s Receiving objects: 30% (228/758), 1.00 MiB | 1.99 MiB/s Receiving objects: 31% (235/758), 1.00 MiB | 1.99 MiB/s Receiving objects: 32% (243/758), 1.00 MiB | 1.99 MiB/s Receiving objects: 33% (251/758), 1.00 MiB | 1.99 MiB/s Receiving objects: 34% (258/758), 1.00 MiB | 1.99 MiB/s Receiving objects: 35% (266/758), 1.00 MiB | 1.99 MiB/s Receiving objects: 36% (273/758), 1.00 MiB | 1.99 MiB/s Receiving objects: 37% (281/758), 1.00 MiB | 1.99 MiB/s Receiving objects: 38% (289/758), 1.00 MiB | 1.99 MiB/s Receiving objects: 39% (296/758), 1.00 MiB | 1.99 MiB/s Receiving objects: 40% (304/758), 1.00 MiB | 1.99 MiB/s Receiving objects: 41% (311/758), 1.00 MiB | 1.99 MiB/s Receiving objects: 42% (319/758), 1.00 MiB | 1.99 MiB/s Receiving objects: 43% (326/758), 1.00 MiB | 1.99 MiB/s Receiving objects: 44% (334/758), 1.00 MiB | 1.99 MiB/s Receiving objects: 45% (342/758), 1.00 MiB | 1.99 MiB/s Receiving objects: 46% (349/758), 1.00 MiB | 1.99 MiB/s Receiving objects: 47% (357/758), 1.00 MiB | 1.99 MiB/s Receiving objects: 48% (364/758), 1.00 MiB | 1.99 MiB/s Receiving objects: 49% (372/758), 1.00 MiB | 1.99 MiB/s Receiving objects: 50% (379/758), 1.00 MiB | 1.99 MiB/s Receiving objects: 51% (387/758), 1.00 MiB | 1.99 MiB/s Receiving objects: 52% (395/758), 1.00 MiB | 1.99 MiB/s Receiving objects: 53% (402/758), 1.00 MiB | 1.99 MiB/s Receiving objects: 54% (410/758), 1.00 MiB | 1.99 MiB/s Receiving objects: 55% (417/758), 1.00 MiB | 1.99 MiB/s Receiving objects: 56% (425/758), 1.00 MiB | 1.99 MiB/s Receiving objects: 57% (433/758), 1.00 MiB | 1.99 MiB/s Receiving objects: 58% (440/758), 1.00 MiB | 1.99 MiB/s Receiving objects: 59% (448/758), 1.00 MiB | 1.99 MiB/s Receiving objects: 60% (455/758), 1.00 MiB | 1.99 MiB/s Receiving objects: 61% (463/758), 1.00 MiB | 1.99 MiB/s Receiving objects: 62% (470/758), 1.00 MiB | 1.99 MiB/s Receiving objects: 63% (478/758), 1.00 MiB | 1.99 MiB/s remote: Total 758 (delta 401), reused 657 (delta 313), pack-reused 0 Receiving objects: 64% (486/758), 1.00 MiB | 1.99 MiB/s Receiving objects: 65% (493/758), 1.00 MiB | 1.99 MiB/s Receiving objects: 66% (501/758), 1.00 MiB | 1.99 MiB/s Receiving objects: 67% (508/758), 1.00 MiB | 1.99 MiB/s Receiving objects: 68% (516/758), 1.00 MiB | 1.99 MiB/s Receiving objects: 69% (524/758), 1.00 MiB | 1.99 MiB/s Receiving objects: 70% (531/758), 1.00 MiB | 1.99 MiB/s Receiving objects: 71% (539/758), 1.00 MiB | 1.99 MiB/s Receiving objects: 72% (546/758), 1.00 MiB | 1.99 MiB/s Receiving objects: 73% (554/758), 1.00 MiB | 1.99 MiB/s Receiving objects: 74% (561/758), 1.00 MiB | 1.99 MiB/s Receiving objects: 75% (569/758), 1.00 MiB | 1.99 MiB/s Receiving objects: 76% (577/758), 1.00 MiB | 1.99 MiB/s Receiving objects: 77% (584/758), 1.00 MiB | 1.99 MiB/s Receiving objects: 78% (592/758), 1.00 MiB | 1.99 MiB/s Receiving objects: 79% (599/758), 1.00 MiB | 1.99 MiB/s Receiving objects: 80% (607/758), 1.00 MiB | 1.99 MiB/s Receiving objects: 81% (614/758), 1.00 MiB | 1.99 MiB/s Receiving objects: 82% (622/758), 1.00 MiB | 1.99 MiB/s Receiving objects: 83% (630/758), 1.00 MiB | 1.99 MiB/s Receiving objects: 84% (637/758), 1.00 MiB | 1.99 MiB/s Receiving objects: 85% (645/758), 1.00 MiB | 1.99 MiB/s Receiving objects: 86% (652/758), 1.00 MiB | 1.99 MiB/s Receiving objects: 87% (660/758), 1.00 MiB | 1.99 MiB/s Receiving objects: 88% (668/758), 1.00 MiB | 1.99 MiB/s Receiving objects: 89% (675/758), 1.00 MiB | 1.99 MiB/s Receiving objects: 90% (683/758), 1.00 MiB | 1.99 MiB/s Receiving objects: 91% (690/758), 1.00 MiB | 1.99 MiB/s Receiving objects: 92% (698/758), 1.00 MiB | 1.99 MiB/s Receiving objects: 93% (705/758), 1.00 MiB | 1.99 MiB/s Receiving objects: 94% (713/758), 1.00 MiB | 1.99 MiB/s Receiving objects: 95% (721/758), 1.00 MiB | 1.99 MiB/s Receiving objects: 96% (728/758), 1.00 MiB | 1.99 MiB/s Receiving objects: 97% (736/758), 1.00 MiB | 1.99 MiB/s Receiving objects: 98% (743/758), 1.00 MiB | 1.99 MiB/s Receiving objects: 99% (751/758), 1.00 MiB | 1.99 MiB/s Receiving objects: 100% (758/758), 1.00 MiB | 1.99 MiB/s Receiving objects: 100% (758/758), 3.19 MiB | 3.65 MiB/s, done. Resolving deltas: 0% (0/401) Resolving deltas: 2% (11/401) Resolving deltas: 3% (14/401) Resolving deltas: 14% (59/401) Resolving deltas: 15% (64/401) Resolving deltas: 16% (66/401) Resolving deltas: 17% (72/401) Resolving deltas: 18% (73/401) Resolving deltas: 20% (82/401) Resolving deltas: 21% (86/401) Resolving deltas: 23% (94/401) Resolving deltas: 24% (98/401) Resolving deltas: 25% (102/401) Resolving deltas: 35% (142/401) Resolving deltas: 36% (147/401) Resolving deltas: 37% (149/401) Resolving deltas: 41% (166/401) Resolving deltas: 44% (179/401) Resolving deltas: 50% (202/401) Resolving deltas: 56% (227/401) Resolving deltas: 57% (231/401) Resolving deltas: 61% (246/401) Resolving deltas: 63% (256/401) Resolving deltas: 64% (258/401) Resolving deltas: 66% (266/401) Resolving deltas: 70% (281/401) Resolving deltas: 72% (291/401) Resolving deltas: 73% (295/401) Resolving deltas: 74% (297/401) Resolving deltas: 81% (325/401) Resolving deltas: 82% (329/401) Resolving deltas: 87% (351/401) Resolving deltas: 88% (353/401) Resolving deltas: 89% (357/401) Resolving deltas: 91% (368/401) Resolving deltas: 93% (375/401) Resolving deltas: 94% (377/401) Resolving deltas: 100% (401/401) Resolving deltas: 100% (401/401), done. cd /home/uberspark/uberspark/docs/_themes && ln -sf ../_temp/uberspark-htmlcss-themes.git/rtd_uberspark/sphinx_rtd_theme/ rtd_uberspark sphinx-build -b html "/home/uberspark/uberspark/docs" "/home/uberspark/uberspark/docs"/_build Running Sphinx v3.0.3 building [mo]: targets for 0 po files that are out of date building [html]: targets for 33 source files that are out of date updating environment: [new config] 33 added, 0 changed, 0 removed reading sources... [ 3%] build-install reading sources... [ 6%] index reading sources... [ 9%] macros reading sources... [ 12%] nextgen-toolkit/contrib-guide/bridges reading sources... [ 15%] nextgen-toolkit/contrib-guide/docs reading sources... [ 18%] nextgen-toolkit/contrib-guide/hwm reading sources... [ 21%] nextgen-toolkit/contrib-guide/intro reading sources... [ 24%] nextgen-toolkit/contrib-guide/uobjrtl reading sources... [ 27%] nextgen-toolkit/cossdev-guide/create-uobjcoll reading sources... [ 30%] nextgen-toolkit/cossdev-guide/create-uobjs reading sources... [ 33%] nextgen-toolkit/cossdev-guide/idfunctionality reading sources... [ 36%] nextgen-toolkit/cossdev-guide/intro reading sources... [ 39%] nextgen-toolkit/cossdev-guide/prepnamespace reading sources... [ 42%] nextgen-toolkit/cossdev-guide/refactor-build reading sources... [ 45%] nextgen-toolkit/cossdev-guide/reintegrate-uobjcoll reading sources... [ 48%] nextgen-toolkit/cossdev-guide/use-uobjrtl reading sources... [ 51%] nextgen-toolkit/genuser-guide/install reading sources... [ 54%] nextgen-toolkit/genuser-guide/install-uobjsuobjcolls reading sources... [ 57%] nextgen-toolkit/genuser-guide/intro reading sources... [ 60%] nextgen-toolkit/genuser-guide/reporting reading sources... [ 63%] nextgen-toolkit/genuser-guide/staging reading sources... [ 66%] nextgen-toolkit/genuser-guide/swreq reading sources... [ 69%] nextgen-toolkit/genuser-guide/terminology411 reading sources... [ 72%] nextgen-toolkit/preface reading sources... [ 75%] nextgen-toolkit/reference/frontend-cli reading sources... [ 78%] nextgen-toolkit/reference/hwm reading sources... [ 81%] nextgen-toolkit/reference/manifest reading sources... [ 84%] nextgen-toolkit/reference/uobjrtl/crt reading sources... [ 87%] nextgen-toolkit/reference/uobjrtl/crypto reading sources... [ 90%] nextgen-toolkit/reference/uobjrtl/hw reading sources... [ 93%] nextgen-toolkit/reference/uobjrtl/intro reading sources... [ 96%] sw-requirements reading sources... [100%] verify-build-install-libs looking for now-outdated files... none found pickling environment... done checking consistency... done preparing documents... done writing output... [ 3%] build-install writing output... [ 6%] index writing output... [ 9%] macros writing output... [ 12%] nextgen-toolkit/contrib-guide/bridges writing output... [ 15%] nextgen-toolkit/contrib-guide/docs writing output... [ 18%] nextgen-toolkit/contrib-guide/hwm writing output... [ 21%] nextgen-toolkit/contrib-guide/intro writing output... [ 24%] nextgen-toolkit/contrib-guide/uobjrtl writing output... [ 27%] nextgen-toolkit/cossdev-guide/create-uobjcoll writing output... [ 30%] nextgen-toolkit/cossdev-guide/create-uobjs writing output... [ 33%] nextgen-toolkit/cossdev-guide/idfunctionality writing output... [ 36%] nextgen-toolkit/cossdev-guide/intro writing output... [ 39%] nextgen-toolkit/cossdev-guide/prepnamespace writing output... [ 42%] nextgen-toolkit/cossdev-guide/refactor-build writing output... [ 45%] nextgen-toolkit/cossdev-guide/reintegrate-uobjcoll writing output... [ 48%] nextgen-toolkit/cossdev-guide/use-uobjrtl writing output... [ 51%] nextgen-toolkit/genuser-guide/install writing output... [ 54%] nextgen-toolkit/genuser-guide/install-uobjsuobjcolls writing output... [ 57%] nextgen-toolkit/genuser-guide/intro writing output... [ 60%] nextgen-toolkit/genuser-guide/reporting writing output... [ 63%] nextgen-toolkit/genuser-guide/staging writing output... [ 66%] nextgen-toolkit/genuser-guide/swreq writing output... [ 69%] nextgen-toolkit/genuser-guide/terminology411 writing output... [ 72%] nextgen-toolkit/preface writing output... [ 75%] nextgen-toolkit/reference/frontend-cli writing output... [ 78%] nextgen-toolkit/reference/hwm writing output... [ 81%] nextgen-toolkit/reference/manifest writing output... [ 84%] nextgen-toolkit/reference/uobjrtl/crt writing output... [ 87%] nextgen-toolkit/reference/uobjrtl/crypto writing output... [ 90%] nextgen-toolkit/reference/uobjrtl/hw writing output... [ 93%] nextgen-toolkit/reference/uobjrtl/intro writing output... [ 96%] sw-requirements writing output... [100%] verify-build-install-libs generating indices...  genindexdone writing additional pages...  searchdone copying static files... ... done copying extra files... done dumping search index in English (code: en)... done dumping object inventory... done build succeeded. The HTML pages are in ../docs/_build. make: Leaving directory '/home/uberspark/uberspark/build-trusses' docker run --rm -e D_CMD=" cd /home/uberspark/uberspark/build-trusses && make -f build-frontend.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' make -f build-libs.mk -w all make[1]: Entering directory '/home/uberspark/uberspark/build-trusses' cd /home/uberspark/uberspark/src-nextgen/tools/libs && make -w all make[2]: Entering directory '/home/uberspark/uberspark/src-nextgen/tools/libs' rm -rf _build mkdir -p _build mkdir -p _build/defs /home/uberspark/uberspark/src-nextgen/tools/sdefpp/_build/uberspark_sdefpp defs/basedefs.ml.us _build/defs/basedefs.ml /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 Ocaml code; using ocaml output.. Generating output file...Done! /home/uberspark/uberspark/src-nextgen/tools/sdefpp/_build/uberspark_sdefpp defs/basedefs.mli.us _build/defs/basedefs.mli /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 Ocaml interface code; using ocaml interface output.. Generating output file...Done! /home/uberspark/uberspark/src-nextgen/tools/sdefpp/_build/uberspark_sdefpp defs/binformat.ml.us _build/defs/binformat.ml /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 Ocaml code; using ocaml output.. Generating output file...Done! /home/uberspark/uberspark/src-nextgen/tools/sdefpp/_build/uberspark_sdefpp defs/binformat.mli.us _build/defs/binformat.mli /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 Ocaml interface code; using ocaml interface output.. Generating output file...Done! cp defs.ml.cppo _build/. cp defs.mli.cppo _build/. cd _build && cppo -n defs.ml.cppo -o defs.ml cd _build && cppo -n defs.mli.cppo -o defs.mli cp -f *.ml _build/. cp uberspark_manifest.ml.cppo _build/. cd _build && cppo -n uberspark_manifest.ml.cppo -o uberspark_manifest.ml cp uberspark_bridge.ml.cppo _build/. cd _build && cppo -n uberspark_bridge.ml.cppo -o uberspark_bridge.ml cp uberspark_codegen.ml.cppo _build/. cd _build && cppo -n uberspark_codegen.ml.cppo -o uberspark_codegen.ml cp -f *.mli _build/. cp uberspark.mli.cppo _build/. cd _build && cppo -n uberspark.mli.cppo -o uberspark.mli cp -f ./META _build/. cd _build && ocamlfind ocamlc -g -c -bin-annot defs.mli uberspark_logger.mli uberspark_osservices.mli uberspark_namespace.mli uberspark_manifest.mli uberspark_config.mli uberspark_staging.mli uberspark_bridge.mli uberspark_codegen.mli uberspark_uobj.mli uberspark_uobjcoll.mli uberspark_binary.mli uberspark.mli -package fileutils -package str -package yojson File "uberspark_manifest.mli", line 36, characters 45-62: 36 | val get_json_for_manifest : string -> bool * Yojson.Basic.json ^^^^^^^^^^^^^^^^^ Alert deprecated: Yojson.Basic.json json types are being renamed and will be removed in the next Yojson major version. Use type t instead File "uberspark_manifest.mli", line 39, characters 66-83: 39 | val get_json_for_manifest_node_type : string -> string -> bool * Yojson.Basic.json * Yojson.Basic.json ^^^^^^^^^^^^^^^^^ Alert deprecated: Yojson.Basic.json json types are being renamed and will be removed in the next Yojson major version. Use type t instead File "uberspark_manifest.mli", line 39, characters 86-103: 39 | val get_json_for_manifest_node_type : string -> string -> bool * Yojson.Basic.json * Yojson.Basic.json ^^^^^^^^^^^^^^^^^ Alert deprecated: Yojson.Basic.json json types are being renamed and will be removed in the next Yojson major version. Use type t instead File "uberspark_config.mli", line 42, characters 21-38: 42 | val load_from_json : Yojson.Basic.json -> bool ^^^^^^^^^^^^^^^^^ Alert deprecated: Yojson.Basic.json json types are being renamed and will be removed in the next Yojson major version. Use type t instead File "uberspark_bridge.mli", line 59, characters 22-39: 59 | val load_from_json : Yojson.Basic.json -> bool ^^^^^^^^^^^^^^^^^ Alert deprecated: Yojson.Basic.json json types are being renamed and will be removed in the next Yojson major version. Use type t instead File "uberspark_bridge.mli", line 82, characters 22-39: 82 | val load_from_json : Yojson.Basic.json -> bool ^^^^^^^^^^^^^^^^^ Alert deprecated: Yojson.Basic.json json types are being renamed and will be removed in the next Yojson major version. Use type t instead File "uberspark_bridge.mli", line 106, characters 22-39: 106 | val load_from_json : Yojson.Basic.json -> bool ^^^^^^^^^^^^^^^^^ Alert deprecated: Yojson.Basic.json json types are being renamed and will be removed in the next Yojson major version. Use type t instead File "uberspark_bridge.mli", line 139, characters 22-39: 139 | val load_from_json : Yojson.Basic.json -> bool ^^^^^^^^^^^^^^^^^ Alert deprecated: Yojson.Basic.json json types are being renamed and will be removed in the next Yojson major version. Use type t instead File "uberspark.mli", line 370, characters 45-62: 370 | val get_json_for_manifest : string -> bool * Yojson.Basic.json ^^^^^^^^^^^^^^^^^ Alert deprecated: Yojson.Basic.json json types are being renamed and will be removed in the next Yojson major version. Use type t instead File "uberspark.mli", line 373, characters 66-83: 373 | val get_json_for_manifest_node_type : string -> string -> bool * Yojson.Basic.json * Yojson.Basic.json ^^^^^^^^^^^^^^^^^ Alert deprecated: Yojson.Basic.json json types are being renamed and will be removed in the next Yojson major version. Use type t instead File "uberspark.mli", line 373, characters 86-103: 373 | val get_json_for_manifest_node_type : string -> string -> bool * Yojson.Basic.json * Yojson.Basic.json ^^^^^^^^^^^^^^^^^ Alert deprecated: Yojson.Basic.json json types are being renamed and will be removed in the next Yojson major version. Use type t instead File "uberspark.mli", line 743, characters 21-38: 743 | val load_from_json : Yojson.Basic.json -> bool ^^^^^^^^^^^^^^^^^ Alert deprecated: Yojson.Basic.json json types are being renamed and will be removed in the next Yojson major version. Use type t instead File "uberspark.mli", line 870, characters 22-39: 870 | val load_from_json : Yojson.Basic.json -> bool ^^^^^^^^^^^^^^^^^ Alert deprecated: Yojson.Basic.json json types are being renamed and will be removed in the next Yojson major version. Use type t instead File "uberspark.mli", line 893, characters 22-39: 893 | val load_from_json : Yojson.Basic.json -> bool ^^^^^^^^^^^^^^^^^ Alert deprecated: Yojson.Basic.json json types are being renamed and will be removed in the next Yojson major version. Use type t instead File "uberspark.mli", line 917, characters 22-39: 917 | val load_from_json : Yojson.Basic.json -> bool ^^^^^^^^^^^^^^^^^ Alert deprecated: Yojson.Basic.json json types are being renamed and will be removed in the next Yojson major version. Use type t instead File "uberspark.mli", line 950, characters 22-39: 950 | val load_from_json : Yojson.Basic.json -> bool ^^^^^^^^^^^^^^^^^ Alert deprecated: Yojson.Basic.json json types are being renamed and will be removed in the next Yojson major version. Use type t instead cd _build && ocamlfind ocamlc -g -a -bin-annot defs.ml uberspark_logger.ml uberspark_osservices.ml uberspark_namespace.ml uberspark_manifest.ml uberspark_config.ml uberspark_staging.ml uberspark_bridge.ml uberspark_codegen.ml uberspark_uobj.ml uberspark_uobjcoll.ml uberspark_binary.ml uberspark.ml -package fileutils -package str -package yojson -o uberspark.cma File "uberspark_osservices.ml", line 32, characters 7-15: 32 | let filestat = Unix.stat filename in ^^^^^^^^ Warning 26: unused variable filestat. File "uberspark_manifest.ml", line 76, characters 10-27: 76 | : bool * Yojson.Basic.json = ^^^^^^^^^^^^^^^^^ Alert deprecated: Yojson.Basic.json json types are being renamed and will be removed in the next Yojson major version. Use type t instead File "uberspark_manifest.ml", line 173, characters 10-27: 173 | : bool * Yojson.Basic.json * Yojson.Basic.json = ^^^^^^^^^^^^^^^^^ Alert deprecated: Yojson.Basic.json json types are being renamed and will be removed in the next Yojson major version. Use type t instead File "uberspark_manifest.ml", line 173, characters 30-47: 173 | : bool * Yojson.Basic.json * Yojson.Basic.json = ^^^^^^^^^^^^^^^^^ Alert deprecated: Yojson.Basic.json json types are being renamed and will be removed in the next Yojson major version. Use type t instead File "uberspark_manifest.ml", line 198, characters 4-140: 198 | Uberspark_logger.log ~lvl:Uberspark_logger.Error "manifest node type '%s' is not listed within uberspark-manifest node within manifest!"; ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 5: this function application is partial, maybe some arguments are missing. File "uberspark_manifest.ml", line 285, characters 1-18: 285 | write_prologue oc; ^^^^^^^^^^^^^^^^^ Warning 10: this expression should have type unit. File "uberspark_manifest.ml", line 295, characters 1-18: 295 | write_epilogue oc; ^^^^^^^^^^^^^^^^^ Warning 10: this expression should have type unit. File "uberspark_config.ml", line 157, characters 12-29: 157 | (mf_json : Yojson.Basic.json) ^^^^^^^^^^^^^^^^^ Alert deprecated: Yojson.Basic.json json types are being renamed and will be removed in the next Yojson major version. Use type t instead File "uberspark_bridge.ml", line 252, characters 12-29: 252 | (mf_json : Yojson.Basic.json) ^^^^^^^^^^^^^^^^^ Alert deprecated: Yojson.Basic.json json types are being renamed and will be removed in the next Yojson major version. Use type t instead File "uberspark_bridge.ml", line 553, characters 12-29: 553 | (mf_json : Yojson.Basic.json) ^^^^^^^^^^^^^^^^^ Alert deprecated: Yojson.Basic.json json types are being renamed and will be removed in the next Yojson major version. Use type t instead File "uberspark_bridge.ml", line 854, characters 12-29: 854 | (mf_json : Yojson.Basic.json) ^^^^^^^^^^^^^^^^^ Alert deprecated: Yojson.Basic.json json types are being renamed and will be removed in the next Yojson major version. Use type t instead File "uberspark_bridge.ml", line 1139, characters 12-29: 1139 | (mf_json : Yojson.Basic.json) ^^^^^^^^^^^^^^^^^ Alert deprecated: Yojson.Basic.json json types are being renamed and will be removed in the next Yojson major version. Use type t instead File "uberspark_bridge.ml", line 60, characters 25-33: 60 | let (r_exitcode, r_signal, _) = Uberspark_osservices.exec_process_withlog ~stag:"docker" "docker" !cmdline in ^^^^^^^^ Warning 26: unused variable r_signal. File "uberspark_bridge.ml", line 60, characters 13-23: 60 | let (r_exitcode, r_signal, _) = Uberspark_osservices.exec_process_withlog ~stag:"docker" "docker" !cmdline in ^^^^^^^^^^ Warning 26: unused variable r_exitcode. File "uberspark_bridge.ml", line 1015, characters 5-16: 1015 | let cc_includes = ref "" in ^^^^^^^^^^^ Warning 26: unused variable cc_includes. File "uberspark_bridge.ml", line 1393, characters 5-10: 1393 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_bridge.ml", line 1403, characters 5-10: 1403 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_bridge.ml", line 1419, characters 5-10: 1419 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_bridge.ml", line 1429, characters 5-10: 1429 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_bridge.ml", line 1446, characters 5-10: 1446 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_bridge.ml", line 1456, characters 5-10: 1456 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_bridge.ml", line 1473, characters 5-10: 1473 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_bridge.ml", line 1483, characters 5-10: 1483 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobj.ml", line 1141, characters 2-46: 1141 | self#consolidate_sections_with_memory_map (); ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 10: this expression should have type unit. File "uberspark_uobj.ml", line 1239, characters 4-31: 1239 | ?(context_path_builddir = ".") ^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 16: this optional argument cannot be erased. File "uberspark_uobj.ml", line 236, characters 6-11: 236 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobj.ml", line 247, characters 6-11: 247 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobj.ml", line 270, characters 6-11: 270 | let dummy=0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobj.ml", line 274, characters 6-11: 274 | let dummy = 0 in ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobj.ml", line 284, characters 6-11: 284 | let dummy = 0 in ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobj.ml", line 290, characters 6-11: 290 | let dummy = 0 in ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobj.ml", line 299, characters 6-11: 299 | let dummy = 0 in ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobj.ml", line 304, characters 6-11: 304 | let dummy = 0 in ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobj.ml", line 310, characters 6-11: 310 | let dummy = 0 in ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobj.ml", line 1095, characters 6-11: 1095 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobj.ml", line 1116, characters 6-11: 1116 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobj.ml", line 1135, characters 6-11: 1135 | let dummy=0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobj.ml", line 1285, characters 6-11: 1285 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobj.ml", line 1330, characters 6-11: 1330 | let dummy =0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobj.ml", line 1340, characters 6-11: 1340 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobj.ml", line 1350, characters 6-11: 1350 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobj.ml", line 1361, characters 6-11: 1361 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobj.ml", line 1389, characters 6-11: 1389 | let dummy =0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobj.ml", line 1404, characters 6-11: 1404 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobj.ml", line 1444, characters 5-10: 1444 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobj.ml", line 1457, characters 5-10: 1457 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobj.ml", line 1463, characters 5-10: 1463 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobj.ml", line 1517, characters 5-10: 1517 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobj.ml", line 1552, characters 5-10: 1552 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobjcoll.ml", line 159, characters 5-10: 159 | let dummy=0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobjcoll.ml", line 173, characters 5-10: 173 | let dummy=0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobjcoll.ml", line 177, characters 5-10: 177 | let dummy=0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobjcoll.ml", line 182, characters 5-10: 182 | let dummy=0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobjcoll.ml", line 282, characters 5-10: 282 | let dummy=0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobjcoll.ml", line 313, characters 5-10: 313 | let dummy=0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobjcoll.ml", line 406, characters 5-10: 406 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobjcoll.ml", line 455, characters 5-10: 455 | let dummy=0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobjcoll.ml", line 1052, characters 5-23: 1052 | let in_namespace_build = ref false in ^^^^^^^^^^^^^^^^^^ Warning 26: unused variable in_namespace_build. File "uberspark_uobjcoll.ml", line 1055, characters 5-10: 1055 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobjcoll.ml", line 1081, characters 5-10: 1081 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobjcoll.ml", line 1103, characters 5-10: 1103 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobjcoll.ml", line 1117, characters 5-10: 1117 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobjcoll.ml", line 1137, characters 5-10: 1137 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobjcoll.ml", line 1148, characters 5-10: 1148 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobjcoll.ml", line 1153, characters 5-10: 1153 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobjcoll.ml", line 1178, characters 5-10: 1178 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobjcoll.ml", line 1193, characters 5-10: 1193 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobjcoll.ml", line 1199, characters 5-10: 1199 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobjcoll.ml", line 1205, characters 5-10: 1205 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobjcoll.ml", line 1212, characters 5-10: 1212 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobjcoll.ml", line 1219, characters 5-10: 1219 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobjcoll.ml", line 1235, characters 5-10: 1235 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobjcoll.ml", line 1240, characters 5-10: 1240 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobjcoll.ml", line 1245, characters 5-10: 1245 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobjcoll.ml", line 1270, characters 5-10: 1270 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobjcoll.ml", line 1283, characters 5-10: 1283 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobjcoll.ml", line 1363, characters 5-10: 1363 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobjcoll.ml", line 1369, characters 5-10: 1369 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobjcoll.ml", line 1391, characters 5-10: 1391 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobjcoll.ml", line 1404, characters 5-10: 1404 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobjcoll.ml", line 1484, characters 5-10: 1484 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobjcoll.ml", line 1501, characters 5-10: 1501 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobjcoll.ml", line 1513, characters 5-10: 1513 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobjcoll.ml", line 1527, characters 5-10: 1527 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobjcoll.ml", line 1536, characters 5-10: 1536 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobjcoll.ml", line 1542, characters 5-10: 1542 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. cd _build && ocamlfind ocamlopt -g -a -bin-annot -ccopt -static defs.ml uberspark_logger.ml uberspark_osservices.ml uberspark_namespace.ml uberspark_manifest.ml uberspark_config.ml uberspark_staging.ml uberspark_bridge.ml uberspark_codegen.ml uberspark_uobj.ml uberspark_uobjcoll.ml uberspark_binary.ml uberspark.ml -package fileutils -package str -package yojson -o uberspark.cmxa File "uberspark_osservices.ml", line 32, characters 7-15: 32 | let filestat = Unix.stat filename in ^^^^^^^^ Warning 26: unused variable filestat. File "uberspark_manifest.ml", line 76, characters 10-27: 76 | : bool * Yojson.Basic.json = ^^^^^^^^^^^^^^^^^ Alert deprecated: Yojson.Basic.json json types are being renamed and will be removed in the next Yojson major version. Use type t instead File "uberspark_manifest.ml", line 173, characters 10-27: 173 | : bool * Yojson.Basic.json * Yojson.Basic.json = ^^^^^^^^^^^^^^^^^ Alert deprecated: Yojson.Basic.json json types are being renamed and will be removed in the next Yojson major version. Use type t instead File "uberspark_manifest.ml", line 173, characters 30-47: 173 | : bool * Yojson.Basic.json * Yojson.Basic.json = ^^^^^^^^^^^^^^^^^ Alert deprecated: Yojson.Basic.json json types are being renamed and will be removed in the next Yojson major version. Use type t instead File "uberspark_manifest.ml", line 198, characters 4-140: 198 | Uberspark_logger.log ~lvl:Uberspark_logger.Error "manifest node type '%s' is not listed within uberspark-manifest node within manifest!"; ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 5: this function application is partial, maybe some arguments are missing. File "uberspark_manifest.ml", line 285, characters 1-18: 285 | write_prologue oc; ^^^^^^^^^^^^^^^^^ Warning 10: this expression should have type unit. File "uberspark_manifest.ml", line 295, characters 1-18: 295 | write_epilogue oc; ^^^^^^^^^^^^^^^^^ Warning 10: this expression should have type unit. File "uberspark_config.ml", line 157, characters 12-29: 157 | (mf_json : Yojson.Basic.json) ^^^^^^^^^^^^^^^^^ Alert deprecated: Yojson.Basic.json json types are being renamed and will be removed in the next Yojson major version. Use type t instead File "uberspark_bridge.ml", line 252, characters 12-29: 252 | (mf_json : Yojson.Basic.json) ^^^^^^^^^^^^^^^^^ Alert deprecated: Yojson.Basic.json json types are being renamed and will be removed in the next Yojson major version. Use type t instead File "uberspark_bridge.ml", line 553, characters 12-29: 553 | (mf_json : Yojson.Basic.json) ^^^^^^^^^^^^^^^^^ Alert deprecated: Yojson.Basic.json json types are being renamed and will be removed in the next Yojson major version. Use type t instead File "uberspark_bridge.ml", line 854, characters 12-29: 854 | (mf_json : Yojson.Basic.json) ^^^^^^^^^^^^^^^^^ Alert deprecated: Yojson.Basic.json json types are being renamed and will be removed in the next Yojson major version. Use type t instead File "uberspark_bridge.ml", line 1139, characters 12-29: 1139 | (mf_json : Yojson.Basic.json) ^^^^^^^^^^^^^^^^^ Alert deprecated: Yojson.Basic.json json types are being renamed and will be removed in the next Yojson major version. Use type t instead File "uberspark_bridge.ml", line 60, characters 25-33: 60 | let (r_exitcode, r_signal, _) = Uberspark_osservices.exec_process_withlog ~stag:"docker" "docker" !cmdline in ^^^^^^^^ Warning 26: unused variable r_signal. File "uberspark_bridge.ml", line 60, characters 13-23: 60 | let (r_exitcode, r_signal, _) = Uberspark_osservices.exec_process_withlog ~stag:"docker" "docker" !cmdline in ^^^^^^^^^^ Warning 26: unused variable r_exitcode. File "uberspark_bridge.ml", line 1015, characters 5-16: 1015 | let cc_includes = ref "" in ^^^^^^^^^^^ Warning 26: unused variable cc_includes. File "uberspark_bridge.ml", line 1393, characters 5-10: 1393 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_bridge.ml", line 1403, characters 5-10: 1403 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_bridge.ml", line 1419, characters 5-10: 1419 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_bridge.ml", line 1429, characters 5-10: 1429 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_bridge.ml", line 1446, characters 5-10: 1446 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_bridge.ml", line 1456, characters 5-10: 1456 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_bridge.ml", line 1473, characters 5-10: 1473 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_bridge.ml", line 1483, characters 5-10: 1483 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobj.ml", line 1141, characters 2-46: 1141 | self#consolidate_sections_with_memory_map (); ^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 10: this expression should have type unit. File "uberspark_uobj.ml", line 1239, characters 4-31: 1239 | ?(context_path_builddir = ".") ^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 16: this optional argument cannot be erased. File "uberspark_uobj.ml", line 236, characters 6-11: 236 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobj.ml", line 247, characters 6-11: 247 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobj.ml", line 270, characters 6-11: 270 | let dummy=0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobj.ml", line 274, characters 6-11: 274 | let dummy = 0 in ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobj.ml", line 284, characters 6-11: 284 | let dummy = 0 in ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobj.ml", line 290, characters 6-11: 290 | let dummy = 0 in ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobj.ml", line 299, characters 6-11: 299 | let dummy = 0 in ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobj.ml", line 304, characters 6-11: 304 | let dummy = 0 in ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobj.ml", line 310, characters 6-11: 310 | let dummy = 0 in ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobj.ml", line 1095, characters 6-11: 1095 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobj.ml", line 1116, characters 6-11: 1116 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobj.ml", line 1135, characters 6-11: 1135 | let dummy=0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobj.ml", line 1285, characters 6-11: 1285 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobj.ml", line 1330, characters 6-11: 1330 | let dummy =0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobj.ml", line 1340, characters 6-11: 1340 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobj.ml", line 1350, characters 6-11: 1350 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobj.ml", line 1361, characters 6-11: 1361 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobj.ml", line 1389, characters 6-11: 1389 | let dummy =0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobj.ml", line 1404, characters 6-11: 1404 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobj.ml", line 1444, characters 5-10: 1444 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobj.ml", line 1457, characters 5-10: 1457 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobj.ml", line 1463, characters 5-10: 1463 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobj.ml", line 1517, characters 5-10: 1517 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobj.ml", line 1552, characters 5-10: 1552 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobjcoll.ml", line 159, characters 5-10: 159 | let dummy=0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobjcoll.ml", line 173, characters 5-10: 173 | let dummy=0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobjcoll.ml", line 177, characters 5-10: 177 | let dummy=0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobjcoll.ml", line 182, characters 5-10: 182 | let dummy=0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobjcoll.ml", line 282, characters 5-10: 282 | let dummy=0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobjcoll.ml", line 313, characters 5-10: 313 | let dummy=0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobjcoll.ml", line 406, characters 5-10: 406 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobjcoll.ml", line 455, characters 5-10: 455 | let dummy=0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobjcoll.ml", line 1052, characters 5-23: 1052 | let in_namespace_build = ref false in ^^^^^^^^^^^^^^^^^^ Warning 26: unused variable in_namespace_build. File "uberspark_uobjcoll.ml", line 1055, characters 5-10: 1055 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobjcoll.ml", line 1081, characters 5-10: 1081 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobjcoll.ml", line 1103, characters 5-10: 1103 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobjcoll.ml", line 1117, characters 5-10: 1117 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobjcoll.ml", line 1137, characters 5-10: 1137 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobjcoll.ml", line 1148, characters 5-10: 1148 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobjcoll.ml", line 1153, characters 5-10: 1153 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobjcoll.ml", line 1178, characters 5-10: 1178 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobjcoll.ml", line 1193, characters 5-10: 1193 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobjcoll.ml", line 1199, characters 5-10: 1199 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobjcoll.ml", line 1205, characters 5-10: 1205 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobjcoll.ml", line 1212, characters 5-10: 1212 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobjcoll.ml", line 1219, characters 5-10: 1219 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobjcoll.ml", line 1235, characters 5-10: 1235 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobjcoll.ml", line 1240, characters 5-10: 1240 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobjcoll.ml", line 1245, characters 5-10: 1245 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobjcoll.ml", line 1270, characters 5-10: 1270 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobjcoll.ml", line 1283, characters 5-10: 1283 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobjcoll.ml", line 1363, characters 5-10: 1363 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobjcoll.ml", line 1369, characters 5-10: 1369 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobjcoll.ml", line 1391, characters 5-10: 1391 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobjcoll.ml", line 1404, characters 5-10: 1404 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobjcoll.ml", line 1484, characters 5-10: 1484 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobjcoll.ml", line 1501, characters 5-10: 1501 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobjcoll.ml", line 1513, characters 5-10: 1513 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobjcoll.ml", line 1527, characters 5-10: 1527 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobjcoll.ml", line 1536, characters 5-10: 1536 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. File "uberspark_uobjcoll.ml", line 1542, characters 5-10: 1542 | let dummy = 0 in begin ^^^^^ Warning 26: unused variable dummy. cd _build && ocamlfind remove uberspark ocamlfind: [WARNING] No such file: /home/uberspark/.opam/4.09.0+flambda/lib/uberspark/META cd _build && ocamlfind install uberspark META uberspark.a uberspark.cma uberspark.cmxa uberspark.mli defs.cmx uberspark_logger.cmx uberspark_osservices.cmx uberspark_namespace.cmx uberspark_manifest.cmx uberspark_config.cmx uberspark_staging.cmx uberspark_bridge.cmx uberspark_codegen.cmx uberspark_uobj.cmx uberspark_uobjcoll.cmx uberspark_binary.cmx uberspark.cmx defs.cmi uberspark_logger.cmi uberspark_osservices.cmi uberspark_namespace.cmi uberspark_manifest.cmi uberspark_config.cmi uberspark_staging.cmi uberspark_bridge.cmi uberspark_codegen.cmi uberspark_uobj.cmi uberspark_uobjcoll.cmi uberspark_binary.cmi uberspark.cmi defs.cmt uberspark_logger.cmt uberspark_osservices.cmt uberspark_namespace.cmt uberspark_manifest.cmt uberspark_config.cmt uberspark_staging.cmt uberspark_bridge.cmt uberspark_codegen.cmt uberspark_uobj.cmt uberspark_uobjcoll.cmt uberspark_binary.cmt uberspark.cmt defs.cmti uberspark_logger.cmti uberspark_osservices.cmti uberspark_namespace.cmti uberspark_manifest.cmti uberspark_config.cmti uberspark_staging.cmti uberspark_bridge.cmti uberspark_codegen.cmti uberspark_uobj.cmti uberspark_uobjcoll.cmti uberspark_binary.cmti uberspark.cmti Installed /home/uberspark/.opam/4.09.0+flambda/lib/uberspark/uberspark.cmti Installed /home/uberspark/.opam/4.09.0+flambda/lib/uberspark/uberspark_binary.cmti Installed /home/uberspark/.opam/4.09.0+flambda/lib/uberspark/uberspark_uobjcoll.cmti Installed /home/uberspark/.opam/4.09.0+flambda/lib/uberspark/uberspark_uobj.cmti Installed /home/uberspark/.opam/4.09.0+flambda/lib/uberspark/uberspark_codegen.cmti Installed /home/uberspark/.opam/4.09.0+flambda/lib/uberspark/uberspark_bridge.cmti Installed /home/uberspark/.opam/4.09.0+flambda/lib/uberspark/uberspark_staging.cmti Installed /home/uberspark/.opam/4.09.0+flambda/lib/uberspark/uberspark_config.cmti Installed /home/uberspark/.opam/4.09.0+flambda/lib/uberspark/uberspark_manifest.cmti Installed /home/uberspark/.opam/4.09.0+flambda/lib/uberspark/uberspark_namespace.cmti Installed /home/uberspark/.opam/4.09.0+flambda/lib/uberspark/uberspark_osservices.cmti Installed /home/uberspark/.opam/4.09.0+flambda/lib/uberspark/uberspark_logger.cmti Installed /home/uberspark/.opam/4.09.0+flambda/lib/uberspark/defs.cmti Installed /home/uberspark/.opam/4.09.0+flambda/lib/uberspark/uberspark.cmt Installed /home/uberspark/.opam/4.09.0+flambda/lib/uberspark/uberspark_binary.cmt Installed /home/uberspark/.opam/4.09.0+flambda/lib/uberspark/uberspark_uobjcoll.cmt Installed /home/uberspark/.opam/4.09.0+flambda/lib/uberspark/uberspark_uobj.cmt Installed /home/uberspark/.opam/4.09.0+flambda/lib/uberspark/uberspark_codegen.cmt Installed /home/uberspark/.opam/4.09.0+flambda/lib/uberspark/uberspark_bridge.cmt Installed /home/uberspark/.opam/4.09.0+flambda/lib/uberspark/uberspark_staging.cmt Installed /home/uberspark/.opam/4.09.0+flambda/lib/uberspark/uberspark_config.cmt Installed /home/uberspark/.opam/4.09.0+flambda/lib/uberspark/uberspark_manifest.cmt Installed /home/uberspark/.opam/4.09.0+flambda/lib/uberspark/uberspark_namespace.cmt Installed /home/uberspark/.opam/4.09.0+flambda/lib/uberspark/uberspark_osservices.cmt Installed /home/uberspark/.opam/4.09.0+flambda/lib/uberspark/uberspark_logger.cmt Installed /home/uberspark/.opam/4.09.0+flambda/lib/uberspark/defs.cmt Installed /home/uberspark/.opam/4.09.0+flambda/lib/uberspark/uberspark.cmi Installed /home/uberspark/.opam/4.09.0+flambda/lib/uberspark/uberspark_binary.cmi Installed /home/uberspark/.opam/4.09.0+flambda/lib/uberspark/uberspark_uobjcoll.cmi Installed /home/uberspark/.opam/4.09.0+flambda/lib/uberspark/uberspark_uobj.cmi Installed /home/uberspark/.opam/4.09.0+flambda/lib/uberspark/uberspark_codegen.cmi Installed /home/uberspark/.opam/4.09.0+flambda/lib/uberspark/uberspark_bridge.cmi Installed /home/uberspark/.opam/4.09.0+flambda/lib/uberspark/uberspark_staging.cmi Installed /home/uberspark/.opam/4.09.0+flambda/lib/uberspark/uberspark_config.cmi Installed /home/uberspark/.opam/4.09.0+flambda/lib/uberspark/uberspark_manifest.cmi Installed /home/uberspark/.opam/4.09.0+flambda/lib/uberspark/uberspark_namespace.cmi Installed /home/uberspark/.opam/4.09.0+flambda/lib/uberspark/uberspark_osservices.cmi Installed /home/uberspark/.opam/4.09.0+flambda/lib/uberspark/uberspark_logger.cmi Installed /home/uberspark/.opam/4.09.0+flambda/lib/uberspark/defs.cmi Installed /home/uberspark/.opam/4.09.0+flambda/lib/uberspark/uberspark.cmx Installed /home/uberspark/.opam/4.09.0+flambda/lib/uberspark/uberspark_binary.cmx Installed /home/uberspark/.opam/4.09.0+flambda/lib/uberspark/uberspark_uobjcoll.cmx Installed /home/uberspark/.opam/4.09.0+flambda/lib/uberspark/uberspark_uobj.cmx Installed /home/uberspark/.opam/4.09.0+flambda/lib/uberspark/uberspark_codegen.cmx Installed /home/uberspark/.opam/4.09.0+flambda/lib/uberspark/uberspark_bridge.cmx Installed /home/uberspark/.opam/4.09.0+flambda/lib/uberspark/uberspark_staging.cmx Installed /home/uberspark/.opam/4.09.0+flambda/lib/uberspark/uberspark_config.cmx Installed /home/uberspark/.opam/4.09.0+flambda/lib/uberspark/uberspark_manifest.cmx Installed /home/uberspark/.opam/4.09.0+flambda/lib/uberspark/uberspark_namespace.cmx Installed /home/uberspark/.opam/4.09.0+flambda/lib/uberspark/uberspark_osservices.cmx Installed /home/uberspark/.opam/4.09.0+flambda/lib/uberspark/uberspark_logger.cmx Installed /home/uberspark/.opam/4.09.0+flambda/lib/uberspark/defs.cmx Installed /home/uberspark/.opam/4.09.0+flambda/lib/uberspark/uberspark.mli Installed /home/uberspark/.opam/4.09.0+flambda/lib/uberspark/uberspark.cmxa Installed /home/uberspark/.opam/4.09.0+flambda/lib/uberspark/uberspark.cma Installed /home/uberspark/.opam/4.09.0+flambda/lib/uberspark/uberspark.a Installed /home/uberspark/.opam/4.09.0+flambda/lib/uberspark/META make[2]: Leaving directory '/home/uberspark/uberspark/src-nextgen/tools/libs' make[1]: Leaving directory '/home/uberspark/uberspark/build-trusses' cd /home/uberspark/uberspark/src-nextgen/tools/frontend && make -w all make[1]: Entering directory '/home/uberspark/uberspark/src-nextgen/tools/frontend' mkdir -p _build cp -f *.ml _build/. cd _build && ocamlfind ocamlopt -g -ccopt -static -package fileutils -package str -package yojson -package cmdliner -package astring -package uberspark -linkpkg -o uberspark commonopts.ml commoninit.ml cmd_uobj.ml cmd_uobjcoll.ml cmd_staging.ml cmd_bridge.ml uberspark_frontend.ml File "cmd_staging.ml", line 261, characters 6-21: 261 | let l_setting_value = ref "" in ^^^^^^^^^^^^^^^ Warning 26: unused variable l_setting_value. File "cmd_bridge.ml", line 129, characters 12-40: 129 | Uberspark.Bridge.Cc.store (); ^^^^^^^^^^^^^^^^^^^^^^^^^^^^ Warning 10: this expression should have type unit. File "cmd_bridge.ml", line 354, characters 8-24: 354 | let bridge_ns_prefix = ref "" in ^^^^^^^^^^^^^^^^ Warning 26: unused variable bridge_ns_prefix. File "cmd_bridge.ml", line 355, characters 8-19: 355 | let bridge_type = ref [] in ^^^^^^^^^^^ Warning 26: unused variable bridge_type. make[1]: Leaving directory '/home/uberspark/uberspark/src-nextgen/tools/frontend' make: Leaving directory '/home/uberspark/uberspark/build-trusses' uberspark toolkit build success!