make install does not install a .gpr file in $PREFIX/lib/gnat/ Issue #12 commented on in tkoskine/ahven Tero Koskinen ·
make install does not install a .gpr file in $PREFIX/lib/gnat/ Issue #12 commented on in tkoskine/ahven Tero Koskinen ·
make install does not install a .gpr file in $PREFIX/lib/gnat/ Issue #12 updated in tkoskine/ahven Tero Koskinen ·