Test ran at 2025-03-05 00:54:04.826007+00:00

SOLUTION:
matreshka_servlet=21.0.0: Servlet API
Origin: commit e6463c55cfc662b3f738175e855fb9bf6cdfd3b8 from https://github.com/reznikmm/matreshka-alire
Properties:
   Author: Vadim Godunko
   Description: Servlet API
   License: BSD-3-Clause
   Maintainer: Vadim Godunko <vgodunko@gmail.com>
   Maintainer: Maxim Reznik <reznikmm@gmail.com>
   Maintainers_Logins: godunko
   Maintainers_Logins: reznikmm
   Name: matreshka_servlet
   Project_File: build_matreshka_servlet.gpr
   Tag: web
   Tag: servlet
   Tag: http
   Version: 21.0.0
   Website: https://github.com/godunko/matreshka
Dependencies (direct):
   matreshka_league21.0.0
Dependencies (solution):
   make=4.4.1
   matreshka_league=21.0.0
Dependencies (graph):
   matreshka_league=21.0.0  --> make=4.4.1 (*)
   matreshka_servlet=21.0.0 --> matreshka_league=21.0.0 (21.0.0)


LOG:
Spawning: alr -d -n get --build matreshka_servlet=21.0.0
Note: Deploying matreshka_servlet=21.0.0...
Note: Running post-fetch actions for matreshka_league=21.0.0...
gnatmake -p -j0  -Pgnat/tools_configure.gpr
tools_configure.gpr:50:25: "../tools/configure" is not a valid directory
gprbuild: "gnat/tools_configure.gpr" processing failed
make: *** [Makefile:115: config] Error 5
stderr: Command ["make", "reconfig"] exited with code 2
ERROR: Command ["make", "reconfig"] exited with code 2