Delivery-Date: 
Sender: info-hol-request@lal.cs.byu.edu
Errors-To: info-hol-request@lal.cs.byu.edu
Precedence: bulk
To: info-hol@leopard.cs.byu.edu
Subject: TkHolWorkbench: Tk now available via ftp from ftp.cl.cam.ac.uk
Date: Wed, 14 Dec 1994 16:06:58 +0000
From: Donald Syme <Donald.Syme@cl.cam.ac.uk>
Message-Id: <"swan.cl.cam.:201520:941214160738"@cl.cam.ac.uk>


I have placed the latest release of the Tk 
toolkit, which is needed by TkHolWorkbench, in

ftp://ftp.cl.can.ac.uk/hvg/contrib/TkHolWorkbench/...

If you are not using sun4/SunOS you will need install
copies of these packages to run TkHolWorkbench.  I have
also incorporated the "addinput" patch into the source
code for tk3.6 in that directory, hence making it easier
to install for everyone.
The latest FAQs from comp.lang.tcl and a list of 
other sites where these packages are available
are also there, should people be interested.

The directory //ftp.cl.can.ac.uk/hvg/contrib/TkHolWorkbench/ 
now looks like:

   1 drwxrwxr-x  2 drs1004       512 Dec 14 15:22 ./
   2 drwxrwxr-x 78 jrh          1536 Dec 13 02:24 ../
   9 -rw-rw-r--  1 drs1004      8705 Dec 13 02:27 TkHolWorkbench.0.1b.README
 608 -rw-rw-r--  1 drs1004    612606 Dec 13 18:12 TkHolWorkbench.0.1b.tar.gz
   1 -rw-rw-r--  1 drs1004       791 Dec 14 14:57 TkTcl.MIRRORS
  40 -rw-rw-r--  1 drs1004     40213 Dec 14 14:18 comp.lang.tcl.faq.1
  45 -rw-rw-r--  1 drs1004     45734 Dec 14 14:19 comp.lang.tcl.faq.2
  25 -rw-rw-r--  1 drs1004     24586 Dec 14 14:19 comp.lang.tcl.faq.3
 120 -rw-rw-r--  1 drs1004    107050 Dec 14 14:20 comp.lang.tcl.faq.4
  92 -rw-rw-r--  1 drs1004     93545 Dec 14 14:20 comp.lang.tcl.faq.5
 608 -rw-rw-r--  1 drs1004    607400 Dec 13 16:18 tcl7.3.tar.Z
   8 -rw-rw-r--  1 drs1004      7296 Dec 13 16:19 tclX7.3b.README
 456 -rw-rw-r--  1 drs1004    455392 Dec 13 16:18 tclX7.3b.tar.gz
  64 -rw-rw-r--  1 drs1004     65351 Dec 14 14:15 tk.usage.faq
1232 -rw-r--r--  1 drs1004   1250329 Dec 14 15:16 tk3.6.addinput.tar.Z


MORE INSTALLATION NOTES for TkHolWorkbench


If you are short on disk space, then after installing Tcl/Tk/TclX
you can trim down your installation to the equivalent
of what I have provided for sun4/SunOS systems - untar 
TkHolWorkbench.0.1b/wishx_binaries/sun4.tar.gz to see
the minimal set of files that are needed.  Certainly
you can remove your (made) copies of Tcl and Tk once
you have made TclX.

NOTE: when compiling Tcl7.3 and Tk3.6 and TclX7.3b you do *not* need to "install"
them.  You can, if you want. 

A full transcript minus output of a successful ftp/installation
of all the packages needed to run TkHolWorkbench might
be as follows.  It should help people follow through the installation,
and just trying to mimic this may be better than trying to read
through the INSTALL notes for each package.

The whole installation took me around 45 minutes, but then I
know my way around the packages :-).

> ftp ftp.cl.cam.ac.uk

(Login as anonymous)

ftp> cd hvg/contrib/TkHolWorkbench

ftp> binary
...
ftp> prompt
...
ftp> mget tcl7.3.tar.Z tclX7.3b.tar.gz tk3.6.addinput.tar.Z TkHolWorkbench.0.1b.tar.gz
...
ftp> quit

> gunzip *.gz
> uncompress *.Z
> tar -xf TkHolWorkbench.0.1b.tar
> rm TkHolWorkbench.0.1b.tar
> tar -xf tcl7.3.tar
> rm tcl7.3.tar 
> tar -xf tk3.6.addinput.tar
> rm tk3.6.addinput.tar
> tar -xf tclX7.3b.tar
> rm tclX7.3b.tar
> ls

TkHolWorkbench.0.1b  tclX7.3b
tcl7.3               tk3.6

> cd tcl7.3
> configure
...
> make
...
> cd ../tk3.6
> configure
...
> make
...
> cd ../tclX7.3b
> configure
...
> make
...
> cd ..
> mkdir TkHolWorkbench.0.1b/wishx_binaries/`arch`
> mv tclX7.3b TkHolWorkbench.0.1b/wishx_binaries/`arch`/
> rm -fr tcl7.3 tk3.6
> cd TkHolWorkbench.0.1b/
> vi Makefile
...
> make 			(NOTE here you can use "make hol88" or "make hol90")
...
> vi install.sh
...
> make install
...
> bin/tkholwb
....