SuccessConsole Output

Skipping 57 KB.. Full Log
erializeAggregationQueries.Tpo ast/transform/.deps/libsouffle_la-MaterializeAggregationQueries.Plo
/bin/bash ../libtool  --tag=CXX   --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -MT ast/transform/libsouffle_la-NameUnnamedVariables.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-NameUnnamedVariables.Tpo -c -o ast/transform/libsouffle_la-NameUnnamedVariables.lo `test -f 'ast/transform/NameUnnamedVariables.cpp' || echo './'`ast/transform/NameUnnamedVariables.cpp
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-NameUnnamedVariables.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-NameUnnamedVariables.Tpo -c ast/transform/NameUnnamedVariables.cpp  -fPIC -DPIC -o ast/transform/.libs/libsouffle_la-NameUnnamedVariables.o
mv -f ast/transform/.deps/libsouffle_la-Meta.Tpo ast/transform/.deps/libsouffle_la-Meta.Plo
/bin/bash ../libtool  --tag=CXX   --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -MT ast/transform/libsouffle_la-NormaliseConstraints.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-NormaliseConstraints.Tpo -c -o ast/transform/libsouffle_la-NormaliseConstraints.lo `test -f 'ast/transform/NormaliseConstraints.cpp' || echo './'`ast/transform/NormaliseConstraints.cpp
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-NormaliseConstraints.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-NormaliseConstraints.Tpo -c ast/transform/NormaliseConstraints.cpp  -fPIC -DPIC -o ast/transform/.libs/libsouffle_la-NormaliseConstraints.o
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-NameUnnamedVariables.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-NameUnnamedVariables.Tpo -c ast/transform/NameUnnamedVariables.cpp -o ast/transform/libsouffle_la-NameUnnamedVariables.o >/dev/null 2>&1
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-MinimiseProgram.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-MinimiseProgram.Tpo -c ast/transform/MinimiseProgram.cpp -o ast/transform/libsouffle_la-MinimiseProgram.o >/dev/null 2>&1
mv -f ast/transform/.deps/libsouffle_la-MagicSet.Tpo ast/transform/.deps/libsouffle_la-MagicSet.Plo
/bin/bash ../libtool  --tag=CXX   --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -MT ast/transform/libsouffle_la-PartitionBodyLiterals.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-PartitionBodyLiterals.Tpo -c -o ast/transform/libsouffle_la-PartitionBodyLiterals.lo `test -f 'ast/transform/PartitionBodyLiterals.cpp' || echo './'`ast/transform/PartitionBodyLiterals.cpp
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-PartitionBodyLiterals.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-PartitionBodyLiterals.Tpo -c ast/transform/PartitionBodyLiterals.cpp  -fPIC -DPIC -o ast/transform/.libs/libsouffle_la-PartitionBodyLiterals.o
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-NormaliseConstraints.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-NormaliseConstraints.Tpo -c ast/transform/NormaliseConstraints.cpp -o ast/transform/libsouffle_la-NormaliseConstraints.o >/dev/null 2>&1
mv -f ast/transform/.deps/libsouffle_la-NameUnnamedVariables.Tpo ast/transform/.deps/libsouffle_la-NameUnnamedVariables.Plo
/bin/bash ../libtool  --tag=CXX   --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -MT ast/transform/libsouffle_la-PolymorphicObjects.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-PolymorphicObjects.Tpo -c -o ast/transform/libsouffle_la-PolymorphicObjects.lo `test -f 'ast/transform/PolymorphicObjects.cpp' || echo './'`ast/transform/PolymorphicObjects.cpp
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-PolymorphicObjects.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-PolymorphicObjects.Tpo -c ast/transform/PolymorphicObjects.cpp  -fPIC -DPIC -o ast/transform/.libs/libsouffle_la-PolymorphicObjects.o
mv -f ast/transform/.deps/libsouffle_la-MinimiseProgram.Tpo ast/transform/.deps/libsouffle_la-MinimiseProgram.Plo
/bin/bash ../libtool  --tag=CXX   --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -MT ast/transform/libsouffle_la-PragmaChecker.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-PragmaChecker.Tpo -c -o ast/transform/libsouffle_la-PragmaChecker.lo `test -f 'ast/transform/PragmaChecker.cpp' || echo './'`ast/transform/PragmaChecker.cpp
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-PragmaChecker.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-PragmaChecker.Tpo -c ast/transform/PragmaChecker.cpp  -fPIC -DPIC -o ast/transform/.libs/libsouffle_la-PragmaChecker.o
mv -f ast/transform/.deps/libsouffle_la-NormaliseConstraints.Tpo ast/transform/.deps/libsouffle_la-NormaliseConstraints.Plo
/bin/bash ../libtool  --tag=CXX   --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -MT ast/transform/libsouffle_la-Provenance.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-Provenance.Tpo -c -o ast/transform/libsouffle_la-Provenance.lo `test -f 'ast/transform/Provenance.cpp' || echo './'`ast/transform/Provenance.cpp
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-Provenance.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-Provenance.Tpo -c ast/transform/Provenance.cpp  -fPIC -DPIC -o ast/transform/.libs/libsouffle_la-Provenance.o
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-PolymorphicObjects.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-PolymorphicObjects.Tpo -c ast/transform/PolymorphicObjects.cpp -o ast/transform/libsouffle_la-PolymorphicObjects.o >/dev/null 2>&1
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-PartitionBodyLiterals.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-PartitionBodyLiterals.Tpo -c ast/transform/PartitionBodyLiterals.cpp -o ast/transform/libsouffle_la-PartitionBodyLiterals.o >/dev/null 2>&1
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-PragmaChecker.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-PragmaChecker.Tpo -c ast/transform/PragmaChecker.cpp -o ast/transform/libsouffle_la-PragmaChecker.o >/dev/null 2>&1
mv -f ast/transform/.deps/libsouffle_la-PolymorphicObjects.Tpo ast/transform/.deps/libsouffle_la-PolymorphicObjects.Plo
/bin/bash ../libtool  --tag=CXX   --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -MT ast/transform/libsouffle_la-ReduceExistentials.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-ReduceExistentials.Tpo -c -o ast/transform/libsouffle_la-ReduceExistentials.lo `test -f 'ast/transform/ReduceExistentials.cpp' || echo './'`ast/transform/ReduceExistentials.cpp
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-ReduceExistentials.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-ReduceExistentials.Tpo -c ast/transform/ReduceExistentials.cpp  -fPIC -DPIC -o ast/transform/.libs/libsouffle_la-ReduceExistentials.o
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-Provenance.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-Provenance.Tpo -c ast/transform/Provenance.cpp -o ast/transform/libsouffle_la-Provenance.o >/dev/null 2>&1
mv -f ast/transform/.deps/libsouffle_la-PragmaChecker.Tpo ast/transform/.deps/libsouffle_la-PragmaChecker.Plo
/bin/bash ../libtool  --tag=CXX   --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -MT ast/transform/libsouffle_la-RemoveBooleanConstraints.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-RemoveBooleanConstraints.Tpo -c -o ast/transform/libsouffle_la-RemoveBooleanConstraints.lo `test -f 'ast/transform/RemoveBooleanConstraints.cpp' || echo './'`ast/transform/RemoveBooleanConstraints.cpp
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-RemoveBooleanConstraints.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-RemoveBooleanConstraints.Tpo -c ast/transform/RemoveBooleanConstraints.cpp  -fPIC -DPIC -o ast/transform/.libs/libsouffle_la-RemoveBooleanConstraints.o
mv -f ast/transform/.deps/libsouffle_la-PartitionBodyLiterals.Tpo ast/transform/.deps/libsouffle_la-PartitionBodyLiterals.Plo
/bin/bash ../libtool  --tag=CXX   --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -MT ast/transform/libsouffle_la-RemoveEmptyRelations.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-RemoveEmptyRelations.Tpo -c -o ast/transform/libsouffle_la-RemoveEmptyRelations.lo `test -f 'ast/transform/RemoveEmptyRelations.cpp' || echo './'`ast/transform/RemoveEmptyRelations.cpp
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-RemoveEmptyRelations.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-RemoveEmptyRelations.Tpo -c ast/transform/RemoveEmptyRelations.cpp  -fPIC -DPIC -o ast/transform/.libs/libsouffle_la-RemoveEmptyRelations.o
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-RemoveBooleanConstraints.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-RemoveBooleanConstraints.Tpo -c ast/transform/RemoveBooleanConstraints.cpp -o ast/transform/libsouffle_la-RemoveBooleanConstraints.o >/dev/null 2>&1
mv -f ast/transform/.deps/libsouffle_la-Provenance.Tpo ast/transform/.deps/libsouffle_la-Provenance.Plo
/bin/bash ../libtool  --tag=CXX   --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -MT ast/transform/libsouffle_la-RemoveRedundantRelations.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-RemoveRedundantRelations.Tpo -c -o ast/transform/libsouffle_la-RemoveRedundantRelations.lo `test -f 'ast/transform/RemoveRedundantRelations.cpp' || echo './'`ast/transform/RemoveRedundantRelations.cpp
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-RemoveRedundantRelations.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-RemoveRedundantRelations.Tpo -c ast/transform/RemoveRedundantRelations.cpp  -fPIC -DPIC -o ast/transform/.libs/libsouffle_la-RemoveRedundantRelations.o
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-ReduceExistentials.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-ReduceExistentials.Tpo -c ast/transform/ReduceExistentials.cpp -o ast/transform/libsouffle_la-ReduceExistentials.o >/dev/null 2>&1
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-RemoveEmptyRelations.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-RemoveEmptyRelations.Tpo -c ast/transform/RemoveEmptyRelations.cpp -o ast/transform/libsouffle_la-RemoveEmptyRelations.o >/dev/null 2>&1
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-RemoveRedundantRelations.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-RemoveRedundantRelations.Tpo -c ast/transform/RemoveRedundantRelations.cpp -o ast/transform/libsouffle_la-RemoveRedundantRelations.o >/dev/null 2>&1
mv -f ast/transform/.deps/libsouffle_la-RemoveBooleanConstraints.Tpo ast/transform/.deps/libsouffle_la-RemoveBooleanConstraints.Plo
/bin/bash ../libtool  --tag=CXX   --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -MT ast/transform/libsouffle_la-RemoveRedundantSums.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-RemoveRedundantSums.Tpo -c -o ast/transform/libsouffle_la-RemoveRedundantSums.lo `test -f 'ast/transform/RemoveRedundantSums.cpp' || echo './'`ast/transform/RemoveRedundantSums.cpp
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-RemoveRedundantSums.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-RemoveRedundantSums.Tpo -c ast/transform/RemoveRedundantSums.cpp  -fPIC -DPIC -o ast/transform/.libs/libsouffle_la-RemoveRedundantSums.o
mv -f ast/transform/.deps/libsouffle_la-RemoveEmptyRelations.Tpo ast/transform/.deps/libsouffle_la-RemoveEmptyRelations.Plo
/bin/bash ../libtool  --tag=CXX   --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -MT ast/transform/libsouffle_la-RemoveRelationCopies.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-RemoveRelationCopies.Tpo -c -o ast/transform/libsouffle_la-RemoveRelationCopies.lo `test -f 'ast/transform/RemoveRelationCopies.cpp' || echo './'`ast/transform/RemoveRelationCopies.cpp
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-RemoveRelationCopies.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-RemoveRelationCopies.Tpo -c ast/transform/RemoveRelationCopies.cpp  -fPIC -DPIC -o ast/transform/.libs/libsouffle_la-RemoveRelationCopies.o
mv -f ast/transform/.deps/libsouffle_la-RemoveRedundantRelations.Tpo ast/transform/.deps/libsouffle_la-RemoveRedundantRelations.Plo
/bin/bash ../libtool  --tag=CXX   --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -MT ast/transform/libsouffle_la-RemoveTypecasts.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-RemoveTypecasts.Tpo -c -o ast/transform/libsouffle_la-RemoveTypecasts.lo `test -f 'ast/transform/RemoveTypecasts.cpp' || echo './'`ast/transform/RemoveTypecasts.cpp
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-RemoveTypecasts.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-RemoveTypecasts.Tpo -c ast/transform/RemoveTypecasts.cpp  -fPIC -DPIC -o ast/transform/.libs/libsouffle_la-RemoveTypecasts.o
mv -f ast/transform/.deps/libsouffle_la-ReduceExistentials.Tpo ast/transform/.deps/libsouffle_la-ReduceExistentials.Plo
/bin/bash ../libtool  --tag=CXX   --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -MT ast/transform/libsouffle_la-ReorderLiterals.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-ReorderLiterals.Tpo -c -o ast/transform/libsouffle_la-ReorderLiterals.lo `test -f 'ast/transform/ReorderLiterals.cpp' || echo './'`ast/transform/ReorderLiterals.cpp
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-ReorderLiterals.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-ReorderLiterals.Tpo -c ast/transform/ReorderLiterals.cpp  -fPIC -DPIC -o ast/transform/.libs/libsouffle_la-ReorderLiterals.o
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-RemoveRedundantSums.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-RemoveRedundantSums.Tpo -c ast/transform/RemoveRedundantSums.cpp -o ast/transform/libsouffle_la-RemoveRedundantSums.o >/dev/null 2>&1
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-RemoveTypecasts.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-RemoveTypecasts.Tpo -c ast/transform/RemoveTypecasts.cpp -o ast/transform/libsouffle_la-RemoveTypecasts.o >/dev/null 2>&1
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-RemoveRelationCopies.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-RemoveRelationCopies.Tpo -c ast/transform/RemoveRelationCopies.cpp -o ast/transform/libsouffle_la-RemoveRelationCopies.o >/dev/null 2>&1
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-ReorderLiterals.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-ReorderLiterals.Tpo -c ast/transform/ReorderLiterals.cpp -o ast/transform/libsouffle_la-ReorderLiterals.o >/dev/null 2>&1
mv -f ast/transform/.deps/libsouffle_la-RemoveRedundantSums.Tpo ast/transform/.deps/libsouffle_la-RemoveRedundantSums.Plo
/bin/bash ../libtool  --tag=CXX   --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -MT ast/transform/libsouffle_la-ReplaceSingletonVariables.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-ReplaceSingletonVariables.Tpo -c -o ast/transform/libsouffle_la-ReplaceSingletonVariables.lo `test -f 'ast/transform/ReplaceSingletonVariables.cpp' || echo './'`ast/transform/ReplaceSingletonVariables.cpp
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-ReplaceSingletonVariables.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-ReplaceSingletonVariables.Tpo -c ast/transform/ReplaceSingletonVariables.cpp  -fPIC -DPIC -o ast/transform/.libs/libsouffle_la-ReplaceSingletonVariables.o
mv -f ast/transform/.deps/libsouffle_la-RemoveTypecasts.Tpo ast/transform/.deps/libsouffle_la-RemoveTypecasts.Plo
/bin/bash ../libtool  --tag=CXX   --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -MT ast/transform/libsouffle_la-ResolveAliases.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-ResolveAliases.Tpo -c -o ast/transform/libsouffle_la-ResolveAliases.lo `test -f 'ast/transform/ResolveAliases.cpp' || echo './'`ast/transform/ResolveAliases.cpp
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-ResolveAliases.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-ResolveAliases.Tpo -c ast/transform/ResolveAliases.cpp  -fPIC -DPIC -o ast/transform/.libs/libsouffle_la-ResolveAliases.o
mv -f ast/transform/.deps/libsouffle_la-RemoveRelationCopies.Tpo ast/transform/.deps/libsouffle_la-RemoveRelationCopies.Plo
/bin/bash ../libtool  --tag=CXX   --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -MT ast/transform/libsouffle_la-ResolveAnonymousRecordAliases.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-ResolveAnonymousRecordAliases.Tpo -c -o ast/transform/libsouffle_la-ResolveAnonymousRecordAliases.lo `test -f 'ast/transform/ResolveAnonymousRecordAliases.cpp' || echo './'`ast/transform/ResolveAnonymousRecordAliases.cpp
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-ResolveAnonymousRecordAliases.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-ResolveAnonymousRecordAliases.Tpo -c ast/transform/ResolveAnonymousRecordAliases.cpp  -fPIC -DPIC -o ast/transform/.libs/libsouffle_la-ResolveAnonymousRecordAliases.o
mv -f ast/transform/.deps/libsouffle_la-ReorderLiterals.Tpo ast/transform/.deps/libsouffle_la-ReorderLiterals.Plo
/bin/bash ../libtool  --tag=CXX   --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -MT ast/transform/libsouffle_la-SemanticChecker.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-SemanticChecker.Tpo -c -o ast/transform/libsouffle_la-SemanticChecker.lo `test -f 'ast/transform/SemanticChecker.cpp' || echo './'`ast/transform/SemanticChecker.cpp
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-SemanticChecker.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-SemanticChecker.Tpo -c ast/transform/SemanticChecker.cpp  -fPIC -DPIC -o ast/transform/.libs/libsouffle_la-SemanticChecker.o
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-ReplaceSingletonVariables.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-ReplaceSingletonVariables.Tpo -c ast/transform/ReplaceSingletonVariables.cpp -o ast/transform/libsouffle_la-ReplaceSingletonVariables.o >/dev/null 2>&1
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-ResolveAliases.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-ResolveAliases.Tpo -c ast/transform/ResolveAliases.cpp -o ast/transform/libsouffle_la-ResolveAliases.o >/dev/null 2>&1
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-ResolveAnonymousRecordAliases.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-ResolveAnonymousRecordAliases.Tpo -c ast/transform/ResolveAnonymousRecordAliases.cpp -o ast/transform/libsouffle_la-ResolveAnonymousRecordAliases.o >/dev/null 2>&1
mv -f ast/transform/.deps/libsouffle_la-ReplaceSingletonVariables.Tpo ast/transform/.deps/libsouffle_la-ReplaceSingletonVariables.Plo
/bin/bash ../libtool  --tag=CXX   --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -MT ast/transform/libsouffle_la-Transformer.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-Transformer.Tpo -c -o ast/transform/libsouffle_la-Transformer.lo `test -f 'ast/transform/Transformer.cpp' || echo './'`ast/transform/Transformer.cpp
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-Transformer.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-Transformer.Tpo -c ast/transform/Transformer.cpp  -fPIC -DPIC -o ast/transform/.libs/libsouffle_la-Transformer.o
mv -f ast/transform/.deps/libsouffle_la-ResolveAnonymousRecordAliases.Tpo ast/transform/.deps/libsouffle_la-ResolveAnonymousRecordAliases.Plo
/bin/bash ../libtool  --tag=CXX   --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -MT ast/transform/libsouffle_la-UniqueAggregationVariables.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-UniqueAggregationVariables.Tpo -c -o ast/transform/libsouffle_la-UniqueAggregationVariables.lo `test -f 'ast/transform/UniqueAggregationVariables.cpp' || echo './'`ast/transform/UniqueAggregationVariables.cpp
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-UniqueAggregationVariables.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-UniqueAggregationVariables.Tpo -c ast/transform/UniqueAggregationVariables.cpp  -fPIC -DPIC -o ast/transform/.libs/libsouffle_la-UniqueAggregationVariables.o
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-Transformer.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-Transformer.Tpo -c ast/transform/Transformer.cpp -o ast/transform/libsouffle_la-Transformer.o >/dev/null 2>&1
mv -f ast/transform/.deps/libsouffle_la-ResolveAliases.Tpo ast/transform/.deps/libsouffle_la-ResolveAliases.Plo
/bin/bash ../libtool  --tag=CXX   --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -MT ast/utility/libsouffle_la-BindingStore.lo -MD -MP -MF ast/utility/.deps/libsouffle_la-BindingStore.Tpo -c -o ast/utility/libsouffle_la-BindingStore.lo `test -f 'ast/utility/BindingStore.cpp' || echo './'`ast/utility/BindingStore.cpp
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/utility/libsouffle_la-BindingStore.lo -MD -MP -MF ast/utility/.deps/libsouffle_la-BindingStore.Tpo -c ast/utility/BindingStore.cpp  -fPIC -DPIC -o ast/utility/.libs/libsouffle_la-BindingStore.o
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-SemanticChecker.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-SemanticChecker.Tpo -c ast/transform/SemanticChecker.cpp -o ast/transform/libsouffle_la-SemanticChecker.o >/dev/null 2>&1
mv -f ast/transform/.deps/libsouffle_la-Transformer.Tpo ast/transform/.deps/libsouffle_la-Transformer.Plo
/bin/bash ../libtool  --tag=CXX   --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -MT ast/utility/libsouffle_la-SipsMetric.lo -MD -MP -MF ast/utility/.deps/libsouffle_la-SipsMetric.Tpo -c -o ast/utility/libsouffle_la-SipsMetric.lo `test -f 'ast/utility/SipsMetric.cpp' || echo './'`ast/utility/SipsMetric.cpp
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/utility/libsouffle_la-SipsMetric.lo -MD -MP -MF ast/utility/.deps/libsouffle_la-SipsMetric.Tpo -c ast/utility/SipsMetric.cpp  -fPIC -DPIC -o ast/utility/.libs/libsouffle_la-SipsMetric.o
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-UniqueAggregationVariables.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-UniqueAggregationVariables.Tpo -c ast/transform/UniqueAggregationVariables.cpp -o ast/transform/libsouffle_la-UniqueAggregationVariables.o >/dev/null 2>&1
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/utility/libsouffle_la-BindingStore.lo -MD -MP -MF ast/utility/.deps/libsouffle_la-BindingStore.Tpo -c ast/utility/BindingStore.cpp -o ast/utility/libsouffle_la-BindingStore.o >/dev/null 2>&1
mv -f ast/transform/.deps/libsouffle_la-UniqueAggregationVariables.Tpo ast/transform/.deps/libsouffle_la-UniqueAggregationVariables.Plo
/bin/bash ../libtool  --tag=CXX   --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -MT ast/utility/libsouffle_la-Utils.lo -MD -MP -MF ast/utility/.deps/libsouffle_la-Utils.Tpo -c -o ast/utility/libsouffle_la-Utils.lo `test -f 'ast/utility/Utils.cpp' || echo './'`ast/utility/Utils.cpp
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/utility/libsouffle_la-Utils.lo -MD -MP -MF ast/utility/.deps/libsouffle_la-Utils.Tpo -c ast/utility/Utils.cpp  -fPIC -DPIC -o ast/utility/.libs/libsouffle_la-Utils.o
mv -f ast/utility/.deps/libsouffle_la-BindingStore.Tpo ast/utility/.deps/libsouffle_la-BindingStore.Plo
/bin/bash ../libtool  --tag=CXX   --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -MT ast2ram/libsouffle_la-AstToRamTranslator.lo -MD -MP -MF ast2ram/.deps/libsouffle_la-AstToRamTranslator.Tpo -c -o ast2ram/libsouffle_la-AstToRamTranslator.lo `test -f 'ast2ram/AstToRamTranslator.cpp' || echo './'`ast2ram/AstToRamTranslator.cpp
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast2ram/libsouffle_la-AstToRamTranslator.lo -MD -MP -MF ast2ram/.deps/libsouffle_la-AstToRamTranslator.Tpo -c ast2ram/AstToRamTranslator.cpp  -fPIC -DPIC -o ast2ram/.libs/libsouffle_la-AstToRamTranslator.o
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/utility/libsouffle_la-SipsMetric.lo -MD -MP -MF ast/utility/.deps/libsouffle_la-SipsMetric.Tpo -c ast/utility/SipsMetric.cpp -o ast/utility/libsouffle_la-SipsMetric.o >/dev/null 2>&1
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/utility/libsouffle_la-Utils.lo -MD -MP -MF ast/utility/.deps/libsouffle_la-Utils.Tpo -c ast/utility/Utils.cpp -o ast/utility/libsouffle_la-Utils.o >/dev/null 2>&1
mv -f ast/transform/.deps/libsouffle_la-SemanticChecker.Tpo ast/transform/.deps/libsouffle_la-SemanticChecker.Plo
/bin/bash ../libtool  --tag=CXX   --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -MT interpreter/libsouffle_la-InterpreterEngine.lo -MD -MP -MF interpreter/.deps/libsouffle_la-InterpreterEngine.Tpo -c -o interpreter/libsouffle_la-InterpreterEngine.lo `test -f 'interpreter/InterpreterEngine.cpp' || echo './'`interpreter/InterpreterEngine.cpp
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT interpreter/libsouffle_la-InterpreterEngine.lo -MD -MP -MF interpreter/.deps/libsouffle_la-InterpreterEngine.Tpo -c interpreter/InterpreterEngine.cpp  -fPIC -DPIC -o interpreter/.libs/libsouffle_la-InterpreterEngine.o
mv -f ast/utility/.deps/libsouffle_la-SipsMetric.Tpo ast/utility/.deps/libsouffle_la-SipsMetric.Plo
/bin/bash ../libtool  --tag=CXX   --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -MT interpreter/libsouffle_la-InterpreterBrieIndex.lo -MD -MP -MF interpreter/.deps/libsouffle_la-InterpreterBrieIndex.Tpo -c -o interpreter/libsouffle_la-InterpreterBrieIndex.lo `test -f 'interpreter/InterpreterBrieIndex.cpp' || echo './'`interpreter/InterpreterBrieIndex.cpp
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT interpreter/libsouffle_la-InterpreterBrieIndex.lo -MD -MP -MF interpreter/.deps/libsouffle_la-InterpreterBrieIndex.Tpo -c interpreter/InterpreterBrieIndex.cpp  -fPIC -DPIC -o interpreter/.libs/libsouffle_la-InterpreterBrieIndex.o
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT interpreter/libsouffle_la-InterpreterBrieIndex.lo -MD -MP -MF interpreter/.deps/libsouffle_la-InterpreterBrieIndex.Tpo -c interpreter/InterpreterBrieIndex.cpp -o interpreter/libsouffle_la-InterpreterBrieIndex.o >/dev/null 2>&1
mv -f interpreter/.deps/libsouffle_la-InterpreterBrieIndex.Tpo interpreter/.deps/libsouffle_la-InterpreterBrieIndex.Plo
/bin/bash ../libtool  --tag=CXX   --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -MT interpreter/libsouffle_la-InterpreterBTreeIndex.lo -MD -MP -MF interpreter/.deps/libsouffle_la-InterpreterBTreeIndex.Tpo -c -o interpreter/libsouffle_la-InterpreterBTreeIndex.lo `test -f 'interpreter/InterpreterBTreeIndex.cpp' || echo './'`interpreter/InterpreterBTreeIndex.cpp
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT interpreter/libsouffle_la-InterpreterBTreeIndex.lo -MD -MP -MF interpreter/.deps/libsouffle_la-InterpreterBTreeIndex.Tpo -c interpreter/InterpreterBTreeIndex.cpp  -fPIC -DPIC -o interpreter/.libs/libsouffle_la-InterpreterBTreeIndex.o
mv -f ast/utility/.deps/libsouffle_la-Utils.Tpo ast/utility/.deps/libsouffle_la-Utils.Plo
/bin/bash ../libtool  --tag=CXX   --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -MT interpreter/libsouffle_la-InterpreterEqrelIndex.lo -MD -MP -MF interpreter/.deps/libsouffle_la-InterpreterEqrelIndex.Tpo -c -o interpreter/libsouffle_la-InterpreterEqrelIndex.lo `test -f 'interpreter/InterpreterEqrelIndex.cpp' || echo './'`interpreter/InterpreterEqrelIndex.cpp
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT interpreter/libsouffle_la-InterpreterEqrelIndex.lo -MD -MP -MF interpreter/.deps/libsouffle_la-InterpreterEqrelIndex.Tpo -c interpreter/InterpreterEqrelIndex.cpp  -fPIC -DPIC -o interpreter/.libs/libsouffle_la-InterpreterEqrelIndex.o
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT interpreter/libsouffle_la-InterpreterEqrelIndex.lo -MD -MP -MF interpreter/.deps/libsouffle_la-InterpreterEqrelIndex.Tpo -c interpreter/InterpreterEqrelIndex.cpp -o interpreter/libsouffle_la-InterpreterEqrelIndex.o >/dev/null 2>&1
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast2ram/libsouffle_la-AstToRamTranslator.lo -MD -MP -MF ast2ram/.deps/libsouffle_la-AstToRamTranslator.Tpo -c ast2ram/AstToRamTranslator.cpp -o ast2ram/libsouffle_la-AstToRamTranslator.o >/dev/null 2>&1
mv -f interpreter/.deps/libsouffle_la-InterpreterEqrelIndex.Tpo interpreter/.deps/libsouffle_la-InterpreterEqrelIndex.Plo
/bin/bash ../libtool  --tag=CXX   --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -MT interpreter/libsouffle_la-InterpreterProvenanceIndex.lo -MD -MP -MF interpreter/.deps/libsouffle_la-InterpreterProvenanceIndex.Tpo -c -o interpreter/libsouffle_la-InterpreterProvenanceIndex.lo `test -f 'interpreter/InterpreterProvenanceIndex.cpp' || echo './'`interpreter/InterpreterProvenanceIndex.cpp
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT interpreter/libsouffle_la-InterpreterProvenanceIndex.lo -MD -MP -MF interpreter/.deps/libsouffle_la-InterpreterProvenanceIndex.Tpo -c interpreter/InterpreterProvenanceIndex.cpp  -fPIC -DPIC -o interpreter/.libs/libsouffle_la-InterpreterProvenanceIndex.o
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT interpreter/libsouffle_la-InterpreterBTreeIndex.lo -MD -MP -MF interpreter/.deps/libsouffle_la-InterpreterBTreeIndex.Tpo -c interpreter/InterpreterBTreeIndex.cpp -o interpreter/libsouffle_la-InterpreterBTreeIndex.o >/dev/null 2>&1
mv -f ast2ram/.deps/libsouffle_la-AstToRamTranslator.Tpo ast2ram/.deps/libsouffle_la-AstToRamTranslator.Plo
/bin/bash ../libtool  --tag=CXX   --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -MT parser/libsouffle_la-ParserDriver.lo -MD -MP -MF parser/.deps/libsouffle_la-ParserDriver.Tpo -c -o parser/libsouffle_la-ParserDriver.lo `test -f 'parser/ParserDriver.cpp' || echo './'`parser/ParserDriver.cpp
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT parser/libsouffle_la-ParserDriver.lo -MD -MP -MF parser/.deps/libsouffle_la-ParserDriver.Tpo -c parser/ParserDriver.cpp  -fPIC -DPIC -o parser/.libs/libsouffle_la-ParserDriver.o
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT parser/libsouffle_la-ParserDriver.lo -MD -MP -MF parser/.deps/libsouffle_la-ParserDriver.Tpo -c parser/ParserDriver.cpp -o parser/libsouffle_la-ParserDriver.o >/dev/null 2>&1
mv -f interpreter/.deps/libsouffle_la-InterpreterBTreeIndex.Tpo interpreter/.deps/libsouffle_la-InterpreterBTreeIndex.Plo
/bin/bash ../libtool  --tag=CXX   --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -MT parser/libsouffle_la-ParserUtils.lo -MD -MP -MF parser/.deps/libsouffle_la-ParserUtils.Tpo -c -o parser/libsouffle_la-ParserUtils.lo `test -f 'parser/ParserUtils.cpp' || echo './'`parser/ParserUtils.cpp
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT parser/libsouffle_la-ParserUtils.lo -MD -MP -MF parser/.deps/libsouffle_la-ParserUtils.Tpo -c parser/ParserUtils.cpp  -fPIC -DPIC -o parser/.libs/libsouffle_la-ParserUtils.o
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT interpreter/libsouffle_la-InterpreterProvenanceIndex.lo -MD -MP -MF interpreter/.deps/libsouffle_la-InterpreterProvenanceIndex.Tpo -c interpreter/InterpreterProvenanceIndex.cpp -o interpreter/libsouffle_la-InterpreterProvenanceIndex.o >/dev/null 2>&1
mv -f parser/.deps/libsouffle_la-ParserDriver.Tpo parser/.deps/libsouffle_la-ParserDriver.Plo
/bin/bash ../libtool  --tag=CXX   --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -MT parser/libsouffle_la-SrcLocation.lo -MD -MP -MF parser/.deps/libsouffle_la-SrcLocation.Tpo -c -o parser/libsouffle_la-SrcLocation.lo `test -f 'parser/SrcLocation.cpp' || echo './'`parser/SrcLocation.cpp
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT parser/libsouffle_la-SrcLocation.lo -MD -MP -MF parser/.deps/libsouffle_la-SrcLocation.Tpo -c parser/SrcLocation.cpp  -fPIC -DPIC -o parser/.libs/libsouffle_la-SrcLocation.o
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT parser/libsouffle_la-SrcLocation.lo -MD -MP -MF parser/.deps/libsouffle_la-SrcLocation.Tpo -c parser/SrcLocation.cpp -o parser/libsouffle_la-SrcLocation.o >/dev/null 2>&1
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT parser/libsouffle_la-ParserUtils.lo -MD -MP -MF parser/.deps/libsouffle_la-ParserUtils.Tpo -c parser/ParserUtils.cpp -o parser/libsouffle_la-ParserUtils.o >/dev/null 2>&1
mv -f parser/.deps/libsouffle_la-SrcLocation.Tpo parser/.deps/libsouffle_la-SrcLocation.Plo
/bin/bash ../libtool  --tag=CXX   --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -MT parser/libsouffle_la-parser.lo -MD -MP -MF parser/.deps/libsouffle_la-parser.Tpo -c -o parser/libsouffle_la-parser.lo `test -f 'parser/parser.cc' || echo './'`parser/parser.cc
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT parser/libsouffle_la-parser.lo -MD -MP -MF parser/.deps/libsouffle_la-parser.Tpo -c parser/parser.cc  -fPIC -DPIC -o parser/.libs/libsouffle_la-parser.o
mv -f parser/.deps/libsouffle_la-ParserUtils.Tpo parser/.deps/libsouffle_la-ParserUtils.Plo
flex -o parser/scanner.cc ./parser/scanner.ll
/bin/bash ../libtool  --tag=CXX   --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -MT ram/analysis/libsouffle_la-Complexity.lo -MD -MP -MF ram/analysis/.deps/libsouffle_la-Complexity.Tpo -c -o ram/analysis/libsouffle_la-Complexity.lo `test -f 'ram/analysis/Complexity.cpp' || echo './'`ram/analysis/Complexity.cpp
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ram/analysis/libsouffle_la-Complexity.lo -MD -MP -MF ram/analysis/.deps/libsouffle_la-Complexity.Tpo -c ram/analysis/Complexity.cpp  -fPIC -DPIC -o ram/analysis/.libs/libsouffle_la-Complexity.o
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ram/analysis/libsouffle_la-Complexity.lo -MD -MP -MF ram/analysis/.deps/libsouffle_la-Complexity.Tpo -c ram/analysis/Complexity.cpp -o ram/analysis/libsouffle_la-Complexity.o >/dev/null 2>&1
mv -f ram/analysis/.deps/libsouffle_la-Complexity.Tpo ram/analysis/.deps/libsouffle_la-Complexity.Plo
/bin/bash ../libtool  --tag=CXX   --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -MT ram/analysis/libsouffle_la-Index.lo -MD -MP -MF ram/analysis/.deps/libsouffle_la-Index.Tpo -c -o ram/analysis/libsouffle_la-Index.lo `test -f 'ram/analysis/Index.cpp' || echo './'`ram/analysis/Index.cpp
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ram/analysis/libsouffle_la-Index.lo -MD -MP -MF ram/analysis/.deps/libsouffle_la-Index.Tpo -c ram/analysis/Index.cpp  -fPIC -DPIC -o ram/analysis/.libs/libsouffle_la-Index.o
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT parser/libsouffle_la-parser.lo -MD -MP -MF parser/.deps/libsouffle_la-parser.Tpo -c parser/parser.cc -o parser/libsouffle_la-parser.o >/dev/null 2>&1
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ram/analysis/libsouffle_la-Index.lo -MD -MP -MF ram/analysis/.deps/libsouffle_la-Index.Tpo -c ram/analysis/Index.cpp -o ram/analysis/libsouffle_la-Index.o >/dev/null 2>&1
mv -f ram/analysis/.deps/libsouffle_la-Index.Tpo ram/analysis/.deps/libsouffle_la-Index.Plo
/bin/bash ../libtool  --tag=CXX   --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -MT ram/analysis/libsouffle_la-Level.lo -MD -MP -MF ram/analysis/.deps/libsouffle_la-Level.Tpo -c -o ram/analysis/libsouffle_la-Level.lo `test -f 'ram/analysis/Level.cpp' || echo './'`ram/analysis/Level.cpp
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ram/analysis/libsouffle_la-Level.lo -MD -MP -MF ram/analysis/.deps/libsouffle_la-Level.Tpo -c ram/analysis/Level.cpp  -fPIC -DPIC -o ram/analysis/.libs/libsouffle_la-Level.o
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ram/analysis/libsouffle_la-Level.lo -MD -MP -MF ram/analysis/.deps/libsouffle_la-Level.Tpo -c ram/analysis/Level.cpp -o ram/analysis/libsouffle_la-Level.o >/dev/null 2>&1
mv -f ram/analysis/.deps/libsouffle_la-Level.Tpo ram/analysis/.deps/libsouffle_la-Level.Plo
/bin/bash ../libtool  --tag=CXX   --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -MT ram/transform/libsouffle_la-ChoiceConversion.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-ChoiceConversion.Tpo -c -o ram/transform/libsouffle_la-ChoiceConversion.lo `test -f 'ram/transform/ChoiceConversion.cpp' || echo './'`ram/transform/ChoiceConversion.cpp
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ram/transform/libsouffle_la-ChoiceConversion.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-ChoiceConversion.Tpo -c ram/transform/ChoiceConversion.cpp  -fPIC -DPIC -o ram/transform/.libs/libsouffle_la-ChoiceConversion.o
mv -f parser/.deps/libsouffle_la-parser.Tpo parser/.deps/libsouffle_la-parser.Plo
/bin/bash ../libtool  --tag=CXX   --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -MT ram/transform/libsouffle_la-CollapseFilters.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-CollapseFilters.Tpo -c -o ram/transform/libsouffle_la-CollapseFilters.lo `test -f 'ram/transform/CollapseFilters.cpp' || echo './'`ram/transform/CollapseFilters.cpp
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ram/transform/libsouffle_la-CollapseFilters.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-CollapseFilters.Tpo -c ram/transform/CollapseFilters.cpp  -fPIC -DPIC -o ram/transform/.libs/libsouffle_la-CollapseFilters.o
mv -f interpreter/.deps/libsouffle_la-InterpreterProvenanceIndex.Tpo interpreter/.deps/libsouffle_la-InterpreterProvenanceIndex.Plo
/bin/bash ../libtool  --tag=CXX   --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -MT ram/transform/libsouffle_la-EliminateDuplicates.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-EliminateDuplicates.Tpo -c -o ram/transform/libsouffle_la-EliminateDuplicates.lo `test -f 'ram/transform/EliminateDuplicates.cpp' || echo './'`ram/transform/EliminateDuplicates.cpp
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ram/transform/libsouffle_la-EliminateDuplicates.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-EliminateDuplicates.Tpo -c ram/transform/EliminateDuplicates.cpp  -fPIC -DPIC -o ram/transform/.libs/libsouffle_la-EliminateDuplicates.o
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ram/transform/libsouffle_la-ChoiceConversion.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-ChoiceConversion.Tpo -c ram/transform/ChoiceConversion.cpp -o ram/transform/libsouffle_la-ChoiceConversion.o >/dev/null 2>&1
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ram/transform/libsouffle_la-CollapseFilters.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-CollapseFilters.Tpo -c ram/transform/CollapseFilters.cpp -o ram/transform/libsouffle_la-CollapseFilters.o >/dev/null 2>&1
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ram/transform/libsouffle_la-EliminateDuplicates.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-EliminateDuplicates.Tpo -c ram/transform/EliminateDuplicates.cpp -o ram/transform/libsouffle_la-EliminateDuplicates.o >/dev/null 2>&1
mv -f ram/transform/.deps/libsouffle_la-CollapseFilters.Tpo ram/transform/.deps/libsouffle_la-CollapseFilters.Plo
/bin/bash ../libtool  --tag=CXX   --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -MT ram/transform/libsouffle_la-ExpandFilter.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-ExpandFilter.Tpo -c -o ram/transform/libsouffle_la-ExpandFilter.lo `test -f 'ram/transform/ExpandFilter.cpp' || echo './'`ram/transform/ExpandFilter.cpp
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ram/transform/libsouffle_la-ExpandFilter.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-ExpandFilter.Tpo -c ram/transform/ExpandFilter.cpp  -fPIC -DPIC -o ram/transform/.libs/libsouffle_la-ExpandFilter.o
mv -f ram/transform/.deps/libsouffle_la-ChoiceConversion.Tpo ram/transform/.deps/libsouffle_la-ChoiceConversion.Plo
/bin/bash ../libtool  --tag=CXX   --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -MT ram/transform/libsouffle_la-HoistAggregate.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-HoistAggregate.Tpo -c -o ram/transform/libsouffle_la-HoistAggregate.lo `test -f 'ram/transform/HoistAggregate.cpp' || echo './'`ram/transform/HoistAggregate.cpp
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ram/transform/libsouffle_la-HoistAggregate.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-HoistAggregate.Tpo -c ram/transform/HoistAggregate.cpp  -fPIC -DPIC -o ram/transform/.libs/libsouffle_la-HoistAggregate.o
mv -f ram/transform/.deps/libsouffle_la-EliminateDuplicates.Tpo ram/transform/.deps/libsouffle_la-EliminateDuplicates.Plo
/bin/bash ../libtool  --tag=CXX   --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -MT ram/transform/libsouffle_la-HoistConditions.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-HoistConditions.Tpo -c -o ram/transform/libsouffle_la-HoistConditions.lo `test -f 'ram/transform/HoistConditions.cpp' || echo './'`ram/transform/HoistConditions.cpp
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ram/transform/libsouffle_la-HoistConditions.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-HoistConditions.Tpo -c ram/transform/HoistConditions.cpp  -fPIC -DPIC -o ram/transform/.libs/libsouffle_la-HoistConditions.o
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ram/transform/libsouffle_la-ExpandFilter.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-ExpandFilter.Tpo -c ram/transform/ExpandFilter.cpp -o ram/transform/libsouffle_la-ExpandFilter.o >/dev/null 2>&1
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ram/transform/libsouffle_la-HoistAggregate.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-HoistAggregate.Tpo -c ram/transform/HoistAggregate.cpp -o ram/transform/libsouffle_la-HoistAggregate.o >/dev/null 2>&1
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ram/transform/libsouffle_la-HoistConditions.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-HoistConditions.Tpo -c ram/transform/HoistConditions.cpp -o ram/transform/libsouffle_la-HoistConditions.o >/dev/null 2>&1
mv -f ram/transform/.deps/libsouffle_la-ExpandFilter.Tpo ram/transform/.deps/libsouffle_la-ExpandFilter.Plo
/bin/bash ../libtool  --tag=CXX   --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -MT ram/transform/libsouffle_la-IfConversion.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-IfConversion.Tpo -c -o ram/transform/libsouffle_la-IfConversion.lo `test -f 'ram/transform/IfConversion.cpp' || echo './'`ram/transform/IfConversion.cpp
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ram/transform/libsouffle_la-IfConversion.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-IfConversion.Tpo -c ram/transform/IfConversion.cpp  -fPIC -DPIC -o ram/transform/.libs/libsouffle_la-IfConversion.o
mv -f ram/transform/.deps/libsouffle_la-HoistAggregate.Tpo ram/transform/.deps/libsouffle_la-HoistAggregate.Plo
/bin/bash ../libtool  --tag=CXX   --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -MT ram/transform/libsouffle_la-IndexedInequality.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-IndexedInequality.Tpo -c -o ram/transform/libsouffle_la-IndexedInequality.lo `test -f 'ram/transform/IndexedInequality.cpp' || echo './'`ram/transform/IndexedInequality.cpp
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ram/transform/libsouffle_la-IndexedInequality.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-IndexedInequality.Tpo -c ram/transform/IndexedInequality.cpp  -fPIC -DPIC -o ram/transform/.libs/libsouffle_la-IndexedInequality.o
mv -f ram/transform/.deps/libsouffle_la-HoistConditions.Tpo ram/transform/.deps/libsouffle_la-HoistConditions.Plo
/bin/bash ../libtool  --tag=CXX   --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -MT ram/transform/libsouffle_la-MakeIndex.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-MakeIndex.Tpo -c -o ram/transform/libsouffle_la-MakeIndex.lo `test -f 'ram/transform/MakeIndex.cpp' || echo './'`ram/transform/MakeIndex.cpp
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ram/transform/libsouffle_la-MakeIndex.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-MakeIndex.Tpo -c ram/transform/MakeIndex.cpp  -fPIC -DPIC -o ram/transform/.libs/libsouffle_la-MakeIndex.o
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ram/transform/libsouffle_la-IfConversion.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-IfConversion.Tpo -c ram/transform/IfConversion.cpp -o ram/transform/libsouffle_la-IfConversion.o >/dev/null 2>&1
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ram/transform/libsouffle_la-IndexedInequality.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-IndexedInequality.Tpo -c ram/transform/IndexedInequality.cpp -o ram/transform/libsouffle_la-IndexedInequality.o >/dev/null 2>&1
mv -f ram/transform/.deps/libsouffle_la-IfConversion.Tpo ram/transform/.deps/libsouffle_la-IfConversion.Plo
/bin/bash ../libtool  --tag=CXX   --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -MT ram/transform/libsouffle_la-Parallel.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-Parallel.Tpo -c -o ram/transform/libsouffle_la-Parallel.lo `test -f 'ram/transform/Parallel.cpp' || echo './'`ram/transform/Parallel.cpp
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ram/transform/libsouffle_la-Parallel.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-Parallel.Tpo -c ram/transform/Parallel.cpp  -fPIC -DPIC -o ram/transform/.libs/libsouffle_la-Parallel.o
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ram/transform/libsouffle_la-MakeIndex.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-MakeIndex.Tpo -c ram/transform/MakeIndex.cpp -o ram/transform/libsouffle_la-MakeIndex.o >/dev/null 2>&1
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ram/transform/libsouffle_la-Parallel.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-Parallel.Tpo -c ram/transform/Parallel.cpp -o ram/transform/libsouffle_la-Parallel.o >/dev/null 2>&1
mv -f ram/transform/.deps/libsouffle_la-IndexedInequality.Tpo ram/transform/.deps/libsouffle_la-IndexedInequality.Plo
/bin/bash ../libtool  --tag=CXX   --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -MT ram/transform/libsouffle_la-ReorderConditions.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-ReorderConditions.Tpo -c -o ram/transform/libsouffle_la-ReorderConditions.lo `test -f 'ram/transform/ReorderConditions.cpp' || echo './'`ram/transform/ReorderConditions.cpp
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ram/transform/libsouffle_la-ReorderConditions.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-ReorderConditions.Tpo -c ram/transform/ReorderConditions.cpp  -fPIC -DPIC -o ram/transform/.libs/libsouffle_la-ReorderConditions.o
mv -f ram/transform/.deps/libsouffle_la-MakeIndex.Tpo ram/transform/.deps/libsouffle_la-MakeIndex.Plo
/bin/bash ../libtool  --tag=CXX   --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -MT ram/transform/libsouffle_la-ReorderFilterBreak.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-ReorderFilterBreak.Tpo -c -o ram/transform/libsouffle_la-ReorderFilterBreak.lo `test -f 'ram/transform/ReorderFilterBreak.cpp' || echo './'`ram/transform/ReorderFilterBreak.cpp
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ram/transform/libsouffle_la-ReorderFilterBreak.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-ReorderFilterBreak.Tpo -c ram/transform/ReorderFilterBreak.cpp  -fPIC -DPIC -o ram/transform/.libs/libsouffle_la-ReorderFilterBreak.o
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ram/transform/libsouffle_la-ReorderConditions.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-ReorderConditions.Tpo -c ram/transform/ReorderConditions.cpp -o ram/transform/libsouffle_la-ReorderConditions.o >/dev/null 2>&1
mv -f ram/transform/.deps/libsouffle_la-Parallel.Tpo ram/transform/.deps/libsouffle_la-Parallel.Plo
/bin/bash ../libtool  --tag=CXX   --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -MT ram/transform/libsouffle_la-Transformer.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-Transformer.Tpo -c -o ram/transform/libsouffle_la-Transformer.lo `test -f 'ram/transform/Transformer.cpp' || echo './'`ram/transform/Transformer.cpp
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ram/transform/libsouffle_la-Transformer.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-Transformer.Tpo -c ram/transform/Transformer.cpp  -fPIC -DPIC -o ram/transform/.libs/libsouffle_la-Transformer.o
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ram/transform/libsouffle_la-ReorderFilterBreak.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-ReorderFilterBreak.Tpo -c ram/transform/ReorderFilterBreak.cpp -o ram/transform/libsouffle_la-ReorderFilterBreak.o >/dev/null 2>&1
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT interpreter/libsouffle_la-InterpreterEngine.lo -MD -MP -MF interpreter/.deps/libsouffle_la-InterpreterEngine.Tpo -c interpreter/InterpreterEngine.cpp -o interpreter/libsouffle_la-InterpreterEngine.o >/dev/null 2>&1
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ram/transform/libsouffle_la-Transformer.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-Transformer.Tpo -c ram/transform/Transformer.cpp -o ram/transform/libsouffle_la-Transformer.o >/dev/null 2>&1
mv -f ram/transform/.deps/libsouffle_la-ReorderConditions.Tpo ram/transform/.deps/libsouffle_la-ReorderConditions.Plo
/bin/bash ../libtool  --tag=CXX   --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -MT ram/transform/libsouffle_la-TupleId.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-TupleId.Tpo -c -o ram/transform/libsouffle_la-TupleId.lo `test -f 'ram/transform/TupleId.cpp' || echo './'`ram/transform/TupleId.cpp
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ram/transform/libsouffle_la-TupleId.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-TupleId.Tpo -c ram/transform/TupleId.cpp  -fPIC -DPIC -o ram/transform/.libs/libsouffle_la-TupleId.o
mv -f ram/transform/.deps/libsouffle_la-Transformer.Tpo ram/transform/.deps/libsouffle_la-Transformer.Plo
/bin/bash ../libtool  --tag=CXX   --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -MT reports/libsouffle_la-DebugReport.lo -MD -MP -MF reports/.deps/libsouffle_la-DebugReport.Tpo -c -o reports/libsouffle_la-DebugReport.lo `test -f 'reports/DebugReport.cpp' || echo './'`reports/DebugReport.cpp
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT reports/libsouffle_la-DebugReport.lo -MD -MP -MF reports/.deps/libsouffle_la-DebugReport.Tpo -c reports/DebugReport.cpp  -fPIC -DPIC -o reports/.libs/libsouffle_la-DebugReport.o
mv -f ram/transform/.deps/libsouffle_la-ReorderFilterBreak.Tpo ram/transform/.deps/libsouffle_la-ReorderFilterBreak.Plo
/bin/bash ../libtool  --tag=CXX   --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -MT synthesiser/libsouffle_la-Synthesiser.lo -MD -MP -MF synthesiser/.deps/libsouffle_la-Synthesiser.Tpo -c -o synthesiser/libsouffle_la-Synthesiser.lo `test -f 'synthesiser/Synthesiser.cpp' || echo './'`synthesiser/Synthesiser.cpp
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT synthesiser/libsouffle_la-Synthesiser.lo -MD -MP -MF synthesiser/.deps/libsouffle_la-Synthesiser.Tpo -c synthesiser/Synthesiser.cpp  -fPIC -DPIC -o synthesiser/.libs/libsouffle_la-Synthesiser.o
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT reports/libsouffle_la-DebugReport.lo -MD -MP -MF reports/.deps/libsouffle_la-DebugReport.Tpo -c reports/DebugReport.cpp -o reports/libsouffle_la-DebugReport.o >/dev/null 2>&1
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ram/transform/libsouffle_la-TupleId.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-TupleId.Tpo -c ram/transform/TupleId.cpp -o ram/transform/libsouffle_la-TupleId.o >/dev/null 2>&1
mv -f reports/.deps/libsouffle_la-DebugReport.Tpo reports/.deps/libsouffle_la-DebugReport.Plo
/bin/bash ../libtool  --tag=CXX   --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -MT synthesiser/libsouffle_la-Relation.lo -MD -MP -MF synthesiser/.deps/libsouffle_la-Relation.Tpo -c -o synthesiser/libsouffle_la-Relation.lo `test -f 'synthesiser/Relation.cpp' || echo './'`synthesiser/Relation.cpp
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT synthesiser/libsouffle_la-Relation.lo -MD -MP -MF synthesiser/.deps/libsouffle_la-Relation.Tpo -c synthesiser/Relation.cpp  -fPIC -DPIC -o synthesiser/.libs/libsouffle_la-Relation.o
mv -f ram/transform/.deps/libsouffle_la-TupleId.Tpo ram/transform/.deps/libsouffle_la-TupleId.Plo
/bin/bash ../libtool  --tag=CXX   --mode=link g++ -std=c++17  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp     -o souffle-profile souffle_profile-souffle_prof.o  -ldl -lpthread -lsqlite3 -lz -lncursesw
libtool: link: g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -o souffle-profile souffle_profile-souffle_prof.o  -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp
/bin/bash ../libtool  --tag=CXX   --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -MT parser/libsouffle_la-scanner.lo -MD -MP -MF parser/.deps/libsouffle_la-scanner.Tpo -c -o parser/libsouffle_la-scanner.lo `test -f 'parser/scanner.cc' || echo './'`parser/scanner.cc
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT parser/libsouffle_la-scanner.lo -MD -MP -MF parser/.deps/libsouffle_la-scanner.Tpo -c parser/scanner.cc  -fPIC -DPIC -o parser/.libs/libsouffle_la-scanner.o
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT synthesiser/libsouffle_la-Relation.lo -MD -MP -MF synthesiser/.deps/libsouffle_la-Relation.Tpo -c synthesiser/Relation.cpp -o synthesiser/libsouffle_la-Relation.o >/dev/null 2>&1
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT synthesiser/libsouffle_la-Synthesiser.lo -MD -MP -MF synthesiser/.deps/libsouffle_la-Synthesiser.Tpo -c synthesiser/Synthesiser.cpp -o synthesiser/libsouffle_la-Synthesiser.o >/dev/null 2>&1
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT parser/libsouffle_la-scanner.lo -MD -MP -MF parser/.deps/libsouffle_la-scanner.Tpo -c parser/scanner.cc -o parser/libsouffle_la-scanner.o >/dev/null 2>&1
mv -f synthesiser/.deps/libsouffle_la-Relation.Tpo synthesiser/.deps/libsouffle_la-Relation.Plo
mv -f parser/.deps/libsouffle_la-scanner.Tpo parser/.deps/libsouffle_la-scanner.Plo
mv -f synthesiser/.deps/libsouffle_la-Synthesiser.Tpo synthesiser/.deps/libsouffle_la-Synthesiser.Plo
mv -f interpreter/.deps/libsouffle_la-InterpreterEngine.Tpo interpreter/.deps/libsouffle_la-InterpreterEngine.Plo
/bin/bash ../libtool  --tag=CXX   --mode=link g++ -std=c++17 -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   --static --dlopen --pic -ldl -lffi  -o libsouffle.la  libsouffle_la-FunctorOps.lo libsouffle_la-Global.lo ast/libsouffle_la-Program.lo ast/analysis/libsouffle_la-AuxArity.lo ast/analysis/libsouffle_la-ClauseNormalisation.lo ast/analysis/libsouffle_la-ComponentLookup.lo ast/analysis/libsouffle_la-Functor.lo ast/analysis/libsouffle_la-Ground.lo ast/analysis/libsouffle_la-IOType.lo ast/analysis/libsouffle_la-PrecedenceGraph.lo ast/analysis/libsouffle_la-ProfileUse.lo ast/analysis/libsouffle_la-RecursiveClauses.lo ast/analysis/libsouffle_la-RedundantRelations.lo ast/analysis/libsouffle_la-RelationDetailCache.lo ast/analysis/libsouffle_la-RelationSchedule.lo ast/analysis/libsouffle_la-SCCGraph.lo ast/analysis/libsouffle_la-SumTypeBranches.lo ast/analysis/libsouffle_la-TopologicallySortedSCCGraph.lo ast/analysis/libsouffle_la-Type.lo ast/analysis/libsouffle_la-TypeSystem.lo ast/analysis/libsouffle_la-TypeEnvironment.lo ast/transform/libsouffle_la-ADTtoRecords.lo ast/transform/libsouffle_la-AddNullariesToAtomlessAggregates.lo ast/transform/libsouffle_la-ComponentChecker.lo ast/transform/libsouffle_la-ComponentInstantiation.lo ast/transform/libsouffle_la-DebugReporter.lo ast/transform/libsouffle_la-ExecutionPlanChecker.lo ast/transform/libsouffle_la-FoldAnonymousRecords.lo ast/transform/libsouffle_la-GroundedTermsChecker.lo ast/transform/libsouffle_la-InlineRelations.lo ast/transform/libsouffle_la-MagicSet.lo ast/transform/libsouffle_la-MaterializeAggregationQueries.lo ast/transform/libsouffle_la-MaterializeSingletonAggregation.lo ast/transform/libsouffle_la-Meta.lo ast/transform/libsouffle_la-MinimiseProgram.lo ast/transform/libsouffle_la-NameUnnamedVariables.lo ast/transform/libsouffle_la-NormaliseConstraints.lo ast/transform/libsouffle_la-PartitionBodyLiterals.lo ast/transform/libsouffle_la-PolymorphicObjects.lo ast/transform/libsouffle_la-PragmaChecker.lo ast/transform/libsouffle_la-Provenance.lo ast/transform/libsouffle_la-ReduceExistentials.lo ast/transform/libsouffle_la-RemoveBooleanConstraints.lo ast/transform/libsouffle_la-RemoveEmptyRelations.lo ast/transform/libsouffle_la-RemoveRedundantRelations.lo ast/transform/libsouffle_la-RemoveRedundantSums.lo ast/transform/libsouffle_la-RemoveRelationCopies.lo ast/transform/libsouffle_la-RemoveTypecasts.lo ast/transform/libsouffle_la-ReorderLiterals.lo ast/transform/libsouffle_la-ReplaceSingletonVariables.lo ast/transform/libsouffle_la-ResolveAliases.lo ast/transform/libsouffle_la-ResolveAnonymousRecordAliases.lo ast/transform/libsouffle_la-SemanticChecker.lo ast/transform/libsouffle_la-Transformer.lo ast/transform/libsouffle_la-UniqueAggregationVariables.lo ast/utility/libsouffle_la-BindingStore.lo ast/utility/libsouffle_la-SipsMetric.lo ast/utility/libsouffle_la-Utils.lo ast2ram/libsouffle_la-AstToRamTranslator.lo interpreter/libsouffle_la-InterpreterEngine.lo interpreter/libsouffle_la-InterpreterBrieIndex.lo interpreter/libsouffle_la-InterpreterBTreeIndex.lo interpreter/libsouffle_la-InterpreterEqrelIndex.lo interpreter/libsouffle_la-InterpreterProvenanceIndex.lo parser/libsouffle_la-ParserDriver.lo parser/libsouffle_la-ParserUtils.lo parser/libsouffle_la-SrcLocation.lo parser/libsouffle_la-parser.lo parser/libsouffle_la-scanner.lo ram/analysis/libsouffle_la-Complexity.lo ram/analysis/libsouffle_la-Index.lo ram/analysis/libsouffle_la-Level.lo ram/transform/libsouffle_la-ChoiceConversion.lo ram/transform/libsouffle_la-CollapseFilters.lo ram/transform/libsouffle_la-EliminateDuplicates.lo ram/transform/libsouffle_la-ExpandFilter.lo ram/transform/libsouffle_la-HoistAggregate.lo ram/transform/libsouffle_la-HoistConditions.lo ram/transform/libsouffle_la-IfConversion.lo ram/transform/libsouffle_la-IndexedInequality.lo ram/transform/libsouffle_la-MakeIndex.lo ram/transform/libsouffle_la-Parallel.lo ram/transform/libsouffle_la-ReorderConditions.lo ram/transform/libsouffle_la-ReorderFilterBreak.lo ram/transform/libsouffle_la-Transformer.lo ram/transform/libsouffle_la-TupleId.lo reports/libsouffle_la-DebugReport.lo synthesiser/libsouffle_la-Synthesiser.lo synthesiser/libsouffle_la-Relation.lo  -ldl -lpthread -lsqlite3 -lz -lncursesw
copying selected object files to avoid basename conflicts...
libtool: link: ln ram/transform/.libs/libsouffle_la-Transformer.o .libs/libsouffle.lax/lt1-libsouffle_la-Transformer.o || cp ram/transform/.libs/libsouffle_la-Transformer.o .libs/libsouffle.lax/lt1-libsouffle_la-Transformer.o
libtool: link: ar cr .libs/libsouffle.a .libs/libsouffle_la-FunctorOps.o .libs/libsouffle_la-Global.o ast/.libs/libsouffle_la-Program.o ast/analysis/.libs/libsouffle_la-AuxArity.o ast/analysis/.libs/libsouffle_la-ClauseNormalisation.o ast/analysis/.libs/libsouffle_la-ComponentLookup.o ast/analysis/.libs/libsouffle_la-Functor.o ast/analysis/.libs/libsouffle_la-Ground.o ast/analysis/.libs/libsouffle_la-IOType.o ast/analysis/.libs/libsouffle_la-PrecedenceGraph.o ast/analysis/.libs/libsouffle_la-ProfileUse.o ast/analysis/.libs/libsouffle_la-RecursiveClauses.o ast/analysis/.libs/libsouffle_la-RedundantRelations.o ast/analysis/.libs/libsouffle_la-RelationDetailCache.o ast/analysis/.libs/libsouffle_la-RelationSchedule.o ast/analysis/.libs/libsouffle_la-SCCGraph.o ast/analysis/.libs/libsouffle_la-SumTypeBranches.o ast/analysis/.libs/libsouffle_la-TopologicallySortedSCCGraph.o ast/analysis/.libs/libsouffle_la-Type.o ast/analysis/.libs/libsouffle_la-TypeSystem.o ast/analysis/.libs/libsouffle_la-TypeEnvironment.o ast/transform/.libs/libsouffle_la-ADTtoRecords.o ast/transform/.libs/libsouffle_la-AddNullariesToAtomlessAggregates.o ast/transform/.libs/libsouffle_la-ComponentChecker.o ast/transform/.libs/libsouffle_la-ComponentInstantiation.o ast/transform/.libs/libsouffle_la-DebugReporter.o ast/transform/.libs/libsouffle_la-ExecutionPlanChecker.o ast/transform/.libs/libsouffle_la-FoldAnonymousRecords.o ast/transform/.libs/libsouffle_la-GroundedTermsChecker.o ast/transform/.libs/libsouffle_la-InlineRelations.o ast/transform/.libs/libsouffle_la-MagicSet.o ast/transform/.libs/libsouffle_la-MaterializeAggregationQueries.o ast/transform/.libs/libsouffle_la-MaterializeSingletonAggregation.o ast/transform/.libs/libsouffle_la-Meta.o ast/transform/.libs/libsouffle_la-MinimiseProgram.o ast/transform/.libs/libsouffle_la-NameUnnamedVariables.o ast/transform/.libs/libsouffle_la-NormaliseConstraints.o ast/transform/.libs/libsouffle_la-PartitionBodyLiterals.o ast/transform/.libs/libsouffle_la-PolymorphicObjects.o ast/transform/.libs/libsouffle_la-PragmaChecker.o ast/transform/.libs/libsouffle_la-Provenance.o ast/transform/.libs/libsouffle_la-ReduceExistentials.o ast/transform/.libs/libsouffle_la-RemoveBooleanConstraints.o ast/transform/.libs/libsouffle_la-RemoveEmptyRelations.o ast/transform/.libs/libsouffle_la-RemoveRedundantRelations.o ast/transform/.libs/libsouffle_la-RemoveRedundantSums.o ast/transform/.libs/libsouffle_la-RemoveRelationCopies.o ast/transform/.libs/libsouffle_la-RemoveTypecasts.o ast/transform/.libs/libsouffle_la-ReorderLiterals.o ast/transform/.libs/libsouffle_la-ReplaceSingletonVariables.o ast/transform/.libs/libsouffle_la-ResolveAliases.o ast/transform/.libs/libsouffle_la-ResolveAnonymousRecordAliases.o ast/transform/.libs/libsouffle_la-SemanticChecker.o ast/transform/.libs/libsouffle_la-Transformer.o ast/transform/.libs/libsouffle_la-UniqueAggregationVariables.o ast/utility/.libs/libsouffle_la-BindingStore.o ast/utility/.libs/libsouffle_la-SipsMetric.o ast/utility/.libs/libsouffle_la-Utils.o ast2ram/.libs/libsouffle_la-AstToRamTranslator.o interpreter/.libs/libsouffle_la-InterpreterEngine.o interpreter/.libs/libsouffle_la-InterpreterBrieIndex.o interpreter/.libs/libsouffle_la-InterpreterBTreeIndex.o interpreter/.libs/libsouffle_la-InterpreterEqrelIndex.o interpreter/.libs/libsouffle_la-InterpreterProvenanceIndex.o parser/.libs/libsouffle_la-ParserDriver.o parser/.libs/libsouffle_la-ParserUtils.o parser/.libs/libsouffle_la-SrcLocation.o parser/.libs/libsouffle_la-parser.o parser/.libs/libsouffle_la-scanner.o ram/analysis/.libs/libsouffle_la-Complexity.o ram/analysis/.libs/libsouffle_la-Index.o ram/analysis/.libs/libsouffle_la-Level.o ram/transform/.libs/libsouffle_la-ChoiceConversion.o ram/transform/.libs/libsouffle_la-CollapseFilters.o ram/transform/.libs/libsouffle_la-EliminateDuplicates.o ram/transform/.libs/libsouffle_la-ExpandFilter.o ram/transform/.libs/libsouffle_la-HoistAggregate.o ram/transform/.libs/libsouffle_la-HoistConditions.o ram/transform/.libs/libsouffle_la-IfConversion.o ram/transform/.libs/libsouffle_la-IndexedInequality.o ram/transform/.libs/libsouffle_la-MakeIndex.o ram/transform/.libs/libsouffle_la-Parallel.o ram/transform/.libs/libsouffle_la-ReorderConditions.o ram/transform/.libs/libsouffle_la-ReorderFilterBreak.o .libs/libsouffle.lax/lt1-libsouffle_la-Transformer.o ram/transform/.libs/libsouffle_la-TupleId.o reports/.libs/libsouffle_la-DebugReport.o synthesiser/.libs/libsouffle_la-Synthesiser.o synthesiser/.libs/libsouffle_la-Relation.o
libtool: link: ranlib .libs/libsouffle.a
libtool: link: rm -fr .libs/libsouffle.lax
libtool: link: ( cd ".libs" && rm -f "libsouffle.la" && ln -s "../libsouffle.la" "libsouffle.la" )
/bin/bash ../libtool  --tag=CXX   --mode=link g++ -std=c++17  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp     -o souffle souffle-main.o libsouffle.la -ldl -lpthread -lsqlite3 -lz -lncursesw
libtool: link: g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -o souffle souffle-main.o  ./.libs/libsouffle.a -lffi -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp
make[3]: Leaving directory '/souffle/src'
Making all in tests
make[3]: Entering directory '/souffle/src/tests'
make[3]: Nothing to be done for 'all'.
make[3]: Leaving directory '/souffle/src/tests'
Making all in ast/tests
make[3]: Entering directory '/souffle/src/ast/tests'
make[3]: Nothing to be done for 'all'.
make[3]: Leaving directory '/souffle/src/ast/tests'
Making all in ram/tests
make[3]: Entering directory '/souffle/src/ram/tests'
make[3]: Nothing to be done for 'all'.
make[3]: Leaving directory '/souffle/src/ram/tests'
Making all in interpreter/tests
make[3]: Entering directory '/souffle/src/interpreter/tests'
make[3]: Nothing to be done for 'all'.
make[3]: Leaving directory '/souffle/src/interpreter/tests'
make[2]: Leaving directory '/souffle/src'
make[1]: Leaving directory '/souffle/src'
Making all in tests
make[1]: Entering directory '/souffle/tests'
Making all in interface/functors
make[2]: Entering directory '/souffle/tests/interface/functors'
make[2]: Nothing to be done for 'all'.
make[2]: Leaving directory '/souffle/tests/interface/functors'
make[2]: Entering directory '/souffle/tests'
make[2]: Nothing to be done for 'all-am'.
make[2]: Leaving directory '/souffle/tests'
make[1]: Leaving directory '/souffle/tests'
make[1]: Entering directory '/souffle'
make[1]: Nothing to be done for 'all-am'.
make[1]: Leaving directory '/souffle'
Making check in src
make[1]: Entering directory '/souffle/src'
Making check in .
make[2]: Entering directory '/souffle/src'
make[2]: Leaving directory '/souffle/src'
Making check in tests
make[2]: Entering directory '/souffle/src/tests'
make  profile_util_test util_test table_test btree_set_test btree_multiset_test binary_relation_test eqrel_datastructure_test compiled_tuple_test symbol_table_test graph_utils_test brie_test parallel_utils_test record_table_test
make[3]: Entering directory '/souffle/src/tests'
depbase=`echo profile_util_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\
g++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../src     -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -I../../src -I../../src/include -MT profile_util_test.o -MD -MP -MF $depbase.Tpo -c -o profile_util_test.o profile_util_test.cpp &&\
mv -f $depbase.Tpo $depbase.Po
depbase=`echo util_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\
g++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../src     -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -I../../src -I../../src/include -MT util_test.o -MD -MP -MF $depbase.Tpo -c -o util_test.o util_test.cpp &&\
mv -f $depbase.Tpo $depbase.Po
depbase=`echo table_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\
g++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../src     -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -I../../src -I../../src/include -MT table_test.o -MD -MP -MF $depbase.Tpo -c -o table_test.o table_test.cpp &&\
mv -f $depbase.Tpo $depbase.Po
depbase=`echo btree_set_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\
g++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../src     -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -I../../src -I../../src/include -MT btree_set_test.o -MD -MP -MF $depbase.Tpo -c -o btree_set_test.o btree_set_test.cpp &&\
mv -f $depbase.Tpo $depbase.Po
depbase=`echo btree_multiset_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\
g++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../src     -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -I../../src -I../../src/include -MT btree_multiset_test.o -MD -MP -MF $depbase.Tpo -c -o btree_multiset_test.o btree_multiset_test.cpp &&\
mv -f $depbase.Tpo $depbase.Po
depbase=`echo binary_relation_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\
g++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../src     -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -I../../src -I../../src/include -MT binary_relation_test.o -MD -MP -MF $depbase.Tpo -c -o binary_relation_test.o binary_relation_test.cpp &&\
mv -f $depbase.Tpo $depbase.Po
depbase=`echo eqrel_datastructure_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\
g++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../src     -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -I../../src -I../../src/include -MT eqrel_datastructure_test.o -MD -MP -MF $depbase.Tpo -c -o eqrel_datastructure_test.o eqrel_datastructure_test.cpp &&\
mv -f $depbase.Tpo $depbase.Po
depbase=`echo compiled_tuple_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\
g++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../src     -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -I../../src -I../../src/include -MT compiled_tuple_test.o -MD -MP -MF $depbase.Tpo -c -o compiled_tuple_test.o compiled_tuple_test.cpp &&\
mv -f $depbase.Tpo $depbase.Po
depbase=`echo symbol_table_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\
g++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../src     -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -I../../src -I../../src/include -MT symbol_table_test.o -MD -MP -MF $depbase.Tpo -c -o symbol_table_test.o symbol_table_test.cpp &&\
mv -f $depbase.Tpo $depbase.Po
depbase=`echo graph_utils_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\
g++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../src     -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -I../../src -I../../src/include -MT graph_utils_test.o -MD -MP -MF $depbase.Tpo -c -o graph_utils_test.o graph_utils_test.cpp &&\
mv -f $depbase.Tpo $depbase.Po
depbase=`echo brie_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\
g++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../src     -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -I../../src -I../../src/include -MT brie_test.o -MD -MP -MF $depbase.Tpo -c -o brie_test.o brie_test.cpp &&\
mv -f $depbase.Tpo $depbase.Po
depbase=`echo parallel_utils_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\
g++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../src     -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -I../../src -I../../src/include -MT parallel_utils_test.o -MD -MP -MF $depbase.Tpo -c -o parallel_utils_test.o parallel_utils_test.cpp &&\
mv -f $depbase.Tpo $depbase.Po
depbase=`echo record_table_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\
g++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../src     -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -I../../src -I../../src/include -MT record_table_test.o -MD -MP -MF $depbase.Tpo -c -o record_table_test.o record_table_test.cpp &&\
mv -f $depbase.Tpo $depbase.Po
/bin/bash ../../libtool  --tag=CXX   --mode=link g++ -std=c++17  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -I../../src -I../../src/include   -o profile_util_test profile_util_test.o  -ldl -lpthread -lsqlite3 -lz -lncursesw
/bin/bash ../../libtool  --tag=CXX   --mode=link g++ -std=c++17  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -I../../src -I../../src/include   -o util_test util_test.o  -ldl -lpthread -lsqlite3 -lz -lncursesw
libtool: link: g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../src -I../../src/include -o profile_util_test profile_util_test.o  -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp
libtool: link: g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../src -I../../src/include -o util_test util_test.o  -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp
/bin/bash ../../libtool  --tag=CXX   --mode=link g++ -std=c++17  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -I../../src -I../../src/include   -o table_test table_test.o  -ldl -lpthread -lsqlite3 -lz -lncursesw
/bin/bash ../../libtool  --tag=CXX   --mode=link g++ -std=c++17  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -I../../src -I../../src/include   -o btree_set_test btree_set_test.o  -ldl -lpthread -lsqlite3 -lz -lncursesw
libtool: link: g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../src -I../../src/include -o btree_set_test btree_set_test.o  -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp
libtool: link: g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../src -I../../src/include -o table_test table_test.o  -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp
/bin/bash ../../libtool  --tag=CXX   --mode=link g++ -std=c++17  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -I../../src -I../../src/include   -o btree_multiset_test btree_multiset_test.o  -ldl -lpthread -lsqlite3 -lz -lncursesw
/bin/bash ../../libtool  --tag=CXX   --mode=link g++ -std=c++17  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -I../../src -I../../src/include   -o binary_relation_test binary_relation_test.o  -ldl -lpthread -lsqlite3 -lz -lncursesw
libtool: link: g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../src -I../../src/include -o btree_multiset_test btree_multiset_test.o  -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp
libtool: link: g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../src -I../../src/include -o binary_relation_test binary_relation_test.o  -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp
/bin/bash ../../libtool  --tag=CXX   --mode=link g++ -std=c++17  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -I../../src -I../../src/include   -o eqrel_datastructure_test eqrel_datastructure_test.o  -ldl -lpthread -lsqlite3 -lz -lncursesw
/bin/bash ../../libtool  --tag=CXX   --mode=link g++ -std=c++17  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -I../../src -I../../src/include   -o compiled_tuple_test compiled_tuple_test.o  -ldl -lpthread -lsqlite3 -lz -lncursesw
libtool: link: g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../src -I../../src/include -o eqrel_datastructure_test eqrel_datastructure_test.o  -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp
libtool: link: g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../src -I../../src/include -o compiled_tuple_test compiled_tuple_test.o  -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp
/bin/bash ../../libtool  --tag=CXX   --mode=link g++ -std=c++17  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -I../../src -I../../src/include   -o symbol_table_test symbol_table_test.o  -ldl -lpthread -lsqlite3 -lz -lncursesw
/bin/bash ../../libtool  --tag=CXX   --mode=link g++ -std=c++17  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -I../../src -I../../src/include   -o graph_utils_test graph_utils_test.o  -ldl -lpthread -lsqlite3 -lz -lncursesw
libtool: link: g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../src -I../../src/include -o symbol_table_test symbol_table_test.o  -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp
libtool: link: g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../src -I../../src/include -o graph_utils_test graph_utils_test.o  -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp
/bin/bash ../../libtool  --tag=CXX   --mode=link g++ -std=c++17  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -I../../src -I../../src/include   -o parallel_utils_test parallel_utils_test.o  -ldl -lpthread -lsqlite3 -lz -lncursesw
libtool: link: g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../src -I../../src/include -o parallel_utils_test parallel_utils_test.o  -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp
/bin/bash ../../libtool  --tag=CXX   --mode=link g++ -std=c++17  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -I../../src -I../../src/include   -o record_table_test record_table_test.o  -ldl -lpthread -lsqlite3 -lz -lncursesw
libtool: link: g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../src -I../../src/include -o record_table_test record_table_test.o  -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp
/bin/bash ../../libtool  --tag=CXX   --mode=link g++ -std=c++17  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -I../../src -I../../src/include   -o brie_test brie_test.o  -ldl -lpthread -lsqlite3 -lz -lncursesw
libtool: link: g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../src -I../../src/include -o brie_test brie_test.o  -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp
make[3]: Leaving directory '/souffle/src/tests'
make  check-TESTS
make[3]: Entering directory '/souffle/src/tests'
make[4]: Entering directory '/souffle/src/tests'
PASS: profile_util_test
PASS: util_test
PASS: table_test
PASS: binary_relation_test
PASS: compiled_tuple_test
PASS: symbol_table_test
PASS: graph_utils_test
PASS: btree_multiset_test
PASS: eqrel_datastructure_test
PASS: record_table_test
PASS: btree_set_test
PASS: parallel_utils_test
PASS: brie_test
============================================================================
Testsuite summary for souffle 2.0.2-69-g994288cd7
============================================================================
# TOTAL: 13
# PASS:  13
# SKIP:  0
# XFAIL: 0
# FAIL:  0
# XPASS: 0
# ERROR: 0
============================================================================
make[4]: Leaving directory '/souffle/src/tests'
make[3]: Leaving directory '/souffle/src/tests'
make[2]: Leaving directory '/souffle/src/tests'
Making check in ast/tests
make[2]: Entering directory '/souffle/src/ast/tests'
make  ast_print_test ast_program_test ast_transformers_test ast_utils_test ast_parser_utils_test type_system_test constraints_test
make[3]: Entering directory '/souffle/src/ast/tests'
depbase=`echo ast_print_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\
g++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../../src     -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -I../../../src -I../../../src/include -MT ast_print_test.o -MD -MP -MF $depbase.Tpo -c -o ast_print_test.o ast_print_test.cpp &&\
mv -f $depbase.Tpo $depbase.Po
depbase=`echo ast_program_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\
g++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../../src     -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -I../../../src -I../../../src/include -MT ast_program_test.o -MD -MP -MF $depbase.Tpo -c -o ast_program_test.o ast_program_test.cpp &&\
mv -f $depbase.Tpo $depbase.Po
depbase=`echo ast_transformers_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\
g++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../../src     -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -I../../../src -I../../../src/include -MT ast_transformers_test.o -MD -MP -MF $depbase.Tpo -c -o ast_transformers_test.o ast_transformers_test.cpp &&\
mv -f $depbase.Tpo $depbase.Po
depbase=`echo ast_utils_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\
g++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../../src     -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -I../../../src -I../../../src/include -MT ast_utils_test.o -MD -MP -MF $depbase.Tpo -c -o ast_utils_test.o ast_utils_test.cpp &&\
mv -f $depbase.Tpo $depbase.Po
depbase=`echo ast_parser_utils_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\
g++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../../src     -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -I../../../src -I../../../src/include -MT ast_parser_utils_test.o -MD -MP -MF $depbase.Tpo -c -o ast_parser_utils_test.o ast_parser_utils_test.cpp &&\
mv -f $depbase.Tpo $depbase.Po
depbase=`echo type_system_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\
g++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../../src     -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -I../../../src -I../../../src/include -MT type_system_test.o -MD -MP -MF $depbase.Tpo -c -o type_system_test.o type_system_test.cpp &&\
mv -f $depbase.Tpo $depbase.Po
depbase=`echo constraints_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\
g++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../../src     -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -I../../../src -I../../../src/include -MT constraints_test.o -MD -MP -MF $depbase.Tpo -c -o constraints_test.o constraints_test.cpp &&\
mv -f $depbase.Tpo $depbase.Po
/bin/bash ../../../libtool  --tag=CXX   --mode=link g++ -std=c++17  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -I../../../src -I../../../src/include   -o ast_print_test ast_print_test.o ../../../src/libsouffle.la -ldl -lpthread -lsqlite3 -lz -lncursesw
/bin/bash ../../../libtool  --tag=CXX   --mode=link g++ -std=c++17  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -I../../../src -I../../../src/include   -o ast_program_test ast_program_test.o ../../../src/libsouffle.la -ldl -lpthread -lsqlite3 -lz -lncursesw
libtool: link: g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../../src -I../../../src/include -o ast_print_test ast_print_test.o  ../../../src/.libs/libsouffle.a -lffi -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp
libtool: link: g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../../src -I../../../src/include -o ast_program_test ast_program_test.o  ../../../src/.libs/libsouffle.a -lffi -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp
/bin/bash ../../../libtool  --tag=CXX   --mode=link g++ -std=c++17  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -I../../../src -I../../../src/include   -o ast_utils_test ast_utils_test.o ../../../src/libsouffle.la -ldl -lpthread -lsqlite3 -lz -lncursesw
libtool: link: g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../../src -I../../../src/include -o ast_utils_test ast_utils_test.o  ../../../src/.libs/libsouffle.a -lffi -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp
/bin/bash ../../../libtool  --tag=CXX   --mode=link g++ -std=c++17  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -I../../../src -I../../../src/include   -o ast_parser_utils_test ast_parser_utils_test.o ../../../src/libsouffle.la -ldl -lpthread -lsqlite3 -lz -lncursesw
/bin/bash ../../../libtool  --tag=CXX   --mode=link g++ -std=c++17  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -I../../../src -I../../../src/include   -o constraints_test constraints_test.o ../../../src/libsouffle.la -ldl -lpthread -lsqlite3 -lz -lncursesw
libtool: link: g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../../src -I../../../src/include -o ast_parser_utils_test ast_parser_utils_test.o  ../../../src/.libs/libsouffle.a -lffi -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp
libtool: link: g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../../src -I../../../src/include -o constraints_test constraints_test.o  ../../../src/.libs/libsouffle.a -lffi -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp
/bin/bash ../../../libtool  --tag=CXX   --mode=link g++ -std=c++17  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -I../../../src -I../../../src/include   -o ast_transformers_test ast_transformers_test.o ../../../src/libsouffle.la -ldl -lpthread -lsqlite3 -lz -lncursesw
libtool: link: g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../../src -I../../../src/include -o ast_transformers_test ast_transformers_test.o  ../../../src/.libs/libsouffle.a -lffi -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp
/bin/bash ../../../libtool  --tag=CXX   --mode=link g++ -std=c++17  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -I../../../src -I../../../src/include   -o type_system_test type_system_test.o ../../../src/libsouffle.la -ldl -lpthread -lsqlite3 -lz -lncursesw
libtool: link: g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../../src -I../../../src/include -o type_system_test type_system_test.o  ../../../src/.libs/libsouffle.a -lffi -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp
make[3]: Leaving directory '/souffle/src/ast/tests'
make  check-TESTS
make[3]: Entering directory '/souffle/src/ast/tests'
make[4]: Entering directory '/souffle/src/ast/tests'
PASS: ast_program_test
PASS: ast_utils_test
PASS: ast_print_test
PASS: ast_transformers_test
PASS: type_system_test
PASS: ast_parser_utils_test
PASS: constraints_test
============================================================================
Testsuite summary for souffle 2.0.2-69-g994288cd7
============================================================================
# TOTAL: 7
# PASS:  7
# SKIP:  0
# XFAIL: 0
# FAIL:  0
# XPASS: 0
# ERROR: 0
============================================================================
make[4]: Leaving directory '/souffle/src/ast/tests'
make[3]: Leaving directory '/souffle/src/ast/tests'
make[2]: Leaving directory '/souffle/src/ast/tests'
Making check in ram/tests
make[2]: Entering directory '/souffle/src/ram/tests'
make  ram_condition_equal_clone_test ram_statement_equal_clone_test ram_expression_equal_clone_test ram_operation_equal_clone_test ram_relation_equal_clone_test ram_relation_test ram_arithmetic_test ram_type_conversion_test matching_test max_matching_test
make[3]: Entering directory '/souffle/src/ram/tests'
depbase=`echo ram_condition_equal_clone_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\
g++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../../src     -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -I../../../src -I../../../src/include -MT ram_condition_equal_clone_test.o -MD -MP -MF $depbase.Tpo -c -o ram_condition_equal_clone_test.o ram_condition_equal_clone_test.cpp &&\
mv -f $depbase.Tpo $depbase.Po
depbase=`echo ram_statement_equal_clone_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\
g++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../../src     -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -I../../../src -I../../../src/include -MT ram_statement_equal_clone_test.o -MD -MP -MF $depbase.Tpo -c -o ram_statement_equal_clone_test.o ram_statement_equal_clone_test.cpp &&\
mv -f $depbase.Tpo $depbase.Po
depbase=`echo ram_expression_equal_clone_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\
g++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../../src     -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -I../../../src -I../../../src/include -MT ram_expression_equal_clone_test.o -MD -MP -MF $depbase.Tpo -c -o ram_expression_equal_clone_test.o ram_expression_equal_clone_test.cpp &&\
mv -f $depbase.Tpo $depbase.Po
depbase=`echo ram_operation_equal_clone_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\
g++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../../src     -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -I../../../src -I../../../src/include -MT ram_operation_equal_clone_test.o -MD -MP -MF $depbase.Tpo -c -o ram_operation_equal_clone_test.o ram_operation_equal_clone_test.cpp &&\
mv -f $depbase.Tpo $depbase.Po
depbase=`echo ram_relation_equal_clone_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\
g++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../../src     -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -I../../../src -I../../../src/include -MT ram_relation_equal_clone_test.o -MD -MP -MF $depbase.Tpo -c -o ram_relation_equal_clone_test.o ram_relation_equal_clone_test.cpp &&\
mv -f $depbase.Tpo $depbase.Po
depbase=`echo ram_relation_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\
g++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../../src     -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -I../../../src -I../../../src/include -MT ram_relation_test.o -MD -MP -MF $depbase.Tpo -c -o ram_relation_test.o ram_relation_test.cpp &&\
mv -f $depbase.Tpo $depbase.Po
depbase=`echo ram_arithmetic_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\
g++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../../src     -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -I../../../src -I../../../src/include -MT ram_arithmetic_test.o -MD -MP -MF $depbase.Tpo -c -o ram_arithmetic_test.o ram_arithmetic_test.cpp &&\
mv -f $depbase.Tpo $depbase.Po
depbase=`echo ram_type_conversion_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\
g++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../../src     -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -I../../../src -I../../../src/include -MT ram_type_conversion_test.o -MD -MP -MF $depbase.Tpo -c -o ram_type_conversion_test.o ram_type_conversion_test.cpp &&\
mv -f $depbase.Tpo $depbase.Po
depbase=`echo matching_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\
g++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../../src     -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -I../../../src -I../../../src/include -MT matching_test.o -MD -MP -MF $depbase.Tpo -c -o matching_test.o matching_test.cpp &&\
mv -f $depbase.Tpo $depbase.Po
depbase=`echo max_matching_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\
g++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../../src     -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -I../../../src -I../../../src/include -MT max_matching_test.o -MD -MP -MF $depbase.Tpo -c -o max_matching_test.o max_matching_test.cpp &&\
mv -f $depbase.Tpo $depbase.Po
/bin/bash ../../../libtool  --tag=CXX   --mode=link g++ -std=c++17  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -I../../../src -I../../../src/include   -o ram_condition_equal_clone_test ram_condition_equal_clone_test.o ../../../src/libsouffle.la -ldl -lpthread -lsqlite3 -lz -lncursesw
libtool: link: g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../../src -I../../../src/include -o ram_condition_equal_clone_test ram_condition_equal_clone_test.o  ../../../src/.libs/libsouffle.a -lffi -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp
/bin/bash ../../../libtool  --tag=CXX   --mode=link g++ -std=c++17  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -I../../../src -I../../../src/include   -o ram_statement_equal_clone_test ram_statement_equal_clone_test.o ../../../src/libsouffle.la -ldl -lpthread -lsqlite3 -lz -lncursesw
libtool: link: g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../../src -I../../../src/include -o ram_statement_equal_clone_test ram_statement_equal_clone_test.o  ../../../src/.libs/libsouffle.a -lffi -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp
/bin/bash ../../../libtool  --tag=CXX   --mode=link g++ -std=c++17  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -I../../../src -I../../../src/include   -o ram_expression_equal_clone_test ram_expression_equal_clone_test.o ../../../src/libsouffle.la -ldl -lpthread -lsqlite3 -lz -lncursesw
libtool: link: g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../../src -I../../../src/include -o ram_expression_equal_clone_test ram_expression_equal_clone_test.o  ../../../src/.libs/libsouffle.a -lffi -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp
/bin/bash ../../../libtool  --tag=CXX   --mode=link g++ -std=c++17  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -I../../../src -I../../../src/include   -o ram_operation_equal_clone_test ram_operation_equal_clone_test.o ../../../src/libsouffle.la -ldl -lpthread -lsqlite3 -lz -lncursesw
libtool: link: g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../../src -I../../../src/include -o ram_operation_equal_clone_test ram_operation_equal_clone_test.o  ../../../src/.libs/libsouffle.a -lffi -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp
/bin/bash ../../../libtool  --tag=CXX   --mode=link g++ -std=c++17  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -I../../../src -I../../../src/include   -o ram_relation_equal_clone_test ram_relation_equal_clone_test.o ../../../src/libsouffle.la -ldl -lpthread -lsqlite3 -lz -lncursesw
/bin/bash ../../../libtool  --tag=CXX   --mode=link g++ -std=c++17  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -I../../../src -I../../../src/include   -o ram_type_conversion_test ram_type_conversion_test.o ../../../src/libsouffle.la -ldl -lpthread -lsqlite3 -lz -lncursesw
libtool: link: g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../../src -I../../../src/include -o ram_relation_equal_clone_test ram_relation_equal_clone_test.o  ../../../src/.libs/libsouffle.a -lffi -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp
libtool: link: g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../../src -I../../../src/include -o ram_type_conversion_test ram_type_conversion_test.o  ../../../src/.libs/libsouffle.a -lffi -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp
/bin/bash ../../../libtool  --tag=CXX   --mode=link g++ -std=c++17  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -I../../../src -I../../../src/include   -o matching_test matching_test.o ../../../src/libsouffle.la -ldl -lpthread -lsqlite3 -lz -lncursesw
/bin/bash ../../../libtool  --tag=CXX   --mode=link g++ -std=c++17  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -I../../../src -I../../../src/include   -o max_matching_test max_matching_test.o ../../../src/libsouffle.la -ldl -lpthread -lsqlite3 -lz -lncursesw
libtool: link: g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../../src -I../../../src/include -o matching_test matching_test.o  ../../../src/.libs/libsouffle.a -lffi -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp
libtool: link: g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../../src -I../../../src/include -o max_matching_test max_matching_test.o  ../../../src/.libs/libsouffle.a -lffi -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp
/bin/bash ../../../libtool  --tag=CXX   --mode=link g++ -std=c++17  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -I../../../src -I../../../src/include   -o ram_relation_test ram_relation_test.o ../../../src/libsouffle.la -ldl -lpthread -lsqlite3 -lz -lncursesw
libtool: link: g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../../src -I../../../src/include -o ram_relation_test ram_relation_test.o  ../../../src/.libs/libsouffle.a -lffi -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp
/bin/bash ../../../libtool  --tag=CXX   --mode=link g++ -std=c++17  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -I../../../src -I../../../src/include   -o ram_arithmetic_test ram_arithmetic_test.o ../../../src/libsouffle.la -ldl -lpthread -lsqlite3 -lz -lncursesw
libtool: link: g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../../src -I../../../src/include -o ram_arithmetic_test ram_arithmetic_test.o  ../../../src/.libs/libsouffle.a -lffi -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp
make[3]: Leaving directory '/souffle/src/ram/tests'
make  check-TESTS
make[3]: Entering directory '/souffle/src/ram/tests'
make[4]: Entering directory '/souffle/src/ram/tests'
PASS: ram_condition_equal_clone_test
PASS: ram_expression_equal_clone_test
PASS: ram_statement_equal_clone_test
PASS: ram_operation_equal_clone_test
PASS: ram_relation_equal_clone_test
PASS: ram_type_conversion_test
PASS: ram_relation_test
PASS: matching_test
PASS: max_matching_test
PASS: ram_arithmetic_test
============================================================================
Testsuite summary for souffle 2.0.2-69-g994288cd7
============================================================================
# TOTAL: 10
# PASS:  10
# SKIP:  0
# XFAIL: 0
# FAIL:  0
# XPASS: 0
# ERROR: 0
============================================================================
make[4]: Leaving directory '/souffle/src/ram/tests'
make[3]: Leaving directory '/souffle/src/ram/tests'
make[2]: Leaving directory '/souffle/src/ram/tests'
Making check in interpreter/tests
make[2]: Entering directory '/souffle/src/interpreter/tests'
make  interpreter_relation_test
make[3]: Entering directory '/souffle/src/interpreter/tests'
depbase=`echo interpreter_relation_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\
g++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../../src     -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -I../../../src -I../../../src/include -MT interpreter_relation_test.o -MD -MP -MF $depbase.Tpo -c -o interpreter_relation_test.o interpreter_relation_test.cpp &&\
mv -f $depbase.Tpo $depbase.Po
/bin/bash ../../../libtool  --tag=CXX   --mode=link g++ -std=c++17  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -I../../../src -I../../../src/include   -o interpreter_relation_test interpreter_relation_test.o ../../../src/libsouffle.la -ldl -lpthread -lsqlite3 -lz -lncursesw
libtool: link: g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../../src -I../../../src/include -o interpreter_relation_test interpreter_relation_test.o  ../../../src/.libs/libsouffle.a -lffi -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp
make[3]: Leaving directory '/souffle/src/interpreter/tests'
make  check-TESTS
make[3]: Entering directory '/souffle/src/interpreter/tests'
make[4]: Entering directory '/souffle/src/interpreter/tests'
PASS: interpreter_relation_test
============================================================================
Testsuite summary for souffle 2.0.2-69-g994288cd7
============================================================================
# TOTAL: 1
# PASS:  1
# SKIP:  0
# XFAIL: 0
# FAIL:  0
# XPASS: 0
# ERROR: 0
============================================================================
make[4]: Leaving directory '/souffle/src/interpreter/tests'
make[3]: Leaving directory '/souffle/src/interpreter/tests'
make[2]: Leaving directory '/souffle/src/interpreter/tests'
make[1]: Leaving directory '/souffle/src'
Making check in tests
make[1]: Entering directory '/souffle/tests'
Making check in interface/functors
make[2]: Entering directory '/souffle/tests/interface/functors'
make  libfunctors.la
make[3]: Entering directory '/souffle/tests/interface/functors'
/bin/bash ../../../libtool  --tag=CXX   --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../../src  -I../../../src/include   -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -MT libfunctors_la-functors.lo -MD -MP -MF .deps/libfunctors_la-functors.Tpo -c -o libfunctors_la-functors.lo `test -f 'functors.cpp' || echo './'`functors.cpp
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../../src -I../../../src/include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT libfunctors_la-functors.lo -MD -MP -MF .deps/libfunctors_la-functors.Tpo -c functors.cpp  -fPIC -DPIC -o .libs/libfunctors_la-functors.o
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../../src -I../../../src/include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT libfunctors_la-functors.lo -MD -MP -MF .deps/libfunctors_la-functors.Tpo -c functors.cpp -o libfunctors_la-functors.o >/dev/null 2>&1
mv -f .deps/libfunctors_la-functors.Tpo .deps/libfunctors_la-functors.Plo
/bin/bash ../../../libtool  --tag=CXX   --mode=link g++ -std=c++17  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -DRAM_DOMAIN_SIZE=64 -fopenmp   -avoid-version -shared -rpath /tmp  -o libfunctors.la  libfunctors_la-functors.lo  -ldl -lpthread -lsqlite3 -lz -lncursesw
libtool: link: g++  -fPIC -DPIC -shared -nostdlib /usr/lib/gcc/x86_64-linux-gnu/9/../../../x86_64-linux-gnu/crti.o /usr/lib/gcc/x86_64-linux-gnu/9/crtbeginS.o  .libs/libfunctors_la-functors.o   -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -L/usr/lib/gcc/x86_64-linux-gnu/9 -L/usr/lib/gcc/x86_64-linux-gnu/9/../../../x86_64-linux-gnu -L/usr/lib/gcc/x86_64-linux-gnu/9/../../../../lib -L/lib/x86_64-linux-gnu -L/lib/../lib -L/usr/lib/x86_64-linux-gnu -L/usr/lib/../lib -L/usr/lib/gcc/x86_64-linux-gnu/9/../../.. -lstdc++ -lm -lc -lgcc_s /usr/lib/gcc/x86_64-linux-gnu/9/crtendS.o /usr/lib/gcc/x86_64-linux-gnu/9/../../../x86_64-linux-gnu/crtn.o  -O3 -fopenmp   -fopenmp -Wl,-soname -Wl,libfunctors.so -o .libs/libfunctors.so
libtool: link: ( cd ".libs" && rm -f "libfunctors.la" && ln -s "../libfunctors.la" "libfunctors.la" )
make[3]: Leaving directory '/souffle/tests/interface/functors'
make[2]: Leaving directory '/souffle/tests/interface/functors'
make[2]: Entering directory '/souffle/tests'
make  check-local
make[3]: Entering directory '/souffle/tests'
/bin/bash /souffle/auxfiles/missing autom4te --language=autotest -I '.' -o testsuite.tmp testsuite.at
mv testsuite.tmp testsuite
test -e /souffle/include || ln -s /souffle/src/include /souffle/include
/bin/bash './testsuite' -j4
## ------------------------------------------------ ##
## souffle 2.0.2-69-g994288cd7 test suite: Souffle. ##
## ------------------------------------------------ ##

  1: binary -j8                                      ok
  3: comment -j8                                     ok
  5: comment2 -j8                                    ok
  7: comment_rule -j8                                ok
  2: binary   -c -j8                                 ok
  4: comment   -c -j8                                ok
  9: cpp_keywords -j8                                ok
  8: comment_rule   -c -j8                            ok
 11: duplicates -j8                                  ok
 13: empty -j8                                       ok
  6: comment2   -c -j8                               ok
 15: execution_plan -j8                              ok
 16: execution_plan   -c -j8                            ok
 17: input -j8                                       ok
 18: input   -c -j8                                  ok
 19: input_directive3 -j8                            ok
 14: empty   -c -j8                                  ok
 21: input_directive4 -j8                            ok
 10: cpp_keywords   -c -j8                            ok
 23: input_directive_quotes2 -j8                     ok
 12: duplicates   -c -j8                             ok
 25: input_directive_quotes4 -j8                     ok
 20: input_directive3   -c -j8                            ok
 27: input_directive_quotes -j8                      ok
 22: input_directive4   -c -j8                            ok
 29: liberal_identifiers -j8                         ok
 24: input_directive_quotes2   -c -j8                            ok
 31: multiple_heads -j8                              ok
 26: input_directive_quotes4   -c -j8                            ok
 33: name_clash -j8                                  ok
 28: input_directive_quotes   -c -j8                            ok
 35: output -j8                                      ok
 36: output   -c -j8                                 ok
 37: output_directive1 -j8                           ok
 32: multiple_heads   -c -j8                            ok
 39: output_directive_quotes2 -j8                    ok
 30: liberal_identifiers   -c -j8                            ok
 41: output_directive_quotes3 -j8                    ok
 34: name_clash   -c -j8                             ok
 43: printsize -j8                                   ok
 44: printsize   -c -j8                              ok
 45: printsize_directive2 -j8                        ok
 46: printsize_directive2   -c -j8                            ok
 47: printsize_directive -j8                         ok
 48: printsize_directive   -c -j8                            ok
 49: qualifiers -j8                                  ok
 50: qualifiers   -c -j8                             ok
 51: qualifiers2 -j8                                 ok
 52: qualifiers2   -c -j8                            ok
 53: qualifiers3 -j8                                 ok
 38: output_directive1   -c -j8                            ok
 55: relation -j8                                    ok
 40: output_directive_quotes2   -c -j8                            ok
 57: rule -j8                                        ok
 58: rule   -c -j8                                   ok
 59: string -j8                                      ok
 42: output_directive_quotes3   -c -j8                            ok
 61: syntax1 -j8                                     ok
 62: syntax1   -c -j8                                ok
 63: syntax2 -j8                                     ok
 64: syntax2   -c -j8                                ok
 65: syntax3 -j8                                     ok
 66: syntax3   -c -j8                                ok
 67: syntax4 -j8                                     ok
 68: syntax4   -c -j8                                ok
 69: syntax5 -j8                                     ok
 70: syntax5   -c -j8                                ok
 71: syntax6 -j8                                     ok
 72: syntax6   -c -j8                                ok
 73: syntax7 -j8                                     ok
 74: syntax7   -c -j8                                ok
 75: syntax8 -j8                                     ok
 76: syntax8   -c -j8                                ok
 77: syntax9 -j8                                     ok
 78: syntax9   -c -j8                                ok
 79: syntax10 -j8                                    ok
 80: syntax10   -c -j8                               ok
 81: type -j8                                        ok
 54: qualifiers3   -c -j8                            ok
 83: union_comp_type -j8                             ok
 82: type   -c -j8                                   ok
 85: access1 -j8                                     ok
 56: relation   -c -j8                               ok
 87: access2 -j8                                     ok
 60: string   -c -j8                                 ok
 89: access3 -j8                                     ok
 84: union_comp_type   -c -j8                            ok
 91: adt-binary-constraint -j8                       ok
 86: access1   -c -j8                                ok
 93: aggregates -j8                                  ok
 88: access2   -c -j8                                ok
 95: aggregates2 -j8                                 ok
 90: access3   -c -j8                                ok
 97: aggregates3 -j8                                 ok
 92: adt-binary-constraint   -c -j8                            ok
 99: aggregates4 -j8                                 ok
 98: aggregates3   -c -j8                            ok
 94: aggregates   -c -j8                             ok
101: aggregates5 -j8                                 ok
103: aggregates6 -j8                                 ok
100: aggregates4   -c -j8                            ok
105: aggregates_complex -j8                          ok
 96: aggregates2   -c -j8                            ok
107: aggregates_nested -j8                           ok
102: aggregates5   -c -j8                            ok
109: aggregates_non_materialised -j8                 ok
104: aggregates6   -c -j8                            ok
106: aggregates_complex   -c -j8                            ok
111: aggregates7 -j8                                 ok
113: aliases -j8                                     ok
108: aggregates_nested   -c -j8                            ok
115: arithm -j8                                      ok
110: aggregates_non_materialised   -c -j8                            ok
117: average -j8                                     ok
114: aliases   -c -j8                                ok
119: binop -j8                                       ok
116: arithm   -c -j8                                 ok
121: cat -j8                                         ok
112: aggregates7   -c -j8                            ok
123: comp-override1 -j8                              ok
118: average   -c -j8                                ok
125: comp-override2 -j8                              ok
120: binop   -c -j8                                  ok
127: comp-override3 -j8                              ok
122: cat   -c -j8                                    ok
129: components1 -j8                                 ok
124: comp-override1   -c -j8                            ok
131: components2 -j8                                 ok
126: comp-override2   -c -j8                            ok
133: components3 -j8                                 ok
128: comp-override3   -c -j8                            ok
135: components -j8                                  ok
130: components1   -c -j8                            ok
137: components_generic -j8                          ok
132: components2   -c -j8                            ok
139: contains -j8                                    ok
134: components3   -c -j8                            ok
141: count -j8                                       ok
136: components   -c -j8                             ok
143: count_sccs1 -j8                                 ok
140: contains   -c -j8                               ok
145: counter -j8                                     ok
138: components_generic   -c -j8                            ok
142: count   -c -j8                                  ok
147: cprog1 -j8                                      ok
149: cprog2 -j8                                      ok
144: count_sccs1   -c -j8                            ok
151: cprog3 -j8                                      ok
146: counter   -c -j8                                ok
150: cprog2   -c -j8                                 ok
148: cprog1   -c -j8                                 ok
155: cprog5 -j8                                      ok
152: cprog3   -c -j8                                 ok
157: cproject -j8                                    ok
156: cprog5   -c -j8                                 ok
159: empty_relations -j8                             ok
158: cproject   -c -j8                               ok
161: existential -j8                                 ok
160: empty_relations   -c -j8                            ok
163: facts -j8                                       ok
162: existential   -c -j8                            ok
165: facts2 -j8                                      ok
164: facts   -c -j8                                  ok
167: float_operations -j8                            ok
166: facts2   -c -j8                                 ok
169: functor_arity -j8                               ok
168: float_operations   -c -j8                            ok
171: grammar -j8                                     ok
153: cprog4 -j8                                      ok
173: hex -j8                                         ok
170: functor_arity   -c -j8                            ok
175: independent_body1 -j8                           ok
172: grammar   -c -j8                                ok
177: independent_body2 -j8                           ok
154: cprog4   -c -j8                                 ok
179: index -j8                                       ok
174: hex   -c -j8                                    ok
181: indexed_inequalities -j8                        ok
176: independent_body1   -c -j8                            ok
183: indirect_negation -j8                           ok
178: independent_body2   -c -j8                            ok
185: inline_functors -j8                             ok
180: index   -c -j8                                  ok
187: inline_negation1 -j8                            ok
184: indirect_negation   -c -j8                            ok
189: inline_negation2 -j8                            ok
182: indexed_inequalities   -c -j8                            ok
191: inline_nqueens -j8                              ok
188: inline_negation1   -c -j8                            ok
193: inline_records -j8                              ok
186: inline_functors   -c -j8                            ok
195: inline_underscore -j8                           ok
190: inline_negation2   -c -j8                            ok
197: inline_unification -j8                          ok
192: inline_nqueens   -c -j8                            ok
199: list -j8                                        ok
194: inline_records   -c -j8                            ok
201: magic_2sat -j8                                  ok
196: inline_underscore   -c -j8                            ok
203: magic_aggregates -j8                            ok
198: inline_unification   -c -j8                            ok
205: magic_bindings -j8                              ok
200: list   -c -j8                                   ok
207: magic_centroids -j8                             ok
204: magic_aggregates   -c -j8                            ok
206: magic_bindings   -c -j8                            ok
209: magic_circuit_sat -j8                           ok
211: magic_components -j8                            ok
202: magic_2sat   -c -j8                             ok
208: magic_centroids   -c -j8                            ok
213: magic_cprog1 -j8                                ok
215: magic_dfa -j8                                   ok
212: magic_components   -c -j8                            ok
217: magic_dominance -j8                             ok
216: magic_dfa   -c -j8                              ok
219: magic_factoring -j8                             ok
210: magic_circuit_sat   -c -j8                            ok
221: magic_goal -j8                                  ok
214: magic_cprog1   -c -j8                            ok
223: magic_infbinding -j8                            ok
222: magic_goal   -c -j8                             ok
225: magic_lrg_attr_id -j8                           ok
218: magic_dominance   -c -j8                            ok
227: magic_movies -j8                                ok
220: magic_factoring   -c -j8                            ok
229: magic_names1 -j8                                ok
224: magic_infbinding   -c -j8                            ok
231: magic_neglabel -j8                              ok
226: magic_lrg_attr_id   -c -j8                            ok
233: magic_nqueens -j8                               ok
232: magic_neglabel   -c -j8                            ok
230: magic_names1   -c -j8                            ok
235: magic_perfect_numbers -j8                       ok
237: magic_poslabel -j8                              ok
228: magic_movies   -c -j8                            ok
239: magic_records4 -j8                              ok
236: magic_perfect_numbers   -c -j8                            ok
241: magic_samegen -j8                               ok
234: magic_nqueens   -c -j8                            ok
240: magic_records4   -c -j8                            ok
243: magic_strategies -j8                            ok
238: magic_poslabel   -c -j8                            ok
245: magic_string_substr -j8                         ok
247: magic_turing1 -j8                               ok
246: magic_string_substr   -c -j8                            ok
249: match2 -j8                                      ok
242: magic_samegen   -c -j8                            ok
251: match3 -j8                                      ok
244: magic_strategies   -c -j8                            ok
253: match -j8                                       ok
248: magic_turing1   -c -j8                            ok
255: max -j8                                         ok
250: match2   -c -j8                                 ok
257: minmax -j8                                      ok
252: match3   -c -j8                                 ok
259: minmaxnum -j8                                   ok
254: match   -c -j8                                  ok
261: mrtc -j8                                        ok
256: max   -c -j8                                    ok
263: mul -j8                                         ok
260: minmaxnum   -c -j8                              ok
265: multiple_heads -j8                              ok
258: minmax   -c -j8                                 ok
267: mutrecursion -j8                                ok
262: mrtc   -c -j8                                   ok
269: neg1 -j8                                        ok
264: mul   -c -j8                                    ok
271: neg2 -j8                                        ok
266: multiple_heads   -c -j8                            ok
273: neg3 -j8                                        ok
268: mutrecursion   -c -j8                            ok
275: neg4 -j8                                        ok
270: neg1   -c -j8                                   ok
277: neg5 -j8                                        ok
272: neg2   -c -j8                                   ok
279: neg6 -j8                                        ok
274: neg3   -c -j8                                   ok
281: number_constants -j8                            ok
276: neg4   -c -j8                                   ok
283: numeric_binary_constraint_op -j8                ok
278: neg5   -c -j8                                   ok
285: numeric_conversions -j8                         ok
280: neg6   -c -j8                                   ok
287: ordinals -j8                                    ok
282: number_constants   -c -j8                            ok
289: plus -j8                                        ok
284: numeric_binary_constraint_op   -c -j8                            ok
291: range -j8                                       ok
286: numeric_conversions   -c -j8                            ok
293: rec_lists2 -j8                                  ok
288: ordinals   -c -j8                               ok
295: rec_lists -j8                                   ok
290: plus   -c -j8                                   ok
297: rec_underscore -j8                              ok
292: range   -c -j8                                  ok
299: recursion -j8                                   ok
294: rec_lists2   -c -j8                             ok
301: relop -j8                                       ok
298: rec_underscore   -c -j8                            ok
303: rmut2 -j8                                       ok
296: rec_lists   -c -j8                              ok
305: rmut -j8                                        ok
300: recursion   -c -j8                              ok
307: set_ops -j8                                     ok
302: relop   -c -j8                                  ok
309: set_ops_output -j8                              ok
304: rmut2   -c -j8                                  ok
311: simple -j8                                      ok
306: rmut   -c -j8                                   ok
313: singleton -j8                                   ok
308: set_ops   -c -j8                                ok
315: subsumption -j8                                 ok
310: set_ops_output   -c -j8                            ok
317: subtype2 -j8                                    ok
312: simple   -c -j8                                 ok
314: singleton   -c -j8                              ok
319: subtype -j8                                     ok
321: sum-aggregate -j8                               ok
318: subtype2   -c -j8                               ok
323: sum-aggregate2 -j8                              ok
316: subsumption   -c -j8                            ok
325: term -j8                                        ok
320: subtype   -c -j8                                ok
327: unpacking -j8                                   ok
322: sum-aggregate   -c -j8                            ok
329: unsigned_operations -j8                         ok
324: sum-aggregate2   -c -j8                            ok
331: unused_constraints -j8                          ok
326: term   -c -j8                                   ok
333: x9 -j8                                          ok
328: unpacking   -c -j8                              ok
330: unsigned_operations   -c -j8                            ok
332: unused_constraints   -c -j8                            ok
334: x9   -c -j8                                     ok
335: insert_print                                    ok
336: insert_for                                      ok
340: functors -j8                                    ok
337: repeat_analysis                                 ok
342: components -j8                                  ok
338: load_print                                      ok
344: constraints -j8                                 ok
339: signal_error                                    ok
346: cprog1 -j8                                      ok
341: functors   -c -j8                               ok
348: eqrel_tests3 -j8                                ok
343: components -c -j8                               ok
350: explain_float_unsigned -j8                      ok
345: constraints -c -j8                              ok
352: high_arity -j8                                  ok
347: cprog1 -c -j8                                   ok
354: negation -j8                                    ok
349: eqrel_tests3 -c -j8                             ok
356: path -j8                                        ok
353: high_arity -c -j8                               ok
358: path_explain_negation -j8                       ok
351: explain_float_unsigned -c -j8                   ok
360: path_explain_output -j8                         ok
355: negation -c -j8                                 ok
362: same_gen -j8                                    ok
357: path -c -j8                                     ok
364: query_1 -j8                                     ok
359: path_explain_negation -c -j8                    ok
366: query_2 -j8                                     ok
361: path_explain_output -c -j8                      ok
368: query_3 -j8                                     ok
363: same_gen -c -j8                                 ok
370: query_float_unsigned -j8                        ok
365: query_1 -c -j8                                  ok
372: lrg_attr_id -j8 souffle-profile -c "rel"        ok
373: lrg_attr_id -j8 souffle-profile -c "rel R2"     ok
374: lrg_attr_id -j8 souffle-profile -c "rul"        ok
375: lrg_attr_id -j8 souffle-profile -c "rul C2.1"   ok
376: lrg_attr_id -j8 souffle-profile -c "rul id N2.1" ok
377: lrg_attr_id -j8 souffle-profile -c "graph R2 copy_t" ok
378: lrg_attr_id -j8 souffle-profile -c "graph C2.1 tot_t" ok
379: lrg_attr_id -j8 souffle-profile -c "graph ver C2.1 tuples" ok
380: lrg_attr_id -j8 souffle-profile -c "top"        ok
381: lrg_attr_id -j8 souffle-profile -c "help"       ok
382: lrg_attr_id   -c -j8                            souffle-profile -c "rel" ok
367: query_2 -c -j8                                  ok
369: query_3 -c -j8                                  ok
371: query_float_unsigned -c -j8                     ok
383: lrg_attr_id   -c -j8                            souffle-profile -c "rel R2" ok
384: lrg_attr_id   -c -j8                            souffle-profile -c "rul" ok
385: lrg_attr_id   -c -j8                            souffle-profile -c "rul C2.1" ok
386: lrg_attr_id   -c -j8                            souffle-profile -c "rul id N2.1" ok
387: lrg_attr_id   -c -j8                            souffle-profile -c "graph R2 copy_t" ok
388: lrg_attr_id   -c -j8                            souffle-profile -c "graph C2.1 tot_t" ok
392: recursive -j8 souffle-profile -c "rel"          ok
393: recursive -j8 souffle-profile -c "rel R2"       ok
394: recursive -j8 souffle-profile -c "rul"          ok
395: recursive -j8 souffle-profile -c "rul C2.1"     ok
396: recursive -j8 souffle-profile -c "rul id N2.1"  ok
389: lrg_attr_id   -c -j8                            souffle-profile -c "graph ver C2.1 tuples" ok
397: recursive -j8 souffle-profile -c "graph R2 copy_t" ok
398: recursive -j8 souffle-profile -c "graph C2.1 tot_t" ok
390: lrg_attr_id   -c -j8                            souffle-profile -c "top" ok
399: recursive -j8 souffle-profile -c "graph ver C2.1 tuples" ok
400: recursive -j8 souffle-profile -c "top"          ok
401: recursive -j8 souffle-profile -c "help"         ok
391: lrg_attr_id   -c -j8                            souffle-profile -c "help" ok
402: recursive   -c -j8                            souffle-profile -c "rel" ok
403: recursive   -c -j8                            souffle-profile -c "rel R2" ok
404: recursive   -c -j8                            souffle-profile -c "rul" ok
405: recursive   -c -j8                            souffle-profile -c "rul C2.1" ok
406: recursive   -c -j8                            souffle-profile -c "rul id N2.1" ok
408: recursive   -c -j8                            souffle-profile -c "graph C2.1 tot_t" ok
407: recursive   -c -j8                            souffle-profile -c "graph R2 copy_t" ok
409: recursive   -c -j8                            souffle-profile -c "graph ver C2.1 tuples" ok
410: recursive   -c -j8                            souffle-profile -c "top" ok
411: recursive   -c -j8                            souffle-profile -c "help" ok

## ------------- ##
## Test results. ##
## ------------- ##

All 411 tests were successful.
make[3]: Leaving directory '/souffle/tests'
make[2]: Leaving directory '/souffle/tests'
make[1]: Leaving directory '/souffle/tests'
make[1]: Entering directory '/souffle'
make[1]: Nothing to be done for 'check-am'.
make[1]: Leaving directory '/souffle'
[Checks API] No suitable checks publisher found.
[WS-CLEANUP] Deleting project workspace...
[WS-CLEANUP] Deferred wipeout is used...
[WS-CLEANUP] done
Finished: SUCCESS