From 053e3989392c7f37442209a2cdfa1acbf6e31b19 Mon Sep 17 00:00:00 2001
From: Fabien Chouteau <chouteau@adacore.com>
Date: Fri, 7 Jun 2024 18:31:00 +0200
Subject: [PATCH] gnatcoll-bindings: only build static libs

---
 specs/gnatcoll-bindings.anod | 1 +
 1 file changed, 1 insertion(+)

diff --git a/specs/gnatcoll-bindings.anod b/specs/gnatcoll-bindings.anod
index bf428f1..8fe4422 100644
--- a/specs/gnatcoll-bindings.anod
+++ b/specs/gnatcoll-bindings.anod
@@ -56,6 +56,7 @@ class GNATcollBindings(spec("common")):
                 "build",
                 "--jobs=" + str(self.jobs),
                 "--reconfigure",
+                "--library-types", "static",
             )
 
             self.shell(