make's DESTDIR not set when using 'configure --prefix='
Hi,
I was trying to install graph-tool into a user specified directory (without cairo if that is important):
./configure --prefix=$MYDIR --disable-cairo && make && make install
However make install
fails while trying to install into the system default directory:
Making install in src
make[1]: Entering directory `....../graph-tool-2.2.23/src'
Making install in graph
make[2]: Entering directory `....../graph-tool-2.2.23/src/graph'
Making install in centrality
make[3]: Entering directory `....../graph-tool-2.2.23/src/graph/centrality'
make[4]: Entering directory `....../graph-tool-2.2.23/src/graph/centrality'
make[4]: Nothing to be done for `install-exec-am'.
echo /bin/mkdir -p '/usr/lib/python2.7/site-packages/graph_tool/centrality'
/bin/mkdir: cannot create directory `/usr/lib/python2.7/site-packages': Permission denied
make[4]: *** [install-libgraph_tool_centralityLTLIBRARIES] Error 1
Resolved by manually specifying DESTDIR
:
make DESTDIR=$MYDIR install
System:
Linux 3.2.0-4-amd64 #1 SMP Debian 3.2.32-1 x86_64 GNU/Linux
GNU Make 3.81
automake (GNU automake) 1.11.6
gcc (Debian 4.7.2-4) 4.7.2