[bug #64444] Building from git should NOT install swig in /usr/local!

[anonymous]

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/