diff --git a/pycheribuild/projects/cross/gmp.py b/pycheribuild/projects/cross/gmp.py
index 2b7c84677..39b87cf3e 100644
--- a/pycheribuild/projects/cross/gmp.py
+++ b/pycheribuild/projects/cross/gmp.py
@@ -54,3 +54,8 @@ def setup(self):
     def configure(self, **kwargs):
         self.run_cmd("./.bootstrap", cwd=self.source_dir)
         super().configure(**kwargs)
+
+    def install(self, **kwargs):
+        super().install(**kwargs)
+        if not self.compiling_for_host():
+            self.delete_file(self.install_dir / "lib/libgmp.la", warn_if_missing=True)