OCL-GF Tools Download

From this page you can download the tools required for the GF-based functionality in KeY: translating OCL to natural language, and syntax editing of OCL and natural language in parallell.

Currently, you need three external binaries installed in your $PATH: gf, umltypes2gf, and ocl2nl. We provide compiled binaries for some platforms on this page, as well as a source distribution which should be easy to compile provided you have a recent version of the GHC Haskell compiler installed.

Binary Distributions

Download, unpack (tar + bzip2) and install the three binaries somewhere in your $PATH

• Linux binaries (requires readline): OCLGF-linux-050505.tbz
• Linux binaries, statically linked: OCLGF-linux-static-050505.tbz
• Mac OS X binaries: OCLGF-MacOSX-050329.tbz. For Mac OS X, you also need the LGPL-licensed HaskellSupport.framework and GMP.framework installed in /System/Library.

Source Distribution

Download archive with Haskell source here: OCLGF-050329.tbz. Compile and install as follows:

1. Make sure that you have a recent version of the GHC Haskell compiler installed.
2. Unpack (tar + bzip2) the archive and cd into the directory OCLGF.
3. Compile everything with the command make key-tools
4. There should now be three binaries in the directory bin. These should be installed somewhere in your $PATH.

Last modified 05-05-05 by krijo@cs.chalmers.se.