Ottenere Automi
- A cura del Prof. Stefano Salvi -
È possibile ottenere il programma Automi in formato sorgente. In questo caso
occorrerà compilarlo. Sono necessarie una serie di librerie.
Prima di tutto occorre scompattare il file Automi-1.3.tar.gz con il comando
tar -xvzf Automi-1.3.tar.gz che crea la directory Automi-1.3.
A questo punto si può entrare nella directory Automi-1.3 e lanciare il comando
./configure che configura il programma in base al sistema in cui verrà
compilato. Se questa fase produce degli errori, occorre caricare la versione di sviluppo delle
librerie indicate dal comando.
A questo punto basta lanciare il comando make, che compilerà il programma.
Se il comando make và a buon fine, lanciando l'eseguibile
src/automi il programma partirà.
Scarica il tarball del programma (211,2 KiB)
Per i più pigri
Se non avete voglia di compilare il programma, potete scaricare il pacchetto Debian per la vostra versione preferita.
Potrete poi installarlo tramite i comandi dpkg, gdebi o software center.
Probabilmente cliccando sull'icona del file scaricato verrà lanciata l'applicazione corretta.
Pacchetto per Debian 8 (jessie) a 32 bit: automi_1.6-jessie1_i386.deb (47,5 KiB)
Pacchetto per Debian 8 (jessie) a 64 bit: automi_1.6-jessie1_amd64.deb (46,8 KiB)
Pacchetto per Ubuntu 16:04 LTS (Xenial Xerus) a 32 bit: automi_1.6-xenial1_i386.deb (46,8 KiB)
Pacchetto per Ubuntu 16:04 LTS (Xenial Xerus) a 64 bit: automi_1.6-xenial1_amd64.deb (46,4 KiB)
Repository Debian ed Ubuntu
Il programma è anche disponibile per Debian 5.0 Lenny, Ububtu 9.04 Jaunty Jakalese e Ubuntu 9.10 Karmic Koala nei miei repository. Per installarli seguite le istruzioni indicate qui.