--- a/Makefile	2017-07-20 08:51:11.306087482 +0200
+++ b/Makefile.edit	2017-07-20 08:52:04.396938587 +0200
@@ -56,15 +56,17 @@
 #######################################################################
 #  install
 
+gprdir="lib/gnat"
+
 GPRINST_OPTS=-p -f --prefix=${prefix} --install-name=gnatcoll \
-	--exec-subdir=${bindir} --project-subdir=lib/gnat -XXMLADA_BUILD=$(@F) \
+	--exec-subdir=${bindir} --project-subdir=${gprdir} -XXMLADA_BUILD=$(@F) \
 	--lib-subdir=${libdir}/ --link-lib-subdir=${libdir} -v \
 	--build-var=LIBRARY_TYPE --build-name=$(@F) -XLIBRARY_TYPE=$(@F)
 
 install-clean:
-ifneq (,$(wildcard $(prefix)/lib/gnat/manifests/gnatcoll))
+ifneq (,$(wildcard $(prefix)/${gprdir}/manifests/gnatcoll))
 	-$(GPRINSTALL) --uninstall -f \
-		--prefix=$(prefix) --project-subdir=lib/gnat gnatcoll
+		--prefix=$(prefix) --project-subdir=${gprdir} gnatcoll
 endif