DESTDIR should not include /usr/ in it

[anaisbetts]

Related to #6 (sorry for possibly beating this dead horse), but if you really want to use DESTDIR like Autotools' --prefix, you shouldn't have a /usr/ after it. The default DESTDIR should be /usr/, which makes it easy to install to /usr/local (or wherever).

So, for example, the line:

install -d $(DESTDIR)/usr/share/julia/lib

Should more properly be:

install -d $(DESTDIR)/share/julia/lib

This way, I can set DESTDIR to either /usr/local or /usr and it still works

[ViralBShah]

Yes, I don't like this. The only reason I did this was to play nice with a debian package build's default stuff. I guess I should figure out how to get debian packages building without requiring /usr in DESTDIR.

[exaos]

Maybe you can use $(INSTALL) ... $(DESTDIR)/@prefix@/share/... instead of only $(INSTALL) ... $(DESTDIR)/usr/share/....

[ViralBShah]

Can you create a pull request?

[exaos]

OK, please see #465

[JeffBezanson]

Can this be closed now?

[ViralBShah]

Yes. Good enough for me.

-viral

On 27-Feb-2012, at 9:12 AM, [email protected] wrote:

Can this be closed now?

---

Reply to this email directly or view it on GitHub:
#391 (comment)