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 (366.293 bytes)
Scarica il tarball della versione precedente (1.1 - 102.065 bytes)
Per i più pigri
Se non avete voglia di compilare il programma, potete scaricare la versione precompilata (41.236 bytes).Potete scompattare il file con il comando tar -xvzf automi-1.3-binary-i386.tgz, che lascerà nella directory corrente il file usr/bin/automi. Questo è il programma già compilato.
Assieme al programma si trovano il file di avvio e l'icona per inserire il programma nel menù di Gnome, nel sottomenù Sviuppo
Si può lanciare il programma digitando usr/bin/automi da una fnestra terminale. Se mancano delle librerie verrà visualizzato un messaggio di errore, occorrerà caricare la libreria richiesta nel sistema.
Per verificare se tutte le librerie sono presenti è possibile usare il comando ldd usr/bin/automi.
Se si vuole installare il programma, occorre fare login come root, quindi posizionarsi in / (cd /) e scompattare il file con il comando tar -xvzf <percorso>/automi-1.3-binary-i386.tgz, dove <percorso> indica il percorso per raggiungere il file automi-1.3-binary-i386.tgz
Questo comando posizionerà l'eseguibile nella directory /usr/bin, il file del menù in /usr/share/applications e le icone in /usr/share/pixmaps, per far comparire il programma nel meù di Gnome.