|
|
# Compilación
|
|
|
|
|
|
Descargar el código fuente (se creará el directorio MateFun):
|
|
|
|
|
|
````
|
|
|
git clone https://gitlab.fing.edu.uy/matefun/MateFun.git
|
|
|
````
|
|
|
|
|
|
Verificar que se agrega el remote origin al clonar el repositorio:
|
|
|
|
|
|
````
|
|
|
git remote -v
|
|
|
````
|
|
|
|
|
|
La salida esperada es similar a:
|
|
|
|
|
|
````
|
|
|
origin git@gitlab.fing.edu.uy:matefun/MateFun.git (fetch)
|
|
|
origin git@gitlab.fing.edu.uy:matefun/MateFun.git (push)
|
|
|
````
|
|
|
|
|
|
Los desarrolladores deben trabajar sobre una copia del repositorio y no modificar el código del repositorio principal a no ser que sus cambios sean aprobados mediante pull requests:
|
|
|
|
|
|
- Hacer una copia del repositorio en su usuario de GitLab, mediante la función fork. Click en el botón ’Fork’ en la página principal del repositorio:
|
|
|
![image](uploads/24b853e5625c8c003b5878789a91bf62/image.png)
|
|
|
- Crear un remote del repositorio clonado, con nombre MYREMOTE, donde MYUSER es el nombre usuario de GitLab:
|
|
|
````
|
|
|
git remote add MYREMOTE https://gitlab.fing.edu.uy/MYUSER/MateFun
|
|
|
````
|
|
|
- Verificar que el remote MYREMOTE se encuentra listado al ejecutar `git remote -v`
|
|
|
|
|
|
Instalar dependencias (estos comandos se ejecutan una única vez):
|
|
|
````
|
|
|
cd MateFun/
|
|
|
cabal update
|
|
|
cabal install happy
|
|
|
cabal install hgettext
|
|
|
cabal install z3
|
|
|
````
|
|
|
|
|
|
Una vez completada la instalación de dependencias, se compila e instala el binario MateFun en el directorio `/.cabal/bin` al ejecutar:
|
|
|
````
|
|
|
cabal install
|
|
|
````
|
|
|
|
|
|
Para poder ejecutar el compilador de MateFun, necesitamos agregar el siguiente directorio a la variable de entorno PATH:
|
|
|
````
|
|
|
export PATH=$PATH:~/.cabal/bin
|
|
|
```` |
|
|
\ No newline at end of file |