Hello,

This is the wrapper repository that describes how to obtain and organize the 
repositories that make up the Helium system.

If you downloaded the helium system source repository from the website, you can
skip the check out section. 

CHECK OUT

Check out this repository as follows
  svn checkout https://svn.cs.uu.nl:12443/repos/heliumsystem/

Then type
  cd heliumsystem

Now obtain all the components that make up the compiler 
  svn checkout https://svn.cs.uu.nl:12443/repos/lvm/trunk
  mv trunk lvm
  svn checkout https://svn.cs.uu.nl:12443/repos/helium/trunk
  mv trunk helium
  svn checkout https://svn.cs.uu.nl:12443/repos/Top/trunk
  mv trunk Top
  svn checkout https://svn.cs.uu.nl:12443/repos/hint/trunk
  mv trunk hint

The checked out repositories also contain quite a number of AG files compilable
with the uuagc system (svn checkout https://svn.cs.uu.nl:12443/repos/uust-repo/). 
However, the generated Haskell files are also part of the distribution, so if you 
do not need to change the AG files, there is no need to install this.

COMPILATION

The standard way of compiling Helium is as follows:
cd lvm/src
./configure   # add -host i686-apple-macosx if you happen to have an Intel Mac.
cd runtime
make depend
cd ../../..
cd helium
./configure
cd src
make          # make sure make is GNU make, use gmake if it does not work.
(sudo) make install

In some cases you might want to add some configuration flags to the ./configure line.
If you want to test the compilation result before installing do, after make,

cd ..
cd test
./testAll

It will run a large amount of test of which you can expect three to fail:
 correct/Daan
 correct/PrintLargeFile
 staticwarnings/TestTypeSynonyms

In other words, we are aware of these testings failing, so there is not need to 
tell us. If you find that one of the other tests fail, do let us know.

To compile hint, go to the hint directory.
Type 

ant dist

You can now execute hint with

java -jar dist/Hint-1.7.jar 

Let us know if complications arise. 

The Helium website contains plenty of information about Helium and whatever that entails.
It can be found at http://www.cs.uu.nl/wiki/bin/view/Helium/WebHome .

good luck and have fun,
The Helium team

