Description: use DESTDIR correctly
Standard makefiles always attempt to install to the root(/). Setting
DESTDIR is the normal way to install to an alternative location.
Setting prefix has the possibility of breaking programs, as the prefix
may have been embedded inside a compiled binary.
From: Adam Heath <doogie@brainfood.com>
Signed-off-by: ian.pratt@cl.cam.ac.uk
Description: use INSTALL everywhere
Use install(by way of INSTALL variables) to create directories, install
programs, and install data files.
From: Adam Heath <doogie@brainfood.com>
Signed-off-by: ian.pratt@cl.cam.ac.uk
Many files:
Some fixes. Also now have a new Makefile target 'dist' which installs stuff to local install directory. Target 'install' now actually does what you expect by installing under /usr
xi_stopdom.py:
Rename: tools/misc/xi_stopdom.py -> tools/examples/xi_stopdom.py
xi_listdoms.py:
Rename: tools/misc/xi_listdoms.py -> tools/examples/xi_listdoms.py
xi_destroydom.py:
Rename: tools/misc/xi_destroydom.py -> tools/examples/xi_destroydom.py
xi_createlinuxdom.py:
Rename: tools/misc/xi_createlinuxdom.py -> tools/examples/xi_createlinuxdom.py
kaf24@firebug.cl.cam.ac.uk
kaf24@scramble.cl.cam.ac.uk
cl349@arcadians.cl.cam.ac.uk
iap10@labyrinth.cl.cam.ac.uk