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(