From 67ff87b93945183485ed1ebbb29e3d87b07911b5 Mon Sep 17 00:00:00 2001 From: Gert Caers Date: Sat, 8 Aug 2026 22:25:55 +0000 Subject: [PATCH] Fix parallel build race for awsres Make build-awsres-tool-native depend on build-lib-native to prevent concurrent gprbuild invocations from operating on the same library build tree. Reproduced on Ubuntu 26.04 ARM64 (aarch64) under UTM virtualization using GCC/GNAT 17.0.0 experimental and GPRbuild 25.0w. Unpatched builds failed with make -j2, -j4 and -j10 with nondeterministic missing zlib objects, including uncompr.o, trees.o and inflate.o. A serial make -j1 build succeeded. Verified on TESTUDO: two clean make -j10 builds completed successfully after adding the dependency. --- Makefile | 2 +- 1 file changed, 1 insertion(+), 1 deletion(-) diff --git a/Makefile b/Makefile index 447b75b47..c37712c74 100644 --- a/Makefile +++ b/Makefile @@ -136,7 +136,7 @@ ${MODULES_CHECK}: force # build awsres tool as needed by wsdl2aws -build-awsres-tool-native: +build-awsres-tool-native: build-lib-native $(GPRBUILD) -p $(GPROPTS) $(GPR_STATIC) -XTO_BUILD=awsres.adb \ tools/tools.gpr