ECC Software

System Requirements

PC with Intel Architecture (x86) processor running Windows 95, 98, ME, NT4.0, or 2000
Microsoft macro assembler (MASM) version 6.15 and 32-bit linker version 5.12.8181. These are available free of charge from Microsoft.

Downloads

ECC Scheme Compiler and Verifier for Windows

Installation Instructions

  1. If you are not running Windows 2000 or ME, download and install the Microsoft Windows Installer for your platform.
  2. Download the ECC software. Right click on ECCInstaller.msi and select Install. Note: this will change the file associations for .scm and .asm files. In the following, ECC\ refers to the ECC installation directory (by default C:\Program Files\ECC\).
  3. If you already have MASM version 6.15 installed, you do not need to reinstall it; see ECC\Readme.txt. Otherwise, to obtain MASM version 6.15, download the Visual C++ Processor Pack from Microsoft. This will give you a self-extracting archive vcpp.exe. Do not run it, but open it with WinZip. Copy the files ml.exe and ml.err to ECC\bin\.
  4. If you already have a 32-bit linker installed (for example, the linker version 6.00.8168 distributed with Microsoft Visual C++), you do not need to reinstall it; see ECC\Readme.txt. Otherwise, to obtain the Microsoft 32-bit linker version 5.12.8181, download the Windows 98 DDK from Microsoft. This will give you a self-extracting archive bins_ddk.exe. Do not run it, but open it with WinZip, then open the file bins_ddk.cab with WinZip. Copy the files bin_link.exe and bin_mspdb50.dll to ECC\bin\, renaming them link.exe and mspdb50.dll, respectively.

For more info on MASM and related tools, check out Jon Kirwan's PCTools page and the Free Assemblers and Linkers page from thefreecountry.com.

Disclaimer

This software is highly experimental and is provided "as is".

Send email to Dexter
ECC project home page
Copyright (c) 2000 Cornell University
Last updated: 31 December 2000