From 4b61c03656f4a960d0e04acd50f1a031c1ff4165 Mon Sep 17 00:00:00 2001
From: Helena Adamkova <adamkova.helena.ghb@gmail.com>
Date: Mon, 18 Mar 2024 15:20:56 +0000
Subject: [PATCH] changed default_directory_basename

---
 pycheribuild/projects/cross/gmp.py | 1 +
 1 file changed, 1 insertion(+)

diff --git a/pycheribuild/projects/cross/gmp.py b/pycheribuild/projects/cross/gmp.py
index 849764268..992cc26a7 100644
--- a/pycheribuild/projects/cross/gmp.py
+++ b/pycheribuild/projects/cross/gmp.py
@@ -30,6 +30,7 @@
 
 class BuildGmp(CrossCompileAutotoolsProject):
     repository = GitRepository("https://github.com/gmp-mirror/gmp")
+    default_directory_basename = "libgmp"
     supported_architectures = (
         CompilationTargets.ALL_CHERIBSD_TARGETS_WITH_HYBRID
         + CompilationTargets.ALL_CHERIBSD_HYBRID_FOR_PURECAP_ROOTFS_TARGETS