Changes between Initial Version and Version 1 of Ticket #387, comment 5
- Timestamp:
- Mar 24, 2016, 1:25:22 PM (9 years ago)
Legend:
- Unmodified
- Added
- Removed
- Modified
-
Ticket #387, comment 5
initial v1 1 1 The port doesn't install through destdir yet. however adding: 2 {{{ 2 3 install.destroot JOVEHOME=${destroot}${prefix} 4 }}} 3 5 4 6 seems to have done the trick, so I have committed it with that.