algo1:instalarhal_local
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_local [2017/10/02 17:07] – renato | algo1:instalarhal_local [2025/11/15 13:47] (actual) – editor externo 127.0.0.1 | ||
|---|---|---|---|
| Línea 19: | Línea 19: | ||
| < | < | ||
| - | $> cd hal-gui | ||
| $> cabal configure | $> cabal configure | ||
| $> cabal build | $> cabal build | ||
algo1/instalarhal_local.1506974856.txt.gz · Última modificación: (editor externo)