@@ -35,48 +35,48 @@ for SYSTEM in arch debian fedora homebrew opensuse void; do
3535 RECOMMENDED_SYSTEM_PACKAGES=
3636 DEVELOP_SYSTEM_PACKAGES=
3737 for PKG_BASE in $( sage-package list --has-file distros/$SYSTEM .txt) ; do
38- PKG_SCRIPTS=build/pkgs/$PKG_BASE
39- PKG_TYPE=$( cat $PKG_SCRIPTS /type)
40- PKG_SYSTEM_PACKAGES=$( sage-get-system-packages $SYSTEM $PKG_BASE )
41- if [ -n " PKG_SYSTEM_PACKAGES" ]; then
42- if [ -f $PKG_SCRIPTS /spkg-configure.m4 ]; then
43- case " $PKG_BASE :$PKG_TYPE " in
44- * :standard)
45- SYSTEM_PACKAGES+=" $PKG_SYSTEM_PACKAGES "
46- ;;
47- $DEVELOP_SPKG_PATTERN :* )
48- DEVELOP_SYSTEM_PACKAGES+=" $PKG_SYSTEM_PACKAGES "
49- ;;
50- $RECOMMENDED_SPKG_PATTERN :* )
51- RECOMMENDED_SYSTEM_PACKAGES+=" $PKG_SYSTEM_PACKAGES "
52- ;;
53- * )
54- OPTIONAL_SYSTEM_PACKAGES+=" $PKG_SYSTEM_PACKAGES "
55- ;;
56- esac
57- else
58- case " $PKG_BASE :$PKG_TYPE " in
59- $DEVELOP_SPKG_PATTERN :* )
60- DEVELOP_SYSTEM_PACKAGES+=" $PKG_SYSTEM_PACKAGES "
61- ;;
62- * :standard)
63- SAGELIB_SYSTEM_PACKAGES+=" $PKG_SYSTEM_PACKAGES "
64- ;;
65- * )
66- SAGELIB_OPTIONAL_SYSTEM_PACKAGES+=" $PKG_SYSTEM_PACKAGES "
67- ;;
68- esac
69- fi
70- fi
38+ PKG_SCRIPTS=build/pkgs/$PKG_BASE
39+ PKG_TYPE=$( cat $PKG_SCRIPTS /type)
40+ PKG_SYSTEM_PACKAGES=$( sage-get-system-packages $SYSTEM $PKG_BASE )
41+ if [ -n " $ PKG_SYSTEM_PACKAGES" ]; then
42+ if [ -f $PKG_SCRIPTS /spkg-configure.m4 ]; then
43+ case " $PKG_BASE :$PKG_TYPE " in
44+ * :standard)
45+ SYSTEM_PACKAGES+=" $PKG_SYSTEM_PACKAGES "
46+ ;;
47+ $DEVELOP_SPKG_PATTERN :* )
48+ DEVELOP_SYSTEM_PACKAGES+=" $PKG_SYSTEM_PACKAGES "
49+ ;;
50+ $RECOMMENDED_SPKG_PATTERN :* )
51+ RECOMMENDED_SYSTEM_PACKAGES+=" $PKG_SYSTEM_PACKAGES "
52+ ;;
53+ * )
54+ OPTIONAL_SYSTEM_PACKAGES+=" $PKG_SYSTEM_PACKAGES "
55+ ;;
56+ esac
57+ else
58+ case " $PKG_BASE :$PKG_TYPE " in
59+ $DEVELOP_SPKG_PATTERN :* )
60+ DEVELOP_SYSTEM_PACKAGES+=" $PKG_SYSTEM_PACKAGES "
61+ ;;
62+ * :standard)
63+ SAGELIB_SYSTEM_PACKAGES+=" $PKG_SYSTEM_PACKAGES "
64+ ;;
65+ * )
66+ SAGELIB_OPTIONAL_SYSTEM_PACKAGES+=" $PKG_SYSTEM_PACKAGES "
67+ ;;
68+ esac
69+ fi
70+ fi
7171 done
7272
7373 if [ " ${BOOTSTRAP_QUIET} " = " no" ]; then
7474 echo >&2 $0 :$LINENO : installing " $OUTPUT_DIR " /$SYSTEM " *.txt"
7575 fi
76- echo " $( sage-print-system-package-command $SYSTEM --prompt --wrap --sudo install $( echo $( echo $ SYSTEM_PACKAGES | xargs -n 1 echo | sort | uniq) ) ) " > " $OUTPUT_DIR " /$SYSTEM .txt
77- echo " $( sage-print-system-package-command $SYSTEM --prompt --wrap --sudo install $( echo $( echo $ OPTIONAL_SYSTEM_PACKAGES | xargs -n 1 echo | sort | uniq) ) ) " > " $OUTPUT_DIR " /$SYSTEM -optional.txt
78- echo " $( sage-print-system-package-command $SYSTEM --prompt --wrap --sudo install $( echo $( echo $ RECOMMENDED_SYSTEM_PACKAGES | xargs -n 1 echo | sort | uniq) ) ) " > " $OUTPUT_DIR " /$SYSTEM -recommended.txt
79- echo " $( sage-print-system-package-command $SYSTEM --prompt --wrap --sudo install $( echo $( echo $ DEVELOP_SYSTEM_PACKAGES | xargs -n 1 echo | sort | uniq) ) ) " > " $OUTPUT_DIR " /$SYSTEM -develop.txt
76+ echo " $( sage-print-system-package-command $SYSTEM --prompt --wrap --sudo install $( echo " $ SYSTEM_PACKAGES" | xargs -n 1 echo | sort | uniq) ) " > " $OUTPUT_DIR " /$SYSTEM .txt
77+ echo " $( sage-print-system-package-command $SYSTEM --prompt --wrap --sudo install $( echo " $ OPTIONAL_SYSTEM_PACKAGES" | xargs -n 1 echo | sort | uniq) ) " > " $OUTPUT_DIR " /$SYSTEM -optional.txt
78+ echo " $( sage-print-system-package-command $SYSTEM --prompt --wrap --sudo install $( echo " $ RECOMMENDED_SYSTEM_PACKAGES" | xargs -n 1 echo | sort | uniq) ) " > " $OUTPUT_DIR " /$SYSTEM -recommended.txt
79+ echo " $( sage-print-system-package-command $SYSTEM --prompt --wrap --sudo install $( echo " $ DEVELOP_SYSTEM_PACKAGES" | xargs -n 1 echo | sort | uniq) ) " > " $OUTPUT_DIR " /$SYSTEM -develop.txt
8080done
8181
8282OUTPUT_DIR=" src/doc/en/reference/spkg"
0 commit comments