Cómo instalar ATS en Arch Linux

ATS es un lenguaje de programación de sistemas que unifica implementación con especificación formal. Pese a ser poco conocido, es uno de los mejores lenguajes de programación que existen, superando la seguridad de Haskell y alcanzando a C y C++ en eficiencia. En este breve artículo explico cómo instalarlo en Arch Linux.

Instalación

Para instalarlo solo necesitaremos el compilador GCC y la librería GMP:

sudo pacman -S gmp gcc

Descargamos e instalamos ATS:

git clone git://git.code.sf.net/p/ats2-lang/code ATS2-Postiats && mv ATS2-Postiats .ats-folder && cd .ats-folder && ./configure && make all && sudo make install

Hacemos que patscc y patsopt puedan usarse cómodamente desde la terminal:

echo 'export PATSHOME=~/.ats-folder' >> ~/.bash_profile && echo 'export PATH=${PATH}:${PATSHOME}/bin' >> ~/.bash_profile && source ~/.bash_profile

¡Y listo!

Actualización

Si hay una versión más moderna que la que tenemos instalada, basta con ejecutar lo siguiente para actualizarla:

rm -Rf .ats-folder && git clone git://git.code.sf.net/p/ats2-lang/code ATS2-Postiats && mv ATS2-Postiats .ats-folder && cd .ats-folder && ./configure && make all && sudo make install

Como se puede ver, básicamente, lo que hacemos es borrar el directorio antiguo y volver a instalarlo de nuevo. El resto de cosas, como ya están hechas, no hace falta repetirlas. No tiene más misterio.

En AUR también se puede descargar, pero soy muy fiel de los repositorios oficiales. Algún día se podrá descargar ATS con pacman, pero por ahora, es lo que hay.

Published by

Lajto

Director of Mekadimo.