datafueled/memory-pool-system — pull request #8 by waywardmonkeys (2012-09-13 10:49:44+00:00)
Title: make install

This provides make install support.

You can set the prefix as you expect.

It also supports ``DESTDIR`` as is required by many packaging systems. DESTDIR is for doing something like:

````
make install DESTDIR=/tmp/mps/
````

This also makes it easy to test out your install target without interfering with anything real.