INSTALLATION  NOTES

1. Untar and gunzip

	Find a suitable place for the package, then:
		gunzip -c TkHolWorkbench.0.2b.tar.gz | tar -xf -

	This will create a directory TkHolWorkbench.0.2b.  Then
		cd TkHolWorkbench.0.2b/
		
2.  Auto-configuration.

	TkHolWorkbench  comes  with  a automated configuration
	program  which  will  determine  many  of  your system
	parameters.  This  is  the program "configure", and to
	run    it    just    type:   ./configure   from   your
	TkHolWorkbench directory.

	TkHolWorkbench  now  comes  packaged  with Tk, Tcl and
	Expect,  all  of  which it uses. These packages do not
	need  to  be  built if "configure" finds that they are
	already  installed  on  your  system. "configure" will
	notify  you  if  they are not found, and will tell you
	to run "make expectk" to make these packages.
	
	These  packages  also  do  not need to be made if they
	were   in   existence   from  a  previous  version  of
	TkHolWorkbench.  This  will  not be the case with this
	release,  but  should  reassure  you that installation
	should not take quite so long next time.

	NOTE:  One  person  has reported that they have had to
	use  "gcc"  instead  of  "cc"  to  compile Tk, Tcl and
	Expect.  This  can  be  done  simply  by  setting  the
	environment variable CC to "gcc".
	
3. Adjust configuration parameters

	The    configuration    parameters    determined    by
	"configure"   can   be   altered   using  the  "setup"
	program.  This  is  a  simple  Tk program which allows
	you   to   set  various  parameters  relating  to  the
	installation   of  your  system.  The  parameters  are
	saved   between  executions  of  "setup",  and  indeed
	between   installations   of   different  versions  of
	TkHolWorkbench.

	Often,  you  will  not  need  to  run "setup". You can
	also  run  it  again  at  a  later  date if you should
	discover   a   configuration   parameter   that  needs
	alteration.
	
	To run setup, simply type
		./setup

4. Run make

	"make"  can  either  be  run  from "setup" or from the
	command line. Simply choose between:
		make all
		make hol90
	 and 	make hol88

	depending   on   what   versions   of   HOL  you  wish
	TkHolWorkbench to be able to run with.



5. Test it!

	After making the system, run
		./bin/tkholhelper
	
	After  a  time (which may be quite long - HOL needs to
	start  up),  you  will see a HOL prompt appear and the
	initial window of the interface as well.
	
