blob: d6f7db3dd8ccb8f1be679d2767460a2ca06c25c0 (
plain)
1
2
3
4
5
6
7
8
9
10
11
|
--- 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 \
|