From 51b876594c16206dfce5f9c05600ffca88106a5c Mon Sep 17 00:00:00 2001
From: Alex Bilger <alxbilger@users.noreply.github.com>
Date: Thu, 8 Jun 2023 13:25:57 +0200
Subject: [PATCH] Add fetching of STLIB (#20)

---
 scripts/configure.sh | 1 +
 1 file changed, 1 insertion(+)

diff --git a/scripts/configure.sh b/scripts/configure.sh
index 0c09091..87b6a30 100644
--- a/scripts/configure.sh
+++ b/scripts/configure.sh
@@ -393,6 +393,7 @@ elif in-array "build-scope-full" "$BUILD_OPTIONS"; then
     fi
     # Plugins
     add-cmake-option "-DPLUGIN_BEAMADAPTER=ON -DSOFA_FETCH_BEAMADAPTER=ON"
+    add-cmake-option "-DPLUGIN_STLIB=ON -DSOFA_FETCH_STLIB=ON"
     add-cmake-option "-DPLUGIN_SOFTROBOTS=ON -DSOFA_FETCH_SOFTROBOTS=ON"
     if [[ "$VM_HAS_BULLET" == "true" ]]; then
         add-cmake-option "-DPLUGIN_BULLETCOLLISIONDETECTION=ON"