Both for using an up-to-date version of Goblint or developing it, the best way is to install from source by cloning this repository.
The goblint package on opam is very outdated and should currently not be used.
Make sure the following are installed:
git patch m4 autoconf libgmp-dev libmpfr-dev.
make setupto install OCaml and dependencies via opam.
maketo build Goblint itself.
make installto install Goblint into the opam switch for usage via switch's
Install GCC with
brew install gcc(first run
xcode-select --installif you don't want to build it from source). Goblint requires GCC while macOS's default
cppis Clang, which will not work.
Continue using Linux instructions.
Continue using Linux instructions in WSL.
devcontainer. Select "Reopen in Container" in VS Code and continue with
makeusing Linux instructions in devcontainer.
Docker (GitHub Container Registry). Run
docker pull ghcr.io/goblint/analyzer:latest(or
Docker (repository). Clone and run
docker build -t goblint ..
Vagrant. Clone and run
vagrant up && vagrant ssh.
opam (very outdated). Run
opam install goblint.
To confirm that building worked, you can try running Goblint as follows:
To confirm that installation into the opam switch worked, you can try running Goblint as follows:
To confirm that the Docker container worked, you can try running Goblint as follows:
docker run -it --rm -v $(pwd):/data goblint /data/tests/regression/04-mutex/01-simple_rc.c
If pulled from GitHub Container Registry, use the container name
For further information, see documentation.
>= "3.2.0" & < "3.4.0"