URL: <https://savannah.gnu.org/patch/?10624>
Summary: [PATCH 24/31] configure: let AUXDIR_NAME be set from
the environment
Group: MIT/GNU Scheme
Submitter: barak
Submitted: Thu 24 Sep 2026 04:42:15 PM UTC
Category: None
Priority: 5 - Normal
Status: None
Privacy: Public
Assigned to: None
Originator Email:
Open/Closed: Open
Discussion Lock: Unlocked
_______________________________________________________
Follow-up Comments:
-------------------------------------------------------
Date: Thu 24 Sep 2026 04:42:15 PM UTC By: Barak A. Pearlmutter <barak>
microcode/configure.ac already defaults it with ": ${AUXDIR_NAME:=...}",
so it can be chosen from outside; configure.ac assigned it
unconditionally and then exported it, overriding that. Default it the
same way.
The name is unchanged, so this only matters to a caller that sets the
variable -- to install two flavours of one version side by side, say.
_______________________________________________________
File Attachments:
Name: 0024-configure-let-AUXDIR_NAME-be-set-from-the-environmen.patch Size:
1.1KiB
<https://file.savannah.gnu.org/file/0024-configure-let-AUXDIR_NAME-be-set-from-the-environmen.patch?file_id=59015>
AGPL NOTICE
These attachments are served by Savane. You can download the corresponding
source code of Savane at
https://savannah.gnu.org/source/savane-2ce82de06cddf3c312e2e260f2c97db720d76efc.tar.gz
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/patch/?10624>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/
signature.asc
Description: PGP signature
