From 39a694a395790f70504a483370e7a2fb8de7b0ee Mon Sep 17 00:00:00 2001 From: Nicolas Roche Date: Thu, 25 Jan 2024 11:35:37 +0100 Subject: [PATCH] Adjust installation location of gnatcoll.gpr abstract project Part of eng/toolchain/gnatcoll-core#25 --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index d5650873..11cb6975 100644 --- a/Makefile +++ b/Makefile @@ -218,7 +218,7 @@ ifeq ($(GNATCOLL_PROJECTS), yes) --build-var=LIBRARY_TYPE --build-var=GNATCOLL_BUILD \ --build-var=GNATCOLL_CORE_BUILD $(GNATCOLL_PROJECTS_GPR) endif - cp $(GNATCOLL_GPR) $(prefix)/share/gpr + cp $(GNATCOLL_GPR) $(prefix)$(integrated_install)/share/gpr ########### # Cleanup #