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 19:28] renatoalgo1: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. 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, a nivel del sistema (por eso hay que ejecutar con 'sudo'): +1. Instalar ghc, cabalgit, y wget a nivel del sistema (por eso hay que ejecutar con 'sudo'): 
  
 <code> <code>
Línea 10: Línea 10:
 $> sudo apt-get install cabal-install  $> sudo apt-get install cabal-install 
 $> sudo apt-get install git $> sudo apt-get install git
 +$> sudo apt-get install wget
 </code> </code>
  
-2. Bajar el código fuente de HAL, desde la página de la materia y descomprimirlo:+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:
  
 <code> <code>
 +$> wget https://cs.famaf.unc.edu.ar/wiki/_media/algo1/hal-gui.zip
 $> unzip -x hal-gui.zip $> unzip -x hal-gui.zip
 </code> </code>
Línea 21: 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 37: Línea 40:
 $> cabal configure $> cabal configure
 $> cabal build $> cabal build
-$> ./dist/build/hal-gui/hal-gui+$> cabal run
 </code> </code>
  
Línea 45: 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 52: 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.1506972506.txt.gz · Última modificación: 2018/08/10 03:03 (editor externo)