Skip to content

If $SAGE_SUDO is set, use it whenever we do "make install" of a package. #21537

@mkoeppe

Description

@mkoeppe

That would be a solution for those who want to install Sage in a prefix that's only writable by root.

In this way, building can take place in unprivileged user account.

It could perhaps also be enabled by ./configure --enable-sudo-install. (not on this ticket)

This ticket makes routine changes to all spkg-install scripts. Whenever installing has more steps than just make install, it moves the install part to a separate script spkg-do-install.

*** See #21726 for a slightly different approach ***

CC: @jdemeyer @kiwifb @embray @nexttime @vbraun @mezzarobba

Component: build

Reviewer: Matthias Koeppe, Samuel Lelièvre

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

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    No milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions