JuliaLang/julia — Issue #391: DESTDIR should not include /usr/ in it
Author: xpaulbettsx
Created: 2012-02-19 03:19:45+00:00
State: open

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/` at the front of it. The default DESTDIR should *be* `/usr/`, which makes it easy to install to `/usr/local` (or wherever).