1 diff --git a/Makefile b/Makefile
2 index 8c542078..e91cef5e 100644
5 @@ -82,7 +82,7 @@ LIB_INSTALLER=gprinstall -p -f --target=$(TARGET) $(RBD) "--prefix=${prefix}"
6 CLEANER=gprclean -q $(RBD)
8 GPRBUILD_BUILDER=$(BUILDER) $(GPRBUILD_GPR) \
9 - -XLIBRARY_TYPE=static -XXMLADA_BUILD=static
10 + -XLIBRARY_TYPE=relocatable -XXMLADA_BUILD=relocatable
11 LIBGPR_BUILDER=$(BUILDER) $(GPR_GPR) $(LIBGPR_OS)
12 LIBGPR_INSTALLER=$(LIB_INSTALLER) $(GPR_GPR) $(LIBGPR_OS) -XBUILD=${BUILD} \