Herramientas de usuario

Herramientas del sitio


algo1:instalarhal

Diferencias

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

Enlace a la vista de comparación

Ambos lados, revisión anteriorRevisión previa
Próxima revisión
Revisión previa
algo1:instalarhal [2017/10/02 20:11] renatoalgo1:instalarhal [2018/08/10 03:03] (actual) – editor externo 127.0.0.1
Línea 23: Línea 23:
  
 <code> <code>
-$> cd hal-gui 
-$> 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 alex happy
-$> cabal install gtk2hs-buildtools 
 $> sudo apt-get install --force-yes -y libgtksourceview2.0-dev $> 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 fun/fun.cabal
 $> cabal install hal/hal.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 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. 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:
 +
 +
 +1. instalar haskell-stack
 +<code>
 +$> sudo apt-get install haskell-stack
 +</code>
 +
 +2. En el directorio de hal-gui, primero prepararlo
 +<code>
 +$> stack setup
 +</code>
 +
 +3. 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> **Soporte**: Si tienen dudas de como instalar, mandar mail al profe Miguel Pagano <miguel.pagano@gmail.com>
- 
algo1/instalarhal.1506975106.txt.gz · Última modificación: 2018/08/10 03:03 (editor externo)