search

datafueled / memory-pool-system

Reconstruction of some history for MPS
http://www.ravenbrook.com/project/mps/
Other
8 stars 2 forks source link

make install #8

Closed waywardmonkeys closed 12 years ago

waywardmonkeys commented 12 years ago

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.

rptb1 commented 12 years ago
  1. Doesn't make install usually depend on the build? So if I "make install" shouldn't it build first? What's normal practise?
  2. I get "permission denied" the second time I "make install" because my "mps*.h" are read-only (from Perforce). Are you sure you want to "cp -p"? What's normal practise here?
waywardmonkeys commented 12 years ago

Added 2 new commits that should address that.

rptb1 commented 12 years ago

Merged into Perforce masters in changelist 179467.