Closed RREE closed 6 years ago
Issue 1 is an external issue and should be fixed in the main branch of Ahven. See https://bitbucket.org/tkoskine/ahven/issues/12/make-install-does-not-install-a-gpr-file#comment-42790389
For issue 2 I'll push a fix shortly.
There are two issues when running "make build_unit_tests":
with "<path-to-ahven>/gnat/ahven_lib"