algo1:instalarhal
Diferencias
Muestra las diferencias entre dos versiones de la página.
| Ambos lados, revisión anteriorRevisión previaPróxima revisión | Revisión previa | ||
| algo1:instalarhal [2017/10/02 16:28] – renato | algo1:instalarhal [2025/11/15 13:47] (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 y git, a nivel del sistema (por eso hay que ejecutar con ' | + | 1. Instalar ghc, cabal, git, y wget a nivel del sistema (por eso hay que ejecutar con ' |
| < | < | ||
| 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 | ||
| </ | </ | ||
| - | 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: |
| < | < | ||
| - | $> unzip -X hal-gui.zip | + | $> wget https:// |
| + | $> unzip -x hal-gui.zip | ||
| </ | </ | ||
| Línea 21: | Línea 23: | ||
| < | < | ||
| - | $> cd hal-gui | ||
| - | $> cabal install Cabal | ||
| - | $> cabal install fun/ | ||
| $> 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/ | ||
| $> cabal install fun/ | $> cabal install fun/ | ||
| $> cabal install hal/ | $> cabal install hal/ | ||
| Línea 37: | Línea 40: | ||
| $> cabal configure | $> cabal configure | ||
| $> cabal build | $> cabal build | ||
| - | $> ./ | + | $> cabal run |
| </ | </ | ||
| Línea 45: | Línea 48: | ||
| Si no hubo errores, se genera un archivo **ejecutable**, | Si no hubo errores, se genera un archivo **ejecutable**, | ||
| carpeta **dist/ | carpeta **dist/ | ||
| + | |||
| + | ====================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:// | ||
| + | |||
| + | |||
| + | 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 | ||
| + | </ | ||
| Línea 52: | Línea 77: | ||
| **Soporte**: | **Soporte**: | ||
| - | |||
| - | |||
algo1/instalarhal.1506972480.txt.gz · Última modificación: (editor externo)
