build/bin/sage-print-system-package-command: New option --spkg

sagemath · May 20, 2022 · ef249cc · ef249cc
1 parent 798f4d3
commit ef249cc
Showing 1 changed file with 10 additions and 1 deletion.
diff --git a/build/bin/sage-print-system-package-command b/build/bin/sage-print-system-package-command
@@ -5,6 +5,7 @@ shift
 IF_VERBOSE=:
 SUDO=
 PROMPT=
+SPKG=no
 if [ -n "$OUTPUT_RST" ]; then
  COMMENT=""
 else
@@ -13,6 +14,10 @@ fi
 while :
 do
  case "$1" in
+ --spkg)
+ # Whether given package names are SPKG names instead of system package names
+ SPKG=yes
+ ;;
  --verbose=*)
  IF_VERBOSE=
  COMMENT="${1#--verbose=}"
@@ -51,14 +56,18 @@ if [ -z "$system" -o -z "$command" ]; then
  echo >&2 "usage: $0 {auto|debian|arch|conda|...} [--verbose] [--sudo] [--prompt] {update|install|setup-build-env|remove|...} PACKAGES..."
  exit 1
 fi
-system_packages="$*"
 if [ "$system" = auto ]; then
  system=$(sage-guess-package-system 2>/dev/null)
  if [ "$system" = unknown ]; then
  echo >&2 "unknown package system"
  exit 1
  fi
 fi
+if [ "$SPKG" = "yes" ]; then
+ system_packages=$(echo $(sage-get-system-packages $system $*))
+else
+ system_packages="$*"
+fi
 options=
 env=
 shopt -s extglob