Download and Install

Téléchargement et Installation

The last Awali 2.0 tarball may be downloaded here. All tarballs for Awali may be found here, and other versions of Awali are listed here.

We recommend using versioned tarballs (that is without the word "SNAPSHOT" in their names).

Requirements Prérequis

• A Linux or MacOSX environment
• A modern C++ compiler (implementing c++11 standards)
• CMake
• Graphviz
• NCurses development library (else Cora won't be compiled)
• Cython (else Python layer won't be available)
• Python (Awali works with Python 2 and 3; Python 3 is recommended)

Compilation and Installation Compilation et installation

The recommended process to compile and install Awali is the following. We assume that the downloaded tarball is called awali-all-vX.Y.Z-YYMMDD.tgz and located in /some/directory.

### Preparation
$ cd /some/directory
$ tar xzvf awali-all-vX.Y.Z-YYMMDD.tgz
$ cd awali-all-vX.Y.Z-YYMMDD
$ mkdir _build
$ cd _build

### Configuration
$ cmake ..

### Compilation
$ make

### Installation
$ sudo make install

The installation step is theoretically optional but highly recommended. Indeed, due to the organisation of Awali, using the interface layers without installing it can be complicated.

Uninstall

From the original directory where sudo make install was executed, run:

$ sudo make cleanlib
$ sudo make uninstall

(If you used the process described in the previous section,) the files installed by sudo make install are stored in files _build/install_manifest.txt and _build/awalipy/install_manifest.txt.
The existence of those files is required to run the uninstall command. If you don't have them anymore, we recommend you to do as follows.

• Download again the tarball with the same version as the one installed,
• Compile and install as in the Compilation and Installation section.
• Run sudo make uninstall.
• Remove, if it exists, the directory /usr/local/lib/awali_modules (location may vary or not exist at all, try locate awali_modules).

Precompilation

The compilation phase is rather short and quick for the reason that almost no functions are compiled indeed. It is one of the features of Awali that functions are compiled on-the-fly the first time they are needed, when a user is programming in the Cora or Python interface, or with the help of the dynamical library.

If the user does not want to suffer the successive interruptions of his workflow by multiple on-the-fly compilations at execution time, he can call, before the installation command, for the precompilation of the (majority of) functions for the type of automata he will be dealing with. For instance,

$ make b

will execute the compilation of functions for Boolean automata. This phase may be optimized with a -j8 option that triggers paralelization --- for an 8 core computer.

We also provide the command:

$ make recommended

which compiles the most frequently used functions.

Troubleshooting

Custom Installation

Several variables can be provided to cmake in order to fit a particular installation. Details may be found in file INSTALL.md.

Dernière Last modification: 24 Juin June 2021