Re: [isabelle] Vista Installation



On Tue, 6 Oct 2009, anusha g wrote:

First i downloaded and installed cygwin.The problem is with execution of
this:

$ tar -C /usr/local -xzf
Isabelle2009.tar.gz<http://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/Isabelle2009.tar.gz>
$ tar -C /usr/local -xzf
ProofGeneral.tar.gz<http://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/contrib/ProofGeneral.tar.gz>
$ tar -C /usr/local -xzf
polyml_x86-cygwin.tar.gz<http://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/contrib/polyml_x86-cygwin.tar.gz>
$ tar -C /usr/local -xzf
HOL_x86-cygwin.tar.gz<http://www.cl.cam.ac.uk/research/hvg/Isabelle/dist/HOL_x86-cygwin.tar.gz>

I have downloaded this file and my path is C:/cygwin/usr/local/ (the 4 files
are here)
I get error message as Cannot open: No such file or directory.

The instructions on the website with the hyperlinks should be read like this: first download the tar.gz files, then run the tar command using the resulting local file names, e.g.

  tar -C /usr/local -xzf Isabelle2009.tar.gz

You are free to choose any existing and writable directory instead of /usr/local above, even your home directory.

As long as you are inside the Cygwin command line you need not specify DOS/Windows filenames such as C:/... although this should normally happen to work as well.


	Makarius





This archive was generated by a fusion of Pipermail (Mailman edition) and MHonArc.