For historical reasons, ION installs into /opt. It probably should install into /usr/local (/bin, /lib, /include, /share/man, etc.) instead. This would entail revising not only the autotools Makefile but also the individual ION package Makefiles.
Anonymous
Fortunately, the autotools configuration actually already installs to /usr/local.
Wups, sorry, Josh, I missed that. I looked through Makefile.am and somehow got the mistaken impression that it still installed into /opt. So now only the individual ION package Makefiles need to be modified.
Still worth doing, will address in ION version 3.3.0.
Kicking this can down the road yet again. Won't be addressed in version 3.4.0.
Still worth doing, but not urgent; slipping to version 3.5.1.
Still not urgent, slipping it to version 3.6.1 (or possibly 4.0.0....).
Yep, we should do this. Maybe in 2020.
Only the i86_64-firefox Makefiles have been modified in this way, but nowadays those are the only ones that are used during development.
Already fixed.