build/bin/write-dockerfile.sh: Shell-quote system packages

Author: Matthias Koeppe

build/bin/write-dockerfile.sh

@@ -16,12 +16,15 @@ export PATH="$SAGE_ROOT"/build/bin:$PATH
 SYSTEM_PACKAGES=$EXTRA_SYSTEM_PACKAGES
 CONFIGURE_ARGS="--enable-option-checking "
 for SPKG in $(sage-package list --has-file=spkg-configure.m4 $SAGE_PACKAGE_LIST_ARGS) $EXTRA_SAGE_PACKAGES; do
-    SYSTEM_PACKAGE=$(sage-get-system-packages $SYSTEM $SPKG | sed 's/${PYTHON_MINOR}/'${PYTHON_MINOR}'/g')
+    SYSTEM_PACKAGE=$(sage-get-system-packages $SYSTEM $SPKG)
     if [ -n "${SYSTEM_PACKAGE}" ]; then
-	# SYSTEM_PACKAGE can be empty if, for example, the environment
-	# variable ENABLE_SYSTEM_SITE_PACKAGES is empty.
-	SYSTEM_PACKAGES+=" ${SYSTEM_PACKAGE}"
-	CONFIGURE_ARGS+="--with-system-${SPKG}=${WITH_SYSTEM_SPKG} "
+        # SYSTEM_PACKAGE can be empty if, for example, the environment
+        # variable ENABLE_SYSTEM_SITE_PACKAGES is empty.
+        for a in $SYSTEM_PACKAGE; do
+            # shell-quote package if necessary
+            SYSTEM_PACKAGES+=$(printf " %q" "$a")
+        done
+        CONFIGURE_ARGS+="--with-system-${SPKG}=${WITH_SYSTEM_SPKG} "
     fi
 done
 echo "# Automatically generated by SAGE_ROOT/build/bin/write-dockerfile.sh"