[Mono-list] Mono 0.26 has been released

Ole Hyldahl Hansen ohh@scisoft.dk
16 Aug 2003 11:41:54 +0200

On Sat, 2003-08-16 at 07:08, Peter Williams wrote:
> On Fri, 2003-08-15 at 04:33, Ole Hyldahl Hansen wrote:
> > cd mono-0.24
> > ./configure --prefix=/usr/local/dikunix
> > make
> > make install prefix=/usr/local/dikunix/work/mono/linux
> This shouldn't have ever worked, but there is a way to do this. Use:
> make install DESTDIR=/usr/local/dikunix/work/mono/linux
> Peter

Peter, thanks for your reply. The install procedure now runs without
failure. However, if I do:
./configure --prefix=/usr/local/dikunix
make install DESTDIR=/usr/local/dikunix/work/mono/linux

then mono is installed to (hang on):
/usr/local/dikunix/work/mono/linux/usr/local/dikunix !

It looks like the prefix is added to the DESTDIR. Mono seems to be
installed properly so I can just copy all the files and it will work. I
can live with that if there is no other solution.


Ole Hyldahl Hansen <ohh@scisoft.dk>