Diferencias

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

--- algo1:instalarhal [2017/10/02 20:05] – renato
+++ algo1:instalarhal [2018/08/10 03:03] (actual) – editor externo 127.0.0.1
@@ Línea 4: / Línea 4: @@
 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, a nivel del sistema (por eso hay que ejecutar con 'sudo'):
+. Instalar ghc, cabal, git, y wget a nivel del sistema (por eso hay que ejecutar con 'sudo'):
 <code>
@@ Línea 23: / Línea 23: @@
 <code>
-$> 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
+$> 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
@@ Línea 47: / Línea 48: @@
 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 [[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>
@@ Línea 54: / Línea 77: @@
 **Soporte**: Si tienen dudas de como instalar, mandar mail al profe Miguel Pagano <miguel.pagano@gmail.com>