cvs commit: hugs98/src MkInstal.in

[Ross Paterson]

On Tue, Aug 13, 2002 at 09:23:34AM +1000, I wrote:
> 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

I see this doesn't work: convert_libraries uses config.h and
options.h, which are generated by configure.  But that makes the source
distribution architecture-dependent, and hardwires the original setting of
USE_DOUBLE_PRECISION, both undesirable.  Only the hierarchical libraries
are affected, specifically

	Foreign.C.Error
	Foreign.C.Types
	Foreign.C.TypesISO
	Foreign.Storable

It seems the #include is superfluous in the first one, but what to do
about the other three?

(You also copy config.h into libraries/Foreign/C, but that could be done
by make install.)