Make Prefix Specification

[Dominyk Tiller]

Can OneTime be changed to fit make prefix specification?

Currently if you wish to change where it does make install you have to edit the makefile, but this isn't terribly convenient from the command line.

Would it be possible to move towards

make install DESTDIR=#{prefix}

or

make install prefix=#{prefix}

instead?

[Karl Fogel]

Dominyk Tiller [e-mail] writes:

Can OneTime be changed to fit make prefix specification?

Currently if you wish to change where it does make install you have
to edit the makefile, but this isn't terribly convenient from the
command line.

Would it be possible to move towards

make install DESTDIR=#{prefix}

or

make install prefix=#{prefix}

instead?

I'd be okay with that. Can you write the patch and submit it as (as a
patch or as a pull request, whichever is more convient for you)?

Best,
-Karl

[Dominyk Tiller]

Extremely belatedly, I have created a PR to fix this.

[Karl Fogel]

Thanks! I see the PR in issue #12, and have commented there about the reason for my delay in responding.