Compilation error using C++ interface

[Sirneij]

I cloned the example in tests/interface/load_print and generated C++ code via:

souffle load_print.dl -g load_print.cpp -D .

I tried compiling with:

g++ driver.cpp load_print.cpp -std=c++17 -I/opt/homebrew/Cellar/souffle/2.4.1/include -o load_print -D__EMBEDDED_SOUFFLE__

However, I always get this error:

In file included from driver.cpp:17:
In file included from /opt/homebrew/Cellar/souffle/2.4.1/include/souffle/SouffleInterface.h:20:
In file included from /opt/homebrew/Cellar/souffle/2.4.1/include/souffle/souffle/RecordTable.h:20:
/opt/homebrew/Cellar/souffle/2.4.1/include/souffle/RamTypes.h:66:16: error: redefinition of 'isRamType'
constexpr bool isRamType = (std::is_same<T, RamDomain>::value || std::is_same<T, RamSigned>::value ||
               ^
/opt/homebrew/Cellar/souffle/2.4.1/include/souffle/souffle/RamTypes.h:66:16: note: previous definition is here
constexpr bool isRamType = (std::is_same<T, RamDomain>::value || std::is_same<T, RamSigned>::value ||
               ^
In file included from driver.cpp:17:
In file included from /opt/homebrew/Cellar/souffle/2.4.1/include/souffle/SouffleInterface.h:20:
In file included from /opt/homebrew/Cellar/souffle/2.4.1/include/souffle/souffle/RecordTable.h:20:
/opt/homebrew/Cellar/souffle/2.4.1/include/souffle/RamTypes.h:80:25: error: template parameter redefines default argument
template <typename To = RamDomain, typename From>
                        ^
/opt/homebrew/Cellar/souffle/2.4.1/include/souffle/souffle/RamTypes.h:80:25: note: previous default template argument defined here
template <typename To = RamDomain, typename From>
                        ^
In file included from driver.cpp:17:
In file included from /opt/homebrew/Cellar/souffle/2.4.1/include/souffle/SouffleInterface.h:20:
In file included from /opt/homebrew/Cellar/souffle/2.4.1/include/souffle/souffle/RecordTable.h:20:
/opt/homebrew/Cellar/souffle/2.4.1/include/souffle/RamTypes.h:81:4: error: redefinition of 'ramBitCast'
To ramBitCast(From source) {
   ^
/opt/homebrew/Cellar/souffle/2.4.1/include/souffle/souffle/RamTypes.h:81:4: note: previous definition is here
To ramBitCast(From source) {
   ^
In file included from driver.cpp:17:
In file included from /opt/homebrew/Cellar/souffle/2.4.1/include/souffle/SouffleInterface.h:20:
In file included from /opt/homebrew/Cellar/souffle/2.4.1/include/souffle/souffle/RecordTable.h:20:
/opt/homebrew/Cellar/souffle/2.4.1/include/souffle/RamTypes.h:90:21: error: redefinition of 'MIN_RAM_SIGNED'
constexpr RamSigned MIN_RAM_SIGNED = std::numeric_limits<RamSigned>::min();
                    ^
/opt/homebrew/Cellar/souffle/2.4.1/include/souffle/souffle/RamTypes.h:90:21: note: previous definition is here
constexpr RamSigned MIN_RAM_SIGNED = std::numeric_limits<RamSigned>::min();
                    ^
In file included from driver.cpp:17:
In file included from /opt/homebrew/Cellar/souffle/2.4.1/include/souffle/SouffleInterface.h:20:
In file included from /opt/homebrew/Cellar/souffle/2.4.1/include/souffle/souffle/RecordTable.h:20:
/opt/homebrew/Cellar/souffle/2.4.1/include/souffle/RamTypes.h:91:21: error: redefinition of 'MAX_RAM_SIGNED'
constexpr RamSigned MAX_RAM_SIGNED = std::numeric_limits<RamSigned>::max();
                    ^
/opt/homebrew/Cellar/souffle/2.4.1/include/souffle/souffle/RamTypes.h:91:21: note: previous definition is here
constexpr RamSigned MAX_RAM_SIGNED = std::numeric_limits<RamSigned>::max();
                    ^
In file included from driver.cpp:17:
In file included from /opt/homebrew/Cellar/souffle/2.4.1/include/souffle/SouffleInterface.h:20:
In file included from /opt/homebrew/Cellar/souffle/2.4.1/include/souffle/souffle/RecordTable.h:20:
/opt/homebrew/Cellar/souffle/2.4.1/include/souffle/RamTypes.h:93:23: error: redefinition of 'MIN_RAM_UNSIGNED'
constexpr RamUnsigned MIN_RAM_UNSIGNED = std::numeric_limits<RamUnsigned>::min();
                      ^
/opt/homebrew/Cellar/souffle/2.4.1/include/souffle/souffle/RamTypes.h:93:23: note: previous definition is here
constexpr RamUnsigned MIN_RAM_UNSIGNED = std::numeric_limits<RamUnsigned>::min();
                      ^
In file included from driver.cpp:17:
In file included from /opt/homebrew/Cellar/souffle/2.4.1/include/souffle/SouffleInterface.h:20:
In file included from /opt/homebrew/Cellar/souffle/2.4.1/include/souffle/souffle/RecordTable.h:20:
/opt/homebrew/Cellar/souffle/2.4.1/include/souffle/RamTypes.h:94:23: error: redefinition of 'MAX_RAM_UNSIGNED'
constexpr RamUnsigned MAX_RAM_UNSIGNED = std::numeric_limits<RamUnsigned>::max();
                      ^
/opt/homebrew/Cellar/souffle/2.4.1/include/souffle/souffle/RamTypes.h:94:23: note: previous definition is here
constexpr RamUnsigned MAX_RAM_UNSIGNED = std::numeric_limits<RamUnsigned>::max();
                      ^
In file included from driver.cpp:17:
In file included from /opt/homebrew/Cellar/souffle/2.4.1/include/souffle/SouffleInterface.h:20:
In file included from /opt/homebrew/Cellar/souffle/2.4.1/include/souffle/souffle/RecordTable.h:20:
/opt/homebrew/Cellar/souffle/2.4.1/include/souffle/RamTypes.h:96:20: error: redefinition of 'MIN_RAM_FLOAT'
constexpr RamFloat MIN_RAM_FLOAT = std::numeric_limits<RamFloat>::lowest();
                   ^
/opt/homebrew/Cellar/souffle/2.4.1/include/souffle/souffle/RamTypes.h:96:20: note: previous definition is here
constexpr RamFloat MIN_RAM_FLOAT = std::numeric_limits<RamFloat>::lowest();
                   ^
In file included from driver.cpp:17:
In file included from /opt/homebrew/Cellar/souffle/2.4.1/include/souffle/SouffleInterface.h:20:
In file included from /opt/homebrew/Cellar/souffle/2.4.1/include/souffle/souffle/RecordTable.h:20:
/opt/homebrew/Cellar/souffle/2.4.1/include/souffle/RamTypes.h:97:20: error: redefinition of 'MAX_RAM_FLOAT'
constexpr RamFloat MAX_RAM_FLOAT = std::numeric_limits<RamFloat>::max();
                   ^
/opt/homebrew/Cellar/souffle/2.4.1/include/souffle/souffle/RamTypes.h:97:20: note: previous definition is here
constexpr RamFloat MAX_RAM_FLOAT = std::numeric_limits<RamFloat>::max();
                   ^
In file included from driver.cpp:17:
In file included from /opt/homebrew/Cellar/souffle/2.4.1/include/souffle/SouffleInterface.h:20:
In file included from /opt/homebrew/Cellar/souffle/2.4.1/include/souffle/souffle/RecordTable.h:20:
/opt/homebrew/Cellar/souffle/2.4.1/include/souffle/RamTypes.h:99:21: error: redefinition of 'RAM_BIT_SHIFT_MASK'
constexpr RamDomain RAM_BIT_SHIFT_MASK = RAM_DOMAIN_SIZE - 1;
                    ^
/opt/homebrew/Cellar/souffle/2.4.1/include/souffle/souffle/RamTypes.h:99:21: note: previous definition is here
constexpr RamDomain RAM_BIT_SHIFT_MASK = RAM_DOMAIN_SIZE - 1;
                    ^
In file included from driver.cpp:17:
/opt/homebrew/Cellar/souffle/2.4.1/include/souffle/SouffleInterface.h:599:24: error: no matching function for call to 'ramBitCast'
        array[pos++] = ramBitCast(uint);
                       ^~~~~~~~~~
/opt/homebrew/Cellar/souffle/2.4.1/include/souffle/RamTypes.h:81:4: note: candidate template ignored: substitution failure [with To = int, From = unsigned int]
To ramBitCast(From source) {
   ^
In file included from driver.cpp:17:
/opt/homebrew/Cellar/souffle/2.4.1/include/souffle/SouffleInterface.h:613:24: error: no matching function for call to 'ramBitCast'
        array[pos++] = ramBitCast(ramFloat);
                       ^~~~~~~~~~
/opt/homebrew/Cellar/souffle/2.4.1/include/souffle/RamTypes.h:81:4: note: candidate template ignored: substitution failure [with To = int, From = float]
To ramBitCast(From source) {
   ^
In file included from driver.cpp:17:
/opt/homebrew/Cellar/souffle/2.4.1/include/souffle/SouffleInterface.h:643:19: error: no matching function for call to 'ramBitCast'
        integer = ramBitCast<RamSigned>(array[pos++]);
                  ^~~~~~~~~~~~~~~~~~~~~
/opt/homebrew/Cellar/souffle/2.4.1/include/souffle/RamTypes.h:81:4: note: candidate template ignored: substitution failure [with To = int, From = int]
To ramBitCast(From source) {
   ^
In file included from driver.cpp:17:
/opt/homebrew/Cellar/souffle/2.4.1/include/souffle/SouffleInterface.h:657:16: error: no matching function for call to 'ramBitCast'
        uint = ramBitCast<RamUnsigned>(array[pos++]);
               ^~~~~~~~~~~~~~~~~~~~~~~
/opt/homebrew/Cellar/souffle/2.4.1/include/souffle/RamTypes.h:81:4: note: candidate template ignored: substitution failure [with To = unsigned int, From = int]
To ramBitCast(From source) {
   ^
In file included from driver.cpp:17:
/opt/homebrew/Cellar/souffle/2.4.1/include/souffle/SouffleInterface.h:671:20: error: no matching function for call to 'ramBitCast'
        ramFloat = ramBitCast<RamFloat>(array[pos++]);
                   ^~~~~~~~~~~~~~~~~~~~
/opt/homebrew/Cellar/souffle/2.4.1/include/souffle/RamTypes.h:81:4: note: candidate template ignored: substitution failure [with To = float, From = int]
To ramBitCast(From source) {
   ^
15 errors generated.
In file included from load_print.cpp:2:
In file included from /opt/homebrew/Cellar/souffle/2.4.1/include/souffle/CompiledSouffle.h:20:
In file included from /opt/homebrew/Cellar/souffle/2.4.1/include/souffle/souffle/RecordTable.h:20:
/opt/homebrew/Cellar/souffle/2.4.1/include/souffle/RamTypes.h:66:16: error: redefinition of 'isRamType'
constexpr bool isRamType = (std::is_same<T, RamDomain>::value || std::is_same<T, RamSigned>::value ||
               ^
/opt/homebrew/Cellar/souffle/2.4.1/include/souffle/souffle/RamTypes.h:66:16: note: previous definition is here
constexpr bool isRamType = (std::is_same<T, RamDomain>::value || std::is_same<T, RamSigned>::value ||
               ^
In file included from load_print.cpp:2:
In file included from /opt/homebrew/Cellar/souffle/2.4.1/include/souffle/CompiledSouffle.h:20:
In file included from /opt/homebrew/Cellar/souffle/2.4.1/include/souffle/souffle/RecordTable.h:20:
/opt/homebrew/Cellar/souffle/2.4.1/include/souffle/RamTypes.h:80:25: error: template parameter redefines default argument
template <typename To = RamDomain, typename From>
                        ^
/opt/homebrew/Cellar/souffle/2.4.1/include/souffle/souffle/RamTypes.h:80:25: note: previous default template argument defined here
template <typename To = RamDomain, typename From>
                        ^
In file included from load_print.cpp:2:
In file included from /opt/homebrew/Cellar/souffle/2.4.1/include/souffle/CompiledSouffle.h:20:
In file included from /opt/homebrew/Cellar/souffle/2.4.1/include/souffle/souffle/RecordTable.h:20:
/opt/homebrew/Cellar/souffle/2.4.1/include/souffle/RamTypes.h:81:4: error: redefinition of 'ramBitCast'
To ramBitCast(From source) {
   ^
/opt/homebrew/Cellar/souffle/2.4.1/include/souffle/souffle/RamTypes.h:81:4: note: previous definition is here
To ramBitCast(From source) {
   ^
In file included from load_print.cpp:2:
In file included from /opt/homebrew/Cellar/souffle/2.4.1/include/souffle/CompiledSouffle.h:20:
In file included from /opt/homebrew/Cellar/souffle/2.4.1/include/souffle/souffle/RecordTable.h:20:
/opt/homebrew/Cellar/souffle/2.4.1/include/souffle/RamTypes.h:90:21: error: redefinition of 'MIN_RAM_SIGNED'
constexpr RamSigned MIN_RAM_SIGNED = std::numeric_limits<RamSigned>::min();
                    ^
/opt/homebrew/Cellar/souffle/2.4.1/include/souffle/souffle/RamTypes.h:90:21: note: previous definition is here
constexpr RamSigned MIN_RAM_SIGNED = std::numeric_limits<RamSigned>::min();
                    ^
In file included from load_print.cpp:2:
In file included from /opt/homebrew/Cellar/souffle/2.4.1/include/souffle/CompiledSouffle.h:20:
In file included from /opt/homebrew/Cellar/souffle/2.4.1/include/souffle/souffle/RecordTable.h:20:
/opt/homebrew/Cellar/souffle/2.4.1/include/souffle/RamTypes.h:91:21: error: redefinition of 'MAX_RAM_SIGNED'
constexpr RamSigned MAX_RAM_SIGNED = std::numeric_limits<RamSigned>::max();
                    ^
/opt/homebrew/Cellar/souffle/2.4.1/include/souffle/souffle/RamTypes.h:91:21: note: previous definition is here
constexpr RamSigned MAX_RAM_SIGNED = std::numeric_limits<RamSigned>::max();
                    ^
In file included from load_print.cpp:2:
In file included from /opt/homebrew/Cellar/souffle/2.4.1/include/souffle/CompiledSouffle.h:20:
In file included from /opt/homebrew/Cellar/souffle/2.4.1/include/souffle/souffle/RecordTable.h:20:
/opt/homebrew/Cellar/souffle/2.4.1/include/souffle/RamTypes.h:93:23: error: redefinition of 'MIN_RAM_UNSIGNED'
constexpr RamUnsigned MIN_RAM_UNSIGNED = std::numeric_limits<RamUnsigned>::min();
                      ^
/opt/homebrew/Cellar/souffle/2.4.1/include/souffle/souffle/RamTypes.h:93:23: note: previous definition is here
constexpr RamUnsigned MIN_RAM_UNSIGNED = std::numeric_limits<RamUnsigned>::min();
                      ^
In file included from load_print.cpp:2:
In file included from /opt/homebrew/Cellar/souffle/2.4.1/include/souffle/CompiledSouffle.h:20:
In file included from /opt/homebrew/Cellar/souffle/2.4.1/include/souffle/souffle/RecordTable.h:20:
/opt/homebrew/Cellar/souffle/2.4.1/include/souffle/RamTypes.h:94:23: error: redefinition of 'MAX_RAM_UNSIGNED'
constexpr RamUnsigned MAX_RAM_UNSIGNED = std::numeric_limits<RamUnsigned>::max();
                      ^
/opt/homebrew/Cellar/souffle/2.4.1/include/souffle/souffle/RamTypes.h:94:23: note: previous definition is here
constexpr RamUnsigned MAX_RAM_UNSIGNED = std::numeric_limits<RamUnsigned>::max();
                      ^
In file included from load_print.cpp:2:
In file included from /opt/homebrew/Cellar/souffle/2.4.1/include/souffle/CompiledSouffle.h:20:
In file included from /opt/homebrew/Cellar/souffle/2.4.1/include/souffle/souffle/RecordTable.h:20:
/opt/homebrew/Cellar/souffle/2.4.1/include/souffle/RamTypes.h:96:20: error: redefinition of 'MIN_RAM_FLOAT'
constexpr RamFloat MIN_RAM_FLOAT = std::numeric_limits<RamFloat>::lowest();
                   ^
/opt/homebrew/Cellar/souffle/2.4.1/include/souffle/souffle/RamTypes.h:96:20: note: previous definition is here
constexpr RamFloat MIN_RAM_FLOAT = std::numeric_limits<RamFloat>::lowest();
                   ^
In file included from load_print.cpp:2:
In file included from /opt/homebrew/Cellar/souffle/2.4.1/include/souffle/CompiledSouffle.h:20:
In file included from /opt/homebrew/Cellar/souffle/2.4.1/include/souffle/souffle/RecordTable.h:20:
/opt/homebrew/Cellar/souffle/2.4.1/include/souffle/RamTypes.h:97:20: error: redefinition of 'MAX_RAM_FLOAT'
constexpr RamFloat MAX_RAM_FLOAT = std::numeric_limits<RamFloat>::max();
                   ^
/opt/homebrew/Cellar/souffle/2.4.1/include/souffle/souffle/RamTypes.h:97:20: note: previous definition is here
constexpr RamFloat MAX_RAM_FLOAT = std::numeric_limits<RamFloat>::max();
                   ^
In file included from load_print.cpp:2:
In file included from /opt/homebrew/Cellar/souffle/2.4.1/include/souffle/CompiledSouffle.h:20:
In file included from /opt/homebrew/Cellar/souffle/2.4.1/include/souffle/souffle/RecordTable.h:20:
/opt/homebrew/Cellar/souffle/2.4.1/include/souffle/RamTypes.h:99:21: error: redefinition of 'RAM_BIT_SHIFT_MASK'
constexpr RamDomain RAM_BIT_SHIFT_MASK = RAM_DOMAIN_SIZE - 1;
                    ^
/opt/homebrew/Cellar/souffle/2.4.1/include/souffle/souffle/RamTypes.h:99:21: note: previous definition is here
constexpr RamDomain RAM_BIT_SHIFT_MASK = RAM_DOMAIN_SIZE - 1;
                    ^
In file included from load_print.cpp:2:
In file included from /opt/homebrew/Cellar/souffle/2.4.1/include/souffle/CompiledSouffle.h:22:
In file included from /opt/homebrew/Cellar/souffle/2.4.1/include/souffle/souffle/SouffleInterface.h:20:
In file included from /opt/homebrew/Cellar/souffle/2.4.1/include/souffle/RecordTable.h:21:
/opt/homebrew/Cellar/souffle/2.4.1/include/souffle/souffle/utility/span.h:660:16: error: redefinition of 'dynamic_extent'
constexpr auto dynamic_extent = tcb::dynamic_extent;
               ^
/opt/homebrew/Cellar/souffle/2.4.1/include/souffle/utility/span.h:660:16: note: previous definition is here
constexpr auto dynamic_extent = tcb::dynamic_extent;
               ^
In file included from load_print.cpp:2:
In file included from /opt/homebrew/Cellar/souffle/2.4.1/include/souffle/CompiledSouffle.h:22:
In file included from /opt/homebrew/Cellar/souffle/2.4.1/include/souffle/souffle/SouffleInterface.h:20:
In file included from /opt/homebrew/Cellar/souffle/2.4.1/include/souffle/RecordTable.h:21:
/opt/homebrew/Cellar/souffle/2.4.1/include/souffle/souffle/utility/span.h:662:39: error: template parameter redefines default argument
template <typename A, std::size_t E = tcb::dynamic_extent>
                                      ^
/opt/homebrew/Cellar/souffle/2.4.1/include/souffle/utility/span.h:662:39: note: previous default template argument defined here
template <typename A, std::size_t E = tcb::dynamic_extent>
                                      ^
In file included from load_print.cpp:2:
In file included from /opt/homebrew/Cellar/souffle/2.4.1/include/souffle/CompiledSouffle.h:22:
In file included from /opt/homebrew/Cellar/souffle/2.4.1/include/souffle/souffle/SouffleInterface.h:20:
/opt/homebrew/Cellar/souffle/2.4.1/include/souffle/RecordTable.h:27:7: error: redefinition of 'RecordTable'
class RecordTable {
      ^
/opt/homebrew/Cellar/souffle/2.4.1/include/souffle/souffle/RecordTable.h:27:7: note: previous definition is here
class RecordTable {
      ^
In file included from load_print.cpp:2:
In file included from /opt/homebrew/Cellar/souffle/2.4.1/include/souffle/CompiledSouffle.h:22:
In file included from /opt/homebrew/Cellar/souffle/2.4.1/include/souffle/souffle/SouffleInterface.h:20:
/opt/homebrew/Cellar/souffle/2.4.1/include/souffle/RecordTable.h:42:11: error: redefinition of 'pack'
RamDomain pack(RecordTableT&& recordTab, Tuple<RamDomain, Arity> const& tuple) {
          ^
/opt/homebrew/Cellar/souffle/2.4.1/include/souffle/souffle/RecordTable.h:42:11: note: previous definition is here
RamDomain pack(RecordTableT&& recordTab, Tuple<RamDomain, Arity> const& tuple) {
          ^
In file included from load_print.cpp:2:
In file included from /opt/homebrew/Cellar/souffle/2.4.1/include/souffle/CompiledSouffle.h:22:
In file included from /opt/homebrew/Cellar/souffle/2.4.1/include/souffle/souffle/SouffleInterface.h:20:
/opt/homebrew/Cellar/souffle/2.4.1/include/souffle/RecordTable.h:48:11: error: redefinition of 'pack'
RamDomain pack(RecordTableT&& recordTab, span<const RamDomain, Arity> tuple) {
          ^
/opt/homebrew/Cellar/souffle/2.4.1/include/souffle/souffle/RecordTable.h:48:11: note: previous definition is here
RamDomain pack(RecordTableT&& recordTab, span<const RamDomain, Arity> tuple) {
          ^
In file included from load_print.cpp:2:
In file included from /opt/homebrew/Cellar/souffle/2.4.1/include/souffle/CompiledSouffle.h:22:
In file included from /opt/homebrew/Cellar/souffle/2.4.1/include/souffle/souffle/SouffleInterface.h:20:
/opt/homebrew/Cellar/souffle/2.4.1/include/souffle/RecordTable.h:54:11: error: redefinition of 'pack'
RamDomain pack(RecordTableT&& recordTab, const std::initializer_list<RamDomain>&& initlist) {
          ^
/opt/homebrew/Cellar/souffle/2.4.1/include/souffle/souffle/RecordTable.h:54:11: note: previous definition is here
RamDomain pack(RecordTableT&& recordTab, const std::initializer_list<RamDomain>&& initlist) {
          ^
In file included from load_print.cpp:2:
In file included from /opt/homebrew/Cellar/souffle/2.4.1/include/souffle/CompiledSouffle.h:22:
/opt/homebrew/Cellar/souffle/2.4.1/include/souffle/souffle/SouffleInterface.h:599:24: error: no matching function for call to 'ramBitCast'
        array[pos++] = ramBitCast(uint);
                       ^~~~~~~~~~
/opt/homebrew/Cellar/souffle/2.4.1/include/souffle/RamTypes.h:81:4: note: candidate template ignored: substitution failure [with To = int, From = unsigned int]
To ramBitCast(From source) {
   ^
In file included from load_print.cpp:2:
In file included from /opt/homebrew/Cellar/souffle/2.4.1/include/souffle/CompiledSouffle.h:22:
/opt/homebrew/Cellar/souffle/2.4.1/include/souffle/souffle/SouffleInterface.h:613:24: error: no matching function for call to 'ramBitCast'
        array[pos++] = ramBitCast(ramFloat);
                       ^~~~~~~~~~
/opt/homebrew/Cellar/souffle/2.4.1/include/souffle/RamTypes.h:81:4: note: candidate template ignored: substitution failure [with To = int, From = float]
To ramBitCast(From source) {
   ^
In file included from load_print.cpp:2:
In file included from /opt/homebrew/Cellar/souffle/2.4.1/include/souffle/CompiledSouffle.h:22:
/opt/homebrew/Cellar/souffle/2.4.1/include/souffle/souffle/SouffleInterface.h:643:19: error: no matching function for call to 'ramBitCast'
        integer = ramBitCast<RamSigned>(array[pos++]);
                  ^~~~~~~~~~~~~~~~~~~~~
/opt/homebrew/Cellar/souffle/2.4.1/include/souffle/RamTypes.h:81:4: note: candidate template ignored: substitution failure [with To = int, From = int]
To ramBitCast(From source) {
   ^
fatal error: too many errors emitted, stopping now [-ferror-limit=]
20 errors generated.

I am using Souffle 2.4.1 installed via brew install souffle and:

gcc --version
Apple clang version 15.0.0 (clang-1500.3.9.4)
Target: arm64-apple-darwin23.5.0
Thread model: posix
InstalledDir: /Applications/Xcode.app/Contents/Developer/Toolchains/XcodeDefault.xctoolchain/usr/bin

I have MacBook Pro 14 with Sonoma

[quentin]

Hi, note there is something strange with directory include/souffle/souffle/ in the second line:

In file included from /opt/homebrew/Cellar/souffle/2.4.1/include/souffle/SouffleInterface.h:20:
In file included from /opt/homebrew/Cellar/souffle/2.4.1/include/souffle/souffle/RecordTable.h:20:

Both files are supposed to be in the same directory include/souffle.

[Sirneij]

Could that be an issue with the installation by brew install souffle?

brew install --HEAD souffle-lang/souffle/souffle didn’t complete due to this error: souffle-lang/souffle-lang.github.io#147

[quentin]

I don't own any Apple hardware that would help investigate.

[Sirneij]

I built soufflé from source and I didn’t get this error again. The official installation instructions for MacOS ain’t working as expected. Building from source instruction works though.

[quentin]

Then you may want to contact the author/maintainer of the Souffle homebrew recipe. I believe it is not provided by the Souffle organisation.

[Arnavpmr]

Which command did you run to compile it when you built souffle from source? I also built it from source on my mac and wanted to compile some datalog files as well.