This section is only relevant when you are installing from source. We will assume that you have obtained a source tarball from
We regularly build
divineon Linux and OpenBSD, though other POSIX-compatible systems (including macOS) should also work. There is currently no support for running
divineon Windows natively (but it should work under WSL). If you do not want to build
divinefrom sources, you can download a static binary1.
divine, you will need the following:
- a C++17 compiler (
make install-depsin the directory with the sources (or
sh releng/install-deps.shif you don't have
$ tar xvzf divine-4.4.4.tar.gz $ cd divine-4.4.4 $ make install-deps
Please note that a release build needs about 12GB of disk space and 8GB of RAM.
First, unzip the distribution tarball and enter the newly created directory
$ tar xvzf divine-4.4.4.tar.gz $ cd divine-4.4.4
In most cases, the build should be fully automatic. However, if you need to change the path to a compiler, compiler flags, or make other similar adjustments, look at the top of the file
gib/main. You can either directly edit that file, or you can copy the relevant lines into
gib/localand edit the variables there.
After a while, you should obtain the main
divinebinary. You can check that this is indeed the case by running:
$ ./_build.default/tools/divine help