Las siguientes son las instrucciones para instalar la versión incompleta de HAL en tu máquina personal, para poder hacer los ejercicios 3, 4 y 8 del proyecto 3. Las instrucciones suponen que el sistema operativo es alguna versión actual de Ubuntu o Debian.

1. Instalar ghc, cabal y git, a nivel del sistema (por eso hay que ejecutar con 'sudo'):

$> sudo apt-get install ghc 
$> sudo apt-get install cabal-install 
$> sudo apt-get install git

2. Bajar el código fuente de HAL, desde la página de la materia y descomprimirlo. Estos pasos se pueden hacer desde el navegador, o desde la terminal con los siguientes comandos:

$> wget ...
$> unzip -x hal-gui.zip

3. Ingresar en la carpeta del proyecto e instalar dependencias:

$> cd hal-gui
$> cabal install Cabal 
$> cabal install fun/equ/equ.cabal
$> sudo apt-get install --force-yes -y alex happy
$> cabal install gtk2hs-buildtools
$> sudo apt-get install --force-yes -y libgtksourceview2.0-dev
$> cabal install fun/fun.cabal
$> cabal install hal/hal.cabal
$> cabal install --only-dependencies

4. Una vez completado uno o mas de los ejercicios, compilar el código fuente y ejecutar para probar:

$> cabal configure
$> cabal build
$> ./dist/build/hal-gui/hal-gui

Los dos primeros comandos compilan el código fuente de HAL. Si hubiera algún error de compilación (por ejemplo, algún error de tipos en el código que ustedes escriben) se mostrará en pantalla, de la misma manera que se muestran los errores en ghci. Si no hubo errores, se genera un archivo ejecutable, y se guarda por defecto en la carpeta dist/build/hal-gui. Tal archivo es el que se ejecuta en el tercer comando.

Importante: Cada vez que hagamos un cambio en el código fuente de HAL y queremos volver a ejecutar, debemos compilar el código otra vez.

Soporte: Si tienen dudas de como instalar, mandar mail al profe Miguel Pagano miguel.pagano@gmail.com