{title}Hets: libraries for Macintosh{/title}
{author}luettich{/author} 
{text}
<h2>Hets - libraries for Macintosh</h2>
<hr><br>
<h3>Current Version (compiled after November 28, 2006)</h3>
Please download  the <A href="mac/GNUreadline-framework.zip">GNUreadline.framework</A> and the <A href="mac/GMP-framework.zip">GMP.framework</A> and install
both either in <tt>/Library/Frameworks</tt> or <tt>
$HOME/Library/Frameworks</tt> with<br>
<tt>unzip GNUreadline-framework.zip -d $HOME/Library/Frameworks<BR>
unzip GMP-framework.zip -d $HOME/Library/Frameworks</tt>
<HR><BR>
<h3>Older Versions</h3>
<ul>
<li> If you want to use version 0.3 or 0.33 please install these files:<BR><BR>
Please download the files 
<A href="mac/libreadline.4.3.dylib">libreadline.4.3.dylib</A>
and <A href="mac/Haskell-libs.tgz">Haskell-libs.tgz</A><A>
and install them with<BR><BR>

<TT>mkdir -p /usr/local/lib<BR>
cp libreadline.4.3.dylib /usr/local/lib<BR>
mkdir -p /Library/Frameworks<BR>
tar xzf Haskell-libs.tgz -C /Library/Frameworks<BR>
</TT><BR>
</li>
<li> If you want to use a more recent binary version of hets:<BR>
 (version 0.41 or later compiled after April 11, 2005 with ghc-6.4 until
November 28, 2006)<BR><BR>
 Please download the LGPL-licensed 
  <a href="mac/HaskellSupport.framework.zip">
    <tt>HaskellSupport.framework</tt>
  </a> and <a href="mac/GMP.framework.zip">
    <tt>GMP.framework</tt>
  </a> and install them either in <tt>/Library/Frameworks</tt> or <tt> $HOME/Library/Frameworks</tt>. 
  (frameworks provided by krijo on the 
  <a href="http://www.cs.chalmers.se/~krijo/gfspec/key-gf-tools.html">
    OCL-GF web page<a>)
</li></ul>
{/text}