make[5]: Nothing to be done for `download'.
make[5]: Nothing to be done for `download'.
make[5]: Nothing to be done for `download'.
make[5]: Nothing to be done for `download'.
make[5]: Nothing to be done for `download'.
make -C contrib
checking build system type... x86_64-unknown-linux-gnu
checking host system type... x86_64-unknown-linux-gnu
checking target system type... x86_64-unknown-linux-gnu
checking for gcc... gcc
checking whether the C compiler works... yes
checking for C compiler default output file name... a.out
checking for suffix of executables...
checking whether we are cross compiling... no
checking for suffix of object files... o
checking whether we are using the GNU C compiler... yes
checking whether gcc accepts -g... yes
checking for gcc option to accept ISO C89... none needed
checking whether gcc understands -c and -o together... yes
checking whether make sets $(MAKE)... yes
checking for a BSD-compatible install... /usr/bin/install -c
checking for ranlib... ranlib
checking how to run the C preprocessor... gcc -E
checking for grep that handles long lines and -e... /bin/grep
checking for egrep... /bin/grep -E
checking for ANSI C header files... yes
checking for sys/types.h... yes
checking for sys/stat.h... yes
checking for stdlib.h... yes
checking for string.h... yes
checking for memory.h... yes
checking for strings.h... yes
checking for inttypes.h... yes
checking for stdint.h... yes
checking for unistd.h... yes
checking bfd.h usability... yes
checking bfd.h presence... yes
checking for bfd.h... yes
checking dis-asm.h usability... yes
checking dis-asm.h presence... yes
checking for dis-asm.h... yes
checking demangle.h usability... no
checking demangle.h presence... no
checking for demangle.h... no
checking libiberty/demangle.h usability... yes
checking libiberty/demangle.h presence... yes
checking for libiberty/demangle.h... yes
checking for bfd_openr in -lbfd... yes
checking for dlopen in -ldl... yes
checking for dcgettext in -lintl... no
configure: creating ./config.status
config.status: creating Makefile
config.status: creating bfdada.gpr
config.status: creating distrib/bfdada.gpr
config.status: creating src/config.h
make LIBRARY_TYPE=static build
mkdir -p bin
gcc -o bin/bfdgen -g -O2 -DHAVE_LIB_DL=1 -Isrc -g support/bfdgen.c
bin/bfdgen > src/bfd-constants.ads
gprbuild -XMODE=distrib -XPROCESSORS=4 -m -p -P"bfdada.gpr" -XMODE=distrib -XLIBRARY_TYPE=static -XPROCESSORS=4
object directory "/home/ubuntu/genode/build/muen/kernel/muen/contrib/ada-bfd/tmp/ada-bfd/obj/bfd/static" created
library directory "/home/ubuntu/genode/build/muen/kernel/muen/contrib/ada-bfd/tmp/ada-bfd/lib/static" created for project bfdada
gcc-4.6 -c -O2 bfd-disassembler-c.c
gcc-4.6 -c -O2 bfdc.c
gcc-4.6 -c -gnatn -g -O2 bfd-sections.adb
gcc-4.6 -c -gnatn -g -O2 bfd-internal.ads
gcc-4.6 -c -gnatn -g -O2 bfd.adb
gcc-4.6 -c -gnatn -g -O2 bfd-symbols.adb
gcc-4.6 -c -gnatn -g -O2 bfd-files.adb
gcc-4.6 -c -gnatn -g -O2 bfd-constants.ads
gcc-4.6 -c -gnatn -g -O2 bfd-thin-disassembler.ads
gcc-4.6 -c -gnatn -g -O2 bfd-thin-sections.ads
gcc-4.6 -c -gnatn -g -O2 bfd-thin.ads
gcc-4.6 -c -gnatn -g -O2 bfd-thin-symbols.ads
gcc-4.6 -c -gnatn -g -O2 bfd-disassembler.adb
gprlib ada-bfd.lexch
ar cr /home/ubuntu/genode/build/muen/kernel/muen/contrib/ada-bfd/tmp/ada-bfd/lib/static//libada-bfd.a /home/ubuntu/genode/build/muen/kernel/muen/contrib/ada-bfd/tmp/ada-bfd/obj/bfd/static/bfd-disassembler-c.o /home/ubuntu/genode/build/muen/kernel/muen/contrib/ada-bfd/tmp/ada-bfd/obj/bfd/static/bfdc.o ...
ranlib libada-bfd.a
make LIBRARY_TYPE=static install_lib
mkdir -p /home/ubuntu/genode/build/muen/kernel/muen/contrib/ada-bfd/../build/share/ada/adainclude/bfdada
mkdir -p /home/ubuntu/genode/build/muen/kernel/muen/contrib/ada-bfd/../build/share/ada/adainclude/
mkdir -p /home/ubuntu/genode/build/muen/kernel/muen/contrib/ada-bfd/../build/lib/ada/adalib//bfdada
cp -p src/*.ad[bs] /home/ubuntu/genode/build/muen/kernel/muen/contrib/ada-bfd/../build/share/ada/adainclude/bfdada
sed -e "s,INSTALL,/home/ubuntu/genode/build/muen/kernel/muen/contrib/ada-bfd/../build,g" -e "s,LIBRARY_TYPE,static,g" < distrib/bfdada.gpr > /home/ubuntu/genode/build/muen/kernel/muen/contrib/ada-bfd/../build/share/ada/adainclude/bfdada.gpr
cp -p lib/static/*.ali /home/ubuntu/genode/build/muen/kernel/muen/contrib/ada-bfd/../build/lib/ada/adalib//bfdada/
cp lib/static/libada-bfd.a /home/ubuntu/genode/build/muen/kernel/muen/contrib/ada-bfd/../build/lib/
object directory "/home/ubuntu/genode/build/muen/kernel/muen/contrib/alog/tmp/alog/obj/lib/static" created
library directory "/home/ubuntu/genode/build/muen/kernel/muen/contrib/alog/tmp/alog/lib/static" created for project alog
gcc-4.6 -c -W -Wall -Werror -O3 glue_syslog.c
gcc-4.6 -c -gnatygAdISuxo -gnatVa -gnat05 -gnatwal -gnatf -fstack-check -gnato -gnatwe alog-active_logger.adb
gcc-4.6 -c -gnatygAdISuxo -gnatVa -gnat05 -gnatwal -gnatf -fstack-check -gnato -gnatwe alog-exceptions.ads
gcc-4.6 -c -gnatygAdISuxo -gnatVa -gnat05 -gnatwal -gnatf -fstack-check -gnato -gnatwe alog-policy_db.adb
gcc-4.6 -c -gnatygAdISuxo -gnatVa -gnat05 -gnatwal -gnatf -fstack-check -gnato -gnatwe alog-maps.adb
gcc-4.6 -c -gnatygAdISuxo -gnatVa -gnat05 -gnatwal -gnatf -fstack-check -gnato -gnatwe alog-logger.adb
gcc-4.6 -c -gnatygAdISuxo -gnatVa -gnat05 -gnatwal -gnatf -fstack-check -gnato -gnatwe alog-controlled_map.adb
gcc-4.6 -c -gnatygAdISuxo -gnatVa -gnat05 -gnatwal -gnatf -fstack-check -gnato -gnatwe alog-transforms.adb
gcc-4.6 -c -gnatygAdISuxo -gnatVa -gnat05 -gnatwal -gnatf -fstack-check -gnato -gnatwe alog-transforms-casing.adb
gcc-4.6 -c -gnatygAdISuxo -gnatVa -gnat05 -gnatwal -gnatf -fstack-check -gnato -gnatwe alog-facilities.adb
gcc-4.6 -c -gnatygAdISuxo -gnatVa -gnat05 -gnatwal -gnatf -fstack-check -gnato -gnatwe alog-tasked_logger.adb
gcc-4.6 -c -gnatygAdISuxo -gnatVa -gnat05 -gnatwal -gnatf -fstack-check -gnato -gnatwe alog-log_request.adb
gcc-4.6 -c -gnatygAdISuxo -gnatVa -gnat05 -gnatwal -gnatf -fstack-check -gnato -gnatwe alog-facilities-syslog.adb
gcc-4.6 -c -gnatygAdISuxo -gnatVa -gnat05 -gnatwal -gnatf -fstack-check -gnato -gnatwe alog-helpers.adb
gcc-4.6 -c -gnatygAdISuxo -gnatVa -gnat05 -gnatwal -gnatf -fstack-check -gnato -gnatwe alog.ads
gcc-4.6 -c -gnatygAdISuxo -gnatVa -gnat05 -gnatwal -gnatf -fstack-check -gnato -gnatwe alog-facilities-file_descriptor.adb
gcc-4.6 -c -gnatygAdISuxo -gnatVa -gnat05 -gnatwal -gnatf -fstack-check -gnato -gnatwe alog-policy_db-types.adb
gcc-4.6 -c -gnatygAdISuxo -gnatVa -gnat05 -gnatwal -gnatf -fstack-check -gnato -gnatwe alog-protected_containers.adb
gprlib alog.lexch
ar cr /home/ubuntu/genode/build/muen/kernel/muen/contrib/alog/tmp/alog/lib/static//libalog.a /home/ubuntu/genode/build/muen/kernel/muen/contrib/alog/tmp/alog/obj/lib/static/glue_syslog.o /home/ubuntu/genode/build/muen/kernel/muen/contrib/alog/tmp/alog/obj/lib/static/alog-active_logger.o ...
ranlib libalog.a
install -m 644 src/*.ad[bs] /home/ubuntu/genode/build/muen/kernel/muen/contrib/alog/../build/include/alog
install -m 444 lib/static/*.ali /home/ubuntu/genode/build/muen/kernel/muen/contrib/alog/../build/lib/alog
install -m 644 gnat/alog.gpr /home/ubuntu/genode/build/muen/kernel/muen/contrib/alog/../build/lib/gnat
install -m 444 lib/static/libalog.a /home/ubuntu/genode/build/muen/kernel/muen/contrib/alog/../build/lib
checking build system type... x86_64-unknown-linux-gnu
checking host system type... x86_64-unknown-linux-gnu
checking target system type... x86_64-unknown-linux-gnu
checking whether ln -s works... yes
checking for gcc... gcc
checking whether the C compiler works... yes
checking for C compiler default output file name... a.out
checking for suffix of executables...
checking whether we are cross compiling... no
checking for suffix of object files... o
checking whether we are using the GNU C compiler... yes
checking whether gcc accepts -g... yes
checking for gcc option to accept ISO C89... none needed
checking POSIX termios... yes
checking how to run the C preprocessor... gcc -E
checking for grep that handles long lines and -e... /bin/grep
checking for egrep... /bin/grep -E
checking whether termios.h defines TIOCGWINSZ... no
checking whether sys/ioctl.h defines TIOCGWINSZ... yes
checking whether gnat can build shared libs... no (--disabled-shared)
checking for python... no
checking for ANSI C header files... yes
checking for sys/types.h... yes
checking for sys/stat.h... yes
checking for stdlib.h... yes
checking for string.h... yes
checking for memory.h... yes
checking for strings.h... yes
checking for inttypes.h... yes
checking for stdint.h... yes
checking for unistd.h... yes
checking for stdlib.h... (cached) yes
checking for unistd.h... (cached) yes
checking for sys/param.h... yes
checking for getpagesize... yes
checking for working mmap... yes
checking for pkg-config... /usr/bin/pkg-config
checking for pygtk... no (incompatible gtk+ version)
checking for pygobject... no (disabled by user)
checking for PostgreSQL... no
checking for sqlite... no
checking for gmp... no
checking for libiconv... no, disabled by user
checking whether libgpr exists... no
checking for readline... no, this is a pure GPL library (see --enable-gpl)
checking whether platform supports atomic inc/dec... yes
configure: creating ./config.status
config.status: creating gnatcoll_shared.gpr
config.status: creating Makefile.conf
configure: --------- Summary for GNAT Components --------------
configure:   Shared libraries:       no (default: static)
configure:   Static PIC libraries:   no (see --enable-static-pic)
configure:   Gtk+:                   no (requires pkg-config and gtkada.gpr)
configure:   Python:                 no no (see --with-python)
configure:   PyGtk:                  no  (see --enable-pygtk)
configure:   PyGObject:              no (see --enable-pygobject)
configure:   Syslog:                 no (see --enable-syslog)
configure:   Readline (GPL license): no (see --with-readline --enable-gpl)
configure:   gmp:                    no (see --with-gmp)
configure:   PostgreSQL:             no  (see --with-postgresql)
configure:   Sqlite:                 no  (see --with-sqlite)
configure:   Iconv:                  no (see --with-iconv)
configure:   Projects:               no
configure:                           install libgpr to override
configure:   Xref:                   no
configure: --------------------------------------------
====== Building static libraries ======
gprbuild  -p -m -j0 -XLIBRARY_TYPE=static -XGnatcoll_Build=Production -Pgnatcoll_full
object directory "/home/ubuntu/genode/build/muen/kernel/muen/contrib/gnatcoll/tmp/gnatcoll/src/obj" created
object directory "/home/ubuntu/genode/build/muen/kernel/muen/contrib/gnatcoll/tmp/gnatcoll/src/obj/gnatcoll/static" created for project gnatcoll
library directory "/home/ubuntu/genode/build/muen/kernel/muen/contrib/gnatcoll/tmp/gnatcoll/src/lib/gnatcoll/static" created for project gnatcoll
object directory "/home/ubuntu/genode/build/muen/kernel/muen/contrib/gnatcoll/tmp/gnatcoll/src/obj/python/static" created for project gnatcoll_python
library directory "/home/ubuntu/genode/build/muen/kernel/muen/contrib/gnatcoll/tmp/gnatcoll/src/lib/python/static" created for project gnatcoll_python
object directory "/home/ubuntu/genode/build/muen/kernel/muen/contrib/gnatcoll/tmp/gnatcoll/src/obj/postgres/static" created for project gnatcoll_postgres
library directory "/home/ubuntu/genode/build/muen/kernel/muen/contrib/gnatcoll/tmp/gnatcoll/src/lib/postgres/static" created for project gnatcoll_postgres
object directory "/home/ubuntu/genode/build/muen/kernel/muen/contrib/gnatcoll/tmp/gnatcoll/src/obj/sqlite/static" created for project gnatcoll_sqlite
library directory "/home/ubuntu/genode/build/muen/kernel/muen/contrib/gnatcoll/tmp/gnatcoll/src/lib/sqlite/static" created for project gnatcoll_sqlite
object directory "/home/ubuntu/genode/build/muen/kernel/muen/contrib/gnatcoll/tmp/gnatcoll/src/obj/readline/static" created for project gnatcoll_readline
library directory "/home/ubuntu/genode/build/muen/kernel/muen/contrib/gnatcoll/tmp/gnatcoll/src/lib/readline/static" created for project gnatcoll_readline
gcc-4.6 -c -O2 -gnatn -gnatwaCJ gnatcoll-readline.adb
gcc-4.6 -c -O2 -gnatn -gnatwaCJ gnatcoll-sql-sqlite-builder.adb
gnatcoll-refcount.ads:176:15: aspect identifier expected
gnatcoll-refcount.ads:248:48: missing ";"
gnatcoll-refcount.ads:249:10: "with" can only appear in context clause

   compilation of gnatcoll-sql-sqlite-builder.adb failed

gprbuild: *** compilation phase failed
make[7]: *** [build_library_type/static] Error 4
make[6]: *** [/home/ubuntu/genode/build/muen/kernel/muen/contrib/gnatcoll/tmp/.gnatcoll-build] Error 2
make[5]: *** [build_recipes] Error 1
make[4]: *** [contrib] Error 2

Genode - Release notes for the Genode OS Framework 16.08 genode.org Release notes for the Genode OS Framework 16.08. The formal verification of software has become an intriguing direction to overcome the current state of omnipresent ...