SuccessConsole Output

Skipping 79 KB.. Full Log
.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -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 -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  -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 -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 -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  -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 -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 -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 -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  -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 -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  -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 -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 -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 -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  -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 -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  -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 -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 -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 -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 -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  -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 -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  -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 -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  -fopenmp   -MT ast2ram/libsouffle_la-AstToRamTranslator.lo -MD -MP -MF ast2ram/.deps/libsouffle_la-AstToRamTranslator.Tpo -c -o ast2ram/libsouffle_la-AstToRamTranslator.lo `test -f 'ast2ram/AstToRamTranslator.cpp' || echo './'`ast2ram/AstToRamTranslator.cpp
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -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
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  -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 -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 -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 -fopenmp -MT ast/utility/libsouffle_la-Utils.lo -MD -MP -MF ast/utility/.deps/libsouffle_la-Utils.Tpo -c ast/utility/Utils.cpp -o ast/utility/libsouffle_la-Utils.o >/dev/null 2>&1
mv -f ast/utility/.deps/libsouffle_la-SipsMetric.Tpo ast/utility/.deps/libsouffle_la-SipsMetric.Plo
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -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
/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  -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 -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  -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 -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 -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 -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 -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  -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 -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  -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 -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
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  -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 -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
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -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/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  -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 -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
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -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
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  -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 -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 -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
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  -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 -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  -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 -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 -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
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -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-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  -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 -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-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  -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 -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 -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
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -MT parser/libsouffle_la-ParserDriver.lo -MD -MP -MF parser/.deps/libsouffle_la-ParserDriver.Tpo -c parser/ParserDriver.cpp -o parser/libsouffle_la-ParserDriver.o >/dev/null 2>&1
mv -f 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  -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 -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 -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  -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 -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 -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  -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 -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  -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 -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 -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 -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
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -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
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  -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 -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 -fopenmp -MT ram/analysis/libsouffle_la-Complexity.lo -MD -MP -MF ram/analysis/.deps/libsouffle_la-Complexity.Tpo -c ram/analysis/Complexity.cpp -o ram/analysis/libsouffle_la-Complexity.o >/dev/null 2>&1
mv -f ram/analysis/.deps/libsouffle_la-Complexity.Tpo ram/analysis/.deps/libsouffle_la-Complexity.Plo
/bin/bash ../libtool  --tag=CXX   --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -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 -fopenmp -MT ram/analysis/libsouffle_la-Index.lo -MD -MP -MF ram/analysis/.deps/libsouffle_la-Index.Tpo -c ram/analysis/Index.cpp  -fPIC -DPIC -o ram/analysis/.libs/libsouffle_la-Index.o
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -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 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  -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 -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 -fopenmp -MT ram/analysis/libsouffle_la-Level.lo -MD -MP -MF ram/analysis/.deps/libsouffle_la-Level.Tpo -c ram/analysis/Level.cpp -o ram/analysis/libsouffle_la-Level.o >/dev/null 2>&1
mv -f ram/analysis/.deps/libsouffle_la-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  -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 -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
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  -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 -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
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -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 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  -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 -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 -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
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  -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 -fopenmp -MT ram/transform/libsouffle_la-EliminateDuplicates.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-EliminateDuplicates.Tpo -c ram/transform/EliminateDuplicates.cpp  -fPIC -DPIC -o ram/transform/.libs/libsouffle_la-EliminateDuplicates.o
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -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 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  -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 -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
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -MT ram/transform/libsouffle_la-EliminateDuplicates.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-EliminateDuplicates.Tpo -c ram/transform/EliminateDuplicates.cpp -o ram/transform/libsouffle_la-EliminateDuplicates.o >/dev/null 2>&1
mv -f ram/transform/.deps/libsouffle_la-CollapseFilters.Tpo ram/transform/.deps/libsouffle_la-CollapseFilters.Plo
/bin/bash ../libtool  --tag=CXX   --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I.    -I./include  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -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 -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 -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
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  -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 -fopenmp -MT ram/transform/libsouffle_la-HoistConditions.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-HoistConditions.Tpo -c ram/transform/HoistConditions.cpp  -fPIC -DPIC -o ram/transform/.libs/libsouffle_la-HoistConditions.o
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -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-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  -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 -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
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -MT ram/transform/libsouffle_la-HoistConditions.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-HoistConditions.Tpo -c ram/transform/HoistConditions.cpp -o ram/transform/libsouffle_la-HoistConditions.o >/dev/null 2>&1
mv -f ram/transform/.deps/libsouffle_la-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  -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 -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 -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 -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  -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 -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
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  -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 -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 -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
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -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 -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-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  -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 -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-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  -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 -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
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  -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 -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 -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
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -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
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -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
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  -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 -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-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  -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 -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-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  -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 -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 -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
libtool: compile:  g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -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
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  -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 -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  -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 -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 -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 -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  -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  -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 -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  -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  -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  -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  -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  -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  -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  -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  -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  -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  -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  -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  -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  -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  -fopenmp   -I../../src -I../../src/include   -o profile_util_test profile_util_test.o  -ldl -lpthread -lsqlite3 -lz -lncursesw
/bin/bash ../../libtool  --tag=CXX   --mode=link g++ -std=c++17  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -I../../src -I../../src/include   -o util_test util_test.o  -ldl -lpthread -lsqlite3 -lz -lncursesw
libtool: link: g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -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  -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 -fopenmp -I../../src -I../../src/include -o util_test util_test.o  -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp
/bin/bash ../../libtool  --tag=CXX   --mode=link g++ -std=c++17  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -I../../src -I../../src/include   -o btree_set_test btree_set_test.o  -ldl -lpthread -lsqlite3 -lz -lncursesw
libtool: link: g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -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  -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 -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
/bin/bash ../../libtool  --tag=CXX   --mode=link g++ -std=c++17  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -I../../src -I../../src/include   -o binary_relation_test binary_relation_test.o  -ldl -lpthread -lsqlite3 -lz -lncursesw
libtool: link: g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -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  -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 -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  -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 -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  -fopenmp   -I../../src -I../../src/include   -o symbol_table_test symbol_table_test.o  -ldl -lpthread -lsqlite3 -lz -lncursesw
/bin/bash ../../libtool  --tag=CXX   --mode=link g++ -std=c++17  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -I../../src -I../../src/include   -o graph_utils_test graph_utils_test.o  -ldl -lpthread -lsqlite3 -lz -lncursesw
libtool: link: g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -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
libtool: link: g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -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
/bin/bash ../../libtool  --tag=CXX   --mode=link g++ -std=c++17  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -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 -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  -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 -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 -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  -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 -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: util_test
PASS: profile_util_test
PASS: table_test
PASS: binary_relation_test
PASS: compiled_tuple_test
PASS: symbol_table_test
PASS: graph_utils_test
PASS: btree_multiset_test
PASS: btree_set_test
PASS: parallel_utils_test
PASS: record_table_test
PASS: eqrel_datastructure_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  -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  -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  -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  -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  -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  -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  -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  -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 -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  -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  -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  -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 -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 -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
libtool: link: g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -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  -fopenmp   -I../../../src -I../../../src/include   -o constraints_test constraints_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  -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 -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 -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  -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 -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_utils_test
PASS: ast_program_test
PASS: ast_transformers_test
PASS: ast_print_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  -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  -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  -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  -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  -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  -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  -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  -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  -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  -fopenmp   -I../../../src -I../../../src/include   -o ram_statement_equal_clone_test ram_statement_equal_clone_test.o ../../../src/libsouffle.la -ldl -lpthread -lsqlite3 -lz -lncursesw
libtool: link: g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -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 -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  -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
/bin/bash ../../../libtool  --tag=CXX   --mode=link g++ -std=c++17  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -I../../../src -I../../../src/include   -o ram_operation_equal_clone_test ram_operation_equal_clone_test.o ../../../src/libsouffle.la -ldl -lpthread -lsqlite3 -lz -lncursesw
libtool: link: g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -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
libtool: link: g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -fopenmp -I../../../src -I../../../src/include -o ram_operation_equal_clone_test ram_operation_equal_clone_test.o  ../../../src/.libs/libsouffle.a -lffi -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp
/bin/bash ../../../libtool  --tag=CXX   --mode=link g++ -std=c++17  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -fopenmp   -I../../../src -I../../../src/include   -o ram_relation_equal_clone_test ram_relation_equal_clone_test.o ../../../src/libsouffle.la -ldl -lpthread -lsqlite3 -lz -lncursesw
/bin/bash ../../../libtool  --tag=CXX   --mode=link g++ -std=c++17  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -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  -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 -fopenmp -I../../../src -I../../../src/include -o ram_relation_equal_clone_test ram_relation_equal_clone_test.o  ../../../src/.libs/libsouffle.a -lffi -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp
libtool: link: g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -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 -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
/bin/bash ../../../libtool  --tag=CXX   --mode=link g++ -std=c++17  -Wall -Wextra  -fwrapv  -DUSE_NCURSES  -O3 -DUSE_LIBZ  -DUSE_SQLITE  -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 -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_statement_equal_clone_test
PASS: ram_operation_equal_clone_test
PASS: ram_relation_equal_clone_test
PASS: ram_type_conversion_test
PASS: max_matching_test
PASS: 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  -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  -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  -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  -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 -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  -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 -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  -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 -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  -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 -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 -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  -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
  4: comment   -c -j8                                ok
  2: binary   -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
 56: relation   -c -j8                               ok
 85: adt_invalid_arity -j8                           ok
 86: adt_invalid_arity   -c -j8                            ok
 82: type   -c -j8                                   ok
 87: agg_checks -j8                                  ok
 88: agg_checks   -c -j8                             ok
 89: agg_checks2 -j8                                 ok
 90: agg_checks2   -c -j8                            ok
 91: agg_checks3 -j8                                 ok
 93: aggregate1 -j8                                  ok
 60: string   -c -j8                                 ok
 95: aggregate2 -j8                                  ok
 84: union_comp_type   -c -j8                            ok
 97: aggregate3 -j8                                  ok
 94: aggregate1   -c -j8                             ok
 99: aggregate4 -j8                                  ok
 92: agg_checks3   -c -j8                            ok
