[mgp-users 1497] Re: bug: ./configure --prefix

[Yoshifumi Nishida <nishida@sfc.wide.ad.jp>]

Hello John,

Sorry for my very slow reply.
Yes, you're right. I'm going to fix it this weekend.
Meanwhile, I think you can do like this as a work around. 

make DESTDIR=/usr/local BINDIR=/bin install

Sorry for inconvenience.

Thanks,
--
Yoshifumi Nishida
nishida@sfc.wide.ad.jp


From: John J Foerch <jjfoerch@earthlink.net>
Subject: [mgp-users 1496] bug: ./configure --prefix
Date: Sun, 12 Apr 2009 13:08:38 -0400
Message-ID: <>

 > Hello,
 > 
 >   There seems to be a problem with the build system of magicpoint
 > 1.13a.  The configure script ignores --prefix.  For example:
 > 
 >    ./configure --prefix=/usr/local/
 > 
 >   The `make install' step will still install into /usr.
 > 
 >   Additionally, I think the default installation prefix should be
 > /usr/local rather than /usr, because /usr/local is designated for this
 > purpose in most linux-based operating systems.  The /usr prefix is
 > generally reserved for installation by packages.
 > 
 > -- 
 > Thank you,
 > John Foerch