gprmode --mode=usage does not install static libraries

[asarhaddon]

Hello. The following shell script reproduces the issue. The last line answers only one line: Install project Foo, but installs no file. Setting the verbose option does not help. The executable I have tested this with is built from the commit made on 20220801 in this repository, on a Debian x86 with gcc-12. There remains a few patches, apparently unrelated. Is this reproducible? Thanks.

cat > foo.ads <<EOF                                                            
procedure Foo;                                                                 
EOF                                                                            

cat > foo.adb <<EOF                                                            
with Ada.Text_IO;                                                              
procedure Foo is                                                               
begin                                                                          
   Ada.Text_IO.Put ("hello");                                                  
end Foo;                                                                       
EOF                                                                            

cat > foo.gpr <<EOF                                                            
project Foo is                                                                 
   for Library_Name use "foo";                                                 
   for Library_Dir  use "lib";                                                 
   for Object_Dir   use "obj";                                                 
end Foo;
EOF
gprbuild -Pfoo.gpr
gprinstall -Pfoo.gpr -p --mode=usage