diff options
Diffstat (limited to 'relocatable-build.patch')
-rw-r--r-- | relocatable-build.patch | 11 |
1 files changed, 11 insertions, 0 deletions
diff --git a/relocatable-build.patch b/relocatable-build.patch new file mode 100644 index 000000000000..0ed02e6ba1a9 --- /dev/null +++ b/relocatable-build.patch @@ -0,0 +1,11 @@ +--- a/Makefile ++++ b/Makefile +@@ -75,7 +75,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 --build-var=LIBRARY_TYPE $(GTARGET) |