changed default_directory_basename

CTSRD-CHERI · Mar 18, 2024 · 4b61c03 · 4b61c03
1 parent c05e719
commit 4b61c03
Showing 1 changed file with 1 addition and 0 deletions.
diff --git 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