- MEDDLY, for decision diagram support. This has been included with Smart since version 3.4.0.
- gcc and g++, or other C/C++ compiler with support for C++11
Packages strongly recommended
- GMP, for very large integer support.
This step is necessary for the first build, and anytime
configure.ac or any Makefile.am changes. The script performs
and will generate a
makefile in directories:
||for development and debugging executables|
||for production executables|
The configuration script will look in a few places for libraries it needs. If it fails to find a library, you can set certain environment variables to help the script:
||Path containing GMP header files|
||Path containing GMP library files|
For example, if you built GMP in your home directory, you might use
env GMP_INCLUDE=/home/username/gmp/include GMP_LIBRARY=/home/username/gmp/lib ./Config-all
The following arguments may be passed to the configuration script:
||Disables GMP support|
2. Switch to one of the build directories
3. Run make
This builds everything. For recent versions of automake,
you can use
make V=0 for silent builds (just gives a summary), and
make V=1 for noisy builds (gives build details).
4. Run tests
This requires automake version 1.12 or higher. Alternatively, you can use
which should always work.
5. Run benchmarks (optional)
This runs timing tests.
6. Install (optional)
This copies binaries into
bin/ within the build directory;
otherwise they are in