Building CClyzer from source error

[taptipalit]

I'm following the instructions at https://github.com/GaloisInc/cclyzerpp/blob/main/doc/build.rst

I can build the fact generator (fact-gen.exe is created). But when I try to build the C++ interface, it generates the following error, when running both with main and tag 0.7.0.

tpalit@ubuntu-llvm:~/cclyzerpp$ cmake --build build -j4 --target PAPass
[1/29] Generating unification.cpp
FAILED: unification.cpp /home/tpalit/cclyzerpp/build/unification.cpp
cd /home/tpalit/cclyzerpp/build && souffle /home/tpalit/cclyzerpp/datalog/unification.project -jauto -PSIPS:max-bound --disable-transformers=ExpandEqrelsTransformer -g /home/tpalit/cclyzerpp/build/unification.cpp
Warning: No rules/facts defined for relation atomic_operation_fadd in atomicrmw-instr.dl:53:7
Warning: No rules/facts defined for relation atomic_operation_fsub in atomicrmw-instr.dl:54:7
Warning: Variable ?tailHead only occurs once in interface.dl:54:18
Warning: Variable ?alloc only occurs once in interface.dl:198:14
Warning: Variable ?z only occurs once in unification.dl:274:47
Error: Ignored execution plan for non-recursive clause in unification.dl:408:12
1 errors generated, evaluation aborted
[2/29] Generating debug.cpp
FAILED: debug.cpp /home/tpalit/cclyzerpp/build/debug.cpp
cd /home/tpalit/cclyzerpp/build && souffle /home/tpalit/cclyzerpp/datalog/debug.project -jauto -PSIPS:max-bound --disable-transformers=ExpandEqrelsTransformer -g /home/tpalit/cclyzerpp/build/debug.cpp
Warning: No rules/facts defined for relation atomic_operation_fadd in atomicrmw-instr.dl:53:7
Warning: No rules/facts defined for relation atomic_operation_fsub in atomicrmw-instr.dl:54:7
Warning: Variable ?tailHead only occurs once in interface.dl:54:18
Warning: Variable ?alloc only occurs once in interface.dl:198:14
Error: Ignored execution plan for non-recursive clause in assertions.dl:309:10
Error: Ignored execution plan for non-recursive clause in assertions.dl:321:10
Error: Ignored execution plan for non-recursive clause in assertions.dl:328:10
Error: Ignored execution plan for non-recursive clause in assertions.dl:363:10
Error: Ignored execution plan for non-recursive clause in assertions.dl:370:10
Warning: Variable ?z only occurs once in unification.dl:274:47
Error: Ignored execution plan for non-recursive clause in unification.dl:408:12
6 errors generated, evaluation aborted
ninja: build stopped: subcommand failed.

[langston-barrett]

@taptipalit What version of Souffle are you using? If it's not 2.3, you might want to try that.

[taptipalit]

Yup, that takes care of the problem! Thanks a lot!