Installing nhc13 under Windows

System Requirements

In order to use nhc13 under Windows 95 or NT, you first need to install the Cygnus gcc C compiler and tools. Essentially, it should be as simple as downloading gnu-win32/cdk.exe from your favorite Gnu-mirroring FTP site, and running it (it is a self-extracting archive). We tested with release b19. (In the UK, a good mirror of the Gnu tools is SunSite: here is the cdk.exe file you require.)

With gcc, you also get the bash shell and lots of other Unix tools, such as tar, gunzip, and make, which are needed to unpack and build the nhc13 distribution. For full information on the Gnu Cygnus toolset, see http://www.cygnus.com/misc/gnu-win32/

And now...

Once you have installed gcc and tools, the standard installation instructions apply. You have the option of installing the binary, C, or Haskell distribution package.

The latest updates to these pages are available on the WWW from http://www.cs.york.ac.uk/fp/nhc13/

1998.06.22
York Functional Programming Group
Malcolm.Wallace@cs.york.ac.uk