Diferencias

Muestra las diferencias entre dos versiones de la página.

--- algo1:instalarhal [2017/10/02 15:46] – martin
+++ algo1:instalarhal [2025/11/15 13:47] (actual) – editor externo 127.0.0.1
@@ Línea 1: / Línea 1: @@
-Las siguientes son las instrucciones para instalar HAL en tu máquina personal. No es obligatorio hacer esto ya que la herramienta ya está instalada en las máquinas del laboratorio.
+====== Cómo instalar HAL incompleto en tu maquina personal ======
-Para instalar el programa en una máquina con Ubuntu (en Debian también debería funcionar) deben realizar los siguientes pasos:
+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.
-Instalar ghc, cabal y git:
+. Instalar ghc, cabal, git, y wget a nivel del sistema (por eso hay que ejecutar con 'sudo'):
 <code>
@@ Línea 9: / Línea 10: @@
 $> sudo apt-get install cabal-install
 $> sudo apt-get install git
+$> sudo apt-get install wget
 </code>
-Bajarse el código fuente de HAL:
+. 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:
-Bajar el archivo .zip "Archivos HAL" y descomprimirlo
 <code>
-/* $> git clone https://github.com/manugunther/hal-gui */
+$> wget https://cs.famaf.unc.edu.ar/wiki/_media/algo1/hal-gui.zip
-$> cd hal-gui
+$> unzip -x hal-gui.zip
-$> git submodule update --init --recursive
 </code>
-Ingresar en la carpeta del proyecto e instalar dependencias:
+. Ingresar en la carpeta del proyecto e instalar dependencias:
 <code>
-$> cabal install Cabal
-$> cabal install fun/equ/equ.cabal
 $> 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
-$> sudo apt-get install --force-yes -y libgtksourceview2.0-dev ;
+$> cabal install fun/equ/equ.cabal
 $> cabal install fun/fun.cabal
 $> cabal install hal/hal.cabal
@@ Línea 33: / Línea 35: @@
 </code>
-Si todo lo anterior anduvo bien, ahora pueden abrir ghci y cargar el proyecto:
+. Una vez completado uno o mas de los ejercicios, **compilar** el código fuente y ejecutar para probar:
-<code>
-$> ghci
-Prelude> :l HGUI/Main.hs
-Prelude> main
-</code>
-En algunas versiones nuevas de ghc al cargar el programa desde ghci lanza un error
-de la librería gtk. En esos casos en vez de usar el intérprete, podemos
-**compilar** el código haskell y lanzar el ejecutable directamente:
 <code>
+$> cabal configure
 $> cabal build
-$> ./dist/build/hal-gui/hal-gui
+$> cabal run
 </code>
-El primero de estos comandos compila el código fuente de HAL. Si hubiera algún error
+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**.
+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 [[https://cs.famaf.unc.edu.ar/~mdoming/docencia/algo1/archivosStack.zip|archivos de stack]]. Luego tenes que agregarlo en el directorio del "hal incompleto que bajaste". y ejecutar los siguientes comandos:
+. instalar haskell-stack
+<code>
+$> sudo apt-get install haskell-stack
+</code>
+. En el directorio de hal-gui, primero prepararlo
+<code>
+$> stack setup
+</code>
+. Las siguientes instrucciones se repiten en el ciclo de desarrollo
+<code>
+$> stack build
+$> stack exec hal-gui
+</code>
-El segundo comando simplemente ejecuta el archivo generado por la compilación.
 **Importante**: Cada vez que hagamos un cambio en el código fuente de HAL y queremos
@@ Línea 63: / Línea 77: @@
 **Soporte**: Si tienen dudas de como instalar, mandar mail al profe Miguel Pagano <miguel.pagano@gmail.com>