Herramientas de usuario

Herramientas del sitio


algo1:instalarhal

Cómo instalar HAL incompleto en tu maquina personal

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, git, y wget 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
$> sudo apt-get install wget

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 https://cs.famaf.unc.edu.ar/wiki/_media/algo1/hal-gui.zip
$> unzip -x hal-gui.zip

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

$> sudo apt-get install --force-yes -y alex happy
$> sudo apt-get install --force-yes -y libgtksourceview2.0-dev
$> cd hal-gui
$> cabal update
$> cabal install Cabal-1.24.0.2
$> cabal install gtk2hs-buildtools
$> cabal install fun/equ/equ.cabal
$> 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
$> cabal run

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.

Segunda opcion para instalar hal

Si lo anterior no funciona, queda la opción de utilizar Stack.

El primer paso es descomprimir los archivos contenidos en el siguiente link archivos de stack. Luego tenes que agregarlo en el directorio del “hal incompleto que bajaste”. y ejecutar los siguientes comandos:

1. instalar haskell-stack

$> sudo apt-get install haskell-stack

2. En el directorio de hal-gui, primero prepararlo

$> stack setup

3. Las siguientes instrucciones se repiten en el ciclo de desarrollo

$> stack build
$> stack exec hal-gui

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

algo1/instalarhal.txt · Última modificación: 2018/08/10 03:03 por 127.0.0.1