Install Ocarina from sources
Step by step
- Download Ocarina sources from http://aadl.enst.fr/ocarina/snapshots/ (the name of the archive is like ocarina-XXX-suite-src-YYYYMMDD.tar.gz)
- Unpack the sources tar zxvf ocarina-XXX-suite-src-YYYYMMDD.tar.gz
- Enter the sources directory cd ocarina-XXX-suite-src-YYYYMMDD
- Configure the sources ./configure --enable-debug --prefix=/where/you/install/ocarina
- Build and install make all install
Troubleshooting
Everything runs fine but I can't invoke Ocarina !
Ocarina is probably not in your $PATH. Try to invoke /where/you/install/ocarina/bin/ocarina. If something appears, you should modify your PATH variable (with something like PATH=$PATH:/where/you/install/ocarina/bin). Else, Ocarina is not installed properly.
Something goes wrong during the configure step (step 4)
You probably don't have a valid GNAT installation. In this case, download GNAT-GPL at http://libre.adacore.com.
