Make ./configure --help a bit shorter by combining --with-system-SPKG and --with-system-SPK=force

[mkoeppe]

Also sort the --with-system-SPKG options alphabetically.

Purely cosmetic.

CC: @embray @dimpase @jhpalmieri

Component: build: configure

Author: Matthias Koeppe

Branch/Commit: 1269b08

Reviewer: Dima Pasechnik

Issue created by migration from https://trac.sagemath.org/ticket/29067

[mkoeppe]

Author: Matthias Koeppe

[mkoeppe]

Branch: u/mkoeppe/make___configure___help_a_bit_shorter_by_combining___with_system_spkg_and___with_system_spk_force

[mkoeppe]

comment:3

It still has some minor difficulties with the alphabet but is better than before.

---

New commits:

6d7eb15	bootstrap: Sort the spkg-configure.m4's alphabetically so that --with-system-SPKG options are sorted
5df3c68	m4/sage_spkg_configure.m4: Combine --with-system-SPKG and --with-system-SPK=force in configure --help output

[mkoeppe]

Commit: 5df3c68

[dimpase]

comment:5

Could you swap yes and no in {no|yes|force}, as yes is the default value?

[mkoeppe]

comment:6

Is that the standard? I have sorted them in increasing yes-ness

[dimpase]

comment:7

maybe

--- a/m4/sage_spkg_configure.m4
+++ b/m4/sage_spkg_configure.m4
@@ -51,8 +51,8 @@ m4_pushdef([SPKG_USE_SYSTEM], [sage_use_system_]SPKG_NAME)
 # BEGIN SAGE_SPKG_CONFIGURE_]m4_toupper($1)[
 AC_MSG_NOTICE([=== checking whether to install the $1 SPKG ===])
 AC_ARG_WITH([system-]SPKG_NAME,
-       AS_HELP_STRING(--with-system-SPKG_NAME={no|yes|force},
-           [detect and use an existing system SPKG_NAME (default: "yes"; "force": exit with an error if no usable version is found)]),
+       AS_HELP_STRING(--with-system-SPKG_NAME={no|yes (default)|force (exit with an error if no usable version is found)},
+           [detect and use an existing system SPKG_NAME]),
        [AS_VAR_SET(SPKG_USE_SYSTEM, [$withval])],
        [AS_VAR_SET(SPKG_USE_SYSTEM, [yes])]
 )

?

this saves a line per spkg.

[mkoeppe]

comment:8

Fine with me, please commit

[mkoeppe]

comment:9

Actually the default is more subtle because a previous choice of "no" persists as the effective default through SAGE_LOCAL.

[dimpase]

Changed commit from 5df3c68 to 1269b08

[dimpase]

Changed branch from u/mkoeppe/make___configure___help_a_bit_shorter_by_combining___with_system_spkg_and___with_system_spk_force to public/make___configure___help_a_bit_shorter_by_combining___with_system_spkg_and___with_system_spk_force

[dimpase]

New commits:

1269b08

save 1 line per spkg

[dimpase]

Reviewer: Dima Pasechnik

[mkoeppe]

comment:12

Thank you!

[vbraun]

Changed branch from public/make___configure___help_a_bit_shorter_by_combining___with_system_spkg_and___with_system_spk_force to 1269b08