101: agg_nested -j8                                  ok
 96: aggregate2   -c -j8                             ok
103: alias -j8                                       ok
 98: aggregate3   -c -j8                             ok
105: attrib_dupl -j8                                 ok
106: attrib_dupl   -c -j8                            ok
107: bin1 -j8                                        ok
104: alias   -c -j8                                  ok
109: bin -j8                                         ok
102: agg_nested   -c -j8                             ok
111: binhex -j8                                      ok
100: aggregate4   -c -j8                             ok
113: bitwise -j8                                     ok
108: bin1   -c -j8                                   ok
112: binhex   -c -j8                                 ok
110: bin   -c -j8                                    ok
117: choice -j8                                      ok
118: choice   -c -j8                                 ok
119: comp_clauses -j8                                ok
120: comp_clauses   -c -j8                            ok
115: bool -j8                                        ok
121: comp_infinite_recursion -j8                     ok
122: comp_infinite_recursion   -c -j8                            ok
123: comp_inner_types -j8                            ok
125: comp_name_resolution -j8                        ok
126: comp_name_resolution   -c -j8                            ok
127: comp_nonexistent_type -j8                       ok
128: comp_nonexistent_type   -c -j8                            ok
129: comp_override -j8                               ok
130: comp_override   -c -j8                            ok
131: comp_params_inheritance -j8                     ok
132: comp_params_inheritance   -c -j8                            ok
133: comp_relation -j8                               ok
134: comp_relation   -c -j8                            ok
135: comp_types -j8                                  ok
136: comp_types   -c -j8                             ok
137: comp_opt -j8                                    ok
114: bitwise   -c -j8                                ok
139: counter2 -j8                                    ok
140: counter2   -c -j8                               ok
141: counter -j8                                     ok
138: comp_opt   -c -j8                               ok
143: disjoint_names -j8                              ok
116: bool   -c -j8                                   ok
144: disjoint_names   -c -j8                            ok
124: comp_inner_types   -c -j8                            ok
145: duplicates -j8                                  ok
147: eqrel_tests -j8                                 ok
149: eqrel_tests2 -j8                                ok
142: counter   -c -j8                                ok
151: eqrel_tests3 -j8                                ok
146: duplicates   -c -j8                             ok
150: eqrel_tests2   -c -j8                            ok
153: equivalent -j8                                  ok
155: execution_plan -j8                              ok
156: execution_plan   -c -j8                            ok
157: extended_subtypes -j8                           ok
152: eqrel_tests3   -c -j8                            ok
159: extended_subtypes2 -j8                          ok
160: extended_subtypes2   -c -j8                            ok
161: extended_subtypes3 -j8                          ok
162: extended_subtypes3   -c -j8                            ok
163: fact_arity -j8                                  ok
164: fact_arity   -c -j8                             ok
165: fact_cat -j8                                    ok
166: fact_cat   -c -j8                               ok
167: fact_ctr -j8                                    ok
168: fact_ctr   -c -j8                               ok
169: fact_empty -j8                                  ok
170: fact_empty   -c -j8                             ok
171: fact_number2 -j8                                ok
172: fact_number2   -c -j8                            ok
173: fact_number -j8                                 ok
174: fact_number   -c -j8                            ok
175: fact_plus -j8                                   ok
148: eqrel_tests   -c -j8                            ok
177: fact_variable -j8                               ok
176: fact_plus   -c -j8                              ok
178: fact_variable   -c -j8                            ok
179: func_in_rec -j8                                 ok
181: hex1 -j8                                        ok
154: equivalent   -c -j8                             ok
183: hex -j8                                         ok
158: extended_subtypes   -c -j8                            ok
185: inline_cycle1 -j8                               ok
186: inline_cycle1   -c -j8                            ok
187: inline_cycle2 -j8                               ok
182: hex1   -c -j8                                   ok
189: inline_ungrounded -j8                           ok
190: inline_ungrounded   -c -j8                            ok
191: inline_negation -j8                             ok
192: inline_negation   -c -j8                            ok
193: inline_output -j8                               ok
194: inline_output   -c -j8                            ok
195: ipv4 -j8                                        ok
180: func_in_rec   -c -j8                            ok
197: ipv4_1 -j8                                      ok
184: hex   -c -j8                                    ok
199: json -j8                                        ok
188: inline_cycle2   -c -j8                            ok
201: jsonfile -j8                                    ok
198: ipv4_1   -c -j8                                 ok
196: ipv4   -c -j8                                   ok
203: limitsize -j8                                   ok
205: load2 -j8                                       ok
200: json   -c -j8                                   ok
207: load3 -j8                                       ok
202: jsonfile   -c -j8                               ok
209: load4 -j8                                       ok
204: limitsize   -c -j8                              ok
211: load6 -j8                                       ok
206: load2   -c -j8                                  ok
213: load7 -j8                                       ok
208: load3   -c -j8                                  ok
215: load8 -j8                                       ok
210: load4   -c -j8                                  ok
217: load9 -j8                                       ok
212: load6   -c -j8                                  ok
214: load7   -c -j8                                  ok
219: load10 -j8                                      ok
221: load_adt -j8                                    ok
216: load8   -c -j8                                  ok
223: load_adt2 -j8                                   ok
218: load9   -c -j8                                  ok
225: load_adt3 -j8                                   ok
222: load_adt   -c -j8                               ok
227: load_record_delimiter -j8                       ok
220: load10   -c -j8                                 ok
229: load_record_large -j8                           ok
224: load_adt2   -c -j8                              ok
231: load_record_large2 -j8                          ok
226: load_adt3   -c -j8                              ok
233: load_record_invalid_parenthesis -j8             ok
228: load_record_delimiter   -c -j8                            ok
235: load_simple_record -j8                          ok
230: load_record_large   -c -j8                            ok
237: load_simple_record2 -j8                         ok
232: load_record_large2   -c -j8                            ok
239: load_symbol_in_record -j8                       ok
234: load_record_invalid_parenthesis   -c -j8                            ok
241: logical -j8                                     ok
236: load_simple_record   -c -j8                            ok
243: lrg_attr_id -j8                                 ok
238: load_simple_record2   -c -j8                            ok
245: lrg_rel_id1 -j8                                 ok
240: load_symbol_in_record   -c -j8                            ok
247: lrg_rel_id2 -j8                                 ok
244: lrg_attr_id   -c -j8                            ok
249: negative_numbers -j8                            ok
242: logical   -c -j8                                ok
246: lrg_rel_id1   -c -j8                            ok
251: not_copy1 -j8                                   ok
253: not_copy2 -j8                                   ok
248: lrg_rel_id2   -c -j8                            ok
255: not_copy -j8                                    ok
252: not_copy1   -c -j8                              ok
257: plan1 -j8                                       ok
254: not_copy2   -c -j8                              ok
258: plan1   -c -j8                                  ok
250: negative_numbers   -c -j8                            ok
259: plan2 -j8                                       ok
260: plan2   -c -j8                                  ok
261: plan3 -j8                                       ok
263: progmin1 -j8                                    ok
265: progmin2 -j8                                    ok
256: not_copy   -c -j8                               ok
267: range -j8                                       ok
262: plan3   -c -j8                                  ok
269: record_null -j8                                 ok
270: record_null   -c -j8                            ok
271: records0 -j8                                    ok
264: progmin1   -c -j8                               ok
273: records1 -j8                                    ok
266: progmin2   -c -j8                               ok
275: records2 -j8                                    ok
268: range   -c -j8                                  ok
277: records3 -j8                                    ok
272: records0   -c -j8                               ok
279: records4 -j8                                    ok
274: records1   -c -j8                               ok
281: records5 -j8                                    ok
276: records2   -c -j8                               ok
283: records6 -j8                                    ok
278: records3   -c -j8                               ok
285: records7 -j8                                    ok
280: records4   -c -j8                               ok
287: records8 -j8                                    ok
282: records5   -c -j8                               ok
284: records6   -c -j8                               ok
289: records9 -j8                                    ok
291: recursive_unions -j8                            ok
292: recursive_unions   -c -j8                            ok
293: recursive_unions2 -j8                           ok
294: recursive_unions2   -c -j8                            ok
295: rel_copy_cycles -j8                             ok
286: records7   -c -j8                               ok
297: rel_dupl -j8                                    ok
298: rel_dupl   -c -j8                               ok
299: rel_list -j8                                    ok
290: records9   -c -j8                               ok
301: rel_nullary -j8                                 ok
288: records8   -c -j8                               ok
303: rel_stratification2 -j8                         ok
304: rel_stratification2   -c -j8                            ok
305: rel_stratification -j8                          ok
306: rel_stratification   -c -j8                            ok
307: rel_udef -j8                                    ok
308: rel_udef   -c -j8                               ok
309: rqualifiers -j8                                 ok
296: rel_copy_cycles   -c -j8                            ok
311: rule_arity -j8                                  ok
312: rule_arity   -c -j8                             ok
313: rule_grounded -j8                               ok
314: rule_grounded   -c -j8                            ok
315: rule_typecompat -j8                             ok
316: rule_typecompat   -c -j8                            ok
317: rule_undeclared_relation2 -j8                   ok
318: rule_undeclared_relation2   -c -j8                            ok
319: rule_undeclared_relation -j8                    ok
320: rule_undeclared_relation   -c -j8                            ok
321: store -j8                                       ok
300: rel_list   -c -j8                               ok
323: store2 -j8                                      ok
302: rel_nullary   -c -j8                            ok
325: store3 -j8                                      ok
322: store   -c -j8                                  ok
327: store4 -j8                                      ok
310: rqualifiers   -c -j8                            ok
329: store5 -j8                                      ok
324: store2   -c -j8                                 ok
331: store_adt -j8                                   ok
326: store3   -c -j8                                 ok
328: store4   -c -j8                                 ok
333: store_adt2 -j8                                  ok
335: store_adt3 -j8                                  ok
330: store5   -c -j8                                 ok
337: store_record_multilevel -j8                     ok
332: store_adt   -c -j8                              ok
339: store_record_large -j8                          ok
334: store_adt2   -c -j8                             ok
341: store_record_one_level -j8                      ok
336: store_adt3   -c -j8                             ok
343: strconv -j8                                     ok
338: store_record_multilevel   -c -j8                            ok
345: string_len -j8                                  ok
340: store_record_large   -c -j8                            ok
342: store_record_one_level   -c -j8                            ok
347: string_minmax -j8                               ok
349: string_substr1 -j8                              ok
344: strconv   -c -j8                                ok
351: string_substr -j8                               ok
346: string_len   -c -j8                             ok
353: suppress_warnings -j8                           ok
348: string_minmax   -c -j8                            ok
355: type_as -j8                                     ok
350: string_substr1   -c -j8                            ok
357: type_as2 -j8                                    ok
358: type_as2   -c -j8                               ok
359: type_as3 -j8                                    ok
360: type_as3   -c -j8                               ok
352: string_substr   -c -j8                            ok
362: type_dupl   -c -j8                              ok
361: type_dupl -j8                                   ok
364: type_system1   -c -j8                            ok
363: type_system1 -j8                                ok
354: suppress_warnings   -c -j8                            ok
365: type_system2 -j8                                ok
366: type_system2   -c -j8                            ok
367: type_system3 -j8                                ok
368: type_system3   -c -j8                            ok
369: type_system4 -j8                                ok
371: type_system5 -j8                                ok
373: type_system6 -j8                                ok
374: type_system6   -c -j8                            ok
375: type_system7 -j8                                ok
376: type_system7   -c -j8                            ok
377: type_system8 -j8                                ok
356: type_as   -c -j8                                ok
379: type_system9 -j8                                ok
370: type_system4   -c -j8                            ok
381: type_system10 -j8                               ok
378: type_system8   -c -j8                            ok
383: type_system11 -j8                               ok
384: type_system11   -c -j8                            ok
385: type_system12 -j8                               ok
386: type_system12   -c -j8                            ok
387: type_system13 -j8                               ok
388: type_system13   -c -j8                            ok
389: type_system14 -j8                               ok
390: type_system14   -c -j8                            ok
391: type_system15 -j8                               ok
392: type_system15   -c -j8                            ok
372: type_system5   -c -j8                            ok
393: type_system_negation -j8                        ok
395: type_system_sum_types -j8                       ok
396: type_system_sum_types   -c -j8                            ok
397: type_system_sum_types2 -j8                      ok
398: type_system_sum_types2   -c -j8                            ok
399: type_system_records -j8                         ok
394: type_system_negation   -c -j8                            ok
401: type_system_records2 -j8                        ok
402: type_system_records2   -c -j8                            ok
403: type_udef -j8                                   ok
404: type_udef   -c -j8                              ok
405: types_components -j8                            ok
380: type_system9   -c -j8                            ok
407: underscore2 -j8                                 ok
382: type_system10   -c -j8                            ok
409: underscore3 -j8                                 ok
400: type_system_records   -c -j8                            ok
411: underscore4 -j8                                 ok
406: types_components   -c -j8                            ok
413: underscore -j8                                  ok
414: underscore   -c -j8                             ok
415: union_types -j8                                 ok
416: union_types   -c -j8                            ok
417: var_single -j8                                  ok
418: var_single   -c -j8                             ok
419: witness_check -j8                               ok
420: witness_check   -c -j8                            ok
408: underscore2   -c -j8                            ok
421: access1 -j8                                     ok
423: access2 -j8                                     ok
410: underscore3   -c -j8                            ok
425: access3 -j8                                     ok
412: underscore4   -c -j8                            ok
427: adt-binary-constraint -j8                       ok
422: access1   -c -j8                                ok
429: adt-enum -j8                                    ok
424: access2   -c -j8                                ok
431: aggregates -j8                                  ok
428: adt-binary-constraint   -c -j8                            ok
433: aggregates2 -j8                                 ok
426: access3   -c -j8                                ok
435: aggregates3 -j8                                 ok
430: adt-enum   -c -j8                               ok
437: aggregates4 -j8                                 ok
436: aggregates3   -c -j8                            ok
439: aggregates5 -j8                                 ok
432: aggregates   -c -j8                             ok
441: aggregates6 -j8                                 ok
434: aggregates2   -c -j8                            ok
443: aggregates_complex -j8                          ok
438: aggregates4   -c -j8                            ok
445: aggregates_nested -j8                           ok
440: aggregates5   -c -j8                            ok
447: aggregates_non_materialised -j8                 ok
442: aggregates6   -c -j8                            ok
444: aggregates_complex   -c -j8                            ok
449: aggregates7 -j8                                 ok
451: aggregate_witnesses -j8                         ok
448: aggregates_non_materialised   -c -j8                            ok
453: aliases -j8                                     ok
446: aggregates_nested   -c -j8                            ok
455: arithm -j8                                      ok
450: aggregates7   -c -j8                            ok
457: average -j8                                     ok
454: aliases   -c -j8                                ok
459: binop -j8                                       ok
456: arithm   -c -j8                                 ok
461: cat -j8                                         ok
452: aggregate_witnesses   -c -j8                            ok
463: comp-override1 -j8                              ok
458: average   -c -j8                                ok
465: comp-override2 -j8                              ok
460: binop   -c -j8                                  ok
467: comp-override3 -j8                              ok
462: cat   -c -j8                                    ok
464: comp-override1   -c -j8                            ok
469: components1 -j8                                 ok
471: components2 -j8                                 ok
466: comp-override2   -c -j8                            ok
473: components3 -j8                                 ok
468: comp-override3   -c -j8                            ok
475: components -j8                                  ok
470: components1   -c -j8                            ok
477: components_generic -j8                          ok
472: components2   -c -j8                            ok
479: contains -j8                                    ok
474: components3   -c -j8                            ok
481: count -j8                                       ok
476: components   -c -j8                             ok
483: count_sccs1 -j8                                 ok
480: contains   -c -j8                               ok
478: components_generic   -c -j8                            ok
485: counter -j8                                     ok
482: count   -c -j8                                  ok
487: cprog1 -j8                                      ok
489: cprog2 -j8                                      ok
484: count_sccs1   -c -j8                            ok
491: cprog3 -j8                                      ok
486: counter   -c -j8                                ok
488: cprog1   -c -j8                                 ok
490: cprog2   -c -j8                                 ok
495: cprog5 -j8                                      ok
492: cprog3   -c -j8                                 ok
493: cprog4 -j8                                      ok
497: cproject -j8                                    ok
499: empty_relations -j8                             ok
494: cprog4   -c -j8                                 ok
501: empty_relations2 -j8                            ok
500: empty_relations   -c -j8                            ok
496: cprog5   -c -j8                                 ok
498: cproject   -c -j8                               ok
503: existential -j8                                 ok
505: facts -j8                                       ok
507: facts2 -j8                                      ok
502: empty_relations2   -c -j8                            ok
509: float_equality -j8                              ok
506: facts   -c -j8                                  ok
511: float_operations -j8                            ok
508: facts2   -c -j8                                 ok
513: functor_arity -j8                               ok
504: existential   -c -j8                            ok
515: grammar -j8                                     ok
510: float_equality   -c -j8                            ok
517: hex -j8                                         ok
512: float_operations   -c -j8                            ok
519: independent_body1 -j8                           ok
514: functor_arity   -c -j8                            ok
521: independent_body2 -j8                           ok
516: grammar   -c -j8                                ok
523: index -j8                                       ok
518: hex   -c -j8                                    ok
525: indexed_inequalities -j8                        ok
520: independent_body1   -c -j8                            ok
527: indirect_negation -j8                           ok
522: independent_body2   -c -j8                            ok
529: inline_functors -j8                             ok
524: index   -c -j8                                  ok
531: inline_negation1 -j8                            ok
528: indirect_negation   -c -j8                            ok
533: inline_negation2 -j8                            ok
530: inline_functors   -c -j8                            ok
526: indexed_inequalities   -c -j8                            ok
532: inline_negation1   -c -j8                            ok
535: inline_nqueens -j8                              ok
537: inline_records -j8                              ok
539: inline_underscore -j8                           ok
534: inline_negation2   -c -j8                            ok
541: inline_unification -j8                          ok
538: inline_records   -c -j8                            ok
543: list -j8                                        ok
536: inline_nqueens   -c -j8                            ok
540: inline_underscore   -c -j8                            ok
545: magic_2sat -j8                                  ok
547: magic_aggregates -j8                            ok
542: inline_unification   -c -j8                            ok
549: magic_bindings -j8                              ok
544: list   -c -j8                                   ok
551: magic_centroids -j8                             ok
548: magic_aggregates   -c -j8                            ok
553: magic_circuit_sat -j8                           ok
550: magic_bindings   -c -j8                            ok
555: magic_components -j8                            ok
546: magic_2sat   -c -j8                             ok
557: magic_cprog1 -j8                                ok
552: magic_centroids   -c -j8                            ok
559: magic_dfa -j8                                   ok
554: magic_circuit_sat   -c -j8                            ok
558: magic_cprog1   -c -j8                            ok
561: magic_dominance -j8                             ok
560: magic_dfa   -c -j8                              ok
563: magic_factoring -j8                             ok
556: magic_components   -c -j8                            ok
565: magic_goal -j8                                  ok
567: magic_infbinding -j8                            ok
564: magic_factoring   -c -j8                            ok
569: magic_lrg_attr_id -j8                           ok
568: magic_infbinding   -c -j8                            ok
571: magic_movies -j8                                ok
566: magic_goal   -c -j8                             ok
573: magic_names1 -j8                                ok
562: magic_dominance   -c -j8                            ok
575: magic_neglabel -j8                              ok
570: magic_lrg_attr_id   -c -j8                            ok
577: magic_negignored -j8                            ok
574: magic_names1   -c -j8                            ok
579: magic_nqueens -j8                               ok
576: magic_neglabel   -c -j8                            ok
581: magic_perfect_numbers -j8                       ok
572: magic_movies   -c -j8                            ok
583: magic_posignored -j8                            ok
578: magic_negignored   -c -j8                            ok
585: magic_poslabel -j8                              ok
582: magic_perfect_numbers   -c -j8                            ok
587: magic_records4 -j8                              ok
580: magic_nqueens   -c -j8                            ok
584: magic_posignored   -c -j8                            ok
589: magic_samegen -j8                               ok
591: magic_strategies -j8                            ok
586: magic_poslabel   -c -j8                            ok
593: magic_string_substr -j8                         ok
588: magic_records4   -c -j8                            ok
595: magic_turing1 -j8                               ok
590: magic_samegen   -c -j8                            ok
597: match2 -j8                                      ok
592: magic_strategies   -c -j8                            ok
599: match3 -j8                                      ok
594: magic_string_substr   -c -j8                            ok
601: match4 -j8                                      ok
598: match2   -c -j8                                 ok
603: match -j8                                       ok
600: match3   -c -j8                                 ok
605: max -j8                                         ok
596: magic_turing1   -c -j8                            ok
607: minmax -j8                                      ok
602: match4   -c -j8                                 ok
609: minmaxnum -j8                                   ok
606: max   -c -j8                                    ok
611: mrtc -j8                                        ok
604: match   -c -j8                                  ok
613: mul -j8                                         ok
608: minmax   -c -j8                                 ok
615: multiple_heads -j8                              ok
610: minmaxnum   -c -j8                              ok
617: multiple_inequalities -j8                       ok
612: mrtc   -c -j8                                   ok
619: mutrecursion -j8                                ok
614: mul   -c -j8                                    ok
621: neg1 -j8                                        ok
616: multiple_heads   -c -j8                            ok
623: neg2 -j8                                        ok
618: multiple_inequalities   -c -j8                            ok
625: neg3 -j8                                        ok
620: mutrecursion   -c -j8                            ok
627: neg4 -j8                                        ok
622: neg1   -c -j8                                   ok
629: neg5 -j8                                        ok
624: neg2   -c -j8                                   ok
631: neg6 -j8                                        ok
626: neg3   -c -j8                                   ok
633: number_constants -j8                            ok
628: neg4   -c -j8                                   ok
635: numeric_binary_constraint_op -j8                ok
630: neg5   -c -j8                                   ok
637: numeric_conversions -j8                         ok
632: neg6   -c -j8                                   ok
639: ordinals -j8                                    ok
634: number_constants   -c -j8                            ok
641: plus -j8                                        ok
636: numeric_binary_constraint_op   -c -j8                            ok
643: range -j8                                       ok
638: numeric_conversions   -c -j8                            ok
640: ordinals   -c -j8                               ok
645: rangeop -j8                                     ok
647: rec_lists2 -j8                                  ok
642: plus   -c -j8                                   ok
649: rec_lists -j8                                   ok
644: range   -c -j8                                  ok
651: rec_underscore -j8                              ok
648: rec_lists2   -c -j8                             ok
653: recursion -j8                                   ok
646: rangeop   -c -j8                                ok
655: relop -j8                                       ok
650: rec_lists   -c -j8                              ok
657: rmut2 -j8                                       ok
652: rec_underscore   -c -j8                            ok
659: rmut -j8                                        ok
654: recursion   -c -j8                              ok
661: set_ops -j8                                     ok
656: relop   -c -j8                                  ok
663: set_ops_output -j8                              ok
658: rmut2   -c -j8                                  ok
665: simple -j8                                      ok
660: rmut   -c -j8                                   ok
667: singleton -j8                                   ok
662: set_ops   -c -j8                                ok
669: subsumption -j8                                 ok
664: set_ops_output   -c -j8                            ok
671: subtype2 -j8                                    ok
666: simple   -c -j8                                 ok
673: subtype -j8                                     ok
668: singleton   -c -j8                              ok
675: sum-aggregate -j8                               ok
674: subtype   -c -j8                                ok
677: sum-aggregate2 -j8                              ok
672: subtype2   -c -j8                               ok
679: term -j8                                        ok
670: subsumption   -c -j8                            ok
681: unpacking -j8                                   ok
676: sum-aggregate   -c -j8                            ok
683: unsigned_operations -j8                         ok
678: sum-aggregate2   -c -j8                            ok
685: unused_constraints -j8                          ok
682: unpacking   -c -j8                              ok
680: term   -c -j8                                   ok
687: x9 -j8                                          ok
684: unsigned_operations   -c -j8                            ok
686: unused_constraints   -c -j8                            ok
688: x9   -c -j8                                     ok
689: insert_print                                    ok
690: insert_for                                      ok
694: functors -j8                                    ok
691: repeat_analysis                                 ok
696: lrg_attr_id -j8 souffle-profile -c "rel"        ok
697: lrg_attr_id -j8 souffle-profile -c "rel R2"     ok
698: lrg_attr_id -j8 souffle-profile -c "rul"        ok
699: lrg_attr_id -j8 souffle-profile -c "rul C2.1"   ok
700: lrg_attr_id -j8 souffle-profile -c "rul id N2.1" ok
693: signal_error                                    ok
701: lrg_attr_id -j8 souffle-profile -c "graph R2 copy_t" ok
702: lrg_attr_id -j8 souffle-profile -c "graph C2.1 tot_t" ok
703: lrg_attr_id -j8 souffle-profile -c "graph ver C2.1 tuples" ok
692: load_print                                      ok
704: lrg_attr_id -j8 souffle-profile -c "top"        ok
705: lrg_attr_id -j8 souffle-profile -c "help"       ok
695: functors   -c -j8                               ok
708: lrg_attr_id   -c -j8                            souffle-profile -c "rul" ok
706: lrg_attr_id   -c -j8                            souffle-profile -c "rel" ok
707: lrg_attr_id   -c -j8                            souffle-profile -c "rel R2" ok
709: lrg_attr_id   -c -j8                            souffle-profile -c "rul C2.1" ok
710: lrg_attr_id   -c -j8                            souffle-profile -c "rul id N2.1" ok
711: lrg_attr_id   -c -j8                            souffle-profile -c "graph R2 copy_t" ok
712: lrg_attr_id   -c -j8                            souffle-profile -c "graph C2.1 tot_t" ok
716: recursive -j8 souffle-profile -c "rel"          ok
717: recursive -j8 souffle-profile -c "rel R2"       ok
718: recursive -j8 souffle-profile -c "rul"          ok
719: recursive -j8 souffle-profile -c "rul C2.1"     ok
713: lrg_attr_id   -c -j8                            souffle-profile -c "graph ver C2.1 tuples" ok
720: recursive -j8 souffle-profile -c "rul id N2.1"  ok
722: recursive -j8 souffle-profile -c "graph C2.1 tot_t" ok
721: recursive -j8 souffle-profile -c "graph R2 copy_t" ok
723: recursive -j8 souffle-profile -c "graph ver C2.1 tuples" ok
724: recursive -j8 souffle-profile -c "top"          ok
725: recursive -j8 souffle-profile -c "help"         ok
714: lrg_attr_id   -c -j8                            souffle-profile -c "top" ok
715: lrg_attr_id   -c -j8                            souffle-profile -c "help" ok
726: recursive   -c -j8                            souffle-profile -c "rel" ok
727: recursive   -c -j8                            souffle-profile -c "rel R2" ok
728: recursive   -c -j8                            souffle-profile -c "rul" ok
729: recursive   -c -j8                            souffle-profile -c "rul C2.1" ok
730: recursive   -c -j8                            souffle-profile -c "rul id N2.1" ok
731: recursive   -c -j8                            souffle-profile -c "graph R2 copy_t" ok
733: recursive   -c -j8                            souffle-profile -c "graph ver C2.1 tuples" ok
732: recursive   -c -j8                            souffle-profile -c "graph C2.1 tot_t" ok
736: components -j8                                  ok
738: constraints -j8                                 ok
734: recursive   -c -j8                            souffle-profile -c "top" ok
735: recursive   -c -j8                            souffle-profile -c "help" ok
740: cprog1 -j8                                      ok
742: eqrel_tests3 -j8                                ok
737: components -c -j8                               ok
744: explain_float_unsigned -j8                      ok
739: constraints -c -j8                              ok
746: high_arity -j8                                  ok
741: cprog1 -c -j8                                   ok
748: negation -j8                                    ok
743: eqrel_tests3 -c -j8                             ok
750: path -j8                                        ok
747: high_arity -c -j8                               ok
752: path_explain_negation -j8                       ok
745: explain_float_unsigned -c -j8                   ok
754: path_explain_output -j8                         ok
749: negation -c -j8                                 ok
756: same_gen -j8                                    ok
751: path -c -j8                                     ok
758: query_1 -j8                                     ok
753: path_explain_negation -c -j8                    ok
760: query_2 -j8                                     ok
755: path_explain_output -c -j8                      ok
762: query_3 -j8                                     ok
757: same_gen -c -j8                                 ok
764: query_float_unsigned -j8                        ok
759: query_1 -c -j8                                  ok
761: query_2 -c -j8                                  ok
763: query_3 -c -j8                                  ok
765: query_float_unsigned -c -j8                     ok

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

All 765 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