URL:
<https://savannah.gnu.org/bugs/?64444>
Summary: Building from git should NOT install swig in
/usr/local!
Group: Gforth
Submitter: None
Submitted: Tue 18 Jul 2023 06:16:42 PM UTC
Category: None
Severity: 3 - Normal
Item Group: None
Status: None
Privacy: Public
Assigned to: None
Open/Closed: Open
Discussion Lock: Any
_______________________________________________________
Follow-up Comments:
-------------------------------------------------------
Date: Tue 18 Jul 2023 06:16:42 PM UTC By: Anonymous
The script install-dep.sh installs swig in /usr/local, overwriting whatever is
there.
Some packaging systems, notably brew at least, install all their files in
/usr/local, and it's a common place for locally built packages to be
installed. Overwriting something installed by the user is a bad idea.
It should instead be installed as a subdirectory of the build directory, and
either PATH should be modified, or explicit paths to executables should be
used.
_______________________________________________________
Reply to this item at:
<https://savannah.gnu.org/bugs/?64444>
_______________________________________________
Message sent via Savannah
https://savannah.gnu.org/
