12 lines
451 B
Diff
12 lines
451 B
Diff
--- Makefile 2024-04-04 19:55:18.161620100 +1100
|
|
+++ Makefile.new 2024-05-20 18:45:26.006166710 +1000
|
|
@@ -82,7 +82,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_OS)
|
|
LIBGPR_INSTALLER=$(LIB_INSTALLER) $(GPR_GPR) $(LIBGPR_OS) -XBUILD=${BUILD} \
|
|
--install-name=gpr \
|