Building on iphito.ocamllabs.io
(from ocaml/opam:debian-unstable@sha256:e4c09aeba9b8a867e774ff46ed44d53e775234522abf2babbff843b8f1dedb10)
Unable to find image 'ocaml/opam:debian-unstable@sha256:e4c09aeba9b8a867e774ff46ed44d53e775234522abf2babbff843b8f1dedb10' locally
docker.io/ocaml/opam@sha256:e4c09aeba9b8a867e774ff46ed44d53e775234522abf2babbff843b8f1dedb10: Pulling from ocaml/opam
f14e2594c368: Pulling fs layer
f14e2594c368: Verifying Checksum
f14e2594c368: Download complete
f14e2594c368: Pull complete
Digest: sha256:e4c09aeba9b8a867e774ff46ed44d53e775234522abf2babbff843b8f1dedb10
Status: Downloaded newer image for ocaml/opam@sha256:e4c09aeba9b8a867e774ff46ed44d53e775234522abf2babbff843b8f1dedb10
2022-12-02 04:48.12 ---> using "d3dee1d616ca63d5699d5fd962109ec0d24e968377e0ae69e6161eba0f5af82c" from cache
/: (user (uid 1000) (gid 1000))
/: (env OPAMPRECISETRACKING 1)
/: (env OPAMUTF8 never)
/: (env OPAMEXTERNALSOLVER builtin-0install)
/: (env OPAMCRITERIA +removed)
/: (run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
2022-12-02 04:48.12 ---> using "48f1f5dc3ecf939352db5ef5caf9f3dc06faae2a01cbd7119d2a81d4fcd9c299" 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 06dca815ecdb3b6fd6bee20130421fa5176fb13b"))
2022-12-02 04:48.12 ---> using "16f67628ac3eeec9d808b099f47f4099b97a8cae63b5c0fbc89d12f2a02927dc" 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.
2022-12-02 04:48.12 ---> using "6fb88fda4d19acd47c8b26cd10aa2012c01f6dcb7de78f06ee3dd49b923bec9b" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam switch create --repositories=default '4.13' '4.13.1'"))
<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-base-compiler" {= "4.13.1"} | "ocaml-system" {= "4.13.1"}]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed base-bigarray.base
-> installed base-threads.base
-> installed base-unix.base
-> installed ocaml-options-vanilla.1
-> retrieved ocaml-base-compiler.4.13.1 (cached)
-> installed ocaml-base-compiler.4.13.1
-> installed ocaml-config.2
-> installed ocaml.4.13.1
Done.
# Run eval $(opam env --switch=4.13) to update the current shell environment
2022-12-02 04:48.12 ---> using "302718bde9438cd15e697e306806fe8b5281f66e464221536757592da1e8c87a" from cache
/: (run (network host)
(shell "opam update --depexts"))
+ /usr/bin/sudo "apt-get" "update"
- Get:1 http://deb.debian.org/debian unstable InRelease [161 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-2022-12-01-0803.19-F-2022-11-26-0806.52.pdiff [346 kB]
- Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2022-12-01-0803.19-F-2022-11-26-0806.52.pdiff [346 kB]
- Fetched 570 kB in 1s (396 kB/s)
- Reading package lists...
2022-12-02 04:48.12 ---> using "22085ed5232e7f79b6543e867f08c9c5554ce8d0c65d90fa903940348b7515b5" 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/4.13/.opam-switch/build/conf-gcc.1.0)
- gcc (Debian 12.2.0-9) 12.2.0
- Copyright (C) 2022 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:
-> 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/4.13/bin" (CWD=/home/opam/.opam/4.13/.opam-switch/build/eprover.2.6)
- Configuring with executable path /home/opam/.opam/4.13/bin
- /home/opam/.opam/4.13/.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/4.13/.opam-switch/build/eprover.2.6'
- make[1]: Leaving directory '/home/opam/.opam/4.13/.opam-switch/build/eprover.2.6'
- make depend
- make[1]: Entering directory '/home/opam/.opam/4.13/.opam-switch/build/eprover.2.6'
- make[2]: Entering directory '/home/opam/.opam/4.13/.opam-switch/build/eprover.2.6/CONTRIB'
- make[2]: Nothing to be done for 'depend'.
- make[2]: Leaving directory '/home/opam/.opam/4.13/.opam-switch/build/eprover.2.6/CONTRIB'
- make[2]: Entering directory '/home/opam/.opam/4.13/.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/4.13/.opam-switch/build/eprover.2.6/BASICS'
- make[2]: Entering directory '/home/opam/.opam/4.13/.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/4.13/.opam-switch/build/eprover.2.6/INOUT'
- make[2]: Entering directory '/home/opam/.opam/4.13/.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/4.13/.opam-switch/build/eprover.2.6/TERMS'
- make[2]: Entering directory '/home/opam/.opam/4.13/.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/4.13/.opam-switch/build/eprover.2.6/ORDERINGS'
- make[2]: Entering directory '/home/opam/.opam/4.13/.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/4.13/.opam-switch/build/eprover.2.6/CLAUSES'
- make[2]: Entering directory '/home/opam/.opam/4.13/.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/4.13/.opam-switch/build/eprover.2.6/PROPOSITIONAL'
- make[2]: Entering directory '/home/opam/.opam/4.13/.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/4.13/.opam-switch/build/eprover.2.6/LEARN'
- make[2]: Entering directory '/home/opam/.opam/4.13/.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/4.13/.opam-switch/build/eprover.2.6/PCL2'
- make[2]: Entering directory '/home/opam/.opam/4.13/.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/4.13/.opam-switch/build/eprover.2.6/HEURISTICS'
- make[2]: Entering directory '/home/opam/.opam/4.13/.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/4.13/.opam-switch/build/eprover.2.6/CONTROL'
- make[2]: Entering directory '/home/opam/.opam/4.13/.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/4.13/.opam-switch/build/eprover.2.6/SIMPLE_APPS'
- make[2]: Entering directory '/home/opam/.opam/4.13/.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/4.13/.opam-switch/build/eprover.2.6/EXTERNAL'
- make[2]: Entering directory '/home/opam/.opam/4.13/.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/4.13/.opam-switch/build/eprover.2.6/PROVER'
- make[1]: Leaving directory '/home/opam/.opam/4.13/.opam-switch/build/eprover.2.6'
- cd CONTRIB; make config
- make[1]: Entering directory '/home/opam/.opam/4.13/.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/4.13/.opam-switch/build/eprover.2.6/CONTRIB'
Processing 5/6: [eprover: make 127]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "-j" "127" (CWD=/home/opam/.opam/4.13/.opam-switch/build/eprover.2.6)
- make[1]: Entering directory '/home/opam/.opam/4.13/.opam-switch/build/eprover.2.6/CONTRIB'
- cd picosat-965; make ; make
- make[2]: Entering directory '/home/opam/.opam/4.13/.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/4.13/.opam-switch/build/eprover.2.6/CONTRIB/picosat-965'
- make[2]: Entering directory '/home/opam/.opam/4.13/.opam-switch/build/eprover.2.6/CONTRIB/picosat-965'
- make[2]: Nothing to be done for 'all'.
- make[2]: Leaving directory '/home/opam/.opam/4.13/.opam-switch/build/eprover.2.6/CONTRIB/picosat-965'
- make[1]: Leaving directory '/home/opam/.opam/4.13/.opam-switch/build/eprover.2.6/CONTRIB'
- make[1]: Entering directory '/home/opam/.opam/4.13/.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/4.13/.opam-switch/build/eprover.2.6/BASICS'
- make[1]: Entering directory '/home/opam/.opam/4.13/.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/4.13/.opam-switch/build/eprover.2.6/INOUT'
- make[1]: Entering directory '/home/opam/.opam/4.13/.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/4.13/.opam-switch/build/eprover.2.6/TERMS'
- make[1]: Entering directory '/home/opam/.opam/4.13/.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/4.13/.opam-switch/build/eprover.2.6/ORDERINGS'
- make[1]: Entering directory '/home/opam/.opam/4.13/.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/4.13/.opam-switch/build/eprover.2.6/CLAUSES'
- make[1]: Entering directory '/home/opam/.opam/4.13/.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/4.13/.opam-switch/build/eprover.2.6/PROPOSITIONAL'
- make[1]: Entering directory '/home/opam/.opam/4.13/.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/4.13/.opam-switch/build/eprover.2.6/LEARN'
- make[1]: Entering directory '/home/opam/.opam/4.13/.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/4.13/.opam-switch/build/eprover.2.6/PCL2'
- make[1]: Entering directory '/home/opam/.opam/4.13/.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/4.13/.opam-switch/build/eprover.2.6/HEURISTICS'
- make[1]: Entering directory '/home/opam/.opam/4.13/.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/4.13/.opam-switch/build/eprover.2.6/CONTROL'
- make[1]: Entering directory '/home/opam/.opam/4.13/.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+0x3b51): undefined reference to `TFormulaTPTPParse'
- /usr/bin/ld: cte_termbanks.c:(.text+0x3b74): undefined reference to `TFormulaTPTPParse'
- /usr/bin/ld: cte_termbanks.c:(.text+0x3b97): undefined reference to `TFormulaTPTPParse'
- /usr/bin/ld: ../lib/TERMS.a(cte_termbanks.o): in function `parse_let_sym_def':
- cte_termbanks.c:(.text+0x4b9b): undefined reference to `EqnTermsTBTermEncode'
- /usr/bin/ld: cte_termbanks.c:(.text+0x4d84): undefined reference to `TFormulaTSTPParse'
- /usr/bin/ld: ../lib/TERMS.a(cte_termbanks.o): in function `ParseLet':
- cte_termbanks.c:(.text+0x502e): undefined reference to `TFormulaTPTPParse'
- /usr/bin/ld: ../lib/TERMS.a(cte_termbanks.o): in function `choose_subterm_parse_fun':
- cte_termbanks.c:(.text+0x48df): 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/4.13/.opam-switch/build/eprover.2.6/SIMPLE_APPS'
- make[1]: Entering directory '/home/opam/.opam/4.13/.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/4.13/.opam-switch/build/eprover.2.6/EXTERNAL'
- make[1]: Entering directory '/home/opam/.opam/4.13/.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 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_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_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 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 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 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 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 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 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 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 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 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 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 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 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 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/4.13/.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/4.13/.opam-switch/build/eprover.2.6)
- sh -c 'mkdir -p /home/opam/.opam/4.13/bin'
- sh -c 'development_tools/e_install PROVER/eprover /home/opam/.opam/4.13/bin'
- sh -c 'development_tools/e_install PROVER/eprover-ho /home/opam/.opam/4.13/bin'
- sh -c 'development_tools/e_install PROVER/epclextract /home/opam/.opam/4.13/bin'
- sh -c 'development_tools/e_install PROVER/e_stratpar /home/opam/.opam/4.13/bin'
- sh -c 'development_tools/e_install PROVER/eground /home/opam/.opam/4.13/bin'
- sh -c 'development_tools/e_install PROVER/e_ltb_runner /home/opam/.opam/4.13/bin'
- sh -c 'development_tools/e_install PROVER/e_deduction_server /home/opam/.opam/4.13/bin'
- sh -c 'development_tools/e_install PROVER/e_axfilter /home/opam/.opam/4.13/bin'
- sh -c 'development_tools/e_install PROVER/checkproof /home/opam/.opam/4.13/bin'
- sh -c 'development_tools/e_install PROVER/ekb_create /home/opam/.opam/4.13/bin'
- sh -c 'development_tools/e_install PROVER/ekb_delete /home/opam/.opam/4.13/bin'
- sh -c 'development_tools/e_install PROVER/ekb_ginsert /home/opam/.opam/4.13/bin'
- sh -c 'development_tools/e_install PROVER/ekb_insert /home/opam/.opam/4.13/bin'
- sh -c 'development_tools/e_install CONTRIB/picosat-965/picosat /home/opam/.opam/4.13/bin'
- sh -c 'mkdir -p /home/opam/.opam/4.13/.opam-switch/build/eprover.2.6/DOC/man'
- sh -c 'development_tools/e_install DOC/man/eprover.1 /home/opam/.opam/4.13/.opam-switch/build/eprover.2.6/DOC/man'
- DOC/man/eprover.1 and /home/opam/.opam/4.13/.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/4.13/.opam-switch/build/eprover.2.6/DOC/man'
- DOC/man/epclextract.1 and /home/opam/.opam/4.13/.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/4.13/.opam-switch/build/eprover.2.6/DOC/man'
- DOC/man/e_stratpar.1 and /home/opam/.opam/4.13/.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/4.13/.opam-switch/build/eprover.2.6/DOC/man'
- DOC/man/eground.1 and /home/opam/.opam/4.13/.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/4.13/.opam-switch/build/eprover.2.6/DOC/man'
- DOC/man/e_ltb_runner.1 and /home/opam/.opam/4.13/.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/4.13/.opam-switch/build/eprover.2.6/DOC/man'
- DOC/man/e_deduction_server.1 and /home/opam/.opam/4.13/.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/4.13/.opam-switch/build/eprover.2.6/DOC/man'
- DOC/man/e_axfilter.1 and /home/opam/.opam/4.13/.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/4.13/.opam-switch/build/eprover.2.6/DOC/man'
- DOC/man/checkproof.1 and /home/opam/.opam/4.13/.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/4.13/.opam-switch/build/eprover.2.6/DOC/man'
- DOC/man/ekb_create.1 and /home/opam/.opam/4.13/.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/4.13/.opam-switch/build/eprover.2.6/DOC/man'
- DOC/man/ekb_delete.1 and /home/opam/.opam/4.13/.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/4.13/.opam-switch/build/eprover.2.6/DOC/man'
- DOC/man/ekb_ginsert.1 and /home/opam/.opam/4.13/.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/4.13/.opam-switch/build/eprover.2.6/DOC/man'
- DOC/man/ekb_insert.1 and /home/opam/.opam/4.13/.opam-switch/build/eprover.2.6/DOC/man/ekb_insert.1 are already equal
-> installed eprover.2.6
Done.
# Run eval $(opam env) to update the current shell environment
2022-12-02 04:48.51 ---> saved as "1272c58c58c5b3b49e801f6ab89c126f45e0078d9c3bda86dc7156e232396fa7"
Job succeeded
Home|Differences with the last checks|Previous runs