Skip to content
Permalink
Branch: master
Find file Copy path
Find file Copy path
Fetching contributors…
Cannot retrieve contributors at this time
56 lines (41 sloc) 1.18 KB
title permalink redirect_from sidebar folder
Install Soufflé
/install
/docs/install
docs_sidebar
docs

Installation

Debian/Ubuntu Systems

For Debian systems, the latest development version of Soufflé can be installed from the Bintray PPA,

To add the repository:

echo "deb https://dl.bintray.com/souffle-lang/deb-unstable bionic main" | sudo tee -a /etc/apt/sources.list
sudo apt-key adv --keyserver hkp://keyserver.ubuntu.com:80 --recv-keys 379CE192D401AB61
sudo apt-get update

Then to install souffle itself

sudo apt-get install souffle

Centos7

To add the repository and install souffle:

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

Fedora

To add the repository and install souffle:

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

MAC OS X with brew

brew install souffle-lang/souffle/souffle

For the latest updates follow the development head

brew install --HEAD souffle-lang/souffle/souffle

{% include links.html %}

You can’t perform that action at this time.