Tests: link-with-shared
Depends: libahven-dev, gprbuild
