Soufflé

News

Download

Docs

Community

View on GitHub

Soufflé has pre-built packages for Debian and MAC OS X. You find the pre-built packages here .

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

Bintray PPA

You can update your system with unsupported packages from this untrusted PPA by adding https://dl.bintray.com/souffle-lang/deb-unstable to your system’s Software Sources using the following instructions:

To build and install Souffle, the following software must be installed:

Make, Autoconf tools, GNU G++ supporting C++11 and OpenMP (from version 4.8), Bison (from version 3.0.2), Flex, DoxyGen

CLANG++ with OpenMP support can be used as an alternative for G++.

On a Ubuntu/Debian system, following command installs the necessary developer tools to compile and build Soufflé:

Support for C++11 is required, which is partly available in Ubuntu 16.04 with g++-4.8. More recent versions of Ubuntu, and Debian 8 and newer, have full support of C++11 with g++-4.9 on.

The Soufflé project follows automake/autoconf conventions for configuring, installing and building software. To configure, build, test, and install the project, type:

MAC OS X does not have OpenMP/C++ nor a bison version 3.0.2 or higher installed. We recommend brew to install the required tools to build Soufflé. Run the following commands prior to executing ./configure :

Note: Be careful with the search path for bison, so it points to the correct one. By default, macOS includes bison 2.3 at /usr/bin/bison , however brew installs the newer version to /usr/local/bin/bison . This can be done by prepending this directory to the path, however, this can break other systems - PATH=/usr/local/bin:$PATH .

Currently, the souffle-wave preprocessor crashes in macOS, and requires to overwrite the executable in src/ with a symlink to cpp-X . Currently on macOSX, brew installs cpp to /usr/local/Cellar/gcc/6.2.0/bin/cpp-6 . This step must occur after make , and will be overwritten each time it is built. In order to run the tests after we overwrite souffle-wave , run make check in the tests/ directory instead of running make check in the the base directory.

In addition, Java JDK is necessary to build the profiler of Soufflé.

Soufflé is built by

With

numerous unit tests and regression tests are performed. This may take up to 45min. However, this may be sped up with, for instance:

which will run 8 jobs at a time.

If you would like to install Soufflé in your system, specify an installation directory with ./configure --prefix=<install-dir> . The executable, scripts, and header files will be stored in the directory <install-dir> . Use an absolute path for <install-dir> . Type

to install Soufflé. By setting the path variable

the Soufflé commands souffle and souffle-profile are available to the users.

Welcome

Build Soufflé

A Simple Example

Run Soufflé

Examples

Source Code

Datalog

Types

Strings

Arithmetic

Components

Records

Aggregates

Synthesis

Tuning

Profiler

Magic-Set

Inlining

C++ Interface

Other Systems

Contributors

Publications & Talks