Building on x86-bm-c2.sw.ocaml.org
(from ocaml/opam:debian-unstable)
Unable to find image 'ocaml/opam:debian-unstable' locally
debian-unstable: Pulling from ocaml/opam
Digest: sha256:730ba1f0177ca25fd2003dcf99bd6c4e2bc2f1957c5aebd8d47e1bd69cf161a0
Status: Downloaded newer image for ocaml/opam:debian-unstable
2024-11-09 19:29.04 ---> using "0acd5aeaa8f7bc314514d9795d14a7f12ec72a6a5b11c5904350189734c6859b" from cache
/: (user (uid 1000) (gid 1000))
/: (env OPAMPRECISETRACKING 1)
/: (env OPAMUTF8 never)
/: (env OPAMEXTERNALSOLVER builtin-0install)
/: (env OPAMCRITERIA +removed)
/: (env CI true)
/: (env OPAM_HEALTH_CHECK_CI true)
/: (run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
2024-11-09 19:29.04 ---> using "40df4fa4cdfc68a5fa7a326047e82a7adc5df52b8059d4a7b745bdd50aad56e7" from cache
/: (run (network host)
(shell "rm -rf ~/opam-repository && git clone -q 'https://github.com/ocaml/opam-repository' ~/opam-repository && git -C ~/opam-repository checkout -q eecf6d033c6c13a6bda9b445601ddcbaa09dd288"))
2024-11-09 19:29.04 ---> using "659878f189cdb906ec3e452fdc4f26cfb0c3654f53f43b380cf690e70b2f5ac6" from cache
/: (run (shell "rm -rf ~/.opam && opam init -ya --bare --config ~/.opamrc-sandbox ~/opam-repository"))
Configuring from /home/opam/.opamrc-sandbox, then /home/opam/.opamrc, and finally from built-in defaults.
Checking for available remotes: rsync and local, git.
- you won't be able to use mercurial repositories unless you install the hg command on your system.
- you won't be able to use darcs repositories unless you install the darcs command on your system.
<><> Fetching repository information ><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised
User configuration:
~/.profile is already up-to-date.
[NOTE] Make sure that ~/.profile is well sourced in your ~/.bashrc.
2024-11-09 19:29.04 ---> using "b22293df705e6cba3afecfd99e3970445bf105f18df9a7b31bf5584e65710795" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam switch create --repositories=default '5.1' '5.1.0'"))
<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-base-compiler" {= "5.1.0"} | "ocaml-system" {= "5.1.0"}]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved ocaml-config.3 (cached)
-> installed base-bigarray.base
-> installed base-threads.base
-> installed base-unix.base
-> installed host-arch-x86_64.1
-> installed host-system-other.1
-> installed ocaml-options-vanilla.1
-> retrieved ocaml-base-compiler.5.1.0 (cached)
-> installed ocaml-base-compiler.5.1.0
-> installed ocaml-config.3
-> installed ocaml.5.1.0
-> installed base-domains.base
-> installed base-nnp.base
Done.
# To update the current shell environment, run: eval $(opam env --switch=5.1)
2024-11-09 19:29.04 ---> using "1fca67b33a3cc76003abcdde85a676d4eef3e94f66005c92f89b5bf9b01277bb" from cache
/: (run (network host)
(shell "opam update --depexts"))
+ /usr/bin/sudo "apt-get" "update"
- Get:1 http://deb.debian.org/debian unstable InRelease [202 kB]
- Get:2 http://deb.debian.org/debian unstable/main amd64 Packages.diff/Index [63.6 kB]
- Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2024-11-09-0804.37-F-2024-11-04-2012.18.pdiff [276 kB]
- Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2024-11-09-0804.37-F-2024-11-04-2012.18.pdiff [276 kB]
- Fetched 542 kB in 4s (146 kB/s)
- Reading package lists...
-
2024-11-09 19:29.04 ---> using "b58996a10af4f7bbcfdf93a21f86e9b313b0babf6fd22ada407b43314a4028bc" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "\
\nopam remove -y \"eprover.2.6\"\
\nopam install -vy \"eprover.2.6\"\
\nres=$?\
\nif [ $res = 31 ]; then\
\n if opam show -f x-ci-accept-failures: \"eprover.2.6\" | grep -q '\"debian-unstable\"'; then\
\n echo \"This package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\"\
\n exit 69\
\n fi\
\nfi\
\n\
\n\
\nexit $res\
\n"))
[NOTE] eprover.2.6 is not installed.
Nothing to do.
The following actions will be performed:
=== install 2 packages
- install conf-gcc 1.0 [required by eprover]
- install eprover 2.6
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 2/6: [eprover.2.6: http]
Processing 3/6: [eprover.2.6: http] [conf-gcc: gcc]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "gcc" "--version" (CWD=/home/opam/.opam/5.1/.opam-switch/build/conf-gcc.1.0)
- gcc (Debian 14.2.0-8) 14.2.0
- Copyright (C) 2024 Free Software Foundation, Inc.
- This is free software; see the source for copying conditions. There is NO
- warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE.
-
-> compiled conf-gcc.1.0
Processing 3/6: [eprover.2.6: http]
-> installed conf-gcc.1.0
Processing 4/6: [eprover.2.6: http]
Processing 4/6: [eprover.2.6: extract]
-> retrieved eprover.2.6 (http://wwwlehre.dhbw-stuttgart.de/~sschulz/WORK/E_DOWNLOAD/V_2.6/E.tgz)
Processing 5/6: [eprover: ./configure]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "./configure" "--bindir=/home/opam/.opam/5.1/bin" (CWD=/home/opam/.opam/5.1/.opam-switch/build/eprover.2.6)
- Configuring with executable path /home/opam/.opam/5.1/bin
- /home/opam/.opam/5.1/.opam-switch/build/eprover.2.6/DOC/man
- # -DENABLE_LFHO \
- echo 'Configuring build system'
- Configuring build system
- make links
- make[1]: Entering directory '/home/opam/.opam/5.1/.opam-switch/build/eprover.2.6'
- make[1]: Leaving directory '/home/opam/.opam/5.1/.opam-switch/build/eprover.2.6'
- make depend
- make[1]: Entering directory '/home/opam/.opam/5.1/.opam-switch/build/eprover.2.6'
- make[2]: Entering directory '/home/opam/.opam/5.1/.opam-switch/build/eprover.2.6/CONTRIB'
- make[2]: Nothing to be done for 'depend'.
- make[2]: Leaving directory '/home/opam/.opam/5.1/.opam-switch/build/eprover.2.6/CONTRIB'
- make[2]: Entering directory '/home/opam/.opam/5.1/.opam-switch/build/eprover.2.6/BASICS'
- gcc -M -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include *.c > Makefile.dependencies
- make[2]: Leaving directory '/home/opam/.opam/5.1/.opam-switch/build/eprover.2.6/BASICS'
- make[2]: Entering directory '/home/opam/.opam/5.1/.opam-switch/build/eprover.2.6/INOUT'
- gcc -M -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include *.c > Makefile.dependencies
- make[2]: Leaving directory '/home/opam/.opam/5.1/.opam-switch/build/eprover.2.6/INOUT'
- make[2]: Entering directory '/home/opam/.opam/5.1/.opam-switch/build/eprover.2.6/TERMS'
- gcc -M -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include *.c > Makefile.dependencies
- make[2]: Leaving directory '/home/opam/.opam/5.1/.opam-switch/build/eprover.2.6/TERMS'
- make[2]: Entering directory '/home/opam/.opam/5.1/.opam-switch/build/eprover.2.6/ORDERINGS'
- gcc -M -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include *.c > Makefile.dependencies
- make[2]: Leaving directory '/home/opam/.opam/5.1/.opam-switch/build/eprover.2.6/ORDERINGS'
- make[2]: Entering directory '/home/opam/.opam/5.1/.opam-switch/build/eprover.2.6/CLAUSES'
- gcc -M -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include *.c > Makefile.dependencies
- make[2]: Leaving directory '/home/opam/.opam/5.1/.opam-switch/build/eprover.2.6/CLAUSES'
- make[2]: Entering directory '/home/opam/.opam/5.1/.opam-switch/build/eprover.2.6/PROPOSITIONAL'
- gcc -M -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include *.c > Makefile.dependencies
- make[2]: Leaving directory '/home/opam/.opam/5.1/.opam-switch/build/eprover.2.6/PROPOSITIONAL'
- make[2]: Entering directory '/home/opam/.opam/5.1/.opam-switch/build/eprover.2.6/LEARN'
- gcc -M -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include *.c > Makefile.dependencies
- make[2]: Leaving directory '/home/opam/.opam/5.1/.opam-switch/build/eprover.2.6/LEARN'
- make[2]: Entering directory '/home/opam/.opam/5.1/.opam-switch/build/eprover.2.6/PCL2'
- gcc -M -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include *.c > Makefile.dependencies
- make[2]: Leaving directory '/home/opam/.opam/5.1/.opam-switch/build/eprover.2.6/PCL2'
- make[2]: Entering directory '/home/opam/.opam/5.1/.opam-switch/build/eprover.2.6/HEURISTICS'
- gcc -M -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include *.c > Makefile.dependencies
- make[2]: Leaving directory '/home/opam/.opam/5.1/.opam-switch/build/eprover.2.6/HEURISTICS'
- make[2]: Entering directory '/home/opam/.opam/5.1/.opam-switch/build/eprover.2.6/CONTROL'
- gcc -M -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include *.c > Makefile.dependencies
- make[2]: Leaving directory '/home/opam/.opam/5.1/.opam-switch/build/eprover.2.6/CONTROL'
- make[2]: Entering directory '/home/opam/.opam/5.1/.opam-switch/build/eprover.2.6/SIMPLE_APPS'
- gcc -M -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include *.c > Makefile.dependencies
- make[2]: Leaving directory '/home/opam/.opam/5.1/.opam-switch/build/eprover.2.6/SIMPLE_APPS'
- make[2]: Entering directory '/home/opam/.opam/5.1/.opam-switch/build/eprover.2.6/EXTERNAL'
- gcc -M -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include *.c > Makefile.dependencies
- make[2]: Leaving directory '/home/opam/.opam/5.1/.opam-switch/build/eprover.2.6/EXTERNAL'
- make[2]: Entering directory '/home/opam/.opam/5.1/.opam-switch/build/eprover.2.6/PROVER'
- gcc -M -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include *.c > Makefile.dependencies
- make[2]: Leaving directory '/home/opam/.opam/5.1/.opam-switch/build/eprover.2.6/PROVER'
- make[1]: Leaving directory '/home/opam/.opam/5.1/.opam-switch/build/eprover.2.6'
- cd CONTRIB; make config
- make[1]: Entering directory '/home/opam/.opam/5.1/.opam-switch/build/eprover.2.6/CONTRIB'
- cd picosat-965; ./configure.sh -t
- version ... 965
- debug ... no
- log ... no
- stats ... no
- trace ... yes
- static ... no
- shared ... no
- targets ... picosat picomcs picomus picogcnf libpicosat.a
- cc ... gcc
- cflags ... -DTRACE -Wall -Wextra -DNDEBUG -O3
- makefile ... done
- make[1]: Leaving directory '/home/opam/.opam/5.1/.opam-switch/build/eprover.2.6/CONTRIB'
Processing 5/6: [eprover: make 39]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "-j" "39" (CWD=/home/opam/.opam/5.1/.opam-switch/build/eprover.2.6)
- make[1]: Entering directory '/home/opam/.opam/5.1/.opam-switch/build/eprover.2.6/CONTRIB'
- cd picosat-965; make ; make
- make[2]: Entering directory '/home/opam/.opam/5.1/.opam-switch/build/eprover.2.6/CONTRIB/picosat-965'
- gcc -DTRACE -Wall -Wextra -DNDEBUG -O3 -c picosat.c
- rm -f config.h; ./mkconfig.sh > config.h
- gcc -DTRACE -Wall -Wextra -DNDEBUG -O3 -c app.c
- gcc -DTRACE -Wall -Wextra -DNDEBUG -O3 -c main.c
- gcc -DTRACE -Wall -Wextra -DNDEBUG -O3 -c picomcs.c
- gcc -DTRACE -Wall -Wextra -DNDEBUG -O3 -c picomus.c
- gcc -DTRACE -Wall -Wextra -DNDEBUG -O3 -c picogcnf.c
- gcc -DTRACE -Wall -Wextra -DNDEBUG -O3 -c version.c
- ar rc libpicosat.a picosat.o version.o
- ranlib libpicosat.a
- gcc -DTRACE -Wall -Wextra -DNDEBUG -O3 -o picosat main.o app.o -L. -lpicosat
- gcc -DTRACE -Wall -Wextra -DNDEBUG -O3 -o picomcs picomcs.o -L. -lpicosat
- gcc -DTRACE -Wall -Wextra -DNDEBUG -O3 -o picomus picomus.o -L. -lpicosat
- gcc -DTRACE -Wall -Wextra -DNDEBUG -O3 -o picogcnf picogcnf.o -L. -lpicosat
- make[2]: Leaving directory '/home/opam/.opam/5.1/.opam-switch/build/eprover.2.6/CONTRIB/picosat-965'
- make[2]: Entering directory '/home/opam/.opam/5.1/.opam-switch/build/eprover.2.6/CONTRIB/picosat-965'
- make[2]: Nothing to be done for 'all'.
- make[2]: Leaving directory '/home/opam/.opam/5.1/.opam-switch/build/eprover.2.6/CONTRIB/picosat-965'
- make[1]: Leaving directory '/home/opam/.opam/5.1/.opam-switch/build/eprover.2.6/CONTRIB'
- make[1]: Entering directory '/home/opam/.opam/5.1/.opam-switch/build/eprover.2.6/BASICS'
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o clb_error.o clb_error.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o clb_memory.o clb_memory.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o clb_os_wrapper.o clb_os_wrapper.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o clb_dstrings.o clb_dstrings.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o clb_verbose.o clb_verbose.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o clb_stringtrees.o clb_stringtrees.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o clb_numtrees.o clb_numtrees.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o clb_numxtrees.o clb_numxtrees.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o clb_floattrees.o clb_floattrees.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o clb_pstacks.o clb_pstacks.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o clb_pqueue.o clb_pqueue.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o clb_dstacks.o clb_dstacks.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o clb_ptrees.o clb_ptrees.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o clb_quadtrees.o clb_quadtrees.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o clb_regmem.o clb_regmem.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o clb_objtrees.o clb_objtrees.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o clb_fixdarrays.o clb_fixdarrays.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o clb_plist.o clb_plist.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o clb_pdarrays.o clb_pdarrays.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o clb_pdrangearrays.o clb_pdrangearrays.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o clb_ddarrays.o clb_ddarrays.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o clb_sysdate.o clb_sysdate.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o clb_intmap.o clb_intmap.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o clb_simple_stuff.o clb_simple_stuff.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o clb_partial_orderings.o clb_partial_orderings.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o clb_plocalstacks.o clb_plocalstacks.c
- ar rcs BASICS.a clb_error.o clb_memory.o clb_os_wrapper.o clb_dstrings.o clb_verbose.o clb_stringtrees.o clb_numtrees.o clb_numxtrees.o clb_floattrees.o clb_pstacks.o clb_pqueue.o clb_dstacks.o clb_ptrees.o clb_quadtrees.o clb_regmem.o clb_objtrees.o clb_fixdarrays.o clb_plist.o clb_pdarrays.o clb_pdrangearrays.o clb_ddarrays.o clb_sysdate.o clb_intmap.o clb_simple_stuff.o clb_partial_orderings.o clb_plocalstacks.o
- make[1]: Leaving directory '/home/opam/.opam/5.1/.opam-switch/build/eprover.2.6/BASICS'
- make[1]: Entering directory '/home/opam/.opam/5.1/.opam-switch/build/eprover.2.6/INOUT'
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o cio_output.o cio_output.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o cio_simplestuff.o cio_simplestuff.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o cio_fileops.o cio_fileops.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o cio_streams.o cio_streams.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o cio_initio.o cio_initio.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o cio_scanner.o cio_scanner.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o cio_network.o cio_network.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o cio_multiplexer.o cio_multiplexer.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o cio_basicparser.o cio_basicparser.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o cio_commandline.o cio_commandline.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o cio_filevars.o cio_filevars.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o cio_tempfile.o cio_tempfile.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o cio_signals.o cio_signals.c
- ar rcs INOUT.a cio_output.o cio_simplestuff.o cio_fileops.o cio_streams.o cio_initio.o cio_scanner.o cio_network.o cio_multiplexer.o cio_basicparser.o cio_commandline.o cio_filevars.o cio_tempfile.o cio_signals.o
- make[1]: Leaving directory '/home/opam/.opam/5.1/.opam-switch/build/eprover.2.6/INOUT'
- make[1]: Entering directory '/home/opam/.opam/5.1/.opam-switch/build/eprover.2.6/TERMS'
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o cte_functypes.o cte_functypes.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o cte_signature.o cte_signature.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o cte_termtypes.o cte_termtypes.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o cte_termvars.o cte_termvars.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o cte_acterms.o cte_acterms.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o cte_varhash.o cte_varhash.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o cte_varsets.o cte_varsets.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o cte_termfunc.o cte_termfunc.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o cte_termtrees.o cte_termtrees.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o cte_termcellstore.o cte_termcellstore.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o cte_termbanks.o cte_termbanks.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o cte_subst.o cte_subst.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o cte_termpos.o cte_termpos.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o cte_termcpos.o cte_termcpos.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o cte_replace.o cte_replace.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o cte_match_mgu_1-1.o cte_match_mgu_1-1.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o cte_idx_fp.o cte_idx_fp.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o cte_fp_index.o cte_fp_index.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o cte_simpletypes.o cte_simpletypes.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o cte_typecheck.o cte_typecheck.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o cte_typebanks.o cte_typebanks.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o cte_termweightext.o cte_termweightext.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o cte_lambda.o cte_lambda.c
- ar rcs TERMS.a cte_functypes.o cte_signature.o cte_termtypes.o cte_termvars.o cte_acterms.o cte_varhash.o cte_varsets.o cte_termfunc.o cte_termtrees.o cte_termcellstore.o cte_termbanks.o cte_subst.o cte_termpos.o cte_termcpos.o cte_replace.o cte_match_mgu_1-1.o cte_idx_fp.o cte_fp_index.o cte_simpletypes.o cte_typecheck.o cte_typebanks.o cte_termweightext.o cte_lambda.o
- make[1]: Leaving directory '/home/opam/.opam/5.1/.opam-switch/build/eprover.2.6/TERMS'
- make[1]: Entering directory '/home/opam/.opam/5.1/.opam-switch/build/eprover.2.6/ORDERINGS'
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o cto_ocb.o cto_ocb.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o cto_cmpcache.o cto_cmpcache.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o cto_lpo.o cto_lpo.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o cto_kbo.o cto_kbo.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o cto_kbolin.o cto_kbolin.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o cto_orderings.o cto_orderings.c
- ar rcs ORDERINGS.a cto_ocb.o cto_cmpcache.o cto_lpo.o cto_kbo.o cto_kbolin.o cto_orderings.o
- make[1]: Leaving directory '/home/opam/.opam/5.1/.opam-switch/build/eprover.2.6/ORDERINGS'
- make[1]: Entering directory '/home/opam/.opam/5.1/.opam-switch/build/eprover.2.6/CLAUSES'
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o ccl_ext_index.o ccl_ext_index.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o ccl_neweval.o ccl_neweval.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o ccl_eqn.o ccl_eqn.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o ccl_eqnlist.o ccl_eqnlist.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o ccl_clauseinfo.o ccl_clauseinfo.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o ccl_clauses.o ccl_clauses.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o ccl_tformulae.o ccl_tformulae.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o ccl_formula_wrapper.o ccl_formula_wrapper.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o ccl_formulasets.o ccl_formulasets.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o ccl_f_generality.o ccl_f_generality.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o ccl_sine.o ccl_sine.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o ccl_garbage_coll.o ccl_garbage_coll.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o ccl_tcnf.o ccl_tcnf.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o ccl_propclauses.o ccl_propclauses.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o ccl_tautologies.o ccl_tautologies.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o ccl_clausepos.o ccl_clausepos.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o ccl_clausecpos.o ccl_clausecpos.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o ccl_pdtrees.o ccl_pdtrees.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o ccl_freqvectors.o ccl_freqvectors.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o ccl_fcvindexing.o ccl_fcvindexing.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o ccl_clausesets.o ccl_clausesets.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o ccl_unfold_defs.o ccl_unfold_defs.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o ccl_clausefunc.o ccl_clausefunc.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o ccl_formulafunc.o ccl_formulafunc.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o ccl_groundconstr.o ccl_groundconstr.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o ccl_grounding.o ccl_grounding.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o ccl_g_lithash.o ccl_g_lithash.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o ccl_axiomsorter.o ccl_axiomsorter.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o ccl_findex.o ccl_findex.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o ccl_clausepos_tree.o ccl_clausepos_tree.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o ccl_subterm_tree.o ccl_subterm_tree.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o ccl_subterm_index.o ccl_subterm_index.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o ccl_overlap_index.o ccl_overlap_index.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o ccl_relevance.o ccl_relevance.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o ccl_inferencedoc.o ccl_inferencedoc.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o ccl_derivation.o ccl_derivation.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o ccl_paramod.o ccl_paramod.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o ccl_factor.o ccl_factor.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o ccl_eqnresolution.o ccl_eqnresolution.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o ccl_rewrite.o ccl_rewrite.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o ccl_unit_simplify.o ccl_unit_simplify.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o ccl_subsumption.o ccl_subsumption.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o ccl_condensation.o ccl_condensation.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o ccl_context_sr.o ccl_context_sr.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o ccl_def_handling.o ccl_def_handling.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o ccl_splitting.o ccl_splitting.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o ccl_global_indices.o ccl_global_indices.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o ccl_satinterface.o ccl_satinterface.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o ccl_proofstate.o ccl_proofstate.c
- ar rcs CLAUSES.a ccl_ext_index.o ccl_neweval.o ccl_eqn.o ccl_eqnlist.o ccl_clauseinfo.o ccl_clauses.o ccl_tformulae.o ccl_formula_wrapper.o ccl_formulasets.o ccl_f_generality.o ccl_sine.o ccl_garbage_coll.o ccl_tcnf.o ccl_propclauses.o ccl_tautologies.o ccl_clausepos.o ccl_clausecpos.o ccl_pdtrees.o ccl_freqvectors.o ccl_fcvindexing.o ccl_clausesets.o ccl_unfold_defs.o ccl_clausefunc.o ccl_formulafunc.o ccl_groundconstr.o ccl_grounding.o ccl_g_lithash.o ccl_axiomsorter.o ccl_findex.o ccl_clausepos_tree.o ccl_subterm_tree.o ccl_subterm_index.o ccl_overlap_index.o ccl_relevance.o ccl_inferencedoc.o ccl_derivation.o ccl_paramod.o ccl_factor.o ccl_eqnresolution.o ccl_rewrite.o ccl_unit_simplify.o ccl_subsumption.o ccl_condensation.o ccl_context_sr.o ccl_def_handling.o ccl_splitting.o ccl_global_indices.o ccl_satinterface.o ccl_proofstate.o
- make[1]: Leaving directory '/home/opam/.opam/5.1/.opam-switch/build/eprover.2.6/CLAUSES'
- make[1]: Entering directory '/home/opam/.opam/5.1/.opam-switch/build/eprover.2.6/PROPOSITIONAL'
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o cpr_propsig.o cpr_propsig.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o cpr_varset.o cpr_varset.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o cpr_propclauses.o cpr_propclauses.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o cpr_dpllformula.o cpr_dpllformula.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o cpr_dpll.o cpr_dpll.c
- ar rcs PROPOSITIONAL.a cpr_propsig.o cpr_varset.o cpr_propclauses.o cpr_dpllformula.o cpr_dpll.o
- make[1]: Leaving directory '/home/opam/.opam/5.1/.opam-switch/build/eprover.2.6/PROPOSITIONAL'
- make[1]: Entering directory '/home/opam/.opam/5.1/.opam-switch/build/eprover.2.6/LEARN'
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o cle_patterns.o cle_patterns.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o cle_clauseenc.o cle_clauseenc.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o cle_annotations.o cle_annotations.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o cle_annoterms.o cle_annoterms.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o cle_flatannoterms.o cle_flatannoterms.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o cle_numfeatures.o cle_numfeatures.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o cle_examplerep.o cle_examplerep.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o cle_kbdesc.o cle_kbdesc.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o cle_kbinsert.o cle_kbinsert.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o cle_termtops.o cle_termtops.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o cle_indexfunctions.o cle_indexfunctions.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o cle_tsm.o cle_tsm.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o cle_classification.o cle_classification.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o cle_tsmio.o cle_tsmio.c
- ar rcs LEARN.a cle_patterns.o cle_clauseenc.o cle_annotations.o cle_annoterms.o cle_flatannoterms.o cle_numfeatures.o cle_examplerep.o cle_kbdesc.o cle_kbinsert.o cle_termtops.o cle_indexfunctions.o cle_tsm.o cle_classification.o cle_tsmio.o
- make[1]: Leaving directory '/home/opam/.opam/5.1/.opam-switch/build/eprover.2.6/LEARN'
- make[1]: Entering directory '/home/opam/.opam/5.1/.opam-switch/build/eprover.2.6/PCL2'
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o pcl_idents.o pcl_idents.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o pcl_positions.o pcl_positions.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o pcl_expressions.o pcl_expressions.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o pcl_steps.o pcl_steps.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o pcl_protocol.o pcl_protocol.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o pcl_miniclauses.o pcl_miniclauses.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o pcl_ministeps.o pcl_ministeps.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o pcl_miniprotocol.o pcl_miniprotocol.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o pcl_lemmas.o pcl_lemmas.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o pcl_analysis.o pcl_analysis.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o pcl_propanalysis.o pcl_propanalysis.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o pcl_proofcheck.o pcl_proofcheck.c
- ar rcs PCL2.a pcl_idents.o pcl_positions.o pcl_expressions.o pcl_steps.o pcl_protocol.o pcl_miniclauses.o pcl_ministeps.o pcl_miniprotocol.o pcl_lemmas.o pcl_analysis.o pcl_propanalysis.o pcl_proofcheck.o
- make[1]: Leaving directory '/home/opam/.opam/5.1/.opam-switch/build/eprover.2.6/PCL2'
- make[1]: Entering directory '/home/opam/.opam/5.1/.opam-switch/build/eprover.2.6/HEURISTICS'
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o che_wfcb.o che_wfcb.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o che_wfcbadmin.o che_wfcbadmin.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o che_axiomscan.o che_axiomscan.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o che_clausefeatures.o che_clausefeatures.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o che_prio_funs.o che_prio_funs.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o che_clausesetfeatures.o che_clausesetfeatures.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o che_rawspecfeatures.o che_rawspecfeatures.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o che_specsigfeatures.o che_specsigfeatures.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o che_clauseweight.o che_clauseweight.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o che_dagweight.o che_dagweight.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o che_refinedweight.o che_refinedweight.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o che_varweights.o che_varweights.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o che_funweights.o che_funweights.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o che_orientweight.o che_orientweight.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o che_fifo.o che_fifo.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o che_lifo.o che_lifo.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o che_learning.o che_learning.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o che_simweight.o che_simweight.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o che_to_params.o che_to_params.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o che_hcb.o che_hcb.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o che_litselection.o che_litselection.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o che_proofcontrol.o che_proofcontrol.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o che_hcbadmin.o che_hcbadmin.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o che_heuristics.o che_heuristics.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o che_fcode_featurearrays.o che_fcode_featurearrays.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o che_to_weightgen.o che_to_weightgen.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o che_to_precgen.o che_to_precgen.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o che_to_autoselect.o che_to_autoselect.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o che_axfilter.o che_axfilter.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o che_strucweight.o che_strucweight.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o che_prefixweight.o che_prefixweight.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o che_treeweight.o che_treeweight.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o che_levweight.o che_levweight.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o che_tfidfweight.o che_tfidfweight.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o che_termweights.o che_termweights.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o che_termweight.o che_termweight.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o che_random.o che_random.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o che_diversityweight.o che_diversityweight.c
- ar rcs HEURISTICS.a che_wfcb.o che_wfcbadmin.o che_axiomscan.o che_clausefeatures.o che_prio_funs.o che_clausesetfeatures.o che_rawspecfeatures.o che_specsigfeatures.o che_clauseweight.o che_dagweight.o che_refinedweight.o che_varweights.o che_funweights.o che_orientweight.o che_fifo.o che_lifo.o che_learning.o che_simweight.o che_to_params.o che_hcb.o che_litselection.o che_proofcontrol.o che_hcbadmin.o che_heuristics.o che_fcode_featurearrays.o che_to_weightgen.o che_to_precgen.o che_to_autoselect.o che_axfilter.o che_strucweight.o che_prefixweight.o che_treeweight.o che_levweight.o che_tfidfweight.o che_termweights.o che_termweight.o che_random.o che_diversityweight.o
- make[1]: Leaving directory '/home/opam/.opam/5.1/.opam-switch/build/eprover.2.6/HEURISTICS'
- make[1]: Entering directory '/home/opam/.opam/5.1/.opam-switch/build/eprover.2.6/CONTROL'
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o cco_simplification.o cco_simplification.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o cco_factoring.o cco_factoring.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o cco_eqnresolving.o cco_eqnresolving.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o cco_paramodulation.o cco_paramodulation.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o cco_forward_contraction.o cco_forward_contraction.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o cco_clausesplitting.o cco_clausesplitting.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o cco_interpreted.o cco_interpreted.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o cco_proofproc.o cco_proofproc.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o cco_proc_ctrl.o cco_proc_ctrl.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o cco_batch_spec.o cco_batch_spec.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o cco_einteractive_mode.o cco_einteractive_mode.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o cco_sine.o cco_sine.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o cco_esession.o cco_esession.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o cco_eserver.o cco_eserver.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o cco_scheduling.o cco_scheduling.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o cco_ho_inferences.o cco_ho_inferences.c
- ar rcs CONTROL.a cco_simplification.o cco_factoring.o cco_eqnresolving.o cco_paramodulation.o cco_forward_contraction.o cco_clausesplitting.o cco_interpreted.o cco_proofproc.o cco_proc_ctrl.o cco_batch_spec.o cco_einteractive_mode.o cco_sine.o cco_esession.o cco_eserver.o cco_scheduling.o cco_ho_inferences.o
- make[1]: Leaving directory '/home/opam/.opam/5.1/.opam-switch/build/eprover.2.6/CONTROL'
- make[1]: Entering directory '/home/opam/.opam/5.1/.opam-switch/build/eprover.2.6/SIMPLE_APPS'
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o ex_commandline.o ex_commandline.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o term2dag.o term2dag.c
- gcc -O03 -fomit-frame-pointer -fno-common -o ex_commandline ex_commandline.o ../lib/INOUT.a ../lib/BASICS.a -lm
- gcc -O03 -fomit-frame-pointer -fno-common -o term2dag term2dag.o ../lib/CLAUSES.a ../lib/TERMS.a ../lib/ORDERINGS.a ../lib/INOUT.a ../lib/BASICS.a -lm
- /usr/bin/ld: ../lib/TERMS.a(cte_termbanks.o): in function `ParseIte':
- cte_termbanks.c:(.text+0x3bc1): undefined reference to `TFormulaTPTPParse'
- /usr/bin/ld: cte_termbanks.c:(.text+0x3be4): undefined reference to `TFormulaTPTPParse'
- /usr/bin/ld: cte_termbanks.c:(.text+0x3c07): undefined reference to `TFormulaTPTPParse'
- /usr/bin/ld: ../lib/TERMS.a(cte_termbanks.o): in function `parse_let_sym_def':
- cte_termbanks.c:(.text+0x4c7b): undefined reference to `EqnTermsTBTermEncode'
- /usr/bin/ld: cte_termbanks.c:(.text+0x4e64): undefined reference to `TFormulaTSTPParse'
- /usr/bin/ld: ../lib/TERMS.a(cte_termbanks.o): in function `ParseLet':
- cte_termbanks.c:(.text+0x510e): undefined reference to `TFormulaTPTPParse'
- /usr/bin/ld: ../lib/TERMS.a(cte_termbanks.o): in function `choose_subterm_parse_fun':
- cte_termbanks.c:(.text+0x49bf): undefined reference to `TFormulaTSTPParse'
- collect2: error: ld returned 1 exit status
- make[1]: *** [Makefile:41: term2dag] Error 1
- make[1]: Leaving directory '/home/opam/.opam/5.1/.opam-switch/build/eprover.2.6/SIMPLE_APPS'
- make[1]: Entering directory '/home/opam/.opam/5.1/.opam-switch/build/eprover.2.6/EXTERNAL'
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o CSSCPA_filter.o CSSCPA_filter.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o cex_csscpa.o cex_csscpa.c
- gcc -O03 -fomit-frame-pointer -fno-common -o CSSCPA_filter CSSCPA_filter.o cex_csscpa.o ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a ../lib/CONTRIB.a -lm
- make[1]: Leaving directory '/home/opam/.opam/5.1/.opam-switch/build/eprover.2.6/EXTERNAL'
- make[1]: Entering directory '/home/opam/.opam/5.1/.opam-switch/build/eprover.2.6/PROVER'
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o eprover.o eprover.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o e_ltb_runner.o e_ltb_runner.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o e_stratpar.o e_stratpar.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o e_deduction_server.o e_deduction_server.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o e_axfilter.o e_axfilter.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o classify_problem.o classify_problem.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o epatternize.o epatternize.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o e_client.o e_client.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o e_server.o e_server.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o direct_examples.o direct_examples.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o epclanalyse.o epclanalyse.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o epclextract.o epclextract.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o checkproof.o checkproof.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o eground.o eground.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o enormalizer.o enormalizer.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o edpll.o edpll.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o epcllemma.o epcllemma.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o ekb_create.o ekb_create.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o ekb_insert.o ekb_insert.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o ekb_ginsert.o ekb_ginsert.c
- gcc -O03 -fomit-frame-pointer -fno-common -Wall -DNDEBUG -DFAST_EXIT -DPRINT_SOMEERRORS_STDOUT -DMEMORY_RESERVE_PARANOID -DPRINT_TSTP_STATUS -DSTACK_SIZE=32768 -DCLAUSE_PERM_IDENT -DTAGGED_POINTERS -std=gnu99 -I../include -c -o ekb_delete.o ekb_delete.c
- gcc -O03 -fomit-frame-pointer -fno-common -o epclanalyse epclanalyse.o ../lib/PCL2.a ../lib/HEURISTICS.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a ../lib/CONTRIB.a -lm
- gcc -O03 -fomit-frame-pointer -fno-common -o e_stratpar e_stratpar.o ../lib/CONTROL.a ../lib/HEURISTICS.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a ../lib/CONTRIB.a -lm
- gcc -O03 -fomit-frame-pointer -fno-common -o e_ltb_runner e_ltb_runner.o ../lib/CONTROL.a ../lib/HEURISTICS.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a ../lib/CONTRIB.a -lm
- gcc -O03 -fomit-frame-pointer -fno-common -o e_server e_server.o ../lib/CONTROL.a ../lib/HEURISTICS.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a -lm
- gcc -O03 -fomit-frame-pointer -fno-common -o checkproof checkproof.o ../lib/PCL2.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a ../lib/CONTRIB.a -lm
- gcc -O03 -fomit-frame-pointer -fno-common -o ekb_delete ekb_delete.o ../lib/LEARN.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a ../lib/CONTRIB.a -lm
- gcc -O03 -fomit-frame-pointer -fno-common -o e_deduction_server e_deduction_server.o ../lib/CONTROL.a ../lib/HEURISTICS.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a ../lib/CONTRIB.a -lm
- gcc -O03 -fomit-frame-pointer -fno-common -o ekb_create ekb_create.o ../lib/LEARN.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a ../lib/CONTRIB.a -lm
- gcc -O03 -fomit-frame-pointer -fno-common -o direct_examples direct_examples.o ../lib/PCL2.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a ../lib/CONTRIB.a -lm
- gcc -O03 -fomit-frame-pointer -fno-common -o ekb_insert ekb_insert.o ../lib/LEARN.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a ../lib/CONTRIB.a -lm
- gcc -O03 -fomit-frame-pointer -fno-common -o e_client e_client.o ../lib/CONTROL.a ../lib/HEURISTICS.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a ../lib/CONTRIB.a -lm
- gcc -O03 -fomit-frame-pointer -fno-common -o epclextract epclextract.o ../lib/PCL2.a ../lib/HEURISTICS.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a ../lib/CONTRIB.a -lm
- gcc -O03 -fomit-frame-pointer -fno-common -o edpll edpll.o ../lib/PROPOSITIONAL.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a ../lib/CONTRIB.a -lm
- gcc -O03 -fomit-frame-pointer -fno-common -o epcllemma epcllemma.o ../lib/PCL2.a ../lib/HEURISTICS.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a ../lib/CONTRIB.a -lm
- gcc -O03 -fomit-frame-pointer -fno-common -o ekb_ginsert ekb_ginsert.o ../lib/PCL2.a ../lib/LEARN.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a ../lib/CONTRIB.a -lm
- gcc -O03 -fomit-frame-pointer -fno-common -o epatternize epatternize.o ../lib/CONTROL.a ../lib/HEURISTICS.a ../lib/LEARN.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a ../lib/CONTRIB.a -lm
- gcc -O03 -fomit-frame-pointer -fno-common -o eground eground.o ../lib/HEURISTICS.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a ../lib/CONTRIB.a -lm
- gcc -O03 -fomit-frame-pointer -fno-common -o enormalizer enormalizer.o ../lib/HEURISTICS.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a ../lib/CONTRIB.a -lm
- gcc -O03 -fomit-frame-pointer -fno-common -o classify_problem classify_problem.o ../lib/CONTROL.a ../lib/HEURISTICS.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a ../lib/CONTRIB.a -lm
- gcc -O03 -fomit-frame-pointer -fno-common -o e_axfilter e_axfilter.o ../lib/CONTROL.a ../lib/HEURISTICS.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a ../lib/CONTRIB.a -lm
- gcc -O03 -fomit-frame-pointer -fno-common -o eprover eprover.o ../lib/CONTROL.a ../lib/HEURISTICS.a ../lib/LEARN.a ../lib/CLAUSES.a ../lib/ORDERINGS.a ../lib/TERMS.a ../lib/INOUT.a ../lib/BASICS.a ../lib/CONTRIB.a -lm
- make[1]: Leaving directory '/home/opam/.opam/5.1/.opam-switch/build/eprover.2.6/PROVER'
-> compiled eprover.2.6
Processing 6/6: [eprover: make install]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "make" "install" (CWD=/home/opam/.opam/5.1/.opam-switch/build/eprover.2.6)
- sh -c 'mkdir -p /home/opam/.opam/5.1/bin'
- sh -c 'development_tools/e_install PROVER/eprover /home/opam/.opam/5.1/bin'
- sh -c 'development_tools/e_install PROVER/eprover-ho /home/opam/.opam/5.1/bin'
- sh -c 'development_tools/e_install PROVER/epclextract /home/opam/.opam/5.1/bin'
- sh -c 'development_tools/e_install PROVER/e_stratpar /home/opam/.opam/5.1/bin'
- sh -c 'development_tools/e_install PROVER/eground /home/opam/.opam/5.1/bin'
- sh -c 'development_tools/e_install PROVER/e_ltb_runner /home/opam/.opam/5.1/bin'
- sh -c 'development_tools/e_install PROVER/e_deduction_server /home/opam/.opam/5.1/bin'
- sh -c 'development_tools/e_install PROVER/e_axfilter /home/opam/.opam/5.1/bin'
- sh -c 'development_tools/e_install PROVER/checkproof /home/opam/.opam/5.1/bin'
- sh -c 'development_tools/e_install PROVER/ekb_create /home/opam/.opam/5.1/bin'
- sh -c 'development_tools/e_install PROVER/ekb_delete /home/opam/.opam/5.1/bin'
- sh -c 'development_tools/e_install PROVER/ekb_ginsert /home/opam/.opam/5.1/bin'
- sh -c 'development_tools/e_install PROVER/ekb_insert /home/opam/.opam/5.1/bin'
- sh -c 'development_tools/e_install CONTRIB/picosat-965/picosat /home/opam/.opam/5.1/bin'
- sh -c 'mkdir -p /home/opam/.opam/5.1/.opam-switch/build/eprover.2.6/DOC/man'
- sh -c 'development_tools/e_install DOC/man/eprover.1 /home/opam/.opam/5.1/.opam-switch/build/eprover.2.6/DOC/man'
- DOC/man/eprover.1 and /home/opam/.opam/5.1/.opam-switch/build/eprover.2.6/DOC/man/eprover.1 are already equal
- sh -c 'development_tools/e_install DOC/man/epclextract.1 /home/opam/.opam/5.1/.opam-switch/build/eprover.2.6/DOC/man'
- DOC/man/epclextract.1 and /home/opam/.opam/5.1/.opam-switch/build/eprover.2.6/DOC/man/epclextract.1 are already equal
- sh -c 'development_tools/e_install DOC/man/e_stratpar.1 /home/opam/.opam/5.1/.opam-switch/build/eprover.2.6/DOC/man'
- DOC/man/e_stratpar.1 and /home/opam/.opam/5.1/.opam-switch/build/eprover.2.6/DOC/man/e_stratpar.1 are already equal
- sh -c 'development_tools/e_install DOC/man/eground.1 /home/opam/.opam/5.1/.opam-switch/build/eprover.2.6/DOC/man'
- DOC/man/eground.1 and /home/opam/.opam/5.1/.opam-switch/build/eprover.2.6/DOC/man/eground.1 are already equal
- sh -c 'development_tools/e_install DOC/man/e_ltb_runner.1 /home/opam/.opam/5.1/.opam-switch/build/eprover.2.6/DOC/man'
- DOC/man/e_ltb_runner.1 and /home/opam/.opam/5.1/.opam-switch/build/eprover.2.6/DOC/man/e_ltb_runner.1 are already equal
- sh -c 'development_tools/e_install DOC/man/e_deduction_server.1 /home/opam/.opam/5.1/.opam-switch/build/eprover.2.6/DOC/man'
- DOC/man/e_deduction_server.1 and /home/opam/.opam/5.1/.opam-switch/build/eprover.2.6/DOC/man/e_deduction_server.1 are already equal
- sh -c 'development_tools/e_install DOC/man/e_axfilter.1 /home/opam/.opam/5.1/.opam-switch/build/eprover.2.6/DOC/man'
- DOC/man/e_axfilter.1 and /home/opam/.opam/5.1/.opam-switch/build/eprover.2.6/DOC/man/e_axfilter.1 are already equal
- sh -c 'development_tools/e_install DOC/man/checkproof.1 /home/opam/.opam/5.1/.opam-switch/build/eprover.2.6/DOC/man'
- DOC/man/checkproof.1 and /home/opam/.opam/5.1/.opam-switch/build/eprover.2.6/DOC/man/checkproof.1 are already equal
- sh -c 'development_tools/e_install DOC/man/ekb_create.1 /home/opam/.opam/5.1/.opam-switch/build/eprover.2.6/DOC/man'
- DOC/man/ekb_create.1 and /home/opam/.opam/5.1/.opam-switch/build/eprover.2.6/DOC/man/ekb_create.1 are already equal
- sh -c 'development_tools/e_install DOC/man/ekb_delete.1 /home/opam/.opam/5.1/.opam-switch/build/eprover.2.6/DOC/man'
- DOC/man/ekb_delete.1 and /home/opam/.opam/5.1/.opam-switch/build/eprover.2.6/DOC/man/ekb_delete.1 are already equal
- sh -c 'development_tools/e_install DOC/man/ekb_ginsert.1 /home/opam/.opam/5.1/.opam-switch/build/eprover.2.6/DOC/man'
- DOC/man/ekb_ginsert.1 and /home/opam/.opam/5.1/.opam-switch/build/eprover.2.6/DOC/man/ekb_ginsert.1 are already equal
- sh -c 'development_tools/e_install DOC/man/ekb_insert.1 /home/opam/.opam/5.1/.opam-switch/build/eprover.2.6/DOC/man'
- DOC/man/ekb_insert.1 and /home/opam/.opam/5.1/.opam-switch/build/eprover.2.6/DOC/man/ekb_insert.1 are already equal
-> installed eprover.2.6
Done.
# To update the current shell environment, run: eval $(opam env)
2024-11-09 19:30.14 ---> saved as "49d3758c4a22e9bdcffbe075f277a15a3b435a0cffc870b27b5255b558af05e1"
Job succeeded
Home|Differences with the last checks|Previous runs