cvs commit: hugs98/src MkInstal.in

[Ross Paterson]

On Mon, Aug 12, 2002 at 04:07:12PM +0100, Alastair Reid wrote:
> I think we need to figure out the full story for people using CVS or
> distros.

I think the new setup is usable now; the only problem is that it hasn't
had enough users thumping on it.  So I'd suggest that for the upcoming
release, both source and binary installations include both full sets
of libraries, with a run-time choice between them (via -P), defaulting
to the old setup.  After the release the default could be switched,
and the old libs eventually eliminated.  It doesn't seem worth it to
maintain parallel libraries for a long period.

So for now the story would be something like:

	cvs checkout hugs98 fpconfig
	cd fptools
	cvs checkout hslibs libraries
	cd ../hugs98/src/unix
	./convert_hslibs ../../../fptools
	./convert_libraries ../../../fptools
	# this would be the source distro
	./configure
	cd ..
	make install[_ffi]	# installs both lib and libraries
	# this would be the binary distro
	hugs			# gets the old libs
	HUGSFLAGS='-P{Hugs}/libraries:{Hugs}/oldlib:{Hugs}/lib/hugs'
	export HUGSFLAGS
	hugs			# gets the new setup

Maybe including the ffi stuff should be a configure option.