SuccessConsole Output

Started by GitHub push by b-scholz
Running as SYSTEM
Building remotely on VM1 (virtual rhel hasDocker) in workspace /home/souffle/workspace/Master-Ubuntu-LTS-64bit-domains
The recommended git tool is: NONE
using credential 2de3d1c8-3112-4608-8303-42858c1ed1f9
Cloning the remote Git repository
Cloning repository https://github.com/souffle-lang/souffle.git
 > git init /home/souffle/workspace/Master-Ubuntu-LTS-64bit-domains # timeout=10
Fetching upstream changes from https://github.com/souffle-lang/souffle.git
 > git --version # timeout=10
 > git --version # 'git version 1.8.3.1'
using GIT_ASKPASS to set credentials Github bot login
 > git fetch --tags --progress https://github.com/souffle-lang/souffle.git +refs/heads/*:refs/remotes/origin/* # timeout=10
 > git config remote.origin.url https://github.com/souffle-lang/souffle.git # timeout=10
 > git config --add remote.origin.fetch +refs/heads/*:refs/remotes/origin/* # timeout=10
Avoid second fetch
 > git rev-parse refs/remotes/origin/master^{commit} # timeout=10
Checking out Revision 85f8c30ccaf332f53af92562d88bd295eee69013 (refs/remotes/origin/master)
 > git config core.sparsecheckout # timeout=10
 > git checkout -f 85f8c30ccaf332f53af92562d88bd295eee69013 # timeout=10
Commit message: "Merge pull request #1720 from XiaowenHu96/interpreter6"
 > git rev-list --no-walk ff2471bc81be72b406d2323fc65a21c90f8b8a5d # timeout=10
[Checks API] No suitable checks publisher found.
[Master-Ubuntu-LTS-64bit-domains] $ /bin/sh -xe /tmp/jenkins274572629926601113.sh + TERM=xterm ++ pwd + docker run -t --rm --mount src=/home/souffle/workspace/Master-Ubuntu-LTS-64bit-domains,target=/souffle,type=bind -u 1001 ubuntu_lts sh -c 'cd /souffle && git clean -ffxd && ./bootstrap && ./configure --enable-64bit-domain && make -j4 && TESTSUITEFLAGS=-j4 SOUFFLE_CATEGORY=Syntactic,Evaluation,Interface,Provenance,Profile make check -j4 || (.travis/after_failure.sh && false)' libtoolize: putting auxiliary files in AC_CONFIG_AUX_DIR, 'auxfiles'. libtoolize: linking file 'auxfiles/ltmain.sh' libtoolize: putting macros in AC_CONFIG_MACRO_DIRS, 'm4'. libtoolize: linking file 'm4/libtool.m4' libtoolize: linking file 'm4/ltoptions.m4' libtoolize: linking file 'm4/ltsugar.m4' libtoolize: linking file 'm4/ltversion.m4' libtoolize: linking file 'm4/lt~obsolete.m4' configure.ac:25: installing 'auxfiles/compile' configure.ac:25: installing 'auxfiles/config.guess' configure.ac:25: installing 'auxfiles/config.sub' configure.ac:31: installing 'auxfiles/install-sh' configure.ac:31: installing 'auxfiles/missing' src/Makefile.am: installing 'auxfiles/depcomp' parallel-tests: installing 'auxfiles/test-driver' checking build system type... x86_64-pc-linux-gnu checking host system type... x86_64-pc-linux-gnu checking how to print strings... printf checking for gcc... gcc checking whether the C compiler works... yes checking for C compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix of object files... o checking whether we are using the GNU C compiler... yes checking whether gcc accepts -g... yes checking for gcc option to accept ISO C89... none needed checking whether gcc understands -c and -o together... yes checking for a sed that does not truncate output... /usr/bin/sed checking for grep that handles long lines and -e... /usr/bin/grep checking for egrep... /usr/bin/grep -E checking for fgrep... /usr/bin/grep -F checking for ld used by gcc... /usr/bin/ld checking if the linker (/usr/bin/ld) is GNU ld... yes checking for BSD- or MS-compatible name lister (nm)... /usr/bin/nm -B checking the name lister (/usr/bin/nm -B) interface... BSD nm checking whether ln -s works... yes checking the maximum length of command line arguments... 1572864 checking how to convert x86_64-pc-linux-gnu file names to x86_64-pc-linux-gnu format... func_convert_file_noop checking how to convert x86_64-pc-linux-gnu file names to toolchain format... func_convert_file_noop checking for /usr/bin/ld option to reload object files... -r checking for objdump... objdump checking how to recognize dependent libraries... pass_all checking for dlltool... no checking how to associate runtime and link libraries... printf %s\n checking for ar... ar checking for archiver @FILE support... @ checking for strip... strip checking for ranlib... ranlib checking for gawk... no checking for mawk... mawk checking command to parse /usr/bin/nm -B output from gcc object... ok checking for sysroot... no checking for a working dd... /usr/bin/dd checking how to truncate binary pipes... /usr/bin/dd bs=4096 count=1 checking for mt... no checking if : is a manifest tool... no checking how to run the C preprocessor... gcc -E checking for ANSI C header files... yes checking for sys/types.h... yes checking for sys/stat.h... yes checking for stdlib.h... yes checking for string.h... yes checking for memory.h... yes checking for strings.h... yes checking for inttypes.h... yes checking for stdint.h... yes checking for unistd.h... yes checking for dlfcn.h... yes checking for objdir... .libs checking if gcc supports -fno-rtti -fno-exceptions... no checking for gcc option to produce PIC... -fPIC -DPIC checking if gcc PIC flag -fPIC -DPIC works... yes checking if gcc static flag -static works... yes checking if gcc supports -c -o file.o... yes checking if gcc supports -c -o file.o... (cached) yes checking whether the gcc linker (/usr/bin/ld -m elf_x86_64) supports shared libraries... yes checking whether -lc should be explicitly linked in... no checking dynamic linker characteristics... GNU/Linux ld.so checking how to hardcode library paths into programs... immediate checking for shl_load... no checking for shl_load in -ldld... no checking for dlopen... no checking for dlopen in -ldl... yes checking whether a program can dlopen itself... yes checking whether a statically linked program can dlopen itself... no checking whether stripping libraries is possible... yes checking if libtool supports shared libraries... yes checking whether to build shared libraries... yes checking whether to build static libraries... yes checking target system type... x86_64-pc-linux-gnu checking for a BSD-compatible install... /usr/bin/install -c checking whether build environment is sane... yes checking for a thread-safe mkdir -p... /usr/bin/mkdir -p checking whether make sets $(MAKE)... yes checking whether make supports the include directive... yes (GNU style) checking whether make supports nested variables... yes checking how to create a pax tar archive... gnutar checking dependency style of gcc... gcc3 checking whether to enable maintainer-specific portions of Makefiles... no checking for working ncursesw... yes checking ncursesw/curses.h usability... yes checking ncursesw/curses.h presence... yes checking for ncursesw/curses.h... yes checking for g++... g++ checking whether we are using the GNU C++ compiler... yes checking whether g++ accepts -g... yes checking how to run the C++ preprocessor... g++ -E checking for ld used by g++... /usr/bin/ld -m elf_x86_64 checking if the linker (/usr/bin/ld -m elf_x86_64) is GNU ld... yes checking whether the g++ linker (/usr/bin/ld -m elf_x86_64) supports shared libraries... yes checking for g++ option to produce PIC... -fPIC -DPIC checking if g++ PIC flag -fPIC -DPIC works... yes checking if g++ static flag -static works... yes checking if g++ supports -c -o file.o... yes checking if g++ supports -c -o file.o... (cached) yes checking whether the g++ linker (/usr/bin/ld -m elf_x86_64) supports shared libraries... yes checking dynamic linker characteristics... (cached) GNU/Linux ld.so checking how to hardcode library paths into programs... immediate checking dependency style of g++... gcc3 checking whether g++ supports C++17 features with -std=c++17... yes checking whether make sets $(MAKE)... (cached) yes checking for doxygen... /usr/bin/doxygen checking for perl... /usr/bin/perl checking for dot... /usr/bin/dot checking for flex... flex checking for mcpp... mcpp checking for bison... bison checking for bison version... 3.5.1 checking zlib.h usability... yes checking zlib.h presence... yes checking for zlib.h... yes checking for compress in -lz... yes checking sqlite3.h usability... yes checking sqlite3.h presence... yes checking for sqlite3.h... yes checking for sqlite3_open in -lsqlite3... yes checking for pkg-config... /usr/bin/pkg-config checking pkg-config is at least version 0.9.0... yes checking for FFI... yes checking for pthread_create in -lpthread... yes checking for dlopen in -ldl... (cached) yes checking for g++ -std=c++17 option to support OpenMP... -fopenmp checking for target cpu... checking for size_t... yes checking for working alloca.h... yes checking for alloca... yes checking arpa/inet.h usability... yes checking arpa/inet.h presence... yes checking for arpa/inet.h... yes checking fcntl.h usability... yes checking fcntl.h presence... yes checking for fcntl.h... yes checking float.h usability... yes checking float.h presence... yes checking for float.h... yes checking for inttypes.h... (cached) yes checking libintl.h usability... yes checking libintl.h presence... yes checking for libintl.h... yes checking limits.h usability... yes checking limits.h presence... yes checking for limits.h... yes checking malloc.h usability... yes checking malloc.h presence... yes checking for malloc.h... yes checking for memory.h... (cached) yes checking netdb.h usability... yes checking netdb.h presence... yes checking for netdb.h... yes checking stddef.h usability... yes checking stddef.h presence... yes checking for stddef.h... yes checking for stdint.h... (cached) yes checking for stdlib.h... (cached) yes checking for string.h... (cached) yes checking for strings.h... (cached) yes checking sys/time.h usability... yes checking sys/time.h presence... yes checking for sys/time.h... yes checking sys/timeb.h usability... yes checking sys/timeb.h presence... yes checking for sys/timeb.h... yes checking for unistd.h... (cached) yes checking wchar.h usability... yes checking wchar.h presence... yes checking for wchar.h... yes checking wctype.h usability... yes checking wctype.h presence... yes checking for wctype.h... yes checking that generated files are newer than configure... done configure: creating ./config.status config.status: creating Makefile config.status: creating src/Makefile config.status: creating src/ast/tests/Makefile config.status: creating src/interpreter/tests/Makefile config.status: creating src/ram/tests/Makefile config.status: creating src/tests/Makefile config.status: creating tests/Makefile config.status: creating tests/atlocal config.status: creating tests/interface/functors/Makefile config.status: creating src/souffle-compile config.status: creating src/souffle-config config.status: creating debian/changelog config.status: creating src/config.h config.status: linking debian/souffle.bash-completion to utilities/bash-completion/completions/souffle config.status: executing libtool commands config.status: executing depfiles commands config.status: executing tests/atconfig commands config.status: executing default commands Making all in src make[1]: Entering directory '/souffle/src' make all-recursive make[2]: Entering directory '/souffle/src' Making all in . make[3]: Entering directory '/souffle/src' bison -Wall -Werror -Wno-error=deprecated -Wno-error=other -v -d -o parser/parser.cc ./parser/parser.yy /bin/bash ../libtool --tag=CXX --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT libsouffle_la-FunctorOps.lo -MD -MP -MF .deps/libsouffle_la-FunctorOps.Tpo -c -o libsouffle_la-FunctorOps.lo `test -f 'FunctorOps.cpp' || echo './'`FunctorOps.cpp /bin/bash ../libtool --tag=CXX --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT libsouffle_la-Global.lo -MD -MP -MF .deps/libsouffle_la-Global.Tpo -c -o libsouffle_la-Global.lo `test -f 'Global.cpp' || echo './'`Global.cpp ./parser/parser.yy:20.1-34: warning: deprecated directive: '%define parser_class_name {parser}', use '%define api.parser.class {parser}' [-Wdeprecated] 20 | %define parser_class_name {parser} | ^~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~~ | %define api.parser.class {parser} libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT libsouffle_la-Global.lo -MD -MP -MF .deps/libsouffle_la-Global.Tpo -c Global.cpp -fPIC -DPIC -o .libs/libsouffle_la-Global.o libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT libsouffle_la-FunctorOps.lo -MD -MP -MF .deps/libsouffle_la-FunctorOps.Tpo -c FunctorOps.cpp -fPIC -DPIC -o .libs/libsouffle_la-FunctorOps.o g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT souffle_profile-souffle_prof.o -MD -MP -MF .deps/souffle_profile-souffle_prof.Tpo -c -o souffle_profile-souffle_prof.o `test -f 'souffle_prof.cpp' || echo './'`souffle_prof.cpp ./parser/parser.yy: warning: fix-its can be applied. Rerun with option '--update'. [-Wother] g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT souffle-main.o -MD -MP -MF .deps/souffle-main.Tpo -c -o souffle-main.o `test -f 'main.cpp' || echo './'`main.cpp libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT libsouffle_la-Global.lo -MD -MP -MF .deps/libsouffle_la-Global.Tpo -c Global.cpp -o libsouffle_la-Global.o >/dev/null 2>&1 libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT libsouffle_la-FunctorOps.lo -MD -MP -MF .deps/libsouffle_la-FunctorOps.Tpo -c FunctorOps.cpp -o libsouffle_la-FunctorOps.o >/dev/null 2>&1 mv -f .deps/libsouffle_la-Global.Tpo .deps/libsouffle_la-Global.Plo /bin/bash ../libtool --tag=CXX --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/libsouffle_la-Program.lo -MD -MP -MF ast/.deps/libsouffle_la-Program.Tpo -c -o ast/libsouffle_la-Program.lo `test -f 'ast/Program.cpp' || echo './'`ast/Program.cpp libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/libsouffle_la-Program.lo -MD -MP -MF ast/.deps/libsouffle_la-Program.Tpo -c ast/Program.cpp -fPIC -DPIC -o ast/.libs/libsouffle_la-Program.o mv -f .deps/libsouffle_la-FunctorOps.Tpo .deps/libsouffle_la-FunctorOps.Plo /bin/bash ../libtool --tag=CXX --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/analysis/libsouffle_la-Aggregate.lo -MD -MP -MF ast/analysis/.deps/libsouffle_la-Aggregate.Tpo -c -o ast/analysis/libsouffle_la-Aggregate.lo `test -f 'ast/analysis/Aggregate.cpp' || echo './'`ast/analysis/Aggregate.cpp libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/analysis/libsouffle_la-Aggregate.lo -MD -MP -MF ast/analysis/.deps/libsouffle_la-Aggregate.Tpo -c ast/analysis/Aggregate.cpp -fPIC -DPIC -o ast/analysis/.libs/libsouffle_la-Aggregate.o libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/libsouffle_la-Program.lo -MD -MP -MF ast/.deps/libsouffle_la-Program.Tpo -c ast/Program.cpp -o ast/libsouffle_la-Program.o >/dev/null 2>&1 libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/analysis/libsouffle_la-Aggregate.lo -MD -MP -MF ast/analysis/.deps/libsouffle_la-Aggregate.Tpo -c ast/analysis/Aggregate.cpp -o ast/analysis/libsouffle_la-Aggregate.o >/dev/null 2>&1 mv -f ast/.deps/libsouffle_la-Program.Tpo ast/.deps/libsouffle_la-Program.Plo /bin/bash ../libtool --tag=CXX --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/analysis/libsouffle_la-AuxArity.lo -MD -MP -MF ast/analysis/.deps/libsouffle_la-AuxArity.Tpo -c -o ast/analysis/libsouffle_la-AuxArity.lo `test -f 'ast/analysis/AuxArity.cpp' || echo './'`ast/analysis/AuxArity.cpp libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/analysis/libsouffle_la-AuxArity.lo -MD -MP -MF ast/analysis/.deps/libsouffle_la-AuxArity.Tpo -c ast/analysis/AuxArity.cpp -fPIC -DPIC -o ast/analysis/.libs/libsouffle_la-AuxArity.o libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/analysis/libsouffle_la-AuxArity.lo -MD -MP -MF ast/analysis/.deps/libsouffle_la-AuxArity.Tpo -c ast/analysis/AuxArity.cpp -o ast/analysis/libsouffle_la-AuxArity.o >/dev/null 2>&1 mv -f .deps/souffle_profile-souffle_prof.Tpo .deps/souffle_profile-souffle_prof.Po /bin/bash ../libtool --tag=CXX --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/analysis/libsouffle_la-ClauseNormalisation.lo -MD -MP -MF ast/analysis/.deps/libsouffle_la-ClauseNormalisation.Tpo -c -o ast/analysis/libsouffle_la-ClauseNormalisation.lo `test -f 'ast/analysis/ClauseNormalisation.cpp' || echo './'`ast/analysis/ClauseNormalisation.cpp libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/analysis/libsouffle_la-ClauseNormalisation.lo -MD -MP -MF ast/analysis/.deps/libsouffle_la-ClauseNormalisation.Tpo -c ast/analysis/ClauseNormalisation.cpp -fPIC -DPIC -o ast/analysis/.libs/libsouffle_la-ClauseNormalisation.o mv -f ast/analysis/.deps/libsouffle_la-AuxArity.Tpo ast/analysis/.deps/libsouffle_la-AuxArity.Plo /bin/bash ../libtool --tag=CXX --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/analysis/libsouffle_la-ComponentLookup.lo -MD -MP -MF ast/analysis/.deps/libsouffle_la-ComponentLookup.Tpo -c -o ast/analysis/libsouffle_la-ComponentLookup.lo `test -f 'ast/analysis/ComponentLookup.cpp' || echo './'`ast/analysis/ComponentLookup.cpp libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/analysis/libsouffle_la-ComponentLookup.lo -MD -MP -MF ast/analysis/.deps/libsouffle_la-ComponentLookup.Tpo -c ast/analysis/ComponentLookup.cpp -fPIC -DPIC -o ast/analysis/.libs/libsouffle_la-ComponentLookup.o mv -f ast/analysis/.deps/libsouffle_la-Aggregate.Tpo ast/analysis/.deps/libsouffle_la-Aggregate.Plo /bin/bash ../libtool --tag=CXX --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/analysis/libsouffle_la-Functor.lo -MD -MP -MF ast/analysis/.deps/libsouffle_la-Functor.Tpo -c -o ast/analysis/libsouffle_la-Functor.lo `test -f 'ast/analysis/Functor.cpp' || echo './'`ast/analysis/Functor.cpp libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/analysis/libsouffle_la-Functor.lo -MD -MP -MF ast/analysis/.deps/libsouffle_la-Functor.Tpo -c ast/analysis/Functor.cpp -fPIC -DPIC -o ast/analysis/.libs/libsouffle_la-Functor.o libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/analysis/libsouffle_la-ClauseNormalisation.lo -MD -MP -MF ast/analysis/.deps/libsouffle_la-ClauseNormalisation.Tpo -c ast/analysis/ClauseNormalisation.cpp -o ast/analysis/libsouffle_la-ClauseNormalisation.o >/dev/null 2>&1 libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/analysis/libsouffle_la-ComponentLookup.lo -MD -MP -MF ast/analysis/.deps/libsouffle_la-ComponentLookup.Tpo -c ast/analysis/ComponentLookup.cpp -o ast/analysis/libsouffle_la-ComponentLookup.o >/dev/null 2>&1 libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/analysis/libsouffle_la-Functor.lo -MD -MP -MF ast/analysis/.deps/libsouffle_la-Functor.Tpo -c ast/analysis/Functor.cpp -o ast/analysis/libsouffle_la-Functor.o >/dev/null 2>&1 mv -f ast/analysis/.deps/libsouffle_la-ComponentLookup.Tpo ast/analysis/.deps/libsouffle_la-ComponentLookup.Plo /bin/bash ../libtool --tag=CXX --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/analysis/libsouffle_la-Ground.lo -MD -MP -MF ast/analysis/.deps/libsouffle_la-Ground.Tpo -c -o ast/analysis/libsouffle_la-Ground.lo `test -f 'ast/analysis/Ground.cpp' || echo './'`ast/analysis/Ground.cpp libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/analysis/libsouffle_la-Ground.lo -MD -MP -MF ast/analysis/.deps/libsouffle_la-Ground.Tpo -c ast/analysis/Ground.cpp -fPIC -DPIC -o ast/analysis/.libs/libsouffle_la-Ground.o mv -f ast/analysis/.deps/libsouffle_la-ClauseNormalisation.Tpo ast/analysis/.deps/libsouffle_la-ClauseNormalisation.Plo /bin/bash ../libtool --tag=CXX --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/analysis/libsouffle_la-IOType.lo -MD -MP -MF ast/analysis/.deps/libsouffle_la-IOType.Tpo -c -o ast/analysis/libsouffle_la-IOType.lo `test -f 'ast/analysis/IOType.cpp' || echo './'`ast/analysis/IOType.cpp libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/analysis/libsouffle_la-IOType.lo -MD -MP -MF ast/analysis/.deps/libsouffle_la-IOType.Tpo -c ast/analysis/IOType.cpp -fPIC -DPIC -o ast/analysis/.libs/libsouffle_la-IOType.o libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/analysis/libsouffle_la-IOType.lo -MD -MP -MF ast/analysis/.deps/libsouffle_la-IOType.Tpo -c ast/analysis/IOType.cpp -o ast/analysis/libsouffle_la-IOType.o >/dev/null 2>&1 mv -f ast/analysis/.deps/libsouffle_la-Functor.Tpo ast/analysis/.deps/libsouffle_la-Functor.Plo /bin/bash ../libtool --tag=CXX --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/analysis/libsouffle_la-PrecedenceGraph.lo -MD -MP -MF ast/analysis/.deps/libsouffle_la-PrecedenceGraph.Tpo -c -o ast/analysis/libsouffle_la-PrecedenceGraph.lo `test -f 'ast/analysis/PrecedenceGraph.cpp' || echo './'`ast/analysis/PrecedenceGraph.cpp libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/analysis/libsouffle_la-PrecedenceGraph.lo -MD -MP -MF ast/analysis/.deps/libsouffle_la-PrecedenceGraph.Tpo -c ast/analysis/PrecedenceGraph.cpp -fPIC -DPIC -o ast/analysis/.libs/libsouffle_la-PrecedenceGraph.o libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/analysis/libsouffle_la-Ground.lo -MD -MP -MF ast/analysis/.deps/libsouffle_la-Ground.Tpo -c ast/analysis/Ground.cpp -o ast/analysis/libsouffle_la-Ground.o >/dev/null 2>&1 mv -f ast/analysis/.deps/libsouffle_la-IOType.Tpo ast/analysis/.deps/libsouffle_la-IOType.Plo /bin/bash ../libtool --tag=CXX --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/analysis/libsouffle_la-ProfileUse.lo -MD -MP -MF ast/analysis/.deps/libsouffle_la-ProfileUse.Tpo -c -o ast/analysis/libsouffle_la-ProfileUse.lo `test -f 'ast/analysis/ProfileUse.cpp' || echo './'`ast/analysis/ProfileUse.cpp libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/analysis/libsouffle_la-ProfileUse.lo -MD -MP -MF ast/analysis/.deps/libsouffle_la-ProfileUse.Tpo -c ast/analysis/ProfileUse.cpp -fPIC -DPIC -o ast/analysis/.libs/libsouffle_la-ProfileUse.o libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/analysis/libsouffle_la-PrecedenceGraph.lo -MD -MP -MF ast/analysis/.deps/libsouffle_la-PrecedenceGraph.Tpo -c ast/analysis/PrecedenceGraph.cpp -o ast/analysis/libsouffle_la-PrecedenceGraph.o >/dev/null 2>&1 mv -f ast/analysis/.deps/libsouffle_la-Ground.Tpo ast/analysis/.deps/libsouffle_la-Ground.Plo /bin/bash ../libtool --tag=CXX --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/analysis/libsouffle_la-RecursiveClauses.lo -MD -MP -MF ast/analysis/.deps/libsouffle_la-RecursiveClauses.Tpo -c -o ast/analysis/libsouffle_la-RecursiveClauses.lo `test -f 'ast/analysis/RecursiveClauses.cpp' || echo './'`ast/analysis/RecursiveClauses.cpp libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/analysis/libsouffle_la-RecursiveClauses.lo -MD -MP -MF ast/analysis/.deps/libsouffle_la-RecursiveClauses.Tpo -c ast/analysis/RecursiveClauses.cpp -fPIC -DPIC -o ast/analysis/.libs/libsouffle_la-RecursiveClauses.o libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/analysis/libsouffle_la-ProfileUse.lo -MD -MP -MF ast/analysis/.deps/libsouffle_la-ProfileUse.Tpo -c ast/analysis/ProfileUse.cpp -o ast/analysis/libsouffle_la-ProfileUse.o >/dev/null 2>&1 mv -f ast/analysis/.deps/libsouffle_la-PrecedenceGraph.Tpo ast/analysis/.deps/libsouffle_la-PrecedenceGraph.Plo /bin/bash ../libtool --tag=CXX --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/analysis/libsouffle_la-RedundantRelations.lo -MD -MP -MF ast/analysis/.deps/libsouffle_la-RedundantRelations.Tpo -c -o ast/analysis/libsouffle_la-RedundantRelations.lo `test -f 'ast/analysis/RedundantRelations.cpp' || echo './'`ast/analysis/RedundantRelations.cpp libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/analysis/libsouffle_la-RedundantRelations.lo -MD -MP -MF ast/analysis/.deps/libsouffle_la-RedundantRelations.Tpo -c ast/analysis/RedundantRelations.cpp -fPIC -DPIC -o ast/analysis/.libs/libsouffle_la-RedundantRelations.o libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/analysis/libsouffle_la-RecursiveClauses.lo -MD -MP -MF ast/analysis/.deps/libsouffle_la-RecursiveClauses.Tpo -c ast/analysis/RecursiveClauses.cpp -o ast/analysis/libsouffle_la-RecursiveClauses.o >/dev/null 2>&1 mv -f .deps/souffle-main.Tpo .deps/souffle-main.Po /bin/bash ../libtool --tag=CXX --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/analysis/libsouffle_la-RelationDetailCache.lo -MD -MP -MF ast/analysis/.deps/libsouffle_la-RelationDetailCache.Tpo -c -o ast/analysis/libsouffle_la-RelationDetailCache.lo `test -f 'ast/analysis/RelationDetailCache.cpp' || echo './'`ast/analysis/RelationDetailCache.cpp libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/analysis/libsouffle_la-RelationDetailCache.lo -MD -MP -MF ast/analysis/.deps/libsouffle_la-RelationDetailCache.Tpo -c ast/analysis/RelationDetailCache.cpp -fPIC -DPIC -o ast/analysis/.libs/libsouffle_la-RelationDetailCache.o libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/analysis/libsouffle_la-RedundantRelations.lo -MD -MP -MF ast/analysis/.deps/libsouffle_la-RedundantRelations.Tpo -c ast/analysis/RedundantRelations.cpp -o ast/analysis/libsouffle_la-RedundantRelations.o >/dev/null 2>&1 mv -f ast/analysis/.deps/libsouffle_la-RecursiveClauses.Tpo ast/analysis/.deps/libsouffle_la-RecursiveClauses.Plo /bin/bash ../libtool --tag=CXX --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/analysis/libsouffle_la-RelationSchedule.lo -MD -MP -MF ast/analysis/.deps/libsouffle_la-RelationSchedule.Tpo -c -o ast/analysis/libsouffle_la-RelationSchedule.lo `test -f 'ast/analysis/RelationSchedule.cpp' || echo './'`ast/analysis/RelationSchedule.cpp mv -f ast/analysis/.deps/libsouffle_la-ProfileUse.Tpo ast/analysis/.deps/libsouffle_la-ProfileUse.Plo /bin/bash ../libtool --tag=CXX --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/analysis/libsouffle_la-SCCGraph.lo -MD -MP -MF ast/analysis/.deps/libsouffle_la-SCCGraph.Tpo -c -o ast/analysis/libsouffle_la-SCCGraph.lo `test -f 'ast/analysis/SCCGraph.cpp' || echo './'`ast/analysis/SCCGraph.cpp libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/analysis/libsouffle_la-RelationSchedule.lo -MD -MP -MF ast/analysis/.deps/libsouffle_la-RelationSchedule.Tpo -c ast/analysis/RelationSchedule.cpp -fPIC -DPIC -o ast/analysis/.libs/libsouffle_la-RelationSchedule.o libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/analysis/libsouffle_la-SCCGraph.lo -MD -MP -MF ast/analysis/.deps/libsouffle_la-SCCGraph.Tpo -c ast/analysis/SCCGraph.cpp -fPIC -DPIC -o ast/analysis/.libs/libsouffle_la-SCCGraph.o libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/analysis/libsouffle_la-RelationDetailCache.lo -MD -MP -MF ast/analysis/.deps/libsouffle_la-RelationDetailCache.Tpo -c ast/analysis/RelationDetailCache.cpp -o ast/analysis/libsouffle_la-RelationDetailCache.o >/dev/null 2>&1 mv -f ast/analysis/.deps/libsouffle_la-RedundantRelations.Tpo ast/analysis/.deps/libsouffle_la-RedundantRelations.Plo /bin/bash ../libtool --tag=CXX --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/analysis/libsouffle_la-SumTypeBranches.lo -MD -MP -MF ast/analysis/.deps/libsouffle_la-SumTypeBranches.Tpo -c -o ast/analysis/libsouffle_la-SumTypeBranches.lo `test -f 'ast/analysis/SumTypeBranches.cpp' || echo './'`ast/analysis/SumTypeBranches.cpp libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/analysis/libsouffle_la-SumTypeBranches.lo -MD -MP -MF ast/analysis/.deps/libsouffle_la-SumTypeBranches.Tpo -c ast/analysis/SumTypeBranches.cpp -fPIC -DPIC -o ast/analysis/.libs/libsouffle_la-SumTypeBranches.o libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/analysis/libsouffle_la-RelationSchedule.lo -MD -MP -MF ast/analysis/.deps/libsouffle_la-RelationSchedule.Tpo -c ast/analysis/RelationSchedule.cpp -o ast/analysis/libsouffle_la-RelationSchedule.o >/dev/null 2>&1 mv -f ast/analysis/.deps/libsouffle_la-RelationDetailCache.Tpo ast/analysis/.deps/libsouffle_la-RelationDetailCache.Plo /bin/bash ../libtool --tag=CXX --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/analysis/libsouffle_la-TopologicallySortedSCCGraph.lo -MD -MP -MF ast/analysis/.deps/libsouffle_la-TopologicallySortedSCCGraph.Tpo -c -o ast/analysis/libsouffle_la-TopologicallySortedSCCGraph.lo `test -f 'ast/analysis/TopologicallySortedSCCGraph.cpp' || echo './'`ast/analysis/TopologicallySortedSCCGraph.cpp libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/analysis/libsouffle_la-TopologicallySortedSCCGraph.lo -MD -MP -MF ast/analysis/.deps/libsouffle_la-TopologicallySortedSCCGraph.Tpo -c ast/analysis/TopologicallySortedSCCGraph.cpp -fPIC -DPIC -o ast/analysis/.libs/libsouffle_la-TopologicallySortedSCCGraph.o libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/analysis/libsouffle_la-SCCGraph.lo -MD -MP -MF ast/analysis/.deps/libsouffle_la-SCCGraph.Tpo -c ast/analysis/SCCGraph.cpp -o ast/analysis/libsouffle_la-SCCGraph.o >/dev/null 2>&1 libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/analysis/libsouffle_la-SumTypeBranches.lo -MD -MP -MF ast/analysis/.deps/libsouffle_la-SumTypeBranches.Tpo -c ast/analysis/SumTypeBranches.cpp -o ast/analysis/libsouffle_la-SumTypeBranches.o >/dev/null 2>&1 libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/analysis/libsouffle_la-TopologicallySortedSCCGraph.lo -MD -MP -MF ast/analysis/.deps/libsouffle_la-TopologicallySortedSCCGraph.Tpo -c ast/analysis/TopologicallySortedSCCGraph.cpp -o ast/analysis/libsouffle_la-TopologicallySortedSCCGraph.o >/dev/null 2>&1 mv -f ast/analysis/.deps/libsouffle_la-RelationSchedule.Tpo ast/analysis/.deps/libsouffle_la-RelationSchedule.Plo /bin/bash ../libtool --tag=CXX --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/analysis/libsouffle_la-Type.lo -MD -MP -MF ast/analysis/.deps/libsouffle_la-Type.Tpo -c -o ast/analysis/libsouffle_la-Type.lo `test -f 'ast/analysis/Type.cpp' || echo './'`ast/analysis/Type.cpp libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/analysis/libsouffle_la-Type.lo -MD -MP -MF ast/analysis/.deps/libsouffle_la-Type.Tpo -c ast/analysis/Type.cpp -fPIC -DPIC -o ast/analysis/.libs/libsouffle_la-Type.o mv -f ast/analysis/.deps/libsouffle_la-SCCGraph.Tpo ast/analysis/.deps/libsouffle_la-SCCGraph.Plo /bin/bash ../libtool --tag=CXX --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/analysis/libsouffle_la-TypeSystem.lo -MD -MP -MF ast/analysis/.deps/libsouffle_la-TypeSystem.Tpo -c -o ast/analysis/libsouffle_la-TypeSystem.lo `test -f 'ast/analysis/TypeSystem.cpp' || echo './'`ast/analysis/TypeSystem.cpp libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/analysis/libsouffle_la-TypeSystem.lo -MD -MP -MF ast/analysis/.deps/libsouffle_la-TypeSystem.Tpo -c ast/analysis/TypeSystem.cpp -fPIC -DPIC -o ast/analysis/.libs/libsouffle_la-TypeSystem.o mv -f ast/analysis/.deps/libsouffle_la-SumTypeBranches.Tpo ast/analysis/.deps/libsouffle_la-SumTypeBranches.Plo /bin/bash ../libtool --tag=CXX --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/analysis/libsouffle_la-TypeEnvironment.lo -MD -MP -MF ast/analysis/.deps/libsouffle_la-TypeEnvironment.Tpo -c -o ast/analysis/libsouffle_la-TypeEnvironment.lo `test -f 'ast/analysis/TypeEnvironment.cpp' || echo './'`ast/analysis/TypeEnvironment.cpp libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/analysis/libsouffle_la-TypeEnvironment.lo -MD -MP -MF ast/analysis/.deps/libsouffle_la-TypeEnvironment.Tpo -c ast/analysis/TypeEnvironment.cpp -fPIC -DPIC -o ast/analysis/.libs/libsouffle_la-TypeEnvironment.o mv -f ast/analysis/.deps/libsouffle_la-TopologicallySortedSCCGraph.Tpo ast/analysis/.deps/libsouffle_la-TopologicallySortedSCCGraph.Plo /bin/bash ../libtool --tag=CXX --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-ADTtoRecords.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-ADTtoRecords.Tpo -c -o ast/transform/libsouffle_la-ADTtoRecords.lo `test -f 'ast/transform/ADTtoRecords.cpp' || echo './'`ast/transform/ADTtoRecords.cpp libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-ADTtoRecords.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-ADTtoRecords.Tpo -c ast/transform/ADTtoRecords.cpp -fPIC -DPIC -o ast/transform/.libs/libsouffle_la-ADTtoRecords.o libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/analysis/libsouffle_la-TypeSystem.lo -MD -MP -MF ast/analysis/.deps/libsouffle_la-TypeSystem.Tpo -c ast/analysis/TypeSystem.cpp -o ast/analysis/libsouffle_la-TypeSystem.o >/dev/null 2>&1 mv -f ast/analysis/.deps/libsouffle_la-TypeSystem.Tpo ast/analysis/.deps/libsouffle_la-TypeSystem.Plo /bin/bash ../libtool --tag=CXX --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-AddNullariesToAtomlessAggregates.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-AddNullariesToAtomlessAggregates.Tpo -c -o ast/transform/libsouffle_la-AddNullariesToAtomlessAggregates.lo `test -f 'ast/transform/AddNullariesToAtomlessAggregates.cpp' || echo './'`ast/transform/AddNullariesToAtomlessAggregates.cpp libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-AddNullariesToAtomlessAggregates.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-AddNullariesToAtomlessAggregates.Tpo -c ast/transform/AddNullariesToAtomlessAggregates.cpp -fPIC -DPIC -o ast/transform/.libs/libsouffle_la-AddNullariesToAtomlessAggregates.o libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/analysis/libsouffle_la-TypeEnvironment.lo -MD -MP -MF ast/analysis/.deps/libsouffle_la-TypeEnvironment.Tpo -c ast/analysis/TypeEnvironment.cpp -o ast/analysis/libsouffle_la-TypeEnvironment.o >/dev/null 2>&1 libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-ADTtoRecords.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-ADTtoRecords.Tpo -c ast/transform/ADTtoRecords.cpp -o ast/transform/libsouffle_la-ADTtoRecords.o >/dev/null 2>&1 libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/analysis/libsouffle_la-Type.lo -MD -MP -MF ast/analysis/.deps/libsouffle_la-Type.Tpo -c ast/analysis/Type.cpp -o ast/analysis/libsouffle_la-Type.o >/dev/null 2>&1 libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-AddNullariesToAtomlessAggregates.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-AddNullariesToAtomlessAggregates.Tpo -c ast/transform/AddNullariesToAtomlessAggregates.cpp -o ast/transform/libsouffle_la-AddNullariesToAtomlessAggregates.o >/dev/null 2>&1 mv -f ast/transform/.deps/libsouffle_la-ADTtoRecords.Tpo ast/transform/.deps/libsouffle_la-ADTtoRecords.Plo /bin/bash ../libtool --tag=CXX --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-ComponentChecker.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-ComponentChecker.Tpo -c -o ast/transform/libsouffle_la-ComponentChecker.lo `test -f 'ast/transform/ComponentChecker.cpp' || echo './'`ast/transform/ComponentChecker.cpp libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-ComponentChecker.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-ComponentChecker.Tpo -c ast/transform/ComponentChecker.cpp -fPIC -DPIC -o ast/transform/.libs/libsouffle_la-ComponentChecker.o mv -f ast/analysis/.deps/libsouffle_la-TypeEnvironment.Tpo ast/analysis/.deps/libsouffle_la-TypeEnvironment.Plo /bin/bash ../libtool --tag=CXX --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-ComponentInstantiation.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-ComponentInstantiation.Tpo -c -o ast/transform/libsouffle_la-ComponentInstantiation.lo `test -f 'ast/transform/ComponentInstantiation.cpp' || echo './'`ast/transform/ComponentInstantiation.cpp libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-ComponentInstantiation.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-ComponentInstantiation.Tpo -c ast/transform/ComponentInstantiation.cpp -fPIC -DPIC -o ast/transform/.libs/libsouffle_la-ComponentInstantiation.o libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-ComponentChecker.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-ComponentChecker.Tpo -c ast/transform/ComponentChecker.cpp -o ast/transform/libsouffle_la-ComponentChecker.o >/dev/null 2>&1 mv -f ast/transform/.deps/libsouffle_la-AddNullariesToAtomlessAggregates.Tpo ast/transform/.deps/libsouffle_la-AddNullariesToAtomlessAggregates.Plo /bin/bash ../libtool --tag=CXX --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-DebugReporter.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-DebugReporter.Tpo -c -o ast/transform/libsouffle_la-DebugReporter.lo `test -f 'ast/transform/DebugReporter.cpp' || echo './'`ast/transform/DebugReporter.cpp libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-DebugReporter.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-DebugReporter.Tpo -c ast/transform/DebugReporter.cpp -fPIC -DPIC -o ast/transform/.libs/libsouffle_la-DebugReporter.o mv -f ast/analysis/.deps/libsouffle_la-Type.Tpo ast/analysis/.deps/libsouffle_la-Type.Plo /bin/bash ../libtool --tag=CXX --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-ExecutionPlanChecker.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-ExecutionPlanChecker.Tpo -c -o ast/transform/libsouffle_la-ExecutionPlanChecker.lo `test -f 'ast/transform/ExecutionPlanChecker.cpp' || echo './'`ast/transform/ExecutionPlanChecker.cpp libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-ExecutionPlanChecker.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-ExecutionPlanChecker.Tpo -c ast/transform/ExecutionPlanChecker.cpp -fPIC -DPIC -o ast/transform/.libs/libsouffle_la-ExecutionPlanChecker.o libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-DebugReporter.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-DebugReporter.Tpo -c ast/transform/DebugReporter.cpp -o ast/transform/libsouffle_la-DebugReporter.o >/dev/null 2>&1 libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-ComponentInstantiation.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-ComponentInstantiation.Tpo -c ast/transform/ComponentInstantiation.cpp -o ast/transform/libsouffle_la-ComponentInstantiation.o >/dev/null 2>&1 libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-ExecutionPlanChecker.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-ExecutionPlanChecker.Tpo -c ast/transform/ExecutionPlanChecker.cpp -o ast/transform/libsouffle_la-ExecutionPlanChecker.o >/dev/null 2>&1 mv -f ast/transform/.deps/libsouffle_la-ComponentChecker.Tpo ast/transform/.deps/libsouffle_la-ComponentChecker.Plo /bin/bash ../libtool --tag=CXX --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-FoldAnonymousRecords.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-FoldAnonymousRecords.Tpo -c -o ast/transform/libsouffle_la-FoldAnonymousRecords.lo `test -f 'ast/transform/FoldAnonymousRecords.cpp' || echo './'`ast/transform/FoldAnonymousRecords.cpp libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-FoldAnonymousRecords.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-FoldAnonymousRecords.Tpo -c ast/transform/FoldAnonymousRecords.cpp -fPIC -DPIC -o ast/transform/.libs/libsouffle_la-FoldAnonymousRecords.o mv -f ast/transform/.deps/libsouffle_la-DebugReporter.Tpo ast/transform/.deps/libsouffle_la-DebugReporter.Plo /bin/bash ../libtool --tag=CXX --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-GroundedTermsChecker.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-GroundedTermsChecker.Tpo -c -o ast/transform/libsouffle_la-GroundedTermsChecker.lo `test -f 'ast/transform/GroundedTermsChecker.cpp' || echo './'`ast/transform/GroundedTermsChecker.cpp libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-GroundedTermsChecker.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-GroundedTermsChecker.Tpo -c ast/transform/GroundedTermsChecker.cpp -fPIC -DPIC -o ast/transform/.libs/libsouffle_la-GroundedTermsChecker.o mv -f ast/transform/.deps/libsouffle_la-ExecutionPlanChecker.Tpo ast/transform/.deps/libsouffle_la-ExecutionPlanChecker.Plo /bin/bash ../libtool --tag=CXX --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-GroundWitnesses.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-GroundWitnesses.Tpo -c -o ast/transform/libsouffle_la-GroundWitnesses.lo `test -f 'ast/transform/GroundWitnesses.cpp' || echo './'`ast/transform/GroundWitnesses.cpp libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-GroundWitnesses.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-GroundWitnesses.Tpo -c ast/transform/GroundWitnesses.cpp -fPIC -DPIC -o ast/transform/.libs/libsouffle_la-GroundWitnesses.o libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-GroundedTermsChecker.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-GroundedTermsChecker.Tpo -c ast/transform/GroundedTermsChecker.cpp -o ast/transform/libsouffle_la-GroundedTermsChecker.o >/dev/null 2>&1 libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-FoldAnonymousRecords.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-FoldAnonymousRecords.Tpo -c ast/transform/FoldAnonymousRecords.cpp -o ast/transform/libsouffle_la-FoldAnonymousRecords.o >/dev/null 2>&1 mv -f ast/transform/.deps/libsouffle_la-ComponentInstantiation.Tpo ast/transform/.deps/libsouffle_la-ComponentInstantiation.Plo /bin/bash ../libtool --tag=CXX --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-InlineRelations.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-InlineRelations.Tpo -c -o ast/transform/libsouffle_la-InlineRelations.lo `test -f 'ast/transform/InlineRelations.cpp' || echo './'`ast/transform/InlineRelations.cpp libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-InlineRelations.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-InlineRelations.Tpo -c ast/transform/InlineRelations.cpp -fPIC -DPIC -o ast/transform/.libs/libsouffle_la-InlineRelations.o mv -f ast/transform/.deps/libsouffle_la-GroundedTermsChecker.Tpo ast/transform/.deps/libsouffle_la-GroundedTermsChecker.Plo /bin/bash ../libtool --tag=CXX --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-MagicSet.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-MagicSet.Tpo -c -o ast/transform/libsouffle_la-MagicSet.lo `test -f 'ast/transform/MagicSet.cpp' || echo './'`ast/transform/MagicSet.cpp libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-MagicSet.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-MagicSet.Tpo -c ast/transform/MagicSet.cpp -fPIC -DPIC -o ast/transform/.libs/libsouffle_la-MagicSet.o libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-GroundWitnesses.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-GroundWitnesses.Tpo -c ast/transform/GroundWitnesses.cpp -o ast/transform/libsouffle_la-GroundWitnesses.o >/dev/null 2>&1 mv -f ast/transform/.deps/libsouffle_la-FoldAnonymousRecords.Tpo ast/transform/.deps/libsouffle_la-FoldAnonymousRecords.Plo /bin/bash ../libtool --tag=CXX --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-MaterializeAggregationQueries.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-MaterializeAggregationQueries.Tpo -c -o ast/transform/libsouffle_la-MaterializeAggregationQueries.lo `test -f 'ast/transform/MaterializeAggregationQueries.cpp' || echo './'`ast/transform/MaterializeAggregationQueries.cpp libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-MaterializeAggregationQueries.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-MaterializeAggregationQueries.Tpo -c ast/transform/MaterializeAggregationQueries.cpp -fPIC -DPIC -o ast/transform/.libs/libsouffle_la-MaterializeAggregationQueries.o libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-InlineRelations.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-InlineRelations.Tpo -c ast/transform/InlineRelations.cpp -o ast/transform/libsouffle_la-InlineRelations.o >/dev/null 2>&1 mv -f ast/transform/.deps/libsouffle_la-GroundWitnesses.Tpo ast/transform/.deps/libsouffle_la-GroundWitnesses.Plo /bin/bash ../libtool --tag=CXX --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-MaterializeSingletonAggregation.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-MaterializeSingletonAggregation.Tpo -c -o ast/transform/libsouffle_la-MaterializeSingletonAggregation.lo `test -f 'ast/transform/MaterializeSingletonAggregation.cpp' || echo './'`ast/transform/MaterializeSingletonAggregation.cpp libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-MaterializeSingletonAggregation.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-MaterializeSingletonAggregation.Tpo -c ast/transform/MaterializeSingletonAggregation.cpp -fPIC -DPIC -o ast/transform/.libs/libsouffle_la-MaterializeSingletonAggregation.o libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-MaterializeAggregationQueries.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-MaterializeAggregationQueries.Tpo -c ast/transform/MaterializeAggregationQueries.cpp -o ast/transform/libsouffle_la-MaterializeAggregationQueries.o >/dev/null 2>&1 libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-MaterializeSingletonAggregation.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-MaterializeSingletonAggregation.Tpo -c ast/transform/MaterializeSingletonAggregation.cpp -o ast/transform/libsouffle_la-MaterializeSingletonAggregation.o >/dev/null 2>&1 libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-MagicSet.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-MagicSet.Tpo -c ast/transform/MagicSet.cpp -o ast/transform/libsouffle_la-MagicSet.o >/dev/null 2>&1 mv -f ast/transform/.deps/libsouffle_la-InlineRelations.Tpo ast/transform/.deps/libsouffle_la-InlineRelations.Plo /bin/bash ../libtool --tag=CXX --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-Meta.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-Meta.Tpo -c -o ast/transform/libsouffle_la-Meta.lo `test -f 'ast/transform/Meta.cpp' || echo './'`ast/transform/Meta.cpp libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-Meta.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-Meta.Tpo -c ast/transform/Meta.cpp -fPIC -DPIC -o ast/transform/.libs/libsouffle_la-Meta.o mv -f ast/transform/.deps/libsouffle_la-MaterializeAggregationQueries.Tpo ast/transform/.deps/libsouffle_la-MaterializeAggregationQueries.Plo /bin/bash ../libtool --tag=CXX --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-MinimiseProgram.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-MinimiseProgram.Tpo -c -o ast/transform/libsouffle_la-MinimiseProgram.lo `test -f 'ast/transform/MinimiseProgram.cpp' || echo './'`ast/transform/MinimiseProgram.cpp libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-MinimiseProgram.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-MinimiseProgram.Tpo -c ast/transform/MinimiseProgram.cpp -fPIC -DPIC -o ast/transform/.libs/libsouffle_la-MinimiseProgram.o libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-Meta.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-Meta.Tpo -c ast/transform/Meta.cpp -o ast/transform/libsouffle_la-Meta.o >/dev/null 2>&1 mv -f ast/transform/.deps/libsouffle_la-MaterializeSingletonAggregation.Tpo ast/transform/.deps/libsouffle_la-MaterializeSingletonAggregation.Plo /bin/bash ../libtool --tag=CXX --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-NameUnnamedVariables.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-NameUnnamedVariables.Tpo -c -o ast/transform/libsouffle_la-NameUnnamedVariables.lo `test -f 'ast/transform/NameUnnamedVariables.cpp' || echo './'`ast/transform/NameUnnamedVariables.cpp libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-NameUnnamedVariables.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-NameUnnamedVariables.Tpo -c ast/transform/NameUnnamedVariables.cpp -fPIC -DPIC -o ast/transform/.libs/libsouffle_la-NameUnnamedVariables.o mv -f ast/transform/.deps/libsouffle_la-Meta.Tpo ast/transform/.deps/libsouffle_la-Meta.Plo /bin/bash ../libtool --tag=CXX --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-NormaliseMultiResultFunctors.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-NormaliseMultiResultFunctors.Tpo -c -o ast/transform/libsouffle_la-NormaliseMultiResultFunctors.lo `test -f 'ast/transform/NormaliseMultiResultFunctors.cpp' || echo './'`ast/transform/NormaliseMultiResultFunctors.cpp libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-NormaliseMultiResultFunctors.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-NormaliseMultiResultFunctors.Tpo -c ast/transform/NormaliseMultiResultFunctors.cpp -fPIC -DPIC -o ast/transform/.libs/libsouffle_la-NormaliseMultiResultFunctors.o libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-MinimiseProgram.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-MinimiseProgram.Tpo -c ast/transform/MinimiseProgram.cpp -o ast/transform/libsouffle_la-MinimiseProgram.o >/dev/null 2>&1 libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-NameUnnamedVariables.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-NameUnnamedVariables.Tpo -c ast/transform/NameUnnamedVariables.cpp -o ast/transform/libsouffle_la-NameUnnamedVariables.o >/dev/null 2>&1 libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-NormaliseMultiResultFunctors.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-NormaliseMultiResultFunctors.Tpo -c ast/transform/NormaliseMultiResultFunctors.cpp -o ast/transform/libsouffle_la-NormaliseMultiResultFunctors.o >/dev/null 2>&1 mv -f ast/transform/.deps/libsouffle_la-MagicSet.Tpo ast/transform/.deps/libsouffle_la-MagicSet.Plo /bin/bash ../libtool --tag=CXX --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-PartitionBodyLiterals.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-PartitionBodyLiterals.Tpo -c -o ast/transform/libsouffle_la-PartitionBodyLiterals.lo `test -f 'ast/transform/PartitionBodyLiterals.cpp' || echo './'`ast/transform/PartitionBodyLiterals.cpp libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-PartitionBodyLiterals.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-PartitionBodyLiterals.Tpo -c ast/transform/PartitionBodyLiterals.cpp -fPIC -DPIC -o ast/transform/.libs/libsouffle_la-PartitionBodyLiterals.o mv -f ast/transform/.deps/libsouffle_la-NameUnnamedVariables.Tpo ast/transform/.deps/libsouffle_la-NameUnnamedVariables.Plo /bin/bash ../libtool --tag=CXX --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-PolymorphicObjects.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-PolymorphicObjects.Tpo -c -o ast/transform/libsouffle_la-PolymorphicObjects.lo `test -f 'ast/transform/PolymorphicObjects.cpp' || echo './'`ast/transform/PolymorphicObjects.cpp libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-PolymorphicObjects.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-PolymorphicObjects.Tpo -c ast/transform/PolymorphicObjects.cpp -fPIC -DPIC -o ast/transform/.libs/libsouffle_la-PolymorphicObjects.o mv -f ast/transform/.deps/libsouffle_la-MinimiseProgram.Tpo ast/transform/.deps/libsouffle_la-MinimiseProgram.Plo /bin/bash ../libtool --tag=CXX --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-PragmaChecker.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-PragmaChecker.Tpo -c -o ast/transform/libsouffle_la-PragmaChecker.lo `test -f 'ast/transform/PragmaChecker.cpp' || echo './'`ast/transform/PragmaChecker.cpp libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-PragmaChecker.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-PragmaChecker.Tpo -c ast/transform/PragmaChecker.cpp -fPIC -DPIC -o ast/transform/.libs/libsouffle_la-PragmaChecker.o mv -f ast/transform/.deps/libsouffle_la-NormaliseMultiResultFunctors.Tpo ast/transform/.deps/libsouffle_la-NormaliseMultiResultFunctors.Plo /bin/bash ../libtool --tag=CXX --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-Provenance.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-Provenance.Tpo -c -o ast/transform/libsouffle_la-Provenance.lo `test -f 'ast/transform/Provenance.cpp' || echo './'`ast/transform/Provenance.cpp libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-Provenance.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-Provenance.Tpo -c ast/transform/Provenance.cpp -fPIC -DPIC -o ast/transform/.libs/libsouffle_la-Provenance.o libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-PartitionBodyLiterals.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-PartitionBodyLiterals.Tpo -c ast/transform/PartitionBodyLiterals.cpp -o ast/transform/libsouffle_la-PartitionBodyLiterals.o >/dev/null 2>&1 libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-PragmaChecker.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-PragmaChecker.Tpo -c ast/transform/PragmaChecker.cpp -o ast/transform/libsouffle_la-PragmaChecker.o >/dev/null 2>&1 libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-PolymorphicObjects.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-PolymorphicObjects.Tpo -c ast/transform/PolymorphicObjects.cpp -o ast/transform/libsouffle_la-PolymorphicObjects.o >/dev/null 2>&1 mv -f ast/transform/.deps/libsouffle_la-PragmaChecker.Tpo ast/transform/.deps/libsouffle_la-PragmaChecker.Plo /bin/bash ../libtool --tag=CXX --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-ReduceExistentials.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-ReduceExistentials.Tpo -c -o ast/transform/libsouffle_la-ReduceExistentials.lo `test -f 'ast/transform/ReduceExistentials.cpp' || echo './'`ast/transform/ReduceExistentials.cpp libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-ReduceExistentials.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-ReduceExistentials.Tpo -c ast/transform/ReduceExistentials.cpp -fPIC -DPIC -o ast/transform/.libs/libsouffle_la-ReduceExistentials.o libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-Provenance.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-Provenance.Tpo -c ast/transform/Provenance.cpp -o ast/transform/libsouffle_la-Provenance.o >/dev/null 2>&1 mv -f ast/transform/.deps/libsouffle_la-PolymorphicObjects.Tpo ast/transform/.deps/libsouffle_la-PolymorphicObjects.Plo /bin/bash ../libtool --tag=CXX --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-RemoveBooleanConstraints.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-RemoveBooleanConstraints.Tpo -c -o ast/transform/libsouffle_la-RemoveBooleanConstraints.lo `test -f 'ast/transform/RemoveBooleanConstraints.cpp' || echo './'`ast/transform/RemoveBooleanConstraints.cpp libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-RemoveBooleanConstraints.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-RemoveBooleanConstraints.Tpo -c ast/transform/RemoveBooleanConstraints.cpp -fPIC -DPIC -o ast/transform/.libs/libsouffle_la-RemoveBooleanConstraints.o mv -f ast/transform/.deps/libsouffle_la-PartitionBodyLiterals.Tpo ast/transform/.deps/libsouffle_la-PartitionBodyLiterals.Plo /bin/bash ../libtool --tag=CXX --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-RemoveEmptyRelations.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-RemoveEmptyRelations.Tpo -c -o ast/transform/libsouffle_la-RemoveEmptyRelations.lo `test -f 'ast/transform/RemoveEmptyRelations.cpp' || echo './'`ast/transform/RemoveEmptyRelations.cpp libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-RemoveEmptyRelations.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-RemoveEmptyRelations.Tpo -c ast/transform/RemoveEmptyRelations.cpp -fPIC -DPIC -o ast/transform/.libs/libsouffle_la-RemoveEmptyRelations.o libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-ReduceExistentials.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-ReduceExistentials.Tpo -c ast/transform/ReduceExistentials.cpp -o ast/transform/libsouffle_la-ReduceExistentials.o >/dev/null 2>&1 mv -f ast/transform/.deps/libsouffle_la-Provenance.Tpo ast/transform/.deps/libsouffle_la-Provenance.Plo /bin/bash ../libtool --tag=CXX --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-RemoveRedundantRelations.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-RemoveRedundantRelations.Tpo -c -o ast/transform/libsouffle_la-RemoveRedundantRelations.lo `test -f 'ast/transform/RemoveRedundantRelations.cpp' || echo './'`ast/transform/RemoveRedundantRelations.cpp libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-RemoveRedundantRelations.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-RemoveRedundantRelations.Tpo -c ast/transform/RemoveRedundantRelations.cpp -fPIC -DPIC -o ast/transform/.libs/libsouffle_la-RemoveRedundantRelations.o libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-RemoveBooleanConstraints.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-RemoveBooleanConstraints.Tpo -c ast/transform/RemoveBooleanConstraints.cpp -o ast/transform/libsouffle_la-RemoveBooleanConstraints.o >/dev/null 2>&1 libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-RemoveEmptyRelations.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-RemoveEmptyRelations.Tpo -c ast/transform/RemoveEmptyRelations.cpp -o ast/transform/libsouffle_la-RemoveEmptyRelations.o >/dev/null 2>&1 libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-RemoveRedundantRelations.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-RemoveRedundantRelations.Tpo -c ast/transform/RemoveRedundantRelations.cpp -o ast/transform/libsouffle_la-RemoveRedundantRelations.o >/dev/null 2>&1 mv -f ast/transform/.deps/libsouffle_la-RemoveBooleanConstraints.Tpo ast/transform/.deps/libsouffle_la-RemoveBooleanConstraints.Plo /bin/bash ../libtool --tag=CXX --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-RemoveRedundantSums.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-RemoveRedundantSums.Tpo -c -o ast/transform/libsouffle_la-RemoveRedundantSums.lo `test -f 'ast/transform/RemoveRedundantSums.cpp' || echo './'`ast/transform/RemoveRedundantSums.cpp mv -f ast/transform/.deps/libsouffle_la-ReduceExistentials.Tpo ast/transform/.deps/libsouffle_la-ReduceExistentials.Plo /bin/bash ../libtool --tag=CXX --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-RemoveRelationCopies.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-RemoveRelationCopies.Tpo -c -o ast/transform/libsouffle_la-RemoveRelationCopies.lo `test -f 'ast/transform/RemoveRelationCopies.cpp' || echo './'`ast/transform/RemoveRelationCopies.cpp mv -f ast/transform/.deps/libsouffle_la-RemoveRedundantRelations.Tpo ast/transform/.deps/libsouffle_la-RemoveRedundantRelations.Plo /bin/bash ../libtool --tag=CXX --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-RemoveTypecasts.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-RemoveTypecasts.Tpo -c -o ast/transform/libsouffle_la-RemoveTypecasts.lo `test -f 'ast/transform/RemoveTypecasts.cpp' || echo './'`ast/transform/RemoveTypecasts.cpp libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-RemoveRedundantSums.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-RemoveRedundantSums.Tpo -c ast/transform/RemoveRedundantSums.cpp -fPIC -DPIC -o ast/transform/.libs/libsouffle_la-RemoveRedundantSums.o libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-RemoveRelationCopies.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-RemoveRelationCopies.Tpo -c ast/transform/RemoveRelationCopies.cpp -fPIC -DPIC -o ast/transform/.libs/libsouffle_la-RemoveRelationCopies.o libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-RemoveTypecasts.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-RemoveTypecasts.Tpo -c ast/transform/RemoveTypecasts.cpp -fPIC -DPIC -o ast/transform/.libs/libsouffle_la-RemoveTypecasts.o mv -f ast/transform/.deps/libsouffle_la-RemoveEmptyRelations.Tpo ast/transform/.deps/libsouffle_la-RemoveEmptyRelations.Plo /bin/bash ../libtool --tag=CXX --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-ReorderLiterals.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-ReorderLiterals.Tpo -c -o ast/transform/libsouffle_la-ReorderLiterals.lo `test -f 'ast/transform/ReorderLiterals.cpp' || echo './'`ast/transform/ReorderLiterals.cpp libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-ReorderLiterals.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-ReorderLiterals.Tpo -c ast/transform/ReorderLiterals.cpp -fPIC -DPIC -o ast/transform/.libs/libsouffle_la-ReorderLiterals.o libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-RemoveTypecasts.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-RemoveTypecasts.Tpo -c ast/transform/RemoveTypecasts.cpp -o ast/transform/libsouffle_la-RemoveTypecasts.o >/dev/null 2>&1 libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-RemoveRedundantSums.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-RemoveRedundantSums.Tpo -c ast/transform/RemoveRedundantSums.cpp -o ast/transform/libsouffle_la-RemoveRedundantSums.o >/dev/null 2>&1 libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-RemoveRelationCopies.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-RemoveRelationCopies.Tpo -c ast/transform/RemoveRelationCopies.cpp -o ast/transform/libsouffle_la-RemoveRelationCopies.o >/dev/null 2>&1 libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-ReorderLiterals.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-ReorderLiterals.Tpo -c ast/transform/ReorderLiterals.cpp -o ast/transform/libsouffle_la-ReorderLiterals.o >/dev/null 2>&1 mv -f ast/transform/.deps/libsouffle_la-RemoveTypecasts.Tpo ast/transform/.deps/libsouffle_la-RemoveTypecasts.Plo /bin/bash ../libtool --tag=CXX --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-ReplaceSingletonVariables.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-ReplaceSingletonVariables.Tpo -c -o ast/transform/libsouffle_la-ReplaceSingletonVariables.lo `test -f 'ast/transform/ReplaceSingletonVariables.cpp' || echo './'`ast/transform/ReplaceSingletonVariables.cpp libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-ReplaceSingletonVariables.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-ReplaceSingletonVariables.Tpo -c ast/transform/ReplaceSingletonVariables.cpp -fPIC -DPIC -o ast/transform/.libs/libsouffle_la-ReplaceSingletonVariables.o mv -f ast/transform/.deps/libsouffle_la-RemoveRelationCopies.Tpo ast/transform/.deps/libsouffle_la-RemoveRelationCopies.Plo /bin/bash ../libtool --tag=CXX --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-ResolveAliases.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-ResolveAliases.Tpo -c -o ast/transform/libsouffle_la-ResolveAliases.lo `test -f 'ast/transform/ResolveAliases.cpp' || echo './'`ast/transform/ResolveAliases.cpp libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-ResolveAliases.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-ResolveAliases.Tpo -c ast/transform/ResolveAliases.cpp -fPIC -DPIC -o ast/transform/.libs/libsouffle_la-ResolveAliases.o mv -f ast/transform/.deps/libsouffle_la-RemoveRedundantSums.Tpo ast/transform/.deps/libsouffle_la-RemoveRedundantSums.Plo /bin/bash ../libtool --tag=CXX --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-ResolveAnonymousRecordAliases.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-ResolveAnonymousRecordAliases.Tpo -c -o ast/transform/libsouffle_la-ResolveAnonymousRecordAliases.lo `test -f 'ast/transform/ResolveAnonymousRecordAliases.cpp' || echo './'`ast/transform/ResolveAnonymousRecordAliases.cpp libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-ResolveAnonymousRecordAliases.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-ResolveAnonymousRecordAliases.Tpo -c ast/transform/ResolveAnonymousRecordAliases.cpp -fPIC -DPIC -o ast/transform/.libs/libsouffle_la-ResolveAnonymousRecordAliases.o mv -f ast/transform/.deps/libsouffle_la-ReorderLiterals.Tpo ast/transform/.deps/libsouffle_la-ReorderLiterals.Plo /bin/bash ../libtool --tag=CXX --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-SemanticChecker.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-SemanticChecker.Tpo -c -o ast/transform/libsouffle_la-SemanticChecker.lo `test -f 'ast/transform/SemanticChecker.cpp' || echo './'`ast/transform/SemanticChecker.cpp libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-SemanticChecker.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-SemanticChecker.Tpo -c ast/transform/SemanticChecker.cpp -fPIC -DPIC -o ast/transform/.libs/libsouffle_la-SemanticChecker.o libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-ReplaceSingletonVariables.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-ReplaceSingletonVariables.Tpo -c ast/transform/ReplaceSingletonVariables.cpp -o ast/transform/libsouffle_la-ReplaceSingletonVariables.o >/dev/null 2>&1 libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-ResolveAnonymousRecordAliases.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-ResolveAnonymousRecordAliases.Tpo -c ast/transform/ResolveAnonymousRecordAliases.cpp -o ast/transform/libsouffle_la-ResolveAnonymousRecordAliases.o >/dev/null 2>&1 libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-ResolveAliases.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-ResolveAliases.Tpo -c ast/transform/ResolveAliases.cpp -o ast/transform/libsouffle_la-ResolveAliases.o >/dev/null 2>&1 mv -f ast/transform/.deps/libsouffle_la-ReplaceSingletonVariables.Tpo ast/transform/.deps/libsouffle_la-ReplaceSingletonVariables.Plo /bin/bash ../libtool --tag=CXX --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-SimplifyAggregateTargetExpression.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-SimplifyAggregateTargetExpression.Tpo -c -o ast/transform/libsouffle_la-SimplifyAggregateTargetExpression.lo `test -f 'ast/transform/SimplifyAggregateTargetExpression.cpp' || echo './'`ast/transform/SimplifyAggregateTargetExpression.cpp libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-SimplifyAggregateTargetExpression.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-SimplifyAggregateTargetExpression.Tpo -c ast/transform/SimplifyAggregateTargetExpression.cpp -fPIC -DPIC -o ast/transform/.libs/libsouffle_la-SimplifyAggregateTargetExpression.o mv -f ast/transform/.deps/libsouffle_la-ResolveAnonymousRecordAliases.Tpo ast/transform/.deps/libsouffle_la-ResolveAnonymousRecordAliases.Plo /bin/bash ../libtool --tag=CXX --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-Transformer.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-Transformer.Tpo -c -o ast/transform/libsouffle_la-Transformer.lo `test -f 'ast/transform/Transformer.cpp' || echo './'`ast/transform/Transformer.cpp libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-Transformer.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-Transformer.Tpo -c ast/transform/Transformer.cpp -fPIC -DPIC -o ast/transform/.libs/libsouffle_la-Transformer.o libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-SemanticChecker.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-SemanticChecker.Tpo -c ast/transform/SemanticChecker.cpp -o ast/transform/libsouffle_la-SemanticChecker.o >/dev/null 2>&1 mv -f ast/transform/.deps/libsouffle_la-ResolveAliases.Tpo ast/transform/.deps/libsouffle_la-ResolveAliases.Plo /bin/bash ../libtool --tag=CXX --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-TypeChecker.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-TypeChecker.Tpo -c -o ast/transform/libsouffle_la-TypeChecker.lo `test -f 'ast/transform/TypeChecker.cpp' || echo './'`ast/transform/TypeChecker.cpp libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-TypeChecker.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-TypeChecker.Tpo -c ast/transform/TypeChecker.cpp -fPIC -DPIC -o ast/transform/.libs/libsouffle_la-TypeChecker.o libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-Transformer.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-Transformer.Tpo -c ast/transform/Transformer.cpp -o ast/transform/libsouffle_la-Transformer.o >/dev/null 2>&1 libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-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-Transformer.Tpo ast/transform/.deps/libsouffle_la-Transformer.Plo /bin/bash ../libtool --tag=CXX --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-UniqueAggregationVariables.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-UniqueAggregationVariables.Tpo -c -o ast/transform/libsouffle_la-UniqueAggregationVariables.lo `test -f 'ast/transform/UniqueAggregationVariables.cpp' || echo './'`ast/transform/UniqueAggregationVariables.cpp libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-UniqueAggregationVariables.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-UniqueAggregationVariables.Tpo -c ast/transform/UniqueAggregationVariables.cpp -fPIC -DPIC -o ast/transform/.libs/libsouffle_la-UniqueAggregationVariables.o libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-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 mv -f ast/transform/.deps/libsouffle_la-SimplifyAggregateTargetExpression.Tpo ast/transform/.deps/libsouffle_la-SimplifyAggregateTargetExpression.Plo /bin/bash ../libtool --tag=CXX --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/utility/libsouffle_la-BindingStore.lo -MD -MP -MF ast/utility/.deps/libsouffle_la-BindingStore.Tpo -c -o ast/utility/libsouffle_la-BindingStore.lo `test -f 'ast/utility/BindingStore.cpp' || echo './'`ast/utility/BindingStore.cpp libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/utility/libsouffle_la-BindingStore.lo -MD -MP -MF ast/utility/.deps/libsouffle_la-BindingStore.Tpo -c ast/utility/BindingStore.cpp -fPIC -DPIC -o ast/utility/.libs/libsouffle_la-BindingStore.o libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/transform/libsouffle_la-TypeChecker.lo -MD -MP -MF ast/transform/.deps/libsouffle_la-TypeChecker.Tpo -c ast/transform/TypeChecker.cpp -o ast/transform/libsouffle_la-TypeChecker.o >/dev/null 2>&1 mv -f ast/transform/.deps/libsouffle_la-UniqueAggregationVariables.Tpo ast/transform/.deps/libsouffle_la-UniqueAggregationVariables.Plo /bin/bash ../libtool --tag=CXX --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/utility/libsouffle_la-SipsMetric.lo -MD -MP -MF ast/utility/.deps/libsouffle_la-SipsMetric.Tpo -c -o ast/utility/libsouffle_la-SipsMetric.lo `test -f 'ast/utility/SipsMetric.cpp' || echo './'`ast/utility/SipsMetric.cpp libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/utility/libsouffle_la-SipsMetric.lo -MD -MP -MF ast/utility/.deps/libsouffle_la-SipsMetric.Tpo -c ast/utility/SipsMetric.cpp -fPIC -DPIC -o ast/utility/.libs/libsouffle_la-SipsMetric.o libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/utility/libsouffle_la-BindingStore.lo -MD -MP -MF ast/utility/.deps/libsouffle_la-BindingStore.Tpo -c ast/utility/BindingStore.cpp -o ast/utility/libsouffle_la-BindingStore.o >/dev/null 2>&1 mv -f ast/transform/.deps/libsouffle_la-SemanticChecker.Tpo ast/transform/.deps/libsouffle_la-SemanticChecker.Plo /bin/bash ../libtool --tag=CXX --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/utility/libsouffle_la-Utils.lo -MD -MP -MF ast/utility/.deps/libsouffle_la-Utils.Tpo -c -o ast/utility/libsouffle_la-Utils.lo `test -f 'ast/utility/Utils.cpp' || echo './'`ast/utility/Utils.cpp libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/utility/libsouffle_la-Utils.lo -MD -MP -MF ast/utility/.deps/libsouffle_la-Utils.Tpo -c ast/utility/Utils.cpp -fPIC -DPIC -o ast/utility/.libs/libsouffle_la-Utils.o mv -f ast/utility/.deps/libsouffle_la-BindingStore.Tpo ast/utility/.deps/libsouffle_la-BindingStore.Plo /bin/bash ../libtool --tag=CXX --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast2ram/libsouffle_la-AstToRamTranslator.lo -MD -MP -MF ast2ram/.deps/libsouffle_la-AstToRamTranslator.Tpo -c -o ast2ram/libsouffle_la-AstToRamTranslator.lo `test -f 'ast2ram/AstToRamTranslator.cpp' || echo './'`ast2ram/AstToRamTranslator.cpp libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast2ram/libsouffle_la-AstToRamTranslator.lo -MD -MP -MF ast2ram/.deps/libsouffle_la-AstToRamTranslator.Tpo -c ast2ram/AstToRamTranslator.cpp -fPIC -DPIC -o ast2ram/.libs/libsouffle_la-AstToRamTranslator.o mv -f ast/transform/.deps/libsouffle_la-TypeChecker.Tpo ast/transform/.deps/libsouffle_la-TypeChecker.Plo /bin/bash ../libtool --tag=CXX --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast2ram/libsouffle_la-ClauseTranslator.lo -MD -MP -MF ast2ram/.deps/libsouffle_la-ClauseTranslator.Tpo -c -o ast2ram/libsouffle_la-ClauseTranslator.lo `test -f 'ast2ram/ClauseTranslator.cpp' || echo './'`ast2ram/ClauseTranslator.cpp libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast2ram/libsouffle_la-ClauseTranslator.lo -MD -MP -MF ast2ram/.deps/libsouffle_la-ClauseTranslator.Tpo -c ast2ram/ClauseTranslator.cpp -fPIC -DPIC -o ast2ram/.libs/libsouffle_la-ClauseTranslator.o libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/utility/libsouffle_la-SipsMetric.lo -MD -MP -MF ast/utility/.deps/libsouffle_la-SipsMetric.Tpo -c ast/utility/SipsMetric.cpp -o ast/utility/libsouffle_la-SipsMetric.o >/dev/null 2>&1 libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast/utility/libsouffle_la-Utils.lo -MD -MP -MF ast/utility/.deps/libsouffle_la-Utils.Tpo -c ast/utility/Utils.cpp -o ast/utility/libsouffle_la-Utils.o >/dev/null 2>&1 mv -f ast/utility/.deps/libsouffle_la-SipsMetric.Tpo ast/utility/.deps/libsouffle_la-SipsMetric.Plo /bin/bash ../libtool --tag=CXX --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast2ram/libsouffle_la-ProvenanceClauseTranslator.lo -MD -MP -MF ast2ram/.deps/libsouffle_la-ProvenanceClauseTranslator.Tpo -c -o ast2ram/libsouffle_la-ProvenanceClauseTranslator.lo `test -f 'ast2ram/ProvenanceClauseTranslator.cpp' || echo './'`ast2ram/ProvenanceClauseTranslator.cpp libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast2ram/libsouffle_la-ProvenanceClauseTranslator.lo -MD -MP -MF ast2ram/.deps/libsouffle_la-ProvenanceClauseTranslator.Tpo -c ast2ram/ProvenanceClauseTranslator.cpp -fPIC -DPIC -o ast2ram/.libs/libsouffle_la-ProvenanceClauseTranslator.o libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast2ram/libsouffle_la-ProvenanceClauseTranslator.lo -MD -MP -MF ast2ram/.deps/libsouffle_la-ProvenanceClauseTranslator.Tpo -c ast2ram/ProvenanceClauseTranslator.cpp -o ast2ram/libsouffle_la-ProvenanceClauseTranslator.o >/dev/null 2>&1 libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast2ram/libsouffle_la-ClauseTranslator.lo -MD -MP -MF ast2ram/.deps/libsouffle_la-ClauseTranslator.Tpo -c ast2ram/ClauseTranslator.cpp -o ast2ram/libsouffle_la-ClauseTranslator.o >/dev/null 2>&1 mv -f ast/utility/.deps/libsouffle_la-Utils.Tpo ast/utility/.deps/libsouffle_la-Utils.Plo /bin/bash ../libtool --tag=CXX --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast2ram/libsouffle_la-ValueIndex.lo -MD -MP -MF ast2ram/.deps/libsouffle_la-ValueIndex.Tpo -c -o ast2ram/libsouffle_la-ValueIndex.lo `test -f 'ast2ram/ValueIndex.cpp' || echo './'`ast2ram/ValueIndex.cpp libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast2ram/libsouffle_la-ValueIndex.lo -MD -MP -MF ast2ram/.deps/libsouffle_la-ValueIndex.Tpo -c ast2ram/ValueIndex.cpp -fPIC -DPIC -o ast2ram/.libs/libsouffle_la-ValueIndex.o mv -f ast2ram/.deps/libsouffle_la-ProvenanceClauseTranslator.Tpo ast2ram/.deps/libsouffle_la-ProvenanceClauseTranslator.Plo /bin/bash ../libtool --tag=CXX --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT interpreter/libsouffle_la-Engine.lo -MD -MP -MF interpreter/.deps/libsouffle_la-Engine.Tpo -c -o interpreter/libsouffle_la-Engine.lo `test -f 'interpreter/Engine.cpp' || echo './'`interpreter/Engine.cpp libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT interpreter/libsouffle_la-Engine.lo -MD -MP -MF interpreter/.deps/libsouffle_la-Engine.Tpo -c interpreter/Engine.cpp -fPIC -DPIC -o interpreter/.libs/libsouffle_la-Engine.o libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast2ram/libsouffle_la-ValueIndex.lo -MD -MP -MF ast2ram/.deps/libsouffle_la-ValueIndex.Tpo -c ast2ram/ValueIndex.cpp -o ast2ram/libsouffle_la-ValueIndex.o >/dev/null 2>&1 mv -f ast2ram/.deps/libsouffle_la-ValueIndex.Tpo ast2ram/.deps/libsouffle_la-ValueIndex.Plo /bin/bash ../libtool --tag=CXX --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT interpreter/libsouffle_la-Generator.lo -MD -MP -MF interpreter/.deps/libsouffle_la-Generator.Tpo -c -o interpreter/libsouffle_la-Generator.lo `test -f 'interpreter/Generator.cpp' || echo './'`interpreter/Generator.cpp libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT interpreter/libsouffle_la-Generator.lo -MD -MP -MF interpreter/.deps/libsouffle_la-Generator.Tpo -c interpreter/Generator.cpp -fPIC -DPIC -o interpreter/.libs/libsouffle_la-Generator.o libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ast2ram/libsouffle_la-AstToRamTranslator.lo -MD -MP -MF ast2ram/.deps/libsouffle_la-AstToRamTranslator.Tpo -c ast2ram/AstToRamTranslator.cpp -o ast2ram/libsouffle_la-AstToRamTranslator.o >/dev/null 2>&1 mv -f ast2ram/.deps/libsouffle_la-ClauseTranslator.Tpo ast2ram/.deps/libsouffle_la-ClauseTranslator.Plo /bin/bash ../libtool --tag=CXX --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT interpreter/libsouffle_la-BrieIndex.lo -MD -MP -MF interpreter/.deps/libsouffle_la-BrieIndex.Tpo -c -o interpreter/libsouffle_la-BrieIndex.lo `test -f 'interpreter/BrieIndex.cpp' || echo './'`interpreter/BrieIndex.cpp libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT interpreter/libsouffle_la-BrieIndex.lo -MD -MP -MF interpreter/.deps/libsouffle_la-BrieIndex.Tpo -c interpreter/BrieIndex.cpp -fPIC -DPIC -o interpreter/.libs/libsouffle_la-BrieIndex.o libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT interpreter/libsouffle_la-BrieIndex.lo -MD -MP -MF interpreter/.deps/libsouffle_la-BrieIndex.Tpo -c interpreter/BrieIndex.cpp -o interpreter/libsouffle_la-BrieIndex.o >/dev/null 2>&1 mv -f interpreter/.deps/libsouffle_la-BrieIndex.Tpo interpreter/.deps/libsouffle_la-BrieIndex.Plo /bin/bash ../libtool --tag=CXX --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT interpreter/libsouffle_la-BTreeIndex.lo -MD -MP -MF interpreter/.deps/libsouffle_la-BTreeIndex.Tpo -c -o interpreter/libsouffle_la-BTreeIndex.lo `test -f 'interpreter/BTreeIndex.cpp' || echo './'`interpreter/BTreeIndex.cpp libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT interpreter/libsouffle_la-BTreeIndex.lo -MD -MP -MF interpreter/.deps/libsouffle_la-BTreeIndex.Tpo -c interpreter/BTreeIndex.cpp -fPIC -DPIC -o interpreter/.libs/libsouffle_la-BTreeIndex.o libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT interpreter/libsouffle_la-Generator.lo -MD -MP -MF interpreter/.deps/libsouffle_la-Generator.Tpo -c interpreter/Generator.cpp -o interpreter/libsouffle_la-Generator.o >/dev/null 2>&1 mv -f ast2ram/.deps/libsouffle_la-AstToRamTranslator.Tpo ast2ram/.deps/libsouffle_la-AstToRamTranslator.Plo /bin/bash ../libtool --tag=CXX --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT interpreter/libsouffle_la-EqrelIndex.lo -MD -MP -MF interpreter/.deps/libsouffle_la-EqrelIndex.Tpo -c -o interpreter/libsouffle_la-EqrelIndex.lo `test -f 'interpreter/EqrelIndex.cpp' || echo './'`interpreter/EqrelIndex.cpp libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT interpreter/libsouffle_la-EqrelIndex.lo -MD -MP -MF interpreter/.deps/libsouffle_la-EqrelIndex.Tpo -c interpreter/EqrelIndex.cpp -fPIC -DPIC -o interpreter/.libs/libsouffle_la-EqrelIndex.o mv -f interpreter/.deps/libsouffle_la-Generator.Tpo interpreter/.deps/libsouffle_la-Generator.Plo /bin/bash ../libtool --tag=CXX --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT interpreter/libsouffle_la-ProvenanceIndex.lo -MD -MP -MF interpreter/.deps/libsouffle_la-ProvenanceIndex.Tpo -c -o interpreter/libsouffle_la-ProvenanceIndex.lo `test -f 'interpreter/ProvenanceIndex.cpp' || echo './'`interpreter/ProvenanceIndex.cpp libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT interpreter/libsouffle_la-ProvenanceIndex.lo -MD -MP -MF interpreter/.deps/libsouffle_la-ProvenanceIndex.Tpo -c interpreter/ProvenanceIndex.cpp -fPIC -DPIC -o interpreter/.libs/libsouffle_la-ProvenanceIndex.o libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT interpreter/libsouffle_la-EqrelIndex.lo -MD -MP -MF interpreter/.deps/libsouffle_la-EqrelIndex.Tpo -c interpreter/EqrelIndex.cpp -o interpreter/libsouffle_la-EqrelIndex.o >/dev/null 2>&1 mv -f interpreter/.deps/libsouffle_la-EqrelIndex.Tpo interpreter/.deps/libsouffle_la-EqrelIndex.Plo /bin/bash ../libtool --tag=CXX --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT parser/libsouffle_la-ParserDriver.lo -MD -MP -MF parser/.deps/libsouffle_la-ParserDriver.Tpo -c -o parser/libsouffle_la-ParserDriver.lo `test -f 'parser/ParserDriver.cpp' || echo './'`parser/ParserDriver.cpp libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT parser/libsouffle_la-ParserDriver.lo -MD -MP -MF parser/.deps/libsouffle_la-ParserDriver.Tpo -c parser/ParserDriver.cpp -fPIC -DPIC -o parser/.libs/libsouffle_la-ParserDriver.o libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT 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 -DRAM_DOMAIN_SIZE=64 -fopenmp -MT parser/libsouffle_la-ParserDriver.lo -MD -MP -MF parser/.deps/libsouffle_la-ParserDriver.Tpo -c parser/ParserDriver.cpp -o parser/libsouffle_la-ParserDriver.o >/dev/null 2>&1 mv -f parser/.deps/libsouffle_la-ParserDriver.Tpo parser/.deps/libsouffle_la-ParserDriver.Plo /bin/bash ../libtool --tag=CXX --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT parser/libsouffle_la-ParserUtils.lo -MD -MP -MF parser/.deps/libsouffle_la-ParserUtils.Tpo -c -o parser/libsouffle_la-ParserUtils.lo `test -f 'parser/ParserUtils.cpp' || echo './'`parser/ParserUtils.cpp libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT parser/libsouffle_la-ParserUtils.lo -MD -MP -MF parser/.deps/libsouffle_la-ParserUtils.Tpo -c parser/ParserUtils.cpp -fPIC -DPIC -o parser/.libs/libsouffle_la-ParserUtils.o libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT parser/libsouffle_la-ParserUtils.lo -MD -MP -MF parser/.deps/libsouffle_la-ParserUtils.Tpo -c parser/ParserUtils.cpp -o parser/libsouffle_la-ParserUtils.o >/dev/null 2>&1 mv -f parser/.deps/libsouffle_la-ParserUtils.Tpo parser/.deps/libsouffle_la-ParserUtils.Plo /bin/bash ../libtool --tag=CXX --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT parser/libsouffle_la-SrcLocation.lo -MD -MP -MF parser/.deps/libsouffle_la-SrcLocation.Tpo -c -o parser/libsouffle_la-SrcLocation.lo `test -f 'parser/SrcLocation.cpp' || echo './'`parser/SrcLocation.cpp libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT parser/libsouffle_la-SrcLocation.lo -MD -MP -MF parser/.deps/libsouffle_la-SrcLocation.Tpo -c parser/SrcLocation.cpp -fPIC -DPIC -o parser/.libs/libsouffle_la-SrcLocation.o libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT parser/libsouffle_la-SrcLocation.lo -MD -MP -MF parser/.deps/libsouffle_la-SrcLocation.Tpo -c parser/SrcLocation.cpp -o parser/libsouffle_la-SrcLocation.o >/dev/null 2>&1 mv -f parser/.deps/libsouffle_la-SrcLocation.Tpo parser/.deps/libsouffle_la-SrcLocation.Plo /bin/bash ../libtool --tag=CXX --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT parser/libsouffle_la-parser.lo -MD -MP -MF parser/.deps/libsouffle_la-parser.Tpo -c -o parser/libsouffle_la-parser.lo `test -f 'parser/parser.cc' || echo './'`parser/parser.cc libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT parser/libsouffle_la-parser.lo -MD -MP -MF parser/.deps/libsouffle_la-parser.Tpo -c parser/parser.cc -fPIC -DPIC -o parser/.libs/libsouffle_la-parser.o mv -f interpreter/.deps/libsouffle_la-BTreeIndex.Tpo interpreter/.deps/libsouffle_la-BTreeIndex.Plo flex -o parser/scanner.cc ./parser/scanner.ll /bin/bash ../libtool --tag=CXX --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ram/analysis/libsouffle_la-Complexity.lo -MD -MP -MF ram/analysis/.deps/libsouffle_la-Complexity.Tpo -c -o ram/analysis/libsouffle_la-Complexity.lo `test -f 'ram/analysis/Complexity.cpp' || echo './'`ram/analysis/Complexity.cpp libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ram/analysis/libsouffle_la-Complexity.lo -MD -MP -MF ram/analysis/.deps/libsouffle_la-Complexity.Tpo -c ram/analysis/Complexity.cpp -fPIC -DPIC -o ram/analysis/.libs/libsouffle_la-Complexity.o libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ram/analysis/libsouffle_la-Complexity.lo -MD -MP -MF ram/analysis/.deps/libsouffle_la-Complexity.Tpo -c ram/analysis/Complexity.cpp -o ram/analysis/libsouffle_la-Complexity.o >/dev/null 2>&1 libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT interpreter/libsouffle_la-ProvenanceIndex.lo -MD -MP -MF interpreter/.deps/libsouffle_la-ProvenanceIndex.Tpo -c interpreter/ProvenanceIndex.cpp -o interpreter/libsouffle_la-ProvenanceIndex.o >/dev/null 2>&1 mv -f ram/analysis/.deps/libsouffle_la-Complexity.Tpo ram/analysis/.deps/libsouffle_la-Complexity.Plo /bin/bash ../libtool --tag=CXX --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ram/analysis/libsouffle_la-Index.lo -MD -MP -MF ram/analysis/.deps/libsouffle_la-Index.Tpo -c -o ram/analysis/libsouffle_la-Index.lo `test -f 'ram/analysis/Index.cpp' || echo './'`ram/analysis/Index.cpp libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ram/analysis/libsouffle_la-Index.lo -MD -MP -MF ram/analysis/.deps/libsouffle_la-Index.Tpo -c ram/analysis/Index.cpp -fPIC -DPIC -o ram/analysis/.libs/libsouffle_la-Index.o libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT 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 libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT parser/libsouffle_la-parser.lo -MD -MP -MF parser/.deps/libsouffle_la-parser.Tpo -c parser/parser.cc -o parser/libsouffle_la-parser.o >/dev/null 2>&1 mv -f ram/analysis/.deps/libsouffle_la-Index.Tpo ram/analysis/.deps/libsouffle_la-Index.Plo /bin/bash ../libtool --tag=CXX --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ram/analysis/libsouffle_la-Level.lo -MD -MP -MF ram/analysis/.deps/libsouffle_la-Level.Tpo -c -o ram/analysis/libsouffle_la-Level.lo `test -f 'ram/analysis/Level.cpp' || echo './'`ram/analysis/Level.cpp libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ram/analysis/libsouffle_la-Level.lo -MD -MP -MF ram/analysis/.deps/libsouffle_la-Level.Tpo -c ram/analysis/Level.cpp -fPIC -DPIC -o ram/analysis/.libs/libsouffle_la-Level.o libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ram/analysis/libsouffle_la-Level.lo -MD -MP -MF ram/analysis/.deps/libsouffle_la-Level.Tpo -c ram/analysis/Level.cpp -o ram/analysis/libsouffle_la-Level.o >/dev/null 2>&1 mv -f ram/analysis/.deps/libsouffle_la-Level.Tpo ram/analysis/.deps/libsouffle_la-Level.Plo /bin/bash ../libtool --tag=CXX --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ram/analysis/libsouffle_la-Relation.lo -MD -MP -MF ram/analysis/.deps/libsouffle_la-Relation.Tpo -c -o ram/analysis/libsouffle_la-Relation.lo `test -f 'ram/analysis/Relation.cpp' || echo './'`ram/analysis/Relation.cpp libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ram/analysis/libsouffle_la-Relation.lo -MD -MP -MF ram/analysis/.deps/libsouffle_la-Relation.Tpo -c ram/analysis/Relation.cpp -fPIC -DPIC -o ram/analysis/.libs/libsouffle_la-Relation.o libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ram/analysis/libsouffle_la-Relation.lo -MD -MP -MF ram/analysis/.deps/libsouffle_la-Relation.Tpo -c ram/analysis/Relation.cpp -o ram/analysis/libsouffle_la-Relation.o >/dev/null 2>&1 mv -f parser/.deps/libsouffle_la-parser.Tpo parser/.deps/libsouffle_la-parser.Plo /bin/bash ../libtool --tag=CXX --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ram/transform/libsouffle_la-ChoiceConversion.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-ChoiceConversion.Tpo -c -o ram/transform/libsouffle_la-ChoiceConversion.lo `test -f 'ram/transform/ChoiceConversion.cpp' || echo './'`ram/transform/ChoiceConversion.cpp libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ram/transform/libsouffle_la-ChoiceConversion.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-ChoiceConversion.Tpo -c ram/transform/ChoiceConversion.cpp -fPIC -DPIC -o ram/transform/.libs/libsouffle_la-ChoiceConversion.o mv -f ram/analysis/.deps/libsouffle_la-Relation.Tpo ram/analysis/.deps/libsouffle_la-Relation.Plo /bin/bash ../libtool --tag=CXX --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ram/transform/libsouffle_la-CollapseFilters.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-CollapseFilters.Tpo -c -o ram/transform/libsouffle_la-CollapseFilters.lo `test -f 'ram/transform/CollapseFilters.cpp' || echo './'`ram/transform/CollapseFilters.cpp libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ram/transform/libsouffle_la-CollapseFilters.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-CollapseFilters.Tpo -c ram/transform/CollapseFilters.cpp -fPIC -DPIC -o ram/transform/.libs/libsouffle_la-CollapseFilters.o libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ram/transform/libsouffle_la-ChoiceConversion.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-ChoiceConversion.Tpo -c ram/transform/ChoiceConversion.cpp -o ram/transform/libsouffle_la-ChoiceConversion.o >/dev/null 2>&1 libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ram/transform/libsouffle_la-CollapseFilters.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-CollapseFilters.Tpo -c ram/transform/CollapseFilters.cpp -o ram/transform/libsouffle_la-CollapseFilters.o >/dev/null 2>&1 mv -f ram/transform/.deps/libsouffle_la-ChoiceConversion.Tpo ram/transform/.deps/libsouffle_la-ChoiceConversion.Plo /bin/bash ../libtool --tag=CXX --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ram/transform/libsouffle_la-EliminateDuplicates.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-EliminateDuplicates.Tpo -c -o ram/transform/libsouffle_la-EliminateDuplicates.lo `test -f 'ram/transform/EliminateDuplicates.cpp' || echo './'`ram/transform/EliminateDuplicates.cpp libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ram/transform/libsouffle_la-EliminateDuplicates.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-EliminateDuplicates.Tpo -c ram/transform/EliminateDuplicates.cpp -fPIC -DPIC -o ram/transform/.libs/libsouffle_la-EliminateDuplicates.o mv -f ram/transform/.deps/libsouffle_la-CollapseFilters.Tpo ram/transform/.deps/libsouffle_la-CollapseFilters.Plo /bin/bash ../libtool --tag=CXX --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ram/transform/libsouffle_la-ExpandFilter.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-ExpandFilter.Tpo -c -o ram/transform/libsouffle_la-ExpandFilter.lo `test -f 'ram/transform/ExpandFilter.cpp' || echo './'`ram/transform/ExpandFilter.cpp libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ram/transform/libsouffle_la-ExpandFilter.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-ExpandFilter.Tpo -c ram/transform/ExpandFilter.cpp -fPIC -DPIC -o ram/transform/.libs/libsouffle_la-ExpandFilter.o libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ram/transform/libsouffle_la-EliminateDuplicates.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-EliminateDuplicates.Tpo -c ram/transform/EliminateDuplicates.cpp -o ram/transform/libsouffle_la-EliminateDuplicates.o >/dev/null 2>&1 libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ram/transform/libsouffle_la-ExpandFilter.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-ExpandFilter.Tpo -c ram/transform/ExpandFilter.cpp -o ram/transform/libsouffle_la-ExpandFilter.o >/dev/null 2>&1 mv -f interpreter/.deps/libsouffle_la-ProvenanceIndex.Tpo interpreter/.deps/libsouffle_la-ProvenanceIndex.Plo /bin/bash ../libtool --tag=CXX --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ram/transform/libsouffle_la-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 mv -f ram/transform/.deps/libsouffle_la-EliminateDuplicates.Tpo ram/transform/.deps/libsouffle_la-EliminateDuplicates.Plo /bin/bash ../libtool --tag=CXX --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ram/transform/libsouffle_la-HoistConditions.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-HoistConditions.Tpo -c -o ram/transform/libsouffle_la-HoistConditions.lo `test -f 'ram/transform/HoistConditions.cpp' || echo './'`ram/transform/HoistConditions.cpp libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ram/transform/libsouffle_la-HoistAggregate.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-HoistAggregate.Tpo -c ram/transform/HoistAggregate.cpp -fPIC -DPIC -o ram/transform/.libs/libsouffle_la-HoistAggregate.o libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ram/transform/libsouffle_la-HoistConditions.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-HoistConditions.Tpo -c ram/transform/HoistConditions.cpp -fPIC -DPIC -o ram/transform/.libs/libsouffle_la-HoistConditions.o mv -f ram/transform/.deps/libsouffle_la-ExpandFilter.Tpo ram/transform/.deps/libsouffle_la-ExpandFilter.Plo /bin/bash ../libtool --tag=CXX --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ram/transform/libsouffle_la-IfConversion.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-IfConversion.Tpo -c -o ram/transform/libsouffle_la-IfConversion.lo `test -f 'ram/transform/IfConversion.cpp' || echo './'`ram/transform/IfConversion.cpp libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ram/transform/libsouffle_la-IfConversion.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-IfConversion.Tpo -c ram/transform/IfConversion.cpp -fPIC -DPIC -o ram/transform/.libs/libsouffle_la-IfConversion.o libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ram/transform/libsouffle_la-HoistConditions.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-HoistConditions.Tpo -c ram/transform/HoistConditions.cpp -o ram/transform/libsouffle_la-HoistConditions.o >/dev/null 2>&1 libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ram/transform/libsouffle_la-HoistAggregate.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-HoistAggregate.Tpo -c ram/transform/HoistAggregate.cpp -o ram/transform/libsouffle_la-HoistAggregate.o >/dev/null 2>&1 libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ram/transform/libsouffle_la-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-HoistAggregate.Tpo ram/transform/.deps/libsouffle_la-HoistAggregate.Plo /bin/bash ../libtool --tag=CXX --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ram/transform/libsouffle_la-IndexedInequality.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-IndexedInequality.Tpo -c -o ram/transform/libsouffle_la-IndexedInequality.lo `test -f 'ram/transform/IndexedInequality.cpp' || echo './'`ram/transform/IndexedInequality.cpp mv -f ram/transform/.deps/libsouffle_la-HoistConditions.Tpo ram/transform/.deps/libsouffle_la-HoistConditions.Plo /bin/bash ../libtool --tag=CXX --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ram/transform/libsouffle_la-MakeIndex.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-MakeIndex.Tpo -c -o ram/transform/libsouffle_la-MakeIndex.lo `test -f 'ram/transform/MakeIndex.cpp' || echo './'`ram/transform/MakeIndex.cpp libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ram/transform/libsouffle_la-IndexedInequality.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-IndexedInequality.Tpo -c ram/transform/IndexedInequality.cpp -fPIC -DPIC -o ram/transform/.libs/libsouffle_la-IndexedInequality.o libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ram/transform/libsouffle_la-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 -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ram/transform/libsouffle_la-Parallel.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-Parallel.Tpo -c -o ram/transform/libsouffle_la-Parallel.lo `test -f 'ram/transform/Parallel.cpp' || echo './'`ram/transform/Parallel.cpp libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ram/transform/libsouffle_la-Parallel.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-Parallel.Tpo -c ram/transform/Parallel.cpp -fPIC -DPIC -o ram/transform/.libs/libsouffle_la-Parallel.o libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ram/transform/libsouffle_la-MakeIndex.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-MakeIndex.Tpo -c ram/transform/MakeIndex.cpp -o ram/transform/libsouffle_la-MakeIndex.o >/dev/null 2>&1 libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ram/transform/libsouffle_la-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 -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ram/transform/libsouffle_la-Parallel.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-Parallel.Tpo -c ram/transform/Parallel.cpp -o ram/transform/libsouffle_la-Parallel.o >/dev/null 2>&1 mv -f ram/transform/.deps/libsouffle_la-MakeIndex.Tpo ram/transform/.deps/libsouffle_la-MakeIndex.Plo /bin/bash ../libtool --tag=CXX --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ram/transform/libsouffle_la-ReorderConditions.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-ReorderConditions.Tpo -c -o ram/transform/libsouffle_la-ReorderConditions.lo `test -f 'ram/transform/ReorderConditions.cpp' || echo './'`ram/transform/ReorderConditions.cpp libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ram/transform/libsouffle_la-ReorderConditions.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-ReorderConditions.Tpo -c ram/transform/ReorderConditions.cpp -fPIC -DPIC -o ram/transform/.libs/libsouffle_la-ReorderConditions.o mv -f ram/transform/.deps/libsouffle_la-Parallel.Tpo ram/transform/.deps/libsouffle_la-Parallel.Plo /bin/bash ../libtool --tag=CXX --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ram/transform/libsouffle_la-ReorderFilterBreak.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-ReorderFilterBreak.Tpo -c -o ram/transform/libsouffle_la-ReorderFilterBreak.lo `test -f 'ram/transform/ReorderFilterBreak.cpp' || echo './'`ram/transform/ReorderFilterBreak.cpp libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ram/transform/libsouffle_la-ReorderFilterBreak.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-ReorderFilterBreak.Tpo -c ram/transform/ReorderFilterBreak.cpp -fPIC -DPIC -o ram/transform/.libs/libsouffle_la-ReorderFilterBreak.o libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT 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 mv -f ram/transform/.deps/libsouffle_la-IndexedInequality.Tpo ram/transform/.deps/libsouffle_la-IndexedInequality.Plo /bin/bash ../libtool --tag=CXX --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ram/transform/libsouffle_la-Transformer.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-Transformer.Tpo -c -o ram/transform/libsouffle_la-Transformer.lo `test -f 'ram/transform/Transformer.cpp' || echo './'`ram/transform/Transformer.cpp libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ram/transform/libsouffle_la-Transformer.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-Transformer.Tpo -c ram/transform/Transformer.cpp -fPIC -DPIC -o ram/transform/.libs/libsouffle_la-Transformer.o libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ram/transform/libsouffle_la-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 -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ram/transform/libsouffle_la-Transformer.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-Transformer.Tpo -c ram/transform/Transformer.cpp -o ram/transform/libsouffle_la-Transformer.o >/dev/null 2>&1 libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ram/transform/libsouffle_la-ReorderFilterBreak.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-ReorderFilterBreak.Tpo -c ram/transform/ReorderFilterBreak.cpp -o ram/transform/libsouffle_la-ReorderFilterBreak.o >/dev/null 2>&1 mv -f ram/transform/.deps/libsouffle_la-Transformer.Tpo ram/transform/.deps/libsouffle_la-Transformer.Plo /bin/bash ../libtool --tag=CXX --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ram/transform/libsouffle_la-TupleId.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-TupleId.Tpo -c -o ram/transform/libsouffle_la-TupleId.lo `test -f 'ram/transform/TupleId.cpp' || echo './'`ram/transform/TupleId.cpp libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT ram/transform/libsouffle_la-TupleId.lo -MD -MP -MF ram/transform/.deps/libsouffle_la-TupleId.Tpo -c ram/transform/TupleId.cpp -fPIC -DPIC -o ram/transform/.libs/libsouffle_la-TupleId.o mv -f ram/transform/.deps/libsouffle_la-ReorderConditions.Tpo ram/transform/.deps/libsouffle_la-ReorderConditions.Plo /bin/bash ../libtool --tag=CXX --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT reports/libsouffle_la-DebugReport.lo -MD -MP -MF reports/.deps/libsouffle_la-DebugReport.Tpo -c -o reports/libsouffle_la-DebugReport.lo `test -f 'reports/DebugReport.cpp' || echo './'`reports/DebugReport.cpp libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT reports/libsouffle_la-DebugReport.lo -MD -MP -MF reports/.deps/libsouffle_la-DebugReport.Tpo -c reports/DebugReport.cpp -fPIC -DPIC -o reports/.libs/libsouffle_la-DebugReport.o mv -f ram/transform/.deps/libsouffle_la-ReorderFilterBreak.Tpo ram/transform/.deps/libsouffle_la-ReorderFilterBreak.Plo /bin/bash ../libtool --tag=CXX --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT synthesiser/libsouffle_la-Synthesiser.lo -MD -MP -MF synthesiser/.deps/libsouffle_la-Synthesiser.Tpo -c -o synthesiser/libsouffle_la-Synthesiser.lo `test -f 'synthesiser/Synthesiser.cpp' || echo './'`synthesiser/Synthesiser.cpp libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT synthesiser/libsouffle_la-Synthesiser.lo -MD -MP -MF synthesiser/.deps/libsouffle_la-Synthesiser.Tpo -c synthesiser/Synthesiser.cpp -fPIC -DPIC -o synthesiser/.libs/libsouffle_la-Synthesiser.o libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT 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 -DRAM_DOMAIN_SIZE=64 -fopenmp -MT reports/libsouffle_la-DebugReport.lo -MD -MP -MF reports/.deps/libsouffle_la-DebugReport.Tpo -c reports/DebugReport.cpp -o reports/libsouffle_la-DebugReport.o >/dev/null 2>&1 mv -f reports/.deps/libsouffle_la-DebugReport.Tpo reports/.deps/libsouffle_la-DebugReport.Plo /bin/bash ../libtool --tag=CXX --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT synthesiser/libsouffle_la-Relation.lo -MD -MP -MF synthesiser/.deps/libsouffle_la-Relation.Tpo -c -o synthesiser/libsouffle_la-Relation.lo `test -f 'synthesiser/Relation.cpp' || echo './'`synthesiser/Relation.cpp libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT synthesiser/libsouffle_la-Relation.lo -MD -MP -MF synthesiser/.deps/libsouffle_la-Relation.Tpo -c synthesiser/Relation.cpp -fPIC -DPIC -o synthesiser/.libs/libsouffle_la-Relation.o mv -f ram/transform/.deps/libsouffle_la-TupleId.Tpo ram/transform/.deps/libsouffle_la-TupleId.Plo /bin/bash ../libtool --tag=CXX --mode=link g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -o souffle-profile souffle_profile-souffle_prof.o -ldl -lpthread -lsqlite3 -lz -lncursesw libtool: link: g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -o souffle-profile souffle_profile-souffle_prof.o -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp /bin/bash ../libtool --tag=CXX --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT parser/libsouffle_la-scanner.lo -MD -MP -MF parser/.deps/libsouffle_la-scanner.Tpo -c -o parser/libsouffle_la-scanner.lo `test -f 'parser/scanner.cc' || echo './'`parser/scanner.cc libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT parser/libsouffle_la-scanner.lo -MD -MP -MF parser/.deps/libsouffle_la-scanner.Tpo -c parser/scanner.cc -fPIC -DPIC -o parser/.libs/libsouffle_la-scanner.o libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT synthesiser/libsouffle_la-Relation.lo -MD -MP -MF synthesiser/.deps/libsouffle_la-Relation.Tpo -c synthesiser/Relation.cpp -o synthesiser/libsouffle_la-Relation.o >/dev/null 2>&1 libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT 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 -DRAM_DOMAIN_SIZE=64 -fopenmp -MT synthesiser/libsouffle_la-Synthesiser.lo -MD -MP -MF synthesiser/.deps/libsouffle_la-Synthesiser.Tpo -c synthesiser/Synthesiser.cpp -o synthesiser/libsouffle_la-Synthesiser.o >/dev/null 2>&1 mv -f synthesiser/.deps/libsouffle_la-Relation.Tpo synthesiser/.deps/libsouffle_la-Relation.Plo mv -f parser/.deps/libsouffle_la-scanner.Tpo parser/.deps/libsouffle_la-scanner.Plo mv -f synthesiser/.deps/libsouffle_la-Synthesiser.Tpo synthesiser/.deps/libsouffle_la-Synthesiser.Plo mv -f interpreter/.deps/libsouffle_la-Engine.Tpo interpreter/.deps/libsouffle_la-Engine.Plo /bin/bash ../libtool --tag=CXX --mode=link g++ -std=c++17 -I./include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp --static --dlopen --pic -ldl -lffi -o libsouffle.la libsouffle_la-FunctorOps.lo libsouffle_la-Global.lo ast/libsouffle_la-Program.lo ast/analysis/libsouffle_la-Aggregate.lo ast/analysis/libsouffle_la-AuxArity.lo ast/analysis/libsouffle_la-ClauseNormalisation.lo ast/analysis/libsouffle_la-ComponentLookup.lo ast/analysis/libsouffle_la-Functor.lo ast/analysis/libsouffle_la-Ground.lo ast/analysis/libsouffle_la-IOType.lo ast/analysis/libsouffle_la-PrecedenceGraph.lo ast/analysis/libsouffle_la-ProfileUse.lo ast/analysis/libsouffle_la-RecursiveClauses.lo ast/analysis/libsouffle_la-RedundantRelations.lo ast/analysis/libsouffle_la-RelationDetailCache.lo ast/analysis/libsouffle_la-RelationSchedule.lo ast/analysis/libsouffle_la-SCCGraph.lo ast/analysis/libsouffle_la-SumTypeBranches.lo ast/analysis/libsouffle_la-TopologicallySortedSCCGraph.lo ast/analysis/libsouffle_la-Type.lo ast/analysis/libsouffle_la-TypeSystem.lo ast/analysis/libsouffle_la-TypeEnvironment.lo ast/transform/libsouffle_la-ADTtoRecords.lo ast/transform/libsouffle_la-AddNullariesToAtomlessAggregates.lo ast/transform/libsouffle_la-ComponentChecker.lo ast/transform/libsouffle_la-ComponentInstantiation.lo ast/transform/libsouffle_la-DebugReporter.lo ast/transform/libsouffle_la-ExecutionPlanChecker.lo ast/transform/libsouffle_la-FoldAnonymousRecords.lo ast/transform/libsouffle_la-GroundedTermsChecker.lo ast/transform/libsouffle_la-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-PolymorphicObjects.lo ast/transform/libsouffle_la-PragmaChecker.lo ast/transform/libsouffle_la-Provenance.lo ast/transform/libsouffle_la-ReduceExistentials.lo ast/transform/libsouffle_la-RemoveBooleanConstraints.lo ast/transform/libsouffle_la-RemoveEmptyRelations.lo ast/transform/libsouffle_la-RemoveRedundantRelations.lo ast/transform/libsouffle_la-RemoveRedundantSums.lo ast/transform/libsouffle_la-RemoveRelationCopies.lo ast/transform/libsouffle_la-RemoveTypecasts.lo ast/transform/libsouffle_la-ReorderLiterals.lo ast/transform/libsouffle_la-ReplaceSingletonVariables.lo ast/transform/libsouffle_la-ResolveAliases.lo ast/transform/libsouffle_la-ResolveAnonymousRecordAliases.lo ast/transform/libsouffle_la-SemanticChecker.lo ast/transform/libsouffle_la-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-ProvenanceClauseTranslator.lo ast2ram/libsouffle_la-ValueIndex.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 ram/transform/.libs/libsouffle_la-Transformer.o .libs/libsouffle.lax/lt1-libsouffle_la-Transformer.o || cp ram/transform/.libs/libsouffle_la-Transformer.o .libs/libsouffle.lax/lt1-libsouffle_la-Transformer.o libtool: link: ln synthesiser/.libs/libsouffle_la-Relation.o .libs/libsouffle.lax/lt2-libsouffle_la-Relation.o || cp synthesiser/.libs/libsouffle_la-Relation.o .libs/libsouffle.lax/lt2-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-PrecedenceGraph.o ast/analysis/.libs/libsouffle_la-ProfileUse.o ast/analysis/.libs/libsouffle_la-RecursiveClauses.o ast/analysis/.libs/libsouffle_la-RedundantRelations.o ast/analysis/.libs/libsouffle_la-RelationDetailCache.o ast/analysis/.libs/libsouffle_la-RelationSchedule.o ast/analysis/.libs/libsouffle_la-SCCGraph.o ast/analysis/.libs/libsouffle_la-SumTypeBranches.o ast/analysis/.libs/libsouffle_la-TopologicallySortedSCCGraph.o ast/analysis/.libs/libsouffle_la-Type.o ast/analysis/.libs/libsouffle_la-TypeSystem.o ast/analysis/.libs/libsouffle_la-TypeEnvironment.o ast/transform/.libs/libsouffle_la-ADTtoRecords.o ast/transform/.libs/libsouffle_la-AddNullariesToAtomlessAggregates.o ast/transform/.libs/libsouffle_la-ComponentChecker.o ast/transform/.libs/libsouffle_la-ComponentInstantiation.o ast/transform/.libs/libsouffle_la-DebugReporter.o ast/transform/.libs/libsouffle_la-ExecutionPlanChecker.o ast/transform/.libs/libsouffle_la-FoldAnonymousRecords.o ast/transform/.libs/libsouffle_la-GroundedTermsChecker.o ast/transform/.libs/libsouffle_la-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-PolymorphicObjects.o ast/transform/.libs/libsouffle_la-PragmaChecker.o ast/transform/.libs/libsouffle_la-Provenance.o ast/transform/.libs/libsouffle_la-ReduceExistentials.o ast/transform/.libs/libsouffle_la-RemoveBooleanConstraints.o ast/transform/.libs/libsouffle_la-RemoveEmptyRelations.o ast/transform/.libs/libsouffle_la-RemoveRedundantRelations.o ast/transform/.libs/libsouffle_la-RemoveRedundantSums.o ast/transform/.libs/libsouffle_la-RemoveRelationCopies.o ast/transform/.libs/libsouffle_la-RemoveTypecasts.o ast/transform/.libs/libsouffle_la-ReorderLiterals.o ast/transform/.libs/libsouffle_la-ReplaceSingletonVariables.o ast/transform/.libs/libsouffle_la-ResolveAliases.o ast/transform/.libs/libsouffle_la-ResolveAnonymousRecordAliases.o ast/transform/.libs/libsouffle_la-SemanticChecker.o ast/transform/.libs/libsouffle_la-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-ProvenanceClauseTranslator.o ast2ram/.libs/libsouffle_la-ValueIndex.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/lt1-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/lt2-libsouffle_la-Relation.o libtool: link: ranlib .libs/libsouffle.a libtool: link: rm -fr .libs/libsouffle.lax libtool: link: ( cd ".libs" && rm -f "libsouffle.la" && ln -s "../libsouffle.la" "libsouffle.la" ) /bin/bash ../libtool --tag=CXX --mode=link g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -o souffle souffle-main.o libsouffle.la -ldl -lpthread -lsqlite3 -lz -lncursesw libtool: link: g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -o souffle souffle-main.o ./.libs/libsouffle.a -lffi -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp make[3]: Leaving directory '/souffle/src' Making all in tests make[3]: Entering directory '/souffle/src/tests' make[3]: Nothing to be done for 'all'. make[3]: Leaving directory '/souffle/src/tests' Making all in ast/tests make[3]: Entering directory '/souffle/src/ast/tests' make[3]: Nothing to be done for 'all'. make[3]: Leaving directory '/souffle/src/ast/tests' Making all in ram/tests make[3]: Entering directory '/souffle/src/ram/tests' make[3]: Nothing to be done for 'all'. make[3]: Leaving directory '/souffle/src/ram/tests' Making all in interpreter/tests make[3]: Entering directory '/souffle/src/interpreter/tests' make[3]: Nothing to be done for 'all'. make[3]: Leaving directory '/souffle/src/interpreter/tests' make[2]: Leaving directory '/souffle/src' make[1]: Leaving directory '/souffle/src' Making all in tests make[1]: Entering directory '/souffle/tests' Making all in interface/functors make[2]: Entering directory '/souffle/tests/interface/functors' make[2]: Nothing to be done for 'all'. make[2]: Leaving directory '/souffle/tests/interface/functors' make[2]: Entering directory '/souffle/tests' make[2]: Nothing to be done for 'all-am'. make[2]: Leaving directory '/souffle/tests' make[1]: Leaving directory '/souffle/tests' make[1]: Entering directory '/souffle' make[1]: Nothing to be done for 'all-am'. make[1]: Leaving directory '/souffle' Making check in src make[1]: Entering directory '/souffle/src' Making check in . make[2]: Entering directory '/souffle/src' make[2]: Leaving directory '/souffle/src' Making check in tests make[2]: Entering directory '/souffle/src/tests' make profile_util_test util_test table_test btree_set_test btree_multiset_test binary_relation_test eqrel_datastructure_test compiled_tuple_test symbol_table_test graph_utils_test brie_test parallel_utils_test record_table_test make[3]: Entering directory '/souffle/src/tests' depbase=`echo profile_util_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ g++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../src -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../src -I../../src/include -MT profile_util_test.o -MD -MP -MF $depbase.Tpo -c -o profile_util_test.o profile_util_test.cpp &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo util_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ g++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../src -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../src -I../../src/include -MT util_test.o -MD -MP -MF $depbase.Tpo -c -o util_test.o util_test.cpp &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo table_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ g++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../src -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../src -I../../src/include -MT table_test.o -MD -MP -MF $depbase.Tpo -c -o table_test.o table_test.cpp &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo btree_set_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ g++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../src -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../src -I../../src/include -MT btree_set_test.o -MD -MP -MF $depbase.Tpo -c -o btree_set_test.o btree_set_test.cpp &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo btree_multiset_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ g++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../src -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../src -I../../src/include -MT btree_multiset_test.o -MD -MP -MF $depbase.Tpo -c -o btree_multiset_test.o btree_multiset_test.cpp &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo binary_relation_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ g++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../src -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../src -I../../src/include -MT binary_relation_test.o -MD -MP -MF $depbase.Tpo -c -o binary_relation_test.o binary_relation_test.cpp &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo eqrel_datastructure_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ g++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../src -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../src -I../../src/include -MT eqrel_datastructure_test.o -MD -MP -MF $depbase.Tpo -c -o eqrel_datastructure_test.o eqrel_datastructure_test.cpp &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo compiled_tuple_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ g++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../src -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../src -I../../src/include -MT compiled_tuple_test.o -MD -MP -MF $depbase.Tpo -c -o compiled_tuple_test.o compiled_tuple_test.cpp &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo symbol_table_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ g++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../src -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../src -I../../src/include -MT symbol_table_test.o -MD -MP -MF $depbase.Tpo -c -o symbol_table_test.o symbol_table_test.cpp &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo graph_utils_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ g++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../src -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../src -I../../src/include -MT graph_utils_test.o -MD -MP -MF $depbase.Tpo -c -o graph_utils_test.o graph_utils_test.cpp &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo brie_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ g++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../src -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../src -I../../src/include -MT brie_test.o -MD -MP -MF $depbase.Tpo -c -o brie_test.o brie_test.cpp &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo parallel_utils_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ g++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../src -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../src -I../../src/include -MT parallel_utils_test.o -MD -MP -MF $depbase.Tpo -c -o parallel_utils_test.o parallel_utils_test.cpp &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo record_table_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ g++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../src -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../src -I../../src/include -MT record_table_test.o -MD -MP -MF $depbase.Tpo -c -o record_table_test.o record_table_test.cpp &&\ mv -f $depbase.Tpo $depbase.Po /bin/bash ../../libtool --tag=CXX --mode=link g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../src -I../../src/include -o profile_util_test profile_util_test.o -ldl -lpthread -lsqlite3 -lz -lncursesw /bin/bash ../../libtool --tag=CXX --mode=link g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../src -I../../src/include -o util_test util_test.o -ldl -lpthread -lsqlite3 -lz -lncursesw libtool: link: g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../src -I../../src/include -o profile_util_test profile_util_test.o -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp libtool: link: g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../src -I../../src/include -o util_test util_test.o -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp /bin/bash ../../libtool --tag=CXX --mode=link g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../src -I../../src/include -o table_test table_test.o -ldl -lpthread -lsqlite3 -lz -lncursesw /bin/bash ../../libtool --tag=CXX --mode=link g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../src -I../../src/include -o btree_set_test btree_set_test.o -ldl -lpthread -lsqlite3 -lz -lncursesw libtool: link: g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../src -I../../src/include -o table_test table_test.o -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp libtool: link: g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../src -I../../src/include -o 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 -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../src -I../../src/include -o btree_multiset_test btree_multiset_test.o -ldl -lpthread -lsqlite3 -lz -lncursesw /bin/bash ../../libtool --tag=CXX --mode=link g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../src -I../../src/include -o binary_relation_test binary_relation_test.o -ldl -lpthread -lsqlite3 -lz -lncursesw libtool: link: g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../src -I../../src/include -o btree_multiset_test btree_multiset_test.o -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp libtool: link: g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../src -I../../src/include -o binary_relation_test binary_relation_test.o -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp /bin/bash ../../libtool --tag=CXX --mode=link g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../src -I../../src/include -o eqrel_datastructure_test eqrel_datastructure_test.o -ldl -lpthread -lsqlite3 -lz -lncursesw /bin/bash ../../libtool --tag=CXX --mode=link g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../src -I../../src/include -o compiled_tuple_test compiled_tuple_test.o -ldl -lpthread -lsqlite3 -lz -lncursesw /bin/bash ../../libtool --tag=CXX --mode=link g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../src -I../../src/include -o symbol_table_test symbol_table_test.o -ldl -lpthread -lsqlite3 -lz -lncursesw libtool: link: g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../src -I../../src/include -o eqrel_datastructure_test eqrel_datastructure_test.o -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp /bin/bash ../../libtool --tag=CXX --mode=link g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../src -I../../src/include -o graph_utils_test graph_utils_test.o -ldl -lpthread -lsqlite3 -lz -lncursesw libtool: link: g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../src -I../../src/include -o 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 -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../src -I../../src/include -o symbol_table_test symbol_table_test.o -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp /bin/bash ../../libtool --tag=CXX --mode=link g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../src -I../../src/include -o parallel_utils_test parallel_utils_test.o -ldl -lpthread -lsqlite3 -lz -lncursesw /bin/bash ../../libtool --tag=CXX --mode=link g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../src -I../../src/include -o record_table_test record_table_test.o -ldl -lpthread -lsqlite3 -lz -lncursesw libtool: link: g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../src -I../../src/include -o graph_utils_test graph_utils_test.o -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp libtool: link: g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../src -I../../src/include -o parallel_utils_test parallel_utils_test.o -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp libtool: link: g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../src -I../../src/include -o record_table_test record_table_test.o -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp /bin/bash ../../libtool --tag=CXX --mode=link g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../src -I../../src/include -o brie_test brie_test.o -ldl -lpthread -lsqlite3 -lz -lncursesw libtool: link: g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../src -I../../src/include -o brie_test brie_test.o -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp make[3]: Leaving directory '/souffle/src/tests' make check-TESTS make[3]: Entering directory '/souffle/src/tests' make[4]: Entering directory '/souffle/src/tests' PASS: profile_util_test PASS: util_test PASS: table_test PASS: binary_relation_test PASS: compiled_tuple_test PASS: symbol_table_test PASS: graph_utils_test PASS: btree_multiset_test PASS: parallel_utils_test PASS: record_table_test PASS: btree_set_test PASS: eqrel_datastructure_test PASS: brie_test ============================================================================ Testsuite summary for souffle 2.0.2-348-g85f8c30cc ============================================================================ # TOTAL: 13 # PASS: 13 # SKIP: 0 # XFAIL: 0 # FAIL: 0 # XPASS: 0 # ERROR: 0 ============================================================================ make[4]: Leaving directory '/souffle/src/tests' make[3]: Leaving directory '/souffle/src/tests' make[2]: Leaving directory '/souffle/src/tests' Making check in ast/tests make[2]: Entering directory '/souffle/src/ast/tests' make ast_print_test ast_program_test ast_transformers_test ast_utils_test ast_parser_utils_test type_system_test constraints_test make[3]: Entering directory '/souffle/src/ast/tests' depbase=`echo ast_print_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ g++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../../src -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../../src -I../../../src/include -MT ast_print_test.o -MD -MP -MF $depbase.Tpo -c -o ast_print_test.o ast_print_test.cpp &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo ast_program_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ g++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../../src -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../../src -I../../../src/include -MT ast_program_test.o -MD -MP -MF $depbase.Tpo -c -o ast_program_test.o ast_program_test.cpp &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo ast_transformers_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ g++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../../src -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../../src -I../../../src/include -MT ast_transformers_test.o -MD -MP -MF $depbase.Tpo -c -o ast_transformers_test.o ast_transformers_test.cpp &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo ast_utils_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ g++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../../src -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../../src -I../../../src/include -MT ast_utils_test.o -MD -MP -MF $depbase.Tpo -c -o ast_utils_test.o ast_utils_test.cpp &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo ast_parser_utils_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ g++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../../src -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../../src -I../../../src/include -MT ast_parser_utils_test.o -MD -MP -MF $depbase.Tpo -c -o ast_parser_utils_test.o ast_parser_utils_test.cpp &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo type_system_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ g++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../../src -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../../src -I../../../src/include -MT type_system_test.o -MD -MP -MF $depbase.Tpo -c -o type_system_test.o type_system_test.cpp &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo constraints_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ g++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../../src -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../../src -I../../../src/include -MT constraints_test.o -MD -MP -MF $depbase.Tpo -c -o constraints_test.o constraints_test.cpp &&\ mv -f $depbase.Tpo $depbase.Po /bin/bash ../../../libtool --tag=CXX --mode=link g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../../src -I../../../src/include -o ast_print_test ast_print_test.o ../../../src/libsouffle.la -ldl -lpthread -lsqlite3 -lz -lncursesw libtool: link: g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../../src -I../../../src/include -o ast_print_test ast_print_test.o ../../../src/.libs/libsouffle.a -lffi -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp /bin/bash ../../../libtool --tag=CXX --mode=link g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../../src -I../../../src/include -o ast_program_test ast_program_test.o ../../../src/libsouffle.la -ldl -lpthread -lsqlite3 -lz -lncursesw libtool: link: g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../../src -I../../../src/include -o ast_program_test ast_program_test.o ../../../src/.libs/libsouffle.a -lffi -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp /bin/bash ../../../libtool --tag=CXX --mode=link g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../../src -I../../../src/include -o ast_utils_test ast_utils_test.o ../../../src/libsouffle.la -ldl -lpthread -lsqlite3 -lz -lncursesw /bin/bash ../../../libtool --tag=CXX --mode=link g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../../src -I../../../src/include -o ast_parser_utils_test ast_parser_utils_test.o ../../../src/libsouffle.la -ldl -lpthread -lsqlite3 -lz -lncursesw /bin/bash ../../../libtool --tag=CXX --mode=link g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../../src -I../../../src/include -o constraints_test constraints_test.o ../../../src/libsouffle.la -ldl -lpthread -lsqlite3 -lz -lncursesw libtool: link: g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../../src -I../../../src/include -o ast_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 -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../../src -I../../../src/include -o ast_parser_utils_test ast_parser_utils_test.o ../../../src/.libs/libsouffle.a -lffi -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp libtool: link: g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../../src -I../../../src/include -o constraints_test constraints_test.o ../../../src/.libs/libsouffle.a -lffi -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp /bin/bash ../../../libtool --tag=CXX --mode=link g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../../src -I../../../src/include -o ast_transformers_test ast_transformers_test.o ../../../src/libsouffle.la -ldl -lpthread -lsqlite3 -lz -lncursesw libtool: link: g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../../src -I../../../src/include -o ast_transformers_test ast_transformers_test.o ../../../src/.libs/libsouffle.a -lffi -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp /bin/bash ../../../libtool --tag=CXX --mode=link g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../../src -I../../../src/include -o type_system_test type_system_test.o ../../../src/libsouffle.la -ldl -lpthread -lsqlite3 -lz -lncursesw libtool: link: g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../../src -I../../../src/include -o type_system_test type_system_test.o ../../../src/.libs/libsouffle.a -lffi -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp make[3]: Leaving directory '/souffle/src/ast/tests' make check-TESTS make[3]: Entering directory '/souffle/src/ast/tests' make[4]: Entering directory '/souffle/src/ast/tests' PASS: ast_print_test PASS: ast_program_test PASS: ast_utils_test PASS: ast_transformers_test PASS: ast_parser_utils_test PASS: type_system_test PASS: constraints_test ============================================================================ Testsuite summary for souffle 2.0.2-348-g85f8c30cc ============================================================================ # TOTAL: 7 # PASS: 7 # SKIP: 0 # XFAIL: 0 # FAIL: 0 # XPASS: 0 # ERROR: 0 ============================================================================ make[4]: Leaving directory '/souffle/src/ast/tests' make[3]: Leaving directory '/souffle/src/ast/tests' make[2]: Leaving directory '/souffle/src/ast/tests' Making check in ram/tests make[2]: Entering directory '/souffle/src/ram/tests' make ram_condition_equal_clone_test ram_statement_equal_clone_test ram_expression_equal_clone_test ram_operation_equal_clone_test ram_relation_equal_clone_test ram_type_conversion_test matching_test max_matching_test make[3]: Entering directory '/souffle/src/ram/tests' depbase=`echo ram_condition_equal_clone_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ g++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../../src -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../../src -I../../../src/include -MT ram_condition_equal_clone_test.o -MD -MP -MF $depbase.Tpo -c -o ram_condition_equal_clone_test.o ram_condition_equal_clone_test.cpp &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo ram_statement_equal_clone_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ g++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../../src -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../../src -I../../../src/include -MT ram_statement_equal_clone_test.o -MD -MP -MF $depbase.Tpo -c -o ram_statement_equal_clone_test.o ram_statement_equal_clone_test.cpp &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo ram_expression_equal_clone_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ g++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../../src -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../../src -I../../../src/include -MT ram_expression_equal_clone_test.o -MD -MP -MF $depbase.Tpo -c -o ram_expression_equal_clone_test.o ram_expression_equal_clone_test.cpp &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo ram_operation_equal_clone_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ g++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../../src -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../../src -I../../../src/include -MT ram_operation_equal_clone_test.o -MD -MP -MF $depbase.Tpo -c -o ram_operation_equal_clone_test.o ram_operation_equal_clone_test.cpp &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo ram_relation_equal_clone_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ g++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../../src -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../../src -I../../../src/include -MT ram_relation_equal_clone_test.o -MD -MP -MF $depbase.Tpo -c -o ram_relation_equal_clone_test.o ram_relation_equal_clone_test.cpp &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo ram_type_conversion_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ g++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../../src -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../../src -I../../../src/include -MT ram_type_conversion_test.o -MD -MP -MF $depbase.Tpo -c -o ram_type_conversion_test.o ram_type_conversion_test.cpp &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo matching_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ g++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../../src -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../../src -I../../../src/include -MT matching_test.o -MD -MP -MF $depbase.Tpo -c -o matching_test.o matching_test.cpp &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo max_matching_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ g++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../../src -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../../src -I../../../src/include -MT max_matching_test.o -MD -MP -MF $depbase.Tpo -c -o max_matching_test.o max_matching_test.cpp &&\ mv -f $depbase.Tpo $depbase.Po /bin/bash ../../../libtool --tag=CXX --mode=link g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../../src -I../../../src/include -o ram_condition_equal_clone_test ram_condition_equal_clone_test.o ../../../src/libsouffle.la -ldl -lpthread -lsqlite3 -lz -lncursesw libtool: link: g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../../src -I../../../src/include -o ram_condition_equal_clone_test ram_condition_equal_clone_test.o ../../../src/.libs/libsouffle.a -lffi -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp /bin/bash ../../../libtool --tag=CXX --mode=link g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../../src -I../../../src/include -o ram_statement_equal_clone_test ram_statement_equal_clone_test.o ../../../src/libsouffle.la -ldl -lpthread -lsqlite3 -lz -lncursesw /bin/bash ../../../libtool --tag=CXX --mode=link g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../../src -I../../../src/include -o ram_expression_equal_clone_test ram_expression_equal_clone_test.o ../../../src/libsouffle.la -ldl -lpthread -lsqlite3 -lz -lncursesw libtool: link: g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../../src -I../../../src/include -o ram_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 libtool: link: g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../../src -I../../../src/include -o ram_expression_equal_clone_test ram_expression_equal_clone_test.o ../../../src/.libs/libsouffle.a -lffi -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp /bin/bash ../../../libtool --tag=CXX --mode=link g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../../src -I../../../src/include -o ram_operation_equal_clone_test ram_operation_equal_clone_test.o ../../../src/libsouffle.la -ldl -lpthread -lsqlite3 -lz -lncursesw /bin/bash ../../../libtool --tag=CXX --mode=link g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../../src -I../../../src/include -o ram_relation_equal_clone_test ram_relation_equal_clone_test.o ../../../src/libsouffle.la -ldl -lpthread -lsqlite3 -lz -lncursesw /bin/bash ../../../libtool --tag=CXX --mode=link g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../../src -I../../../src/include -o ram_type_conversion_test ram_type_conversion_test.o ../../../src/libsouffle.la -ldl -lpthread -lsqlite3 -lz -lncursesw libtool: link: g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../../src -I../../../src/include -o ram_operation_equal_clone_test ram_operation_equal_clone_test.o ../../../src/.libs/libsouffle.a -lffi -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp libtool: link: g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../../src -I../../../src/include -o ram_relation_equal_clone_test ram_relation_equal_clone_test.o ../../../src/.libs/libsouffle.a -lffi -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp libtool: link: g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../../src -I../../../src/include -o ram_type_conversion_test ram_type_conversion_test.o ../../../src/.libs/libsouffle.a -lffi -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp /bin/bash ../../../libtool --tag=CXX --mode=link g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../../src -I../../../src/include -o matching_test matching_test.o ../../../src/libsouffle.la -ldl -lpthread -lsqlite3 -lz -lncursesw libtool: link: g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../../src -I../../../src/include -o matching_test matching_test.o ../../../src/.libs/libsouffle.a -lffi -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp /bin/bash ../../../libtool --tag=CXX --mode=link g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../../src -I../../../src/include -o max_matching_test max_matching_test.o ../../../src/libsouffle.la -ldl -lpthread -lsqlite3 -lz -lncursesw libtool: link: g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../../src -I../../../src/include -o max_matching_test max_matching_test.o ../../../src/.libs/libsouffle.a -lffi -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp make[3]: Leaving directory '/souffle/src/ram/tests' make check-TESTS make[3]: Entering directory '/souffle/src/ram/tests' make[4]: Entering directory '/souffle/src/ram/tests' PASS: ram_condition_equal_clone_test PASS: ram_expression_equal_clone_test PASS: ram_statement_equal_clone_test PASS: ram_operation_equal_clone_test PASS: ram_relation_equal_clone_test PASS: ram_type_conversion_test PASS: matching_test PASS: max_matching_test ============================================================================ Testsuite summary for souffle 2.0.2-348-g85f8c30cc ============================================================================ # TOTAL: 8 # PASS: 8 # SKIP: 0 # XFAIL: 0 # FAIL: 0 # XPASS: 0 # ERROR: 0 ============================================================================ make[4]: Leaving directory '/souffle/src/ram/tests' make[3]: Leaving directory '/souffle/src/ram/tests' make[2]: Leaving directory '/souffle/src/ram/tests' Making check in interpreter/tests make[2]: Entering directory '/souffle/src/interpreter/tests' make interpreter_relation_test ram_arithmetic_test ram_relation_test make[3]: Entering directory '/souffle/src/interpreter/tests' depbase=`echo interpreter_relation_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ g++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../../src -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../../src -I../../../src/include -MT interpreter_relation_test.o -MD -MP -MF $depbase.Tpo -c -o interpreter_relation_test.o interpreter_relation_test.cpp &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo ram_arithmetic_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ g++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../../src -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../../src -I../../../src/include -MT ram_arithmetic_test.o -MD -MP -MF $depbase.Tpo -c -o ram_arithmetic_test.o ram_arithmetic_test.cpp &&\ mv -f $depbase.Tpo $depbase.Po depbase=`echo ram_relation_test.o | sed 's|[^/]*$|.deps/&|;s|\.o$||'`;\ g++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../../src -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../../src -I../../../src/include -MT ram_relation_test.o -MD -MP -MF $depbase.Tpo -c -o ram_relation_test.o ram_relation_test.cpp &&\ mv -f $depbase.Tpo $depbase.Po /bin/bash ../../../libtool --tag=CXX --mode=link g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../../src -I../../../src/include -o interpreter_relation_test interpreter_relation_test.o ../../../src/libsouffle.la -ldl -lpthread -lsqlite3 -lz -lncursesw libtool: link: g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../../src -I../../../src/include -o interpreter_relation_test interpreter_relation_test.o ../../../src/.libs/libsouffle.a -lffi -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp /bin/bash ../../../libtool --tag=CXX --mode=link g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../../src -I../../../src/include -o ram_arithmetic_test ram_arithmetic_test.o ../../../src/libsouffle.la -ldl -lpthread -lsqlite3 -lz -lncursesw libtool: link: g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../../src -I../../../src/include -o ram_arithmetic_test ram_arithmetic_test.o ../../../src/.libs/libsouffle.a -lffi -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp /bin/bash ../../../libtool --tag=CXX --mode=link g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../../src -I../../../src/include -o ram_relation_test ram_relation_test.o ../../../src/libsouffle.la -ldl -lpthread -lsqlite3 -lz -lncursesw libtool: link: g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -I../../../src -I../../../src/include -o ram_relation_test ram_relation_test.o ../../../src/.libs/libsouffle.a -lffi -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -fopenmp make[3]: Leaving directory '/souffle/src/interpreter/tests' make check-TESTS make[3]: Entering directory '/souffle/src/interpreter/tests' make[4]: Entering directory '/souffle/src/interpreter/tests' PASS: interpreter_relation_test PASS: ram_relation_test PASS: ram_arithmetic_test ============================================================================ Testsuite summary for souffle 2.0.2-348-g85f8c30cc ============================================================================ # TOTAL: 3 # PASS: 3 # SKIP: 0 # XFAIL: 0 # FAIL: 0 # XPASS: 0 # ERROR: 0 ============================================================================ make[4]: Leaving directory '/souffle/src/interpreter/tests' make[3]: Leaving directory '/souffle/src/interpreter/tests' make[2]: Leaving directory '/souffle/src/interpreter/tests' make[1]: Leaving directory '/souffle/src' Making check in tests make[1]: Entering directory '/souffle/tests' Making check in interface/functors make[2]: Entering directory '/souffle/tests/interface/functors' make libfunctors.la make[3]: Entering directory '/souffle/tests/interface/functors' /bin/bash ../../../libtool --tag=CXX --mode=compile g++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../../src -I../../../src/include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT libfunctors_la-functors.lo -MD -MP -MF .deps/libfunctors_la-functors.Tpo -c -o libfunctors_la-functors.lo `test -f 'functors.cpp' || echo './'`functors.cpp libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../../src -I../../../src/include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT libfunctors_la-functors.lo -MD -MP -MF .deps/libfunctors_la-functors.Tpo -c functors.cpp -fPIC -DPIC -o .libs/libfunctors_la-functors.o libtool: compile: g++ -std=c++17 -DHAVE_CONFIG_H -I. -I../../../src -I../../../src/include -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -MT libfunctors_la-functors.lo -MD -MP -MF .deps/libfunctors_la-functors.Tpo -c functors.cpp -o libfunctors_la-functors.o >/dev/null 2>&1 mv -f .deps/libfunctors_la-functors.Tpo .deps/libfunctors_la-functors.Plo /bin/bash ../../../libtool --tag=CXX --mode=link g++ -std=c++17 -Wall -Wextra -fwrapv -DUSE_NCURSES -O3 -DUSE_LIBZ -DUSE_SQLITE -DRAM_DOMAIN_SIZE=64 -fopenmp -avoid-version -shared -rpath /tmp -o libfunctors.la libfunctors_la-functors.lo -ldl -lpthread -lsqlite3 -lz -lncursesw libtool: link: g++ -fPIC -DPIC -shared -nostdlib /usr/lib/gcc/x86_64-linux-gnu/9/../../../x86_64-linux-gnu/crti.o /usr/lib/gcc/x86_64-linux-gnu/9/crtbeginS.o .libs/libfunctors_la-functors.o -ldl -lpthread /usr/lib/x86_64-linux-gnu/libsqlite3.so -lz -lncursesw -L/usr/lib/gcc/x86_64-linux-gnu/9 -L/usr/lib/gcc/x86_64-linux-gnu/9/../../../x86_64-linux-gnu -L/usr/lib/gcc/x86_64-linux-gnu/9/../../../../lib -L/lib/x86_64-linux-gnu -L/lib/../lib -L/usr/lib/x86_64-linux-gnu -L/usr/lib/../lib -L/usr/lib/gcc/x86_64-linux-gnu/9/../../.. -lstdc++ -lm -lc -lgcc_s /usr/lib/gcc/x86_64-linux-gnu/9/crtendS.o /usr/lib/gcc/x86_64-linux-gnu/9/../../../x86_64-linux-gnu/crtn.o -O3 -fopenmp -fopenmp -Wl,-soname -Wl,libfunctors.so -o .libs/libfunctors.so libtool: link: ( cd ".libs" && rm -f "libfunctors.la" && ln -s "../libfunctors.la" "libfunctors.la" ) make[3]: Leaving directory '/souffle/tests/interface/functors' make[2]: Leaving directory '/souffle/tests/interface/functors' make[2]: Entering directory '/souffle/tests' make check-local make[3]: Entering directory '/souffle/tests' /bin/bash /souffle/auxfiles/missing autom4te --language=autotest -I '.' -o testsuite.tmp testsuite.at mv testsuite.tmp testsuite test -e /souffle/include || ln -s /souffle/src/include /souffle/include /bin/bash './testsuite' -j4 ## ------------------------------------------------- ## ## souffle 2.0.2-348-g85f8c30cc test suite: Souffle. ## ## ------------------------------------------------- ## 3: comment -j8 ok 1: binary -j8 ok 5: comment2 -j8 ok 7: comment_rule -j8 ok 2: binary -c -j8 ok 4: comment -c -j8 ok 9: cpp_keywords -j8 ok 8: comment_rule -c -j8 ok 11: duplicates -j8 ok 13: empty -j8 ok 6: comment2 -c -j8 ok 15: execution_plan -j8 ok 16: execution_plan -c -j8 ok 17: input -j8 ok 18: input -c -j8 ok 19: input_directive3 -j8 ok 14: empty -c -j8 ok 21: input_directive4 -j8 ok 10: cpp_keywords -c -j8 ok 23: input_directive_quotes2 -j8 ok 12: duplicates -c -j8 ok 25: input_directive_quotes4 -j8 ok 20: input_directive3 -c -j8 ok 27: input_directive_quotes -j8 ok 22: input_directive4 -c -j8 ok 29: liberal_identifiers -j8 ok 24: input_directive_quotes2 -c -j8 ok 31: multiple_heads -j8 ok 26: input_directive_quotes4 -c -j8 ok 33: name_clash -j8 ok 28: input_directive_quotes -c -j8 ok 35: output -j8 ok 36: output -c -j8 ok 37: output_directive1 -j8 ok 32: multiple_heads -c -j8 ok 39: output_directive_quotes2 -j8 ok 30: liberal_identifiers -c -j8 ok 41: output_directive_quotes3 -j8 ok 34: name_clash -c -j8 ok 43: printsize -j8 ok 44: printsize -c -j8 ok 45: printsize_directive2 -j8 ok 46: printsize_directive2 -c -j8 ok 47: printsize_directive -j8 ok 48: printsize_directive -c -j8 ok 49: qualifiers -j8 ok 50: qualifiers -c -j8 ok 51: qualifiers2 -j8 ok 52: qualifiers2 -c -j8 ok 53: qualifiers3 -j8 ok 38: output_directive1 -c -j8 ok 55: relation -j8 ok 40: output_directive_quotes2 -c -j8 ok 57: rule -j8 ok 58: rule -c -j8 ok 59: string -j8 ok 42: output_directive_quotes3 -c -j8 ok 61: syntax1 -j8 ok 62: syntax1 -c -j8 ok 63: syntax2 -j8 ok 64: syntax2 -c -j8 ok 65: syntax3 -j8 ok 66: syntax3 -c -j8 ok 67: syntax4 -j8 ok 68: syntax4 -c -j8 ok 69: syntax5 -j8 ok 70: syntax5 -c -j8 ok 71: syntax6 -j8 ok 72: syntax6 -c -j8 ok 73: syntax7 -j8 ok 74: syntax7 -c -j8 ok 75: syntax8 -j8 ok 76: syntax8 -c -j8 ok 77: syntax9 -j8 ok 78: syntax9 -c -j8 ok 79: syntax10 -j8 ok 80: syntax10 -c -j8 ok 81: type -j8 ok 54: qualifiers3 -c -j8 ok 83: union_comp_type -j8 ok 82: type -c -j8 ok 85: access1 -j8 ok 56: relation -c -j8 ok 60: string -c -j8 ok 87: access2 -j8 ok 89: access3 -j8 ok 84: union_comp_type -c -j8 ok 91: adt-binary-constraint -j8 ok 86: access1 -c -j8 ok 93: adt-enum -j8 ok 88: access2 -c -j8 ok 95: aggregates -j8 ok 92: adt-binary-constraint -c -j8 ok 90: access3 -c -j8 ok 97: aggregates2 -j8 ok 99: aggregates3 -j8 ok 94: adt-enum -c -j8 ok 101: aggregates4 -j8 ok 100: aggregates3 -c -j8 ok 103: aggregates5 -j8 ok 98: aggregates2 -c -j8 ok 105: aggregates6 -j8 ok 96: aggregates -c -j8 ok 107: aggregates_complex -j8 ok 102: aggregates4 -c -j8 ok 109: aggregates_nested -j8 ok 104: aggregates5 -c -j8 ok 111: aggregates_non_materialised -j8 ok 106: aggregates6 -c -j8 ok 108: aggregates_complex -c -j8 ok 113: aggregates7 -j8 ok 115: aggregate_witnesses -j8 ok 112: aggregates_non_materialised -c -j8 ok 117: aliases -j8 ok 110: aggregates_nested -c -j8 ok 119: arithm -j8 ok 118: aliases -c -j8 ok 121: average -j8 ok 116: aggregate_witnesses -c -j8 ok 123: binop -j8 ok 114: aggregates7 -c -j8 ok 125: cat -j8 ok 120: arithm -c -j8 ok 127: comp-override1 -j8 ok 122: average -c -j8 ok 129: comp-override2 -j8 ok 124: binop -c -j8 ok 131: comp-override3 -j8 ok 126: cat -c -j8 ok 133: components1 -j8 ok 128: comp-override1 -c -j8 ok 135: components2 -j8 ok 130: comp-override2 -c -j8 ok 137: components3 -j8 ok 134: components1 -c -j8 ok 139: components -j8 ok 132: comp-override3 -c -j8 ok 141: components_generic -j8 ok 136: components2 -c -j8 ok 143: contains -j8 ok 138: components3 -c -j8 ok 145: count -j8 ok 140: components -c -j8 ok 147: count_sccs1 -j8 ok 144: contains -c -j8 ok 142: components_generic -c -j8 ok 149: counter -j8 ok 151: cprog1 -j8 ok 146: count -c -j8 ok 153: cprog2 -j8 ok 148: count_sccs1 -c -j8 ok 155: cprog3 -j8 ok 150: counter -c -j8 ok 152: cprog1 -c -j8 ok 156: cprog3 -c -j8 ok 159: cprog5 -j8 ok 154: cprog2 -c -j8 ok 161: cproject -j8 ok 162: cproject -c -j8 ok 163: empty_relations -j8 ok 160: cprog5 -c -j8 ok 165: existential -j8 ok 164: empty_relations -c -j8 ok 167: facts -j8 ok 166: existential -c -j8 ok 169: facts2 -j8 ok 168: facts -c -j8 ok 171: float_equality -j8 ok 170: facts2 -c -j8 ok 173: float_operations -j8 ok 172: float_equality -c -j8 ok 175: functor_arity -j8 ok 174: float_operations -c -j8 ok 177: grammar -j8 ok 176: functor_arity -c -j8 ok 179: hex -j8 ok 178: grammar -c -j8 ok 181: independent_body1 -j8 ok 180: hex -c -j8 ok 183: independent_body2 -j8 ok 182: independent_body1 -c -j8 ok 185: index -j8 ok 184: independent_body2 -c -j8 ok 187: indexed_inequalities -j8 ok 186: index -c -j8 ok 189: indirect_negation -j8 ok 188: indexed_inequalities -c -j8 ok 191: inline_functors -j8 ok 190: indirect_negation -c -j8 ok 157: cprog4 -j8 ok 193: inline_negation1 -j8 ok 195: inline_negation2 -j8 ok 192: inline_functors -c -j8 ok 197: inline_nqueens -j8 ok 194: inline_negation1 -c -j8 ok 199: inline_records -j8 ok 196: inline_negation2 -c -j8 ok 201: inline_underscore -j8 ok 158: cprog4 -c -j8 ok 203: inline_unification -j8 ok 198: inline_nqueens -c -j8 ok 205: list -j8 ok 200: inline_records -c -j8 ok 202: inline_underscore -c -j8 ok 207: magic_2sat -j8 ok 209: magic_aggregates -j8 ok 204: inline_unification -c -j8 ok 211: magic_bindings -j8 ok 206: list -c -j8 ok 213: magic_centroids -j8 ok 210: magic_aggregates -c -j8 ok 212: magic_bindings -c -j8 ok 215: magic_circuit_sat -j8 ok 217: magic_components -j8 ok 208: magic_2sat -c -j8 ok 214: magic_centroids -c -j8 ok 219: magic_cprog1 -j8 ok 221: magic_dfa -j8 ok 218: magic_components -c -j8 ok 223: magic_dominance -j8 ok 216: magic_circuit_sat -c -j8 ok 222: magic_dfa -c -j8 ok 225: magic_factoring -j8 ok 227: magic_goal -j8 ok 220: magic_cprog1 -c -j8 ok 229: magic_infbinding -j8 ok 228: magic_goal -c -j8 ok 226: magic_factoring -c -j8 ok 231: magic_lrg_attr_id -j8 ok 233: magic_movies -j8 ok 224: magic_dominance -c -j8 ok 235: magic_names1 -j8 ok 230: magic_infbinding -c -j8 ok 237: magic_neglabel -j8 ok 232: magic_lrg_attr_id -c -j8 ok 239: magic_negignored -j8 ok 236: magic_names1 -c -j8 ok 241: magic_nqueens -j8 ok 234: magic_movies -c -j8 ok 243: magic_perfect_numbers -j8 ok 238: magic_neglabel -c -j8 ok 245: magic_posignored -j8 ok 240: magic_negignored -c -j8 ok 247: magic_poslabel -j8 ok 244: magic_perfect_numbers -c -j8 ok 249: magic_records4 -j8 ok 246: magic_posignored -c -j8 ok 242: magic_nqueens -c -j8 ok 251: magic_samegen -j8 ok 253: magic_strategies -j8 ok 248: magic_poslabel -c -j8 ok 255: magic_string_substr -j8 ok 250: magic_records4 -c -j8 ok 257: magic_turing1 -j8 ok 252: magic_samegen -c -j8 ok 259: match2 -j8 ok 254: magic_strategies -c -j8 ok 261: match3 -j8 ok 256: magic_string_substr -c -j8 ok 263: match -j8 ok 260: match2 -c -j8 ok 265: max -j8 ok 262: match3 -c -j8 ok 267: minmax -j8 ok 264: match -c -j8 ok 269: minmaxnum -j8 ok 258: magic_turing1 -c -j8 ok 271: mrtc -j8 ok 266: max -c -j8 ok 273: mul -j8 ok 268: minmax -c -j8 ok 275: multiple_heads -j8 ok 270: minmaxnum -c -j8 ok 277: multiple_inequalities -j8 ok 272: mrtc -c -j8 ok 279: mutrecursion -j8 ok 274: mul -c -j8 ok 281: neg1 -j8 ok 276: multiple_heads -c -j8 ok 283: neg2 -j8 ok 278: multiple_inequalities -c -j8 ok 285: neg3 -j8 ok 280: mutrecursion -c -j8 ok 287: neg4 -j8 ok 282: neg1 -c -j8 ok 289: neg5 -j8 ok 284: neg2 -c -j8 ok 291: neg6 -j8 ok 286: neg3 -c -j8 ok 293: number_constants -j8 ok 288: neg4 -c -j8 ok 295: numeric_binary_constraint_op -j8 ok 290: neg5 -c -j8 ok 297: numeric_conversions -j8 ok 292: neg6 -c -j8 ok 299: ordinals -j8 ok 294: number_constants -c -j8 ok 301: plus -j8 ok 296: numeric_binary_constraint_op -c -j8 ok 303: range -j8 ok 300: ordinals -c -j8 ok 305: rangeop -j8 ok 298: numeric_conversions -c -j8 ok 307: rec_lists2 -j8 ok 302: plus -c -j8 ok 309: rec_lists -j8 ok 304: range -c -j8 ok 311: rec_underscore -j8 ok 308: rec_lists2 -c -j8 ok 313: recursion -j8 ok 306: rangeop -c -j8 ok 315: relop -j8 ok 310: rec_lists -c -j8 ok 317: rmut2 -j8 ok 312: rec_underscore -c -j8 ok 319: rmut -j8 ok 314: recursion -c -j8 ok 321: set_ops -j8 ok 316: relop -c -j8 ok 323: set_ops_output -j8 ok 318: rmut2 -c -j8 ok 325: simple -j8 ok 320: rmut -c -j8 ok 327: singleton -j8 ok 322: set_ops -c -j8 ok 329: subsumption -j8 ok 326: simple -c -j8 ok 324: set_ops_output -c -j8 ok 331: subtype2 -j8 ok 333: subtype -j8 ok 328: singleton -c -j8 ok 335: sum-aggregate -j8 ok 334: subtype -c -j8 ok 337: sum-aggregate2 -j8 ok 332: subtype2 -c -j8 ok 339: term -j8 ok 330: subsumption -c -j8 ok 341: unpacking -j8 ok 336: sum-aggregate -c -j8 ok 343: unsigned_operations -j8 ok 338: sum-aggregate2 -c -j8 ok 345: unused_constraints -j8 ok 342: unpacking -c -j8 ok 347: x9 -j8 ok 340: term -c -j8 ok 344: unsigned_operations -c -j8 ok 346: unused_constraints -c -j8 ok 348: x9 -c -j8 ok 349: insert_print ok 350: insert_for ok 354: functors -j8 ok 351: repeat_analysis ok 356: components -j8 ok 353: signal_error ok 358: constraints -j8 ok 352: load_print ok 360: cprog1 -j8 ok 355: functors -c -j8 ok 362: eqrel_tests3 -j8 ok 357: components -c -j8 ok 364: explain_float_unsigned -j8 ok 359: constraints -c -j8 ok 366: high_arity -j8 ok 361: cprog1 -c -j8 ok 368: negation -j8 ok 363: eqrel_tests3 -c -j8 ok 370: path -j8 ok 367: high_arity -c -j8 ok 372: path_explain_negation -j8 ok 365: explain_float_unsigned -c -j8 ok 374: path_explain_output -j8 ok 369: negation -c -j8 ok 376: same_gen -j8 ok 371: path -c -j8 ok 378: query_1 -j8 ok 373: path_explain_negation -c -j8 ok 380: query_2 -j8 ok 375: path_explain_output -c -j8 ok 382: query_3 -j8 ok 377: same_gen -c -j8 ok 384: query_float_unsigned -j8 ok 379: query_1 -c -j8 ok 386: lrg_attr_id -j8 souffle-profile -c "rel" ok 387: lrg_attr_id -j8 souffle-profile -c "rel R2" ok 388: lrg_attr_id -j8 souffle-profile -c "rul" ok 389: lrg_attr_id -j8 souffle-profile -c "rul C2.1" ok 390: lrg_attr_id -j8 souffle-profile -c "rul id N2.1" ok 391: lrg_attr_id -j8 souffle-profile -c "graph R2 copy_t" ok 392: lrg_attr_id -j8 souffle-profile -c "graph C2.1 tot_t" ok 393: lrg_attr_id -j8 souffle-profile -c "graph ver C2.1 tuples" ok 394: lrg_attr_id -j8 souffle-profile -c "top" ok 395: lrg_attr_id -j8 souffle-profile -c "help" ok 396: lrg_attr_id -c -j8 souffle-profile -c "rel" ok 381: query_2 -c -j8 ok 385: query_float_unsigned -c -j8 ok 383: query_3 -c -j8 ok 397: lrg_attr_id -c -j8 souffle-profile -c "rel R2" ok 398: lrg_attr_id -c -j8 souffle-profile -c "rul" ok 399: lrg_attr_id -c -j8 souffle-profile -c "rul C2.1" ok 400: lrg_attr_id -c -j8 souffle-profile -c "rul id N2.1" ok 401: lrg_attr_id -c -j8 souffle-profile -c "graph R2 copy_t" ok 402: lrg_attr_id -c -j8 souffle-profile -c "graph C2.1 tot_t" ok 406: recursive -j8 souffle-profile -c "rel" ok 407: recursive -j8 souffle-profile -c "rel R2" ok 408: recursive -j8 souffle-profile -c "rul" ok 409: recursive -j8 souffle-profile -c "rul C2.1" ok 410: recursive -j8 souffle-profile -c "rul id N2.1" ok 411: recursive -j8 souffle-profile -c "graph R2 copy_t" ok 412: recursive -j8 souffle-profile -c "graph C2.1 tot_t" ok 413: recursive -j8 souffle-profile -c "graph ver C2.1 tuples" ok 414: recursive -j8 souffle-profile -c "top" ok 415: recursive -j8 souffle-profile -c "help" ok 403: lrg_attr_id -c -j8 souffle-profile -c "graph ver C2.1 tuples" ok 404: lrg_attr_id -c -j8 souffle-profile -c "top" ok 405: lrg_attr_id -c -j8 souffle-profile -c "help" ok 416: recursive -c -j8 souffle-profile -c "rel" ok 417: recursive -c -j8 souffle-profile -c "rel R2" ok 418: recursive -c -j8 souffle-profile -c "rul" ok 419: recursive -c -j8 souffle-profile -c "rul C2.1" ok 420: recursive -c -j8 souffle-profile -c "rul id N2.1" ok 421: recursive -c -j8 souffle-profile -c "graph R2 copy_t" ok 422: recursive -c -j8 souffle-profile -c "graph C2.1 tot_t" ok 423: recursive -c -j8 souffle-profile -c "graph ver C2.1 tuples" ok 424: recursive -c -j8 souffle-profile -c "top" ok 425: recursive -c -j8 souffle-profile -c "help" ok ## ------------- ## ## Test results. ## ## ------------- ## All 425 tests were successful. make[3]: Leaving directory '/souffle/tests' make[2]: Leaving directory '/souffle/tests' make[1]: Leaving directory '/souffle/tests' make[1]: Entering directory '/souffle' make[1]: Nothing to be done for 'check-am'. make[1]: Leaving directory '/souffle' [Checks API] No suitable checks publisher found. [WS-CLEANUP] Deleting project workspace... [WS-CLEANUP] Deferred wipeout is used... [WS-CLEANUP] done Finished: SUCCESS