Skip to content

src/bin/sage: Delegate handling of options of sage-the-distribution, specifying a subset that is supported by sagelib proper #29111

@mkoeppe

Description

@mkoeppe

The sage script has a number of options that only make sense for sage-the-distribution, but do not make sense in downstream packaging of sage. Consequently, downstream packagers may install simple custom versions of the script that only provide a subset of the options.

Examples:

We should specify the subset of sage command line options that must be supported in any deployment/packaging of sage. This is so that user packages can work reliably.

Examples:

  • sage -c SAGECOMMAND -- obviously
  • sage -python -c COMMAND
  • sage -t -- because it is used by user packages for testing sage sources
  • sage -sh ..... ?

In this ticket, we actually split src/bin/sage into sagelib functionality and sage-the-distribution functionality. src/bin/sage delegates unknown options to build/bin/sage-site.

Ideally, distributions should be able to use an unmodified src/bin/sage.

Context:

See also:

Depends on #29878
Depends on #29289
Depends on #29884

CC: @kiwifb @isuruf @dimpase @embray @saraedum @antonio-rojas @slel @EmmanuelCharpentier @orlitzky @kcrisman

Component: scripts

Author: Matthias Koeppe, John Palmieri

Branch: 3953671

Reviewer: Matthias Koeppe, John Palmieri, François Bissey

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

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions