Skip to content

configure: Handle the case of SAGE_LOCAL = a system directory with gcc better #33361

@mkoeppe

Description

@mkoeppe

(split out from #30845)

git grep SAGE_LOCAL src/sage shows that there are still a few leftover places in the Sage library that hardcode SAGE_LOCAL as the directory where some executables etc. are found, notably gap.

In some settings, this forces us to set SAGE_LOCAL to a system location when ideally it should ideally be unset (as in distribution packaging). In particular, in the (experimental) set up of Conda for Sage developers described in https://wiki.sagemath.org/Conda, we would set SAGE_LOCAL to CONDA_PREFIX.

We adjust the configure script for this situation.

CC: @isuruf @tobiasdiez @kiwifb @orlitzky @dimpase

Component: build: configure

Author: Matthias Koeppe

Branch/Commit: ce6f8fd

Reviewer: Dima Pasechnik

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

Metadata

Metadata

Assignees

No one assigned

    Type

    No type

    Projects

    No projects

    Milestone

    Relationships

    None yet

    Development

    No branches or pull requests

    Issue actions