Download

Releases

The current releases are built automatically for Debian-based systems and MAC OS X.

Ubuntu

A repository for the latest unstable Ubuntu debs can be set up with

sudo apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --recv-keys 379CE192D401AB61
sudo add-apt-repository https://dl.bintray.com/souffle-lang/deb-unstable/

The stable release repository can be set up with

sudo apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --recv-keys 379CE192D401AB61
sudo add-apt-repository https://dl.bintray.com/souffle-lang/deb/

Fedora

A repository for the latest unstable Fedora rpms can be set up with

sudo dnf install -y https://dl.bintray.com/souffle-lang/rpm-unstable/fedora/27/x86_64/souffle-fedora-repo-1.0.2-1.x86_64.rpm
sudo dnf install souffle

CentOS/Oracle Linux

A repository for the latest unstable Centos rpms can be set up with

sudo yum install -y https://dl.bintray.com/souffle-lang/rpm-unstable/centos/7/x86_64/souffle-repo-centos-1.0.2-1.x86_64.rpm
sudo yum install souffle

Source Code

Follow the build instructions to build and install Soufflé locally on your computer.

The source code can be obtained by git, as a zip-file, or as tar-ball.

The latest build status for various systems can be found below:

Jenkins Build System