Test ran at 2025-03-06 12:32:15.149439+00:00
SOLUTION:
jupyter_kernel=1.0.0: Jupyter Kernel for Ada
Origin: commit 8c987c134f1b92978aa4c4a528309685925f4bd9 from https://github.com/reznikmm/jupyter.git
Available when: (case OS is Linux => True, Macos => True, others => False)
Properties:
Author: Max Reznik
Description: Jupyter Kernel for Ada
GPR External: LIBRARY_TYPE := relocatable
License: BSD-3-Clause
Long_Description: # Jupyter Kernel for Ada
To run this kernel with Jupyter Notebook:
alr get --build jupyter_kernel
cd jupyter_kernel*
ln -s ./alire/build/.objs .
PATH=$PATH:$PWD/alire/build/.objs/driver JUPYTER_PATH=$PWD jupyter-notebook --debug
Maintainer: Max Reznik <reznikmm@gmail.com>
Maintainers_Logins: reznikmm
Name: jupyter_kernel
Project_File: gnat/jupyter_ada_kernel.gpr
Project_File: gnat/jupyter_ada_driver.gpr
Tag: jupyter
Tag: notebook
Tag: kernel
Version: 1.0.0
Website: https://github.com/reznikmm/jupyter/
Dependencies (direct):
matreshka_league*
spawn*
zeromq_ada*
Dependencies (solution):
libzmq=4.3.5
make=4.3.0
matreshka_league=21.0.0
spawn=25.0.0
zeromq_ada=4.1.5
Dependencies (graph):
jupyter_kernel=1.0.0 --> matreshka_league=21.0.0 (*)
jupyter_kernel=1.0.0 --> spawn=25.0.0 (*)
jupyter_kernel=1.0.0 --> zeromq_ada=4.1.5 (*)
matreshka_league=21.0.0 --> make=4.3.0 (*)
zeromq_ada=4.1.5 --> libzmq=4.3.5 (*)
LOG:
Spawning: alr -d -n get --build jupyter_kernel=1.0.0
Note: Deploying jupyter_kernel=1.0.0...
Note: Deploying libzmq=4.3.5...
The system package 'libzmq3-dev' is about to be installed.
This action might require admin privileges and impact your system installation.
Do you want Alire to install this system package?
Using default: Yes
(Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 221407 files and directories currently installed.)
Preparing to unpack .../00-krb5-locales_1.20.1-6ubuntu2.5_all.deb ...
Unpacking krb5-locales (1.20.1-6ubuntu2.5) over (1.20.1-6ubuntu2.4) ...
Preparing to unpack .../01-libk5crypto3_1.20.1-6ubuntu2.5_amd64.deb ...
Unpacking libk5crypto3:amd64 (1.20.1-6ubuntu2.5) over (1.20.1-6ubuntu2.4) ...
Preparing to unpack .../02-libgssapi-krb5-2_1.20.1-6ubuntu2.5_amd64.deb ...
Unpacking libgssapi-krb5-2:amd64 (1.20.1-6ubuntu2.5) over (1.20.1-6ubuntu2.4) ...
Preparing to unpack .../03-libkrb5support0_1.20.1-6ubuntu2.5_amd64.deb ...
Unpacking libkrb5support0:amd64 (1.20.1-6ubuntu2.5) over (1.20.1-6ubuntu2.4) ...
Preparing to unpack .../04-libkrb5-3_1.20.1-6ubuntu2.5_amd64.deb ...
Unpacking libkrb5-3:amd64 (1.20.1-6ubuntu2.5) over (1.20.1-6ubuntu2.4) ...
Selecting previously unselected package libpgm-dev:amd64.
Preparing to unpack .../05-libpgm-dev_5.3.128~dfsg-2.1build1_amd64.deb ...
Unpacking libpgm-dev:amd64 (5.3.128~dfsg-2.1build1) ...
Selecting previously unselected package libsodium-dev:amd64.
Preparing to unpack .../06-libsodium-dev_1.0.18-1build3_amd64.deb ...
Unpacking libsodium-dev:amd64 (1.0.18-1build3) ...
Selecting previously unselected package libnorm-dev:amd64.
Preparing to unpack .../07-libnorm-dev_1.5.9+dfsg-3.1build1_amd64.deb ...
Unpacking libnorm-dev:amd64 (1.5.9+dfsg-3.1build1) ...
Selecting previously unselected package comerr-dev:amd64.
Preparing to unpack .../08-comerr-dev_2.1-1.47.0-2.4~exp1ubuntu4.1_amd64.deb ...
Unpacking comerr-dev:amd64 (2.1-1.47.0-2.4~exp1ubuntu4.1) ...
Selecting previously unselected package libgssrpc4t64:amd64.
Preparing to unpack .../09-libgssrpc4t64_1.20.1-6ubuntu2.5_amd64.deb ...
Unpacking libgssrpc4t64:amd64 (1.20.1-6ubuntu2.5) ...
Selecting previously unselected package libkadm5clnt-mit12:amd64.
Preparing to unpack .../10-libkadm5clnt-mit12_1.20.1-6ubuntu2.5_amd64.deb ...
Unpacking libkadm5clnt-mit12:amd64 (1.20.1-6ubuntu2.5) ...
Selecting previously unselected package libkdb5-10t64:amd64.
Preparing to unpack .../11-libkdb5-10t64_1.20.1-6ubuntu2.5_amd64.deb ...
Unpacking libkdb5-10t64:amd64 (1.20.1-6ubuntu2.5) ...
Selecting previously unselected package libkadm5srv-mit12:amd64.
Preparing to unpack .../12-libkadm5srv-mit12_1.20.1-6ubuntu2.5_amd64.deb ...
Unpacking libkadm5srv-mit12:amd64 (1.20.1-6ubuntu2.5) ...
Selecting previously unselected package krb5-multidev:amd64.
Preparing to unpack .../13-krb5-multidev_1.20.1-6ubuntu2.5_amd64.deb ...
Unpacking krb5-multidev:amd64 (1.20.1-6ubuntu2.5) ...
Selecting previously unselected package libkrb5-dev:amd64.
Preparing to unpack .../14-libkrb5-dev_1.20.1-6ubuntu2.5_amd64.deb ...
Unpacking libkrb5-dev:amd64 (1.20.1-6ubuntu2.5) ...
Selecting previously unselected package libmd-dev:amd64.
Preparing to unpack .../15-libmd-dev_1.1.0-2build1.1_amd64.deb ...
Unpacking libmd-dev:amd64 (1.1.0-2build1.1) ...
Selecting previously unselected package libbsd-dev:amd64.
Preparing to unpack .../16-libbsd-dev_0.12.1-1build1.1_amd64.deb ...
Unpacking libbsd-dev:amd64 (0.12.1-1build1.1) ...
Selecting previously unselected package libzmq3-dev:amd64.
Preparing to unpack .../17-libzmq3-dev_4.3.5-1build2_amd64.deb ...
Unpacking libzmq3-dev:amd64 (4.3.5-1build2) ...
Selecting previously unselected package cppzmq-dev:amd64.
Preparing to unpack .../18-cppzmq-dev_4.10.0-1build1_amd64.deb ...
Unpacking cppzmq-dev:amd64 (4.10.0-1build1) ...
Setting up libnorm-dev:amd64 (1.5.9+dfsg-3.1build1) ...
Setting up krb5-locales (1.20.1-6ubuntu2.5) ...
Setting up libkrb5support0:amd64 (1.20.1-6ubuntu2.5) ...
Setting up libpgm-dev:amd64 (5.3.128~dfsg-2.1build1) ...
Setting up comerr-dev:amd64 (2.1-1.47.0-2.4~exp1ubuntu4.1) ...
Setting up libsodium-dev:amd64 (1.0.18-1build3) ...
Setting up libk5crypto3:amd64 (1.20.1-6ubuntu2.5) ...
Setting up libmd-dev:amd64 (1.1.0-2build1.1) ...
Setting up libkrb5-3:amd64 (1.20.1-6ubuntu2.5) ...
Setting up libbsd-dev:amd64 (0.12.1-1build1.1) ...
Setting up libgssapi-krb5-2:amd64 (1.20.1-6ubuntu2.5) ...
Setting up libgssrpc4t64:amd64 (1.20.1-6ubuntu2.5) ...
Setting up libkadm5clnt-mit12:amd64 (1.20.1-6ubuntu2.5) ...
Setting up libkdb5-10t64:amd64 (1.20.1-6ubuntu2.5) ...
Setting up libkadm5srv-mit12:amd64 (1.20.1-6ubuntu2.5) ...
Setting up krb5-multidev:amd64 (1.20.1-6ubuntu2.5) ...
Setting up libkrb5-dev:amd64 (1.20.1-6ubuntu2.5) ...
Setting up libzmq3-dev:amd64 (4.3.5-1build2) ...
Setting up cppzmq-dev:amd64 (4.10.0-1build1) ...
Processing triggers for man-db (2.12.0-4build2) ...
Processing triggers for install-info (7.1-3build2) ...
Processing triggers for libc-bin (2.39-0ubuntu8.4) ...
Running kernel seems to be up-to-date.
Restarting services...
systemctl restart fwupd.service packagekit.service php8.3-fpm.service
Service restarts being deferred:
systemctl restart runner-provisioner.service
No containers need to be restarted.
No user sessions are running outdated binaries.
No VM guests are running outdated hypervisor (qemu) binaries on this host.
Note: Deploying spawn=25.0.0...
#=#=#
##O#-#
Note: Deploying matreshka_league=21.0.0...
#=#=#
0.1%
############################################ 61.4%
######################################################################## 100.0%
Note: Deploying zeromq_ada=4.1.5...
#=#=#
##O#-#
Note: Running post-fetch actions for matreshka_league=21.0.0...
gnatmake -p -j0 -Pgnat/tools_configure.gpr
Setup
[mkdir] object directory for project Tools_Configure
Compile
[Ada] configure-driver.adb
[Ada] configure.adb
[Ada] configure-architecture.adb
[Ada] configure-instantiate.adb
[Ada] configure-internals.adb
[Ada] configure-rtl_version.adb
[Ada] configure-tests.ads
[Ada] configure-tests-asis.adb
[Ada] configure-tests-aws.adb
[Ada] configure-tests-firebird.adb
[Ada] configure-tests-gprbuild.adb
[Ada] configure-tests-install.adb
[Ada] configure-tests-installation_directories.adb
[Ada] configure-tests-modules.ads
[Ada] configure-tests-modules-amf.adb
[Ada] configure-tests-mysql.adb
[Ada] configure-tests-oci.adb
[Ada] configure-tests-operating_system.adb
[Ada] configure-tests-postgresql.adb
[Ada] configure-tests-sqlite3.adb
[Ada] configure-tests-valgrind.adb
[Ada] configure-version.adb
[Ada] configure-builder.adb
[Ada] configure-abstract_tests.adb
[Ada] configure-pkg_config.adb
[Ada] configure-component_switches.adb
Bind
[gprbind] configure-driver.bexch
[Ada] configure-driver.ali
Link
[link] configure-driver.adb
./configure
[os ] detecting target operating system...: POSIX
[gprbuild ] looking for GPRbuild...: /home/runner/.local/share/alire/toolchains/gprbuild_22.0.1_24dfc1b5/bin/gprbuild
[gprbuild ] checking GPRbuild version...: ok
[gprbuild ] looking for GPRinstall...: /home/runner/.local/share/alire/toolchains/gprbuild_22.0.1_24dfc1b5/bin/gprinstall
[asis ] checking whether ASIS library is available...: no
[aws ] checking whether AWS library is available...: no
[modules ] checking whether to build AMF module...: yes
[mysql ] checking whether to build MySQL module...: yes (mysql_config)
[mysql ] checking for linker switches...: "-L/usr/lib/x86_64-linux-gnu", "-lmysqlclient", "-lz", "-lzstd", "-lssl", "-lcrypto", "-lresolv", "-lm"
[mysql ] checking whether MySQL library is usable...: yes
[mysql ] checking whether MySQL server can be used for testing...: no
[oci ] checking whether to build Oracle module...: no (not found)
configure: (info) Oracle driver module is disabled
[postgresql] checking whether to build PostgreSQL module...: yes (pg_config)
[postgresql] checking whether PostgreSQL library is usable...: yes
[sqlite3 ] checking whether to build SQLite3 module...: yes (pkg-config)
[sqlite3 ] checking for SQLite3 version...:
[sqlite3 ] checking for linker switches...: "-lsqlite3"
[sqlite3 ] checking whether SQLite3 library is usable...: yes
[firebird ] checking whether to build Firebird module...: yes (try default)
[firebird ] checking whether Firebird library is usable...: no
configure: (info) Firebird driver module is disabled
configure: VALGRIND =>
configure: HAS_FIREBIRD =>
configure: MYSQL_LIBRARY_OPTIONS => "-L/usr/lib/x86_64-linux-gnu", "-lmysqlclient", "-lz", "-lzstd", "-lssl", "-lcrypto", "-lresolv", "-lm"
configure: HAS_GPRINSTALL => true
configure: INSTALL => /usr/bin/install
configure: GPRDIR => /usr/local/lib/gnat
configure: GPRBUILD => /home/runner/.local/share/alire/toolchains/gprbuild_22.0.1_24dfc1b5/bin/gprbuild
configure: HAS_SQLITE3 => true
configure: OPERATING_SYSTEM => POSIX
configure: FIREBIRD_LIBRARY_OPTIONS =>
configure: HAS_MYSQL => true
configure: VERSION => 20.0
configure: ARCHITECTURE => portable_64_le
configure: BINDIR => /usr/local/bin
configure: LIBDIR => /usr/local/lib
configure: HAS_ASIS =>
configure: HAS_GPRBUILD2014 =>
configure: HAS_POSTGRESQL => true
configure: OCI_LIBRARY_OPTIONS =>
configure: HAS_OCI =>
configure: PREFIX => /usr/local
configure: POSTGRESQL_LIBRARY_OPTIONS => "-L/usr/lib/x86_64-linux-gnu", "-lpq"
configure: GPRINSTALL => /home/runner/.local/share/alire/toolchains/gprbuild_22.0.1_24dfc1b5/bin/gprinstall
configure: HAS_VALGRIND =>
configure: HAS_AWS =>
configure: SQLITE3_LIBRARY_OPTIONS => "-lsqlite3"
configure: HAS_WORKING_MYSQL_SERVER =>
configure: RTL_VERSION_SUFFIX => -13.2
configure: ENABLE_AMF => true
configure: creating Makefile.config
configure: creating gnat/install/matreshka_config.gpr
configure: creating gnat/matreshka_config.gpr
configure: creating source/league/matreshka-config.ads
Note: Running post-fetch actions for zeromq_ada=4.1.5...
Note: Building jupyter_kernel=1.0.0/gnat/jupyter_ada_kernel.gpr (1/2)...
Setup
[mkdir] object directory for project ZMQ
[mkdir] library directory for project ZMQ
[mkdir] object directory for project Matreshka_League
[mkdir] library directory for project Matreshka_League
[mkdir] library ALI directory for project Matreshka_League
[mkdir] object directory for project Jupyter
[mkdir] library directory for project Jupyter
[mkdir] library ALI directory for project Jupyter
[mkdir] object directory for project Spawn
[mkdir] library directory for project Spawn
[mkdir] object directory for project Jupyter_Ada_Kernel
Compile
[Ada] ada_kernel.adb
[c] posix_const.c
[Ada] spawn-common.adb
[Ada] spawn-polls-posix_polls.adb
[Ada] spawn-processes-monitor_loop.adb
[Ada] spawn-polls.ads
[Ada] spawn-string_vectors.ads
ada_kernels.ads:75:15: error: subprogram "Finished" is not overriding
compilation of ada_kernel.adb failed
gprbuild: *** compilation phase failed
stderr: Command ["gprbuild", "-s", "-j0", "-p", "-P", "/home/runner/work/alire-crates-ci/alire-crates-ci/test/cf6a7b70-046d-46c1-ae56-f21853a98322/jupyter_kernel_1.0.0_8c987c13/gnat/jupyter_ada_kernel.gpr"] exited with code 4
ERROR: Command ["gprbuild", "-s", "-j0", "-p", "-P", "/home/runner/work/alire-crates-ci/alire-crates-ci/test/cf6a7b70-046d-46c1-ae56-f21853a98322/jupyter_kernel_1.0.0_8c987c13/gnat/jupyter_ada_kernel.gpr"] exited with code 4
stderr: ALIRE.CHECKED_ERROR
stderr: Command ["gprbuild", "-s", "-j0", "-p", "-P", "/home/runner/work/alire-crates-ci/alire-crates-ci/test/cf6a7b70-046d-46c1-ae56-f21853a98322/jupyter_kernel_1.0.0_8c987c13/gnat/jupyter_ada_kernel.gpr"] exited with code 4
stderr: raised ALIRE.CHECKED_ERROR : alire-stored-error:1
[/home/runner/work/alire-crates-ci/alire-crates-ci/alire_install/bin/alr]
0xe16f5e Alire.Raise_Checked_Error at alire.adb:284
0xa845be Alire.Os_Lib.Subprocess.Checked_Spawn at alire-os_lib-subprocess.adb:111
0xcef7be Alire.Spawn.Command at alire-spawn.adb:21
0xcefdde Alire.Spawn.Gprbuild at alire-spawn.adb:41
0xc31d1f Alire.Roots.Build at alire-roots.adb:186
0xc304da Alire.Roots.Build at alire-roots.adb:252
0xc53d6f Alire.Roots.Traverse at alire-roots.adb:2075
0xcba1fd Alire.Solutions.Traverse.Visit at alire-solutions.adb:1480
0xcb9344 Alire.Solutions.Traverse at alire-solutions.adb:1563
0xc53e62 Alire.Roots.Traverse at alire-roots.adb:2079
0xc53f21 Alire.Roots.Traverse at alire-roots.adb:2059
0xc30a46 Alire.Roots.Build at alire-roots.adb:283
0xc30b2b Alire.Roots.Build at alire-roots.adb:111
0x4a5e38 Alr.Commands.Get.Retrieve at alr-commands-get.adb:205
0x4a94f3 Alr.Commands.Get.Execute at alr-commands-get.adb:378
0x4a96a1 Alr.Commands.Get.Execute at alr-commands-get.adb:256
0x533c96 Alr.Commands.Sub_Cmd.Execute at clic-subcommand-instance.adb:749
0x53eff7 Alr.Commands.Execute at alr-commands.adb:561
0x43953a Alr.Main at alr-main.adb:13
0x43c1d3 Main at b__alr-main.adb:2299
[/lib/x86_64-linux-gnu/libc.so.6]
0x7fa82162a1c8
0x7fa82162a289
[/home/runner/work/alire-crates-ci/alire-crates-ci/alire_install/bin/alr]
0x4393dc _start at ???
0xfffffffffffffffe
Warning: jupyter_kernel=1.0.0 successfully retrieved but its build failed.
Dependencies were solved as follows:
+b libzmq 4.3.5 (new,indirect,system package)
+b make 4.3.0 (new,indirect,system package)
+ matreshka_league 21.0.0 (new)
+ spawn 25.0.0 (new)
+ zeromq_ada 4.1.5 (new)
ERROR: Build ended with errors