configure: Paths within $SAGE_LOCAL ($prefix) for sage_conf

[mkoeppe]

A solution for an issue encountered in #29617

CC: @orlitzky

Component: build: configure

Author: Matthias Koeppe

Branch/Commit: 2078fa6

Reviewer: Michael Orlitzky

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

[mkoeppe]

Branch: u/mkoeppe/configure__paths_within__sage_local___prefix__for_sage_conf

[mkoeppe]

Commit: 5161d65

[mkoeppe]

comment:2

Here's a basic solution (without a new macro) that is perhaps already good enough for the moment.

It is modeled after autotools' treatment of paths derived from ${prefix} such as @exec_prefix@.

In ecl/spkg-configure.m4 you would put the quoted value '${prefix}'/lib/ecl/maxima.fas as MAXIMA_FAS.

---

New commits:

5161d65

build/pkgs/sage_conf/src/sage_conf.py.in: Move SAGE_ROOT, SAGE_LOCAL to beginning of file; only use substitution @prefix@ once

[mkoeppe]

comment:3

... which would be processed in sage_conf.py.in in the same way as I have changed ECL_CONFIG.

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

986ca18

build/pkgs/sage_conf/src/sage_conf.py.in: replace subst by replace

[sagetrac-git]

Changed commit from 5161d65 to 986ca18

[mkoeppe]

Author: Matthias Koeppe

[orlitzky]

comment:7

I've rebased #29617 onto this to see how it goes, but the idea looks good. Thanks!

[orlitzky]

Reviewer: Michael Orlitzky

[orlitzky]

comment:8

I'm optimistic, thanks again.

[mkoeppe]

comment:9

Thanks for the review!

[vbraun]

comment:10

Merge conflict

[sagetrac-git]

Branch pushed to git repo; I updated commit sha1. New commits:

2078fa6

Merge tag '9.4.beta0' into t/31593/configure__paths_within__sage_local___prefix__for_sage_conf

[sagetrac-git]

Changed commit from 986ca18 to 2078fa6

[mkoeppe]

comment:12

easy merge, back to positive

[vbraun]

Changed branch from u/mkoeppe/configure__paths_within__sage_local___prefix__for_sage_conf to 2078fa6