Hets: libraries for Macintosh

Hets - libraries for Macintosh

Current Version (compiled after November 28, 2006)

Older Versions

• If you want to use version 0.3 or 0.33 please install these files:
  
  Please download the files libreadline.4.3.dylib and Haskell-libs.tgz and install them with
  
  mkdir -p /usr/local/lib
  cp libreadline.4.3.dylib /usr/local/lib
  mkdir -p /Library/Frameworks
  tar xzf Haskell-libs.tgz -C /Library/Frameworks
  
  
• If you want to use a more recent binary version of hets:
  (version 0.41 or later compiled after April 11, 2005 with ghc-6.4 until November 28, 2006)
  
  Please download the LGPL-licensed HaskellSupport.framework and GMP.framework and install them either in /Library/Frameworks or $HOME/Library/Frameworks. (frameworks provided by krijo on the OCL-GF web page)