|
|
# Prerequsitos
|
|
|
|
|
|
Notas:
|
|
|
- Se asume que los comandos se ejecutan como administrador
|
|
|
- Este documento fue testeado en Ubuntu 18.04 LTS.
|
|
|
|
|
|
Para poder compilar e instalar el compilador de MateFun, así como también para construir un ambiente de desarrollo, se necesitan instalar los siguientes paquetes. Se debe ejecutar:
|
|
|
|
|
|
````
|
|
|
apt-get install -y ghc cabal-install git gettext locales
|
|
|
````
|
|
|
|
|
|
Se requiere como mínimo las versiones 8.0.1 de GHC y 1.24 de Cabal. Para verificar las versiones instaladas:
|
|
|
|
|
|
````
|
|
|
ghc --version
|
|
|
cabal --version
|
|
|
````
|
|
|
|
|
|
Instalación manual de la versión 4.6.0 de Z3 (necesario para detección de intersección de dominios en funciones por partes):
|
|
|
|
|
|
````
|
|
|
wget https://github.com/Z3Prover/z3/releases/download/z3-4.6.0/z3-4.6.0-x64-
|
|
|
ubuntu-16.04.zip
|
|
|
unzip z3-4.6.0-x64-ubuntu-16.04.zip
|
|
|
cp z3-4.6.0-x64-ubuntu-16.04/bin/libz3.so /usr/lib/
|
|
|
cp z3-4.6.0-x64-ubuntu-16.04/bin/z3 /usr/bin/
|
|
|
cp z3-4.6.0-x64-ubuntu-16.04/include/* /usr/include/
|
|
|
````
|
|
|
|
|
|
Para verificar la que la instalación de Z3 es correcta, ejecutar:
|
|
|
|
|
|
````
|
|
|
z3 -version
|
|
|
```` |
|
|
\ No newline at end of file |