--- a/Makefile +++ b/Makefile @@ -78,7 +78,7 @@ CLEANER=gprclean -q $(RBD) GPRBUILD_BUILDER=$(BUILDER) $(GPRBUILD_GPR) \ - -XLIBRARY_TYPE=static -XXMLADA_BUILD=static + -XLIBRARY_TYPE=relocatable -XXMLADA_BUILD=relocatable LIBGPR_BUILDER=$(BUILDER) $(GPR_GPR) LIBGPR_INSTALLER=$(LIB_INSTALLER) $(GPR_GPR) -XBUILD=${BUILD} \ --install-name=gpr \