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 17:11] – renato | algo1:instalarhal [2025/11/15 13:47] (actual) – editor externo 127.0.0.1 | ||
|---|---|---|---|
| Línea 23: | 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 47: | 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 54: | Línea 77: | ||
| **Soporte**: | **Soporte**: | ||
| - | |||
algo1/instalarhal.1506975106.txt.gz · Última modificación: (editor externo)
