Clone of https://github.com/NixOS/nixpkgs.git (to stress-test knotserver)
at devShellTools-shell 13 lines 522 B view raw
1diff --git a/Makefile b/Makefile 2index 8c542078..e91cef5e 100644 3--- a/Makefile 4+++ b/Makefile 5@@ -82,7 +82,7 @@ LIB_INSTALLER=gprinstall -p -f --target=$(TARGET) $(RBD) "--prefix=${prefix}" 6 CLEANER=gprclean -q $(RBD) 7 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} \ 13 --install-name=gpr \