SuccessConsole Output

Skipping 74 KB.. Full Log
ints.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
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-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
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
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-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
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
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
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-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
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-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
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
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-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
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
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
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-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
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-SimplifyAggregateTargetExpression.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-SimplifyAggregateTargetExpression.Tpo -c -o ast/transform/libsouffle_la-SimplifyAggregateTargetExpression.lo `test -f 'ast/transform/SimplifyAggregateTargetExpression.cpp' || echo './'`ast/transform/SimplifyAggregateTargetExpression.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-SimplifyAggregateTargetExpression.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-SimplifyAggregateTargetExpression.Tpo -c ast/transform/SimplifyAggregateTargetExpression.cpp  -fPIC -DPIC -o ast/transform/.libs/libsouffle_la-SimplifyAggregateTargetExpression.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-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
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-SimplifyAggregateTargetExpression.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-SimplifyAggregateTargetExpression.Tpo -c ast/transform/SimplifyAggregateTargetExpression.cpp -o ast/transform/libsouffle_la-SimplifyAggregateTargetExpression.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/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-TypeChecker.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-TypeChecker.Tpo -c -o ast/transform/libsouffle_la-TypeChecker.lo `test -f 'ast/transform/TypeChecker.cpp' || echo './'`ast/transform/TypeChecker.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-TypeChecker.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-TypeChecker.Tpo -c ast/transform/TypeChecker.cpp  -fPIC -DPIC -o ast/transform/.libs/libsouffle_la-TypeChecker.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
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-SimplifyAggregateTargetExpression.Tpo ast/transform/.deps/libsouffle_la-SimplifyAggregateTargetExpression.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
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-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-TypeChecker.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-TypeChecker.Tpo -c ast/transform/TypeChecker.cpp -o ast/transform/libsouffle_la-TypeChecker.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-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-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
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 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/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 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
mv -f ast/transform/.deps/libsouffle_la-TypeChecker.Tpo ast/transform/.deps/libsouffle_la-TypeChecker.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-ClauseTranslator.lo -MD -MP -MF ast2ram/.deps/libsouffle_la-ClauseTranslator.Tpo -c -o ast2ram/libsouffle_la-ClauseTranslator.lo `test -f 'ast2ram/ClauseTranslator.cpp' || echo './'`ast2ram/ClauseTranslator.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 ast2ram/libsouffle_la-ClauseTranslator.lo -MD -MP -MF ast2ram/.deps/libsouffle_la-ClauseTranslator.Tpo -c ast2ram/ClauseTranslator.cpp  -fPIC -DPIC -o ast2ram/.libs/libsouffle_la-ClauseTranslator.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
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-ClauseTranslator.lo -MD -MP -MF ast2ram/.deps/libsouffle_la-ClauseTranslator.Tpo -c ast2ram/ClauseTranslator.cpp -o ast2ram/libsouffle_la-ClauseTranslator.o >/dev/null 2>&1
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 ast2ram/libsouffle_la-ConstraintTranslator.lo -MD -MP -MF ast2ram/.deps/libsouffle_la-ConstraintTranslator.Tpo -c -o ast2ram/libsouffle_la-ConstraintTranslator.lo `test -f 'ast2ram/ConstraintTranslator.cpp' || echo './'`ast2ram/ConstraintTranslator.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-ConstraintTranslator.lo -MD -MP -MF ast2ram/.deps/libsouffle_la-ConstraintTranslator.Tpo -c ast2ram/ConstraintTranslator.cpp  -fPIC -DPIC -o ast2ram/.libs/libsouffle_la-ConstraintTranslator.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 ast2ram/libsouffle_la-ProvenanceClauseTranslator.lo -MD -MP -MF ast2ram/.deps/libsouffle_la-ProvenanceClauseTranslator.Tpo -c -o ast2ram/libsouffle_la-ProvenanceClauseTranslator.lo `test -f 'ast2ram/ProvenanceClauseTranslator.cpp' || echo './'`ast2ram/ProvenanceClauseTranslator.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-ProvenanceClauseTranslator.lo -MD -MP -MF ast2ram/.deps/libsouffle_la-ProvenanceClauseTranslator.Tpo -c ast2ram/ProvenanceClauseTranslator.cpp  -fPIC -DPIC -o ast2ram/.libs/libsouffle_la-ProvenanceClauseTranslator.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 ast2ram/libsouffle_la-ProvenanceClauseTranslator.lo -MD -MP -MF ast2ram/.deps/libsouffle_la-ProvenanceClauseTranslator.Tpo -c ast2ram/ProvenanceClauseTranslator.cpp -o ast2ram/libsouffle_la-ProvenanceClauseTranslator.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
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-ConstraintTranslator.lo -MD -MP -MF ast2ram/.deps/libsouffle_la-ConstraintTranslator.Tpo -c ast2ram/ConstraintTranslator.cpp -o ast2ram/libsouffle_la-ConstraintTranslator.o >/dev/null 2>&1
mv -f ast2ram/.deps/libsouffle_la-ProvenanceClauseTranslator.Tpo ast2ram/.deps/libsouffle_la-ProvenanceClauseTranslator.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-ProvenanceTranslator.lo -MD -MP -MF ast2ram/.deps/libsouffle_la-ProvenanceTranslator.Tpo -c -o ast2ram/libsouffle_la-ProvenanceTranslator.lo `test -f 'ast2ram/ProvenanceTranslator.cpp' || echo './'`ast2ram/ProvenanceTranslator.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-ProvenanceTranslator.lo -MD -MP -MF ast2ram/.deps/libsouffle_la-ProvenanceTranslator.Tpo -c ast2ram/ProvenanceTranslator.cpp  -fPIC -DPIC -o ast2ram/.libs/libsouffle_la-ProvenanceTranslator.o
mv -f ast2ram/.deps/libsouffle_la-ClauseTranslator.Tpo ast2ram/.deps/libsouffle_la-ClauseTranslator.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/utility/libsouffle_la-Utils.lo -MD -MP -MF ast2ram/utility/.deps/libsouffle_la-Utils.Tpo -c -o ast2ram/utility/libsouffle_la-Utils.lo `test -f 'ast2ram/utility/Utils.cpp' || echo './'`ast2ram/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 ast2ram/utility/libsouffle_la-Utils.lo -MD -MP -MF ast2ram/utility/.deps/libsouffle_la-Utils.Tpo -c ast2ram/utility/Utils.cpp  -fPIC -DPIC -o ast2ram/utility/.libs/libsouffle_la-Utils.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 ast2ram/utility/libsouffle_la-Utils.lo -MD -MP -MF ast2ram/utility/.deps/libsouffle_la-Utils.Tpo -c ast2ram/utility/Utils.cpp -o ast2ram/utility/libsouffle_la-Utils.o >/dev/null 2>&1
mv -f ast2ram/.deps/libsouffle_la-ConstraintTranslator.Tpo ast2ram/.deps/libsouffle_la-ConstraintTranslator.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-Engine.lo -MD -MP -MF interpreter/.deps/libsouffle_la-Engine.Tpo -c -o interpreter/libsouffle_la-Engine.lo `test -f 'interpreter/Engine.cpp' || echo './'`interpreter/Engine.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-Engine.lo -MD -MP -MF interpreter/.deps/libsouffle_la-Engine.Tpo -c interpreter/Engine.cpp  -fPIC -DPIC -o interpreter/.libs/libsouffle_la-Engine.o
mv -f ast2ram/utility/.deps/libsouffle_la-Utils.Tpo ast2ram/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-Generator.lo -MD -MP -MF interpreter/.deps/libsouffle_la-Generator.Tpo -c -o interpreter/libsouffle_la-Generator.lo `test -f 'interpreter/Generator.cpp' || echo './'`interpreter/Generator.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-Generator.lo -MD -MP -MF interpreter/.deps/libsouffle_la-Generator.Tpo -c interpreter/Generator.cpp  -fPIC -DPIC -o interpreter/.libs/libsouffle_la-Generator.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 ast2ram/libsouffle_la-ProvenanceTranslator.lo -MD -MP -MF ast2ram/.deps/libsouffle_la-ProvenanceTranslator.Tpo -c ast2ram/ProvenanceTranslator.cpp -o ast2ram/libsouffle_la-ProvenanceTranslator.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 interpreter/libsouffle_la-BrieIndex.lo -MD -MP -MF interpreter/.deps/libsouffle_la-BrieIndex.Tpo -c -o interpreter/libsouffle_la-BrieIndex.lo `test -f 'interpreter/BrieIndex.cpp' || echo './'`interpreter/BrieIndex.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-BrieIndex.lo -MD -MP -MF interpreter/.deps/libsouffle_la-BrieIndex.Tpo -c interpreter/BrieIndex.cpp  -fPIC -DPIC -o interpreter/.libs/libsouffle_la-BrieIndex.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-BrieIndex.lo -MD -MP -MF interpreter/.deps/libsouffle_la-BrieIndex.Tpo -c interpreter/BrieIndex.cpp -o interpreter/libsouffle_la-BrieIndex.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-Generator.lo -MD -MP -MF interpreter/.deps/libsouffle_la-Generator.Tpo -c interpreter/Generator.cpp -o interpreter/libsouffle_la-Generator.o >/dev/null 2>&1
mv -f ast2ram/.deps/libsouffle_la-ProvenanceTranslator.Tpo ast2ram/.deps/libsouffle_la-ProvenanceTranslator.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-BTreeIndex.lo -MD -MP -MF interpreter/.deps/libsouffle_la-BTreeIndex.Tpo -c -o interpreter/libsouffle_la-BTreeIndex.lo `test -f 'interpreter/BTreeIndex.cpp' || echo './'`interpreter/BTreeIndex.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-BTreeIndex.lo -MD -MP -MF interpreter/.deps/libsouffle_la-BTreeIndex.Tpo -c interpreter/BTreeIndex.cpp  -fPIC -DPIC -o interpreter/.libs/libsouffle_la-BTreeIndex.o
mv -f interpreter/.deps/libsouffle_la-BrieIndex.Tpo interpreter/.deps/libsouffle_la-BrieIndex.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-EqrelIndex.lo -MD -MP -MF interpreter/.deps/libsouffle_la-EqrelIndex.Tpo -c -o interpreter/libsouffle_la-EqrelIndex.lo `test -f 'interpreter/EqrelIndex.cpp' || echo './'`interpreter/EqrelIndex.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-EqrelIndex.lo -MD -MP -MF interpreter/.deps/libsouffle_la-EqrelIndex.Tpo -c interpreter/EqrelIndex.cpp  -fPIC -DPIC -o interpreter/.libs/libsouffle_la-EqrelIndex.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-EqrelIndex.lo -MD -MP -MF interpreter/.deps/libsouffle_la-EqrelIndex.Tpo -c interpreter/EqrelIndex.cpp -o interpreter/libsouffle_la-EqrelIndex.o >/dev/null 2>&1
mv -f interpreter/.deps/libsouffle_la-Generator.Tpo interpreter/.deps/libsouffle_la-Generator.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-ProvenanceIndex.lo -MD -MP -MF interpreter/.deps/libsouffle_la-ProvenanceIndex.Tpo -c -o interpreter/libsouffle_la-ProvenanceIndex.lo `test -f 'interpreter/ProvenanceIndex.cpp' || echo './'`interpreter/ProvenanceIndex.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-ProvenanceIndex.lo -MD -MP -MF interpreter/.deps/libsouffle_la-ProvenanceIndex.Tpo -c interpreter/ProvenanceIndex.cpp  -fPIC -DPIC -o interpreter/.libs/libsouffle_la-ProvenanceIndex.o
mv -f interpreter/.deps/libsouffle_la-EqrelIndex.Tpo interpreter/.deps/libsouffle_la-EqrelIndex.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
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-BTreeIndex.lo -MD -MP -MF interpreter/.deps/libsouffle_la-BTreeIndex.Tpo -c interpreter/BTreeIndex.cpp -o interpreter/libsouffle_la-BTreeIndex.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-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 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-ParserUtils.Tpo parser/.deps/libsouffle_la-ParserUtils.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
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 interpreter/.deps/libsouffle_la-BTreeIndex.Tpo interpreter/.deps/libsouffle_la-BTreeIndex.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-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 interpreter/libsouffle_la-ProvenanceIndex.lo -MD -MP -MF interpreter/.deps/libsouffle_la-ProvenanceIndex.Tpo -c interpreter/ProvenanceIndex.cpp -o interpreter/libsouffle_la-ProvenanceIndex.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-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 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 parser/.deps/libsouffle_la-scanner.Tpo parser/.deps/libsouffle_la-scanner.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-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 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/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
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-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
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-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/analysis/libsouffle_la-Relation.lo -MD -MP -MF ram/analysis/.deps/libsouffle_la-Relation.Tpo -c -o ram/analysis/libsouffle_la-Relation.lo `test -f 'ram/analysis/Relation.cpp' || echo './'`ram/analysis/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 ram/analysis/libsouffle_la-Relation.lo -MD -MP -MF ram/analysis/.deps/libsouffle_la-Relation.Tpo -c ram/analysis/Relation.cpp  -fPIC -DPIC -o ram/analysis/.libs/libsouffle_la-Relation.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-Relation.lo -MD -MP -MF ram/analysis/.deps/libsouffle_la-Relation.Tpo -c ram/analysis/Relation.cpp -o ram/analysis/libsouffle_la-Relation.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/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 ram/analysis/.deps/libsouffle_la-Relation.Tpo ram/analysis/.deps/libsouffle_la-Relation.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
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
mv -f interpreter/.deps/libsouffle_la-ProvenanceIndex.Tpo interpreter/.deps/libsouffle_la-ProvenanceIndex.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
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
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
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
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
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
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
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
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-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 interpreter/libsouffle_la-Engine.lo -MD -MP -MF interpreter/.deps/libsouffle_la-Engine.Tpo -c interpreter/Engine.cpp -o interpreter/libsouffle_la-Engine.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-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 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
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
mv -f synthesiser/.deps/libsouffle_la-Relation.Tpo synthesiser/.deps/libsouffle_la-Relation.Plo
mv -f synthesiser/.deps/libsouffle_la-Synthesiser.Tpo synthesiser/.deps/libsouffle_la-Synthesiser.Plo
mv -f interpreter/.deps/libsouffle_la-Engine.Tpo interpreter/.deps/libsouffle_la-Engine.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-Aggregate.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-PolymorphicObjects.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-TypeConstraints.lo ast/analysis/libsouffle_la-TypeSystem.lo ast/analysis/libsouffle_la-TypeEnvironment.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-GroundWitnesses.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-NormaliseMultiResultFunctors.lo ast/transform/libsouffle_la-PartitionBodyLiterals.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-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-SimplifyAggregateTargetExpression.lo ast/transform/libsouffle_la-Transformer.lo ast/transform/libsouffle_la-TypeChecker.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 ast2ram/libsouffle_la-ClauseTranslator.lo ast2ram/libsouffle_la-ConstraintTranslator.lo ast2ram/libsouffle_la-ProvenanceClauseTranslator.lo ast2ram/libsouffle_la-ProvenanceTranslator.lo ast2ram/utility/libsouffle_la-Utils.lo ast2ram/libsouffle_la-ValueIndex.lo ast2ram/libsouffle_la-ValueTranslator.lo interpreter/libsouffle_la-Engine.lo interpreter/libsouffle_la-Generator.lo interpreter/libsouffle_la-BrieIndex.lo interpreter/libsouffle_la-BTreeIndex.lo interpreter/libsouffle_la-EqrelIndex.lo interpreter/libsouffle_la-ProvenanceIndex.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/analysis/libsouffle_la-Relation.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 ast2ram/utility/.libs/libsouffle_la-Utils.o .libs/libsouffle.lax/lt1-libsouffle_la-Utils.o || cp ast2ram/utility/.libs/libsouffle_la-Utils.o .libs/libsouffle.lax/lt1-libsouffle_la-Utils.o
libtool: link: ln ram/transform/.libs/libsouffle_la-Transformer.o .libs/libsouffle.lax/lt2-libsouffle_la-Transformer.o || cp ram/transform/.libs/libsouffle_la-Transformer.o .libs/libsouffle.lax/lt2-libsouffle_la-Transformer.o
libtool: link: ln synthesiser/.libs/libsouffle_la-Relation.o .libs/libsouffle.lax/lt3-libsouffle_la-Relation.o || cp synthesiser/.libs/libsouffle_la-Relation.o .libs/libsouffle.lax/lt3-libsouffle_la-Relation.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-Aggregate.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-PolymorphicObjects.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-TypeConstraints.o ast/analysis/.libs/libsouffle_la-TypeSystem.o ast/analysis/.libs/libsouffle_la-TypeEnvironment.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-GroundWitnesses.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-NormaliseMultiResultFunctors.o ast/transform/.libs/libsouffle_la-PartitionBodyLiterals.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-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-SimplifyAggregateTargetExpression.o ast/transform/.libs/libsouffle_la-Transformer.o ast/transform/.libs/libsouffle_la-TypeChecker.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 ast2ram/.libs/libsouffle_la-ClauseTranslator.o ast2ram/.libs/libsouffle_la-ConstraintTranslator.o ast2ram/.libs/libsouffle_la-ProvenanceClauseTranslator.o ast2ram/.libs/libsouffle_la-ProvenanceTranslator.o .libs/libsouffle.lax/lt1-libsouffle_la-Utils.o ast2ram/.libs/libsouffle_la-ValueIndex.o ast2ram/.libs/libsouffle_la-ValueTranslator.o interpreter/.libs/libsouffle_la-Engine.o interpreter/.libs/libsouffle_la-Generator.o interpreter/.libs/libsouffle_la-BrieIndex.o interpreter/.libs/libsouffle_la-BTreeIndex.o interpreter/.libs/libsouffle_la-EqrelIndex.o interpreter/.libs/libsouffle_la-ProvenanceIndex.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/analysis/.libs/libsouffle_la-Relation.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/lt2-libsouffle_la-Transformer.o ram/transform/.libs/libsouffle_la-TupleId.o reports/.libs/libsouffle_la-DebugReport.o synthesiser/.libs/libsouffle_la-Synthesiser.o .libs/libsouffle.lax/lt3-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
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
/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
/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
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
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_set_test btree_set_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_multiset_test btree_multiset_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 btree_multiset_test btree_multiset_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 binary_relation_test binary_relation_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 eqrel_datastructure_test eqrel_datastructure_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 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 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
/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
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 graph_utils_test graph_utils_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 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 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 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 parallel_utils_test parallel_utils_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 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: eqrel_datastructure_test
PASS: btree_multiset_test
PASS: record_table_test
PASS: parallel_utils_test
PASS: btree_set_test
PASS: brie_test
============================================================================
Testsuite summary for souffle 2.0.2-587-g17806893b
============================================================================
# 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
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
/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
/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
/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
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
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 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
/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 constraints_test constraints_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_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_print_test
PASS: ast_utils_test
PASS: ast_program_test
PASS: ast_transformers_test
PASS: ast_parser_utils_test
PASS: type_system_test
PASS: constraints_test
============================================================================
Testsuite summary for souffle 2.0.2-587-g17806893b
============================================================================
# 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_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_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
/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_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
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
/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
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
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
/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
/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
/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
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
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 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 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 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
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_operation_equal_clone_test
PASS: ram_statement_equal_clone_test
PASS: ram_relation_equal_clone_test
PASS: ram_type_conversion_test
PASS: matching_test
PASS: max_matching_test
============================================================================
Testsuite summary for souffle 2.0.2-587-g17806893b
============================================================================
# TOTAL: 8
# PASS:  8
# 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 ram_arithmetic_test ram_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
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_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
/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
/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
/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
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
PASS: ram_relation_test
PASS: ram_arithmetic_test
============================================================================
Testsuite summary for souffle 2.0.2-587-g17806893b
============================================================================
# TOTAL: 3
# PASS:  3
# 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-587-g17806893b test suite: Souffle. ##
## ------------------------------------------------- ##

  3: comment -j8                                     ok
  1: binary -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: adt-enum -j8                                    ok
 88: access2   -c -j8                                ok
 95: aggregates -j8                                  ok
 90: access3   -c -j8                                ok
 97: aggregates2 -j8                                 ok
 92: adt-binary-constraint   -c -j8                            ok
 99: aggregates3 -j8                                 ok
 94: adt-enum   -c -j8                               ok
101: aggregates4 -j8                                 ok
100: aggregates3   -c -j8                            ok
103: aggregates5 -j8                                 ok
 98: aggregates2   -c -j8                            ok
105: aggregates6 -j8                                 ok
 96: aggregates   -c -j8                             ok
107: aggregates_complex -j8                          ok
102: aggregates4   -c -j8                            ok
109: aggregates_nested -j8                           ok
104: aggregates5   -c -j8                            ok
111: aggregates_non_materialised -j8                 ok
108: aggregates_complex   -c -j8                            ok
106: aggregates6   -c -j8                            ok
113: aggregates7 -j8                                 ok
115: aggregate_witnesses -j8                         ok
112: aggregates_non_materialised   -c -j8                            ok
117: aliases -j8                                     ok
110: aggregates_nested   -c -j8                            ok
119: arithm -j8                                      ok
114: aggregates7   -c -j8                            ok
121: average -j8                                     ok
116: aggregate_witnesses   -c -j8                            ok
123: binop -j8                                       ok
118: aliases   -c -j8                                ok
125: cat -j8                                         ok
120: arithm   -c -j8                                 ok
127: comp-override1 -j8                              ok
122: average   -c -j8                                ok
129: comp-override2 -j8                              ok
124: binop   -c -j8                                  ok
131: comp-override3 -j8                              ok
126: cat   -c -j8                                    ok
133: components1 -j8                                 ok
128: comp-override1   -c -j8                            ok
135: components2 -j8                                 ok
130: comp-override2   -c -j8                            ok
137: components3 -j8                                 ok
132: comp-override3   -c -j8                            ok
139: components -j8                                  ok
134: components1   -c -j8                            ok
141: components_generic -j8                          ok
136: components2   -c -j8                            ok
143: contains -j8                                    ok
138: components3   -c -j8                            ok
145: count -j8                                       ok
140: components   -c -j8                             ok
147: count_sccs1 -j8                                 ok
142: components_generic   -c -j8                            ok
149: counter -j8                                     ok
144: contains   -c -j8                               ok
146: count   -c -j8                                  ok
151: cprog1 -j8                                      ok
153: cprog2 -j8                                      ok
148: count_sccs1   -c -j8                            ok
155: cprog3 -j8                                      ok
150: counter   -c -j8                                ok
157: cprog4 -j8                                      ok
152: cprog1   -c -j8                                 ok
154: cprog2   -c -j8                                 ok
159: cprog5 -j8                                      ok
161: cproject -j8                                    ok
156: cprog3   -c -j8                                 ok
163: empty_relations -j8                             ok
158: cprog4   -c -j8                                 ok
165: empty_relations2 -j8                            ok
162: cproject   -c -j8                               ok
164: empty_relations   -c -j8                            ok
160: cprog5   -c -j8                                 ok
167: existential -j8                                 ok
169: facts -j8                                       ok
171: facts2 -j8                                      ok
166: empty_relations2   -c -j8                            ok
173: float_equality -j8                              ok
170: facts   -c -j8                                  ok
172: facts2   -c -j8                                 ok
175: float_operations -j8                            ok
177: functor_arity -j8                               ok
168: existential   -c -j8                            ok
179: grammar -j8                                     ok
174: float_equality   -c -j8                            ok
181: hex -j8                                         ok
176: float_operations   -c -j8                            ok
183: independent_body1 -j8                           ok
178: functor_arity   -c -j8                            ok
185: independent_body2 -j8                           ok
180: grammar   -c -j8                                ok
187: index -j8                                       ok
182: hex   -c -j8                                    ok
189: indexed_inequalities -j8                        ok
184: independent_body1   -c -j8                            ok
191: indirect_negation -j8                           ok
186: independent_body2   -c -j8                            ok
193: inline_functors -j8                             ok
188: index   -c -j8                                  ok
195: inline_negation1 -j8                            ok
190: indexed_inequalities   -c -j8                            ok
197: inline_negation2 -j8                            ok
192: indirect_negation   -c -j8                            ok
199: inline_nqueens -j8                              ok
196: inline_negation1   -c -j8                            ok
201: inline_records -j8                              ok
194: inline_functors   -c -j8                            ok
203: inline_underscore -j8                           ok
198: inline_negation2   -c -j8                            ok
205: inline_unification -j8                          ok
202: inline_records   -c -j8                            ok
207: list -j8                                        ok
200: inline_nqueens   -c -j8                            ok
209: magic_2sat -j8                                  ok
204: inline_underscore   -c -j8                            ok
211: magic_aggregates -j8                            ok
206: inline_unification   -c -j8                            ok
213: magic_bindings -j8                              ok
208: list   -c -j8                                   ok
215: magic_centroids -j8                             ok
212: magic_aggregates   -c -j8                            ok
217: magic_circuit_sat -j8                           ok
214: magic_bindings   -c -j8                            ok
219: magic_components -j8                            ok
210: magic_2sat   -c -j8                             ok
221: magic_cprog1 -j8                                ok
216: magic_centroids   -c -j8                            ok
223: magic_dfa -j8                                   ok
218: magic_circuit_sat   -c -j8                            ok
220: magic_components   -c -j8                            ok
225: magic_dominance -j8                             ok
227: magic_factoring -j8                             ok
222: magic_cprog1   -c -j8                            ok
229: magic_goal -j8                                  ok
224: magic_dfa   -c -j8                              ok
231: magic_infbinding -j8                            ok
228: magic_factoring   -c -j8                            ok
232: magic_infbinding   -c -j8                            ok
233: magic_lrg_attr_id -j8                           ok
230: magic_goal   -c -j8                             ok
226: magic_dominance   -c -j8                            ok
235: magic_movies -j8                                ok
237: magic_names1 -j8                                ok
239: magic_neglabel -j8                              ok
234: magic_lrg_attr_id   -c -j8                            ok
241: magic_negignored -j8                            ok
240: magic_neglabel   -c -j8                            ok
243: magic_nqueens -j8                               ok
238: magic_names1   -c -j8                            ok
245: magic_perfect_numbers -j8                       ok
236: magic_movies   -c -j8                            ok
247: magic_posignored -j8                            ok
242: magic_negignored   -c -j8                            ok
249: magic_poslabel -j8                              ok
246: magic_perfect_numbers   -c -j8                            ok
251: magic_records4 -j8                              ok
244: magic_nqueens   -c -j8                            ok
253: magic_samegen -j8                               ok
248: magic_posignored   -c -j8                            ok
255: magic_strategies -j8                            ok
250: magic_poslabel   -c -j8                            ok
257: magic_string_substr -j8                         ok
252: magic_records4   -c -j8                            ok
259: magic_turing1 -j8                               ok
254: magic_samegen   -c -j8                            ok
256: magic_strategies   -c -j8                            ok
261: match2 -j8                                      ok
263: match3 -j8                                      ok
258: magic_string_substr   -c -j8                            ok
265: match4 -j8                                      ok
262: match2   -c -j8                                 ok
267: match -j8                                       ok
264: match3   -c -j8                                 ok
269: max -j8                                         ok
260: magic_turing1   -c -j8                            ok
271: minmax -j8                                      ok
266: match4   -c -j8                                 ok
273: minmaxnum -j8                                   ok
270: max   -c -j8                                    ok
275: mrtc -j8                                        ok
268: match   -c -j8                                  ok
272: minmax   -c -j8                                 ok
277: mul -j8                                         ok
279: multiple_heads -j8                              ok
274: minmaxnum   -c -j8                              ok
281: multiple_inequalities -j8                       ok
276: mrtc   -c -j8                                   ok
283: mutrecursion -j8                                ok
280: multiple_heads   -c -j8                            ok
285: neg1 -j8                                        ok
278: mul   -c -j8                                    ok
287: neg2 -j8                                        ok
282: multiple_inequalities   -c -j8                            ok
289: neg3 -j8                                        ok
284: mutrecursion   -c -j8                            ok
291: neg4 -j8                                        ok
286: neg1   -c -j8                                   ok
293: neg5 -j8                                        ok
288: neg2   -c -j8                                   ok
295: neg6 -j8                                        ok
290: neg3   -c -j8                                   ok
297: number_constants -j8                            ok
292: neg4   -c -j8                                   ok
299: numeric_binary_constraint_op -j8                ok
294: neg5   -c -j8                                   ok
301: numeric_conversions -j8                         ok
296: neg6   -c -j8                                   ok
303: ordinals -j8                                    ok
298: number_constants   -c -j8                            ok
305: plus -j8                                        ok
300: numeric_binary_constraint_op   -c -j8                            ok
307: range -j8                                       ok
302: numeric_conversions   -c -j8                            ok
304: ordinals   -c -j8                               ok
309: rangeop -j8                                     ok
311: rec_lists2 -j8                                  ok
306: plus   -c -j8                                   ok
313: rec_lists -j8                                   ok
308: range   -c -j8                                  ok
315: rec_underscore -j8                              ok
312: rec_lists2   -c -j8                             ok
317: recursion -j8                                   ok
310: rangeop   -c -j8                                ok
319: relop -j8                                       ok
314: rec_lists   -c -j8                              ok
321: rmut2 -j8                                       ok
318: recursion   -c -j8                              ok
316: rec_underscore   -c -j8                            ok
323: rmut -j8                                        ok
325: set_ops -j8                                     ok
320: relop   -c -j8                                  ok
327: set_ops_output -j8                              ok
322: rmut2   -c -j8                                  ok
329: simple -j8                                      ok
324: rmut   -c -j8                                   ok
331: singleton -j8                                   ok
326: set_ops   -c -j8                                ok
333: subsumption -j8                                 ok
328: set_ops_output   -c -j8                            ok
335: subtype2 -j8                                    ok
330: simple   -c -j8                                 ok
337: subtype -j8                                     ok
332: singleton   -c -j8                              ok
339: sum-aggregate -j8                               ok
338: subtype   -c -j8                                ok
341: sum-aggregate2 -j8                              ok
336: subtype2   -c -j8                               ok
343: term -j8                                        ok
334: subsumption   -c -j8                            ok
345: unpacking -j8                                   ok
340: sum-aggregate   -c -j8                            ok
347: unsigned_operations -j8                         ok
342: sum-aggregate2   -c -j8                            ok
349: unused_constraints -j8                          ok
346: unpacking   -c -j8                              ok
351: x9 -j8                                          ok
344: term   -c -j8                                   ok
348: unsigned_operations   -c -j8                            ok
350: unused_constraints   -c -j8                            ok
352: x9   -c -j8                                     ok
353: insert_print                                    ok
354: insert_for                                      ok
358: functors -j8                                    ok
355: repeat_analysis                                 ok
360: components -j8                                  ok
356: load_print                                      ok
362: constraints -j8                                 ok
357: signal_error                                    ok
364: cprog1 -j8                                      ok
359: functors   -c -j8                               ok
366: eqrel_tests3 -j8                                ok
361: components -c -j8                               ok
368: explain_float_unsigned -j8                      ok
363: constraints -c -j8                              ok
370: high_arity -j8                                  ok
365: cprog1 -c -j8                                   ok
372: negation -j8                                    ok
367: eqrel_tests3 -c -j8                             ok
374: path -j8                                        ok
369: explain_float_unsigned -c -j8                   ok
376: path_explain_negation -j8                       ok
371: high_arity -c -j8                               ok
378: path_explain_output -j8                         ok
373: negation -c -j8                                 ok
380: same_gen -j8                                    ok
375: path -c -j8                                     ok
382: query_1 -j8                                     ok
377: path_explain_negation -c -j8                    ok
384: query_2 -j8                                     ok
379: path_explain_output -c -j8                      ok
386: query_3 -j8                                     ok
381: same_gen -c -j8                                 ok
388: query_float_unsigned -j8                        ok
383: query_1 -c -j8                                  ok
390: lrg_attr_id -j8 souffle-profile -c "rel"        ok
391: lrg_attr_id -j8 souffle-profile -c "rel R2"     ok
392: lrg_attr_id -j8 souffle-profile -c "rul"        ok
393: lrg_attr_id -j8 souffle-profile -c "rul C2.1"   ok
394: lrg_attr_id -j8 souffle-profile -c "rul id N2.1" ok
395: lrg_attr_id -j8 souffle-profile -c "graph R2 copy_t" ok
396: lrg_attr_id -j8 souffle-profile -c "graph C2.1 tot_t" ok
397: lrg_attr_id -j8 souffle-profile -c "graph ver C2.1 tuples" ok
398: lrg_attr_id -j8 souffle-profile -c "top"        ok
399: lrg_attr_id -j8 souffle-profile -c "help"       ok
385: query_2 -c -j8                                  ok
389: query_float_unsigned -c -j8                     ok
387: query_3 -c -j8                                  ok
400: lrg_attr_id   -c -j8                            souffle-profile -c "rel" ok
401: lrg_attr_id   -c -j8                            souffle-profile -c "rel R2" ok
402: lrg_attr_id   -c -j8                            souffle-profile -c "rul" ok
403: lrg_attr_id   -c -j8                            souffle-profile -c "rul C2.1" ok
404: lrg_attr_id   -c -j8                            souffle-profile -c "rul id N2.1" ok
405: lrg_attr_id   -c -j8                            souffle-profile -c "graph R2 copy_t" ok
406: lrg_attr_id   -c -j8                            souffle-profile -c "graph C2.1 tot_t" ok
407: lrg_attr_id   -c -j8                            souffle-profile -c "graph ver C2.1 tuples" ok
410: recursive -j8 souffle-profile -c "rel"          ok
411: recursive -j8 souffle-profile -c "rel R2"       ok
412: recursive -j8 souffle-profile -c "rul"          ok
413: recursive -j8 souffle-profile -c "rul C2.1"     ok
414: recursive -j8 souffle-profile -c "rul id N2.1"  ok
415: recursive -j8 souffle-profile -c "graph R2 copy_t" ok
416: recursive -j8 souffle-profile -c "graph C2.1 tot_t" ok
417: recursive -j8 souffle-profile -c "graph ver C2.1 tuples" ok
418: recursive -j8 souffle-profile -c "top"          ok
419: recursive -j8 souffle-profile -c "help"         ok
408: lrg_attr_id   -c -j8                            souffle-profile -c "top" ok
409: lrg_attr_id   -c -j8                            souffle-profile -c "help" ok
421: recursive   -c -j8                            souffle-profile -c "rel R2" ok
420: recursive   -c -j8                            souffle-profile -c "rel" ok
422: recursive   -c -j8                            souffle-profile -c "rul" ok
423: recursive   -c -j8                            souffle-profile -c "rul C2.1" ok
424: recursive   -c -j8                            souffle-profile -c "rul id N2.1" ok
426: recursive   -c -j8                            souffle-profile -c "graph C2.1 tot_t" ok
425: recursive   -c -j8                            souffle-profile -c "graph R2 copy_t" ok
427: recursive   -c -j8                            souffle-profile -c "graph ver C2.1 tuples" ok
428: recursive   -c -j8                            souffle-profile -c "top" ok
429: recursive   -c -j8                            souffle-profile -c "help" ok

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

All 429 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'
[WS-CLEANUP] Deleting project workspace...
[WS-CLEANUP] Deferred wipeout is used...
[WS-CLEANUP] done
Finished: SUCCESS