Re: Installing a port into a different prefix

2006-05-18 Thread Lennon Cook
Paul Schmehl <[EMAIL PROTECTED]> wrote: Perhaps those were left over from a previous install? I tested this possibility by completely removing kaffe (and verified that these files no longer existed), and then reinstating it with PREFIX=/opt/kaffe. kaffe and kaffeh again exist in both places, kaf

Re: Installing a port into a different prefix

2006-05-18 Thread Paul Schmehl
Lennon Cook wrote: Paul Schmehl <[EMAIL PROTECTED]> wrote: make PREFIX="/usr/local/lib/" install clean Thank you, this works well. :) Although, doing 'make PREFIX=/opt/kaffe install clean' still installs kaffe, kaffeh, and kaffe-bin into /usr/local/bin (aswell as installing everything - includ

Re: Installing a port into a different prefix

2006-05-18 Thread Lennon Cook
Paul Schmehl <[EMAIL PROTECTED]> wrote: make PREFIX="/usr/local/lib/" install clean Thank you, this works well. :) Although, doing 'make PREFIX=/opt/kaffe install clean' still installs kaffe, kaffeh, and kaffe-bin into /usr/local/bin (aswell as installing everything - including these files - exc

Re: Installing a port into a different prefix

2006-05-18 Thread Paul Schmehl
Lennon Cook wrote: I am attempting to have two ports (java/kaffe and java/jdk15) installed side-by-side. This means installing one of them into a different prefix, because they both install several files with the same name (specifically, java{,c,h,doc} and possibly others). At this point, I would