Fails to build (ahven.ads not found)

Created by: thierr26

Hello Stéphane,

Building with make on Debian 10 fails with the following error (even after installing packages libahven28 and libahven7-dev):

gprbuild -m -q -p -Pkeystoreada_tests -XBUILD=distrib -XPROCESSORS=1 keystore-files-tests.adb:19:06: file "ahven.ads" not found

Thanks,

Thierry