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 18:47] – martin | algo1:instalarhal [2018/08/10 03:03] (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 | + | ====== Cómo instalar HAL incompleto |
- | Para instalar | + | |
- | + | Las siguientes son las instrucciones para instalar | |
- | Instalar ghc, cabal y git: | + | |
+ | 1. Instalar ghc, cabal, git, y wget a nivel del sistema (por eso hay que ejecutar con ' | ||
< | < | ||
Línea 9: | 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 | ||
</ | </ | ||
- | Bajarse | + | 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: |
- | Bajar el archivo .zip " | ||
- | /* $> git clone https:// | ||
< | < | ||
- | $> cd hal-gui | + | $> wget https:// |
- | $> git submodule update | + | $> unzip -x hal-gui.zip |
</ | </ | ||
- | Ingresar en la carpeta del proyecto e instalar dependencias: | + | 3. Ingresar en la carpeta del proyecto e instalar dependencias: |
< | < | ||
- | $> cabal install Cabal | ||
- | $> cabal install fun/ | ||
$> sudo apt-get install --force-yes -y alex happy | $> 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 | $> cabal install gtk2hs-buildtools | ||
- | $> sudo apt-get | + | $> cabal install |
$> cabal install fun/ | $> cabal install fun/ | ||
$> cabal install hal/ | $> cabal install hal/ | ||
Línea 33: | Línea 35: | ||
</ | </ | ||
- | Si todo lo anterior anduvo bien, ahora pueden abrir ghci y cargar el proyecto: | + | 4. Una vez completado uno o mas de los ejercicios, **compilar** el código |
- | + | ||
- | < | + | |
- | $> ghci | + | |
- | Prelude> :l HGUI/ | + | |
- | Prelude> main | + | |
- | </ | + | |
- | + | ||
- | 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 | + | |
< | < | ||
+ | $> cabal configure | ||
$> cabal build | $> cabal build | ||
- | $> ./ | + | $> cabal run |
</ | </ | ||
- | El primero de estos comandos | + | Los dos primeros |
de compilación (por ejemplo, algún error de tipos en el código que ustedes escriben) | 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. | se mostrará en pantalla, de la misma manera que se muestran los errores en ghci. | ||
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 | ||
+ | </ | ||
- | El segundo comando simplemente ejecuta el archivo generado por la compilación. | ||
**Importante**: | **Importante**: | ||
Línea 63: | Línea 77: | ||
**Soporte**: | **Soporte**: | ||
- | |||
- |
algo1/instalarhal.1506970054.txt.gz · Última modificación: 2018/08/10 03:03 (editor externo)