After an evaluation, GNOME has moved from Bugzilla to GitLab. Learn more about GitLab.
No new issues can be reported in GNOME Bugzilla anymore.
To report an issue in a GNOME project, go to GNOME GitLab.
Do not go to GNOME Gitlab for: Bluefish, Doxygen, GnuCash, GStreamer, java-gnome, LDTP, NetworkManager, Tomboy.
Bug 580043 - gnome-media build from git tries to install to /usr/local
gnome-media build from git tries to install to /usr/local
Status: RESOLVED FIXED
Product: gnome-media
Classification: Deprecated
Component: general
unspecified
Other Linux
: Normal normal
: ---
Assigned To: gnome media maintainers
gnome media maintainers
Depends on:
Blocks:
 
 
Reported: 2009-04-23 21:55 UTC by Vincent Untz
Modified: 2009-05-02 23:07 UTC
See Also:
GNOME target: ---
GNOME version: ---



Description Vincent Untz 2009-04-23 21:55:54 UTC
Apparently, this is caused by the --enable-shave that is in autogen.sh. Without it, it works just fine.

When it's there, the configure command that is run is:

Running ./configure --enable-maintainer-mode --enable-shave ...

It's possible a gnome-common bug, don't know.
Comment 1 Vincent Untz 2009-04-24 02:48:35 UTC
FWIW, instead of forcing --enable-shave, you can use this in configure.in:

SHAVE_INIT([.], [enable])
Comment 2 Marc-Andre Lureau 2009-05-02 23:07:26 UTC
commit b105b2c92f58bd0d320f05c2839e63c6e543b1ba
Author: Marc-André Lureau <marc-andre.lureau@nokia.com>
Date:   Fri Apr 24 14:31:11 2009 +0300

    build: fix autogen.sh

    Closes: http://bugzilla.gnome.org/show_bug.cgi?id=580043