destdir should be changeable at -install time

[gildor478]

This feature request has been migrated from artifact #852 on forge.ocamlcore.org. It was assigned to user102.

user824 posted on 2010-12-30 10:11:56:

With automake you can usually change destdir at make time like this, which among other things is useful to test your install target without actually messing up /usr/local. make install DESTDIR=/tmp/staging1/

oasis doesn't seem to support this (I can only set --destdir at configure time).

user102 replied on 2010-12-30 11:13:18:

Well, that is overrideable but using "destdir".

$ make install destdir=/tmp/staging1/

Don't blame me, I know it is a poor design choice.

I will add a a "Sys.getenv DESTDIR " if "destdir" is not set.