The code generator uses the OpenMP (Open Multiprocessing) application interface to support shared-memory, multicore code generation. You can generate parallel for-loops on the macOS platform by using parfor in your MATLAB ® code. With CMake, you can easily integrate the Soufflé project with your IDE/editor.įor example, if you are using clangd, simply run cmake -DCMAKE_EXPORT_COMPILE_COMMANDS=1 to generate the configuration file. Install OpenMP Library on macOS Platform. output) default is ON.Īll available options can be found by browsing the source code, see souffle/CMakeLists.txt. SOUFFLE_USE_SQLITE Enable(= ON)/disable use of sqlite3 in I/O directives (i.e.input/. To install openMP, fortran & gnuplot we will use homebrew.SOUFFLE_USE_ZLIB Enable(= ON)/disable(= OFF) use of libz file compression in I/O directives (i.e.input/.SOUFFLE_USE_CURSES Enable(= ON)/disable(= OFF) ncurses-based provenance display” default is ON.SOUFFLE_SWIG_JAVA Enable(= ON)/disable(= OFF) Java SWIG interface default is OFF.SOUFFLE_SWIG_PYTHON Enable(= ON)/disable(= OFF) Python SWIG interface default is OFF.SOUFFLE_SWIG Enable(= ON)/disable(= OFF) SWIG language interface for various languages default is OFF.SOUFFLE_SANITISE_THREAD Enable(= ON)/disable(= OFF) thread sanitiser default is OFF.SOUFFLE_SANITISE_MEMORY Enable(= ON)/disable(= OFF) memory sanitiser default is OFF.SOUFFLE_DOMAIN_64BIT Enable(= ON)/disable(= OFF) 64-bit number values in Datalog tuples default is OFF, i.e., domain size is 32 bit.The most relevant options are listed below. Alternatively, run ccmake build to start cmake with a terminal GUI interface that lets you configure the options. The Soufflé commands souffle and souffleprof are available to the users.

Brew install openmp