Skip to content
Permalink
Branch: master
Find file Copy path
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
executable file 53 lines (42 sloc) 1.83 KB
title permalink sidebar toc folder hide_sidebar
Download
download.html
docs_sidebar
false
download
true

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

{% include links.html %}

You can’t perform that action at this time.