Building on pima.ocamllabs.io
(from ocurrent/opam:debian-unstable)
WARNING: Error loading config file: .dockercfg: $HOME is not defined
2021-07-05 07:46.06 ---> using "ec5d5faa8619574bfe663422158251f52f4b465bd9d157e348e692194b4f4a2a" from cache
/: (user (uid 1000) (gid 1000))
/: (env OPAMPRECISETRACKING 1)
/: (env OPAMDEPEXTYES 1)
/: (env OPAMUTF8 never)
/: (run (network host)
(shell "\
\n set -e\
\n git clone -q git://github.com/kit-ty-kate/opam.git /tmp/opam\
\n git -C /tmp/opam checkout -q '72695bfac80dbcd1d2f10287b2626d18d4acc9f2'\
\n opam remote set-url default git://github.com/ocaml/opam-repository.git\
\n opam pin add -yn /tmp/opam > /dev/null\
\n opam install -y opam-devel opam-0install-cudf 'ocamlfind>=1.9'\
\n sudo mv \"$(opam var opam-devel:lib)/opam\" /usr/bin/opam\
\n rm -rf /tmp/opam /tmp/depext.txt ~/.opam\
\n if ! test -d ~/opam-repository; then\
\n git clone -q git://github.com/ocaml/opam-repository.git ~/opam-repository\
\n else\
\n git -C ~/opam-repository pull -q origin master\
\n fi\
\n git -C ~/opam-repository checkout -q '9c3fe9d253394788e95360e5c2bcb22722fae6f5'\
\n "))
[default] Initialised
<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><>
[opam-devel.2.1.0~beta4] no changes from git+file:///tmp/opam#HEAD
The following actions will be performed:
- install ocamlfind 1.9.1
- install seq base [required by re]
- install cmdliner 1.0.4 [required by opam-devel]
- install dune 2.9.0 [required by opam-0install-cudf, opam-devel]
- install ocamlbuild 0.14.0 [required by cudf]
- install base-bytes base [required by extlib]
- install stdlib-shims 0.3.0 [required by ocamlgraph]
- install re 1.9.0 [required by opam-client]
- install opam-file-format 2.1.3 [required by opam-format]
- install cppo 1.6.7 [required by extlib]
- install 0install-solver 2.17 [required by opam-0install-cudf]
- install ocamlgraph 2.0.0 [required by dose3]
- install extlib 1.7.7-1 [required by cudf, opam-client]
- install opam-core 2.1.0~beta4* [required by opam-format]
- install cudf 0.9-1 [required by opam-0install-cudf]
- install opam-format 2.1.0~beta4* [required by opam-repository, opam-solver]
- install opam-0install-cudf 0.4.2
- install mccs 1.1+13 [required by opam-solver]
- install dose3 5.0.1-1 [required by opam-solver]
- install opam-repository 2.1.0~beta4* [required by opam-client]
- install opam-solver 2.1.0~beta4* [required by opam-client]
- install opam-state 2.1.0~beta4* [required by opam-client]
- install opam-client 2.1.0~beta4* [required by opam-devel]
- install opam-devel 2.1.0~beta4*
===== 24 to install =====
<><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
[cmdliner.1.0.4] downloaded from http://erratique.ch/software/cmdliner/releases/cmdliner-1.0.4.tbz
[0install-solver.2.17] downloaded from https://github.com/0install/0install/releases/download/v2.17/0install-v2.17.tbz
[cppo.1.6.7] downloaded from https://github.com/ocaml-community/cppo/releases/download/v1.6.7/cppo-v1.6.7.tbz
[cudf.0.9-1] downloaded from https://gforge.inria.fr/frs/download.php/36602/cudf-0.9.tar.gz
[dune.2.9.0] downloaded from https://github.com/ocaml/dune/releases/download/2.9.0/dune-2.9.0.tbz
[dose3.5.0.1-1] downloaded from https://gforge.inria.fr/frs/download.php/file/36063/dose3-5.0.1.tar.gz
[extlib.1.7.7-1] downloaded from https://ygrek.org/p/release/ocaml-extlib/extlib-1.7.7.tar.gz
[mccs.1.1+13] downloaded from https://github.com/AltGr/ocaml-mccs/archive/1.1+13.tar.gz
[ocamlbuild.0.14.0] downloaded from https://github.com/ocaml/ocamlbuild/archive/0.14.0.tar.gz
[ocamlfind.1.9.1] downloaded from http://download.camlcity.org/download/findlib-1.9.1.tar.gz
[ocamlgraph.2.0.0] downloaded from https://github.com/backtracking/ocamlgraph/releases/download/2.0.0/ocamlgraph-2.0.0.tbz
[opam-0install-cudf.0.4.2] downloaded from https://github.com/ocaml-opam/opam-0install-solver/releases/download/v0.4.2/opam-0install-cudf-v0.4.2.tbz
[opam-file-format.2.1.3] downloaded from https://github.com/ocaml/opam-file-format/archive/2.1.3.tar.gz
[re.1.9.0] downloaded from https://github.com/ocaml/ocaml-re/releases/download/1.9.0/re-1.9.0.tbz
[stdlib-shims.0.3.0] downloaded from https://github.com/ocaml/stdlib-shims/releases/download/0.3.0/stdlib-shims-0.3.0.tbz
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed seq.base
-> installed cmdliner.1.0.4
-> installed ocamlfind.1.9.1
-> installed base-bytes.base
-> installed ocamlbuild.0.14.0
-> installed dune.2.9.0
-> installed stdlib-shims.0.3.0
-> installed opam-file-format.2.1.3
-> installed 0install-solver.2.17
-> installed cppo.1.6.7
-> installed re.1.9.0
-> installed ocamlgraph.2.0.0
-> installed extlib.1.7.7-1
-> installed opam-core.2.1.0~beta4
-> installed cudf.0.9-1
-> installed opam-0install-cudf.0.4.2
-> installed mccs.1.1+13
-> installed opam-format.2.1.0~beta4
-> installed opam-repository.2.1.0~beta4
-> installed dose3.5.0.1-1
-> installed opam-solver.2.1.0~beta4
-> installed opam-state.2.1.0~beta4
-> installed opam-client.2.1.0~beta4
-> installed opam-devel.2.1.0~beta4
Done.
<><> opam-devel.2.1.0~beta4 installed successfully ><><><><><><><><><><><><><><>
=> The development version of opam has been successfully compiled into /home/opam/.opam/4.11/lib/opam-devel. You should not run it from there, please install the binaries to your PATH, e.g. with
sudo cp /home/opam/.opam/4.11/lib/opam-devel/opam /usr/local/bin
If you just want to give it a try without altering your current installation, you could use instead:
alias opam2="OPAMROOT=~/.opam2 /home/opam/.opam/4.11/lib/opam-devel/opam"
# Run eval $(opam env) to update the current shell environment
Updating files: 85% (10402/12211)
Updating files: 86% (10502/12211)
Updating files: 87% (10624/12211)
Updating files: 88% (10746/12211)
Updating files: 89% (10868/12211)
Updating files: 90% (10990/12211)
Updating files: 91% (11113/12211)
Updating files: 92% (11235/12211)
Updating files: 93% (11357/12211)
Updating files: 94% (11479/12211)
Updating files: 95% (11601/12211)
Updating files: 96% (11723/12211)
Updating files: 97% (11845/12211)
Updating files: 98% (11967/12211)
Updating files: 99% (12089/12211)
Updating files: 100% (12211/12211)
Updating files: 100% (12211/12211), done.
2021-07-05 07:46.06 ---> using "307be9aa5cdafafceded4bdc6f1d2d6cc6421661c3851f395cf39dd0065265a9" from cache
/: (env OPAMEXTERNALSOLVER builtin-0install)
/: (env OPAMCRITERIA +removed)
/: (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.
2021-07-05 07:46.06 ---> using "f9d18559158c26cb0236b11f8c3f1aca1927d54f77b8b978800f7461ab605d60" from cache
/: (run (network host)
(shell "git clone -q 'git://github.com/ocaml/ocaml-beta-repository.git' ~/'beta' && git -C ~/'beta' checkout -q 79aeeadd813bdae424ab53f882f08bee0a4e0b89"))
2021-07-05 07:46.06 ---> using "0123e084a7b7841fc01d674ea3cc62b640a19885601c401c0149be13108a5da4" from cache
/: (run (shell "opam repository add --dont-select 'beta' ~/'beta'"))
[beta] Initialised
2021-07-05 07:46.06 ---> using "4382217c65ee8c899c1e38e76fe879b949ffb708f73e6e0a95f0a3814d01dd54" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam switch create --repositories=beta,default 4.11.2"))
<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-base-compiler" {= "4.11.2"} | "ocaml-system" {= "4.11.2"}]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed base-bigarray.base
-> installed base-threads.base
-> installed base-unix.base
-> retrieved ocaml-base-compiler.4.11.2 (cached)
-> installed ocaml-base-compiler.4.11.2
-> installed ocaml-config.1
-> installed ocaml.4.11.2
Done.
# Run eval $(opam env --switch=4.11.2) to update the current shell environment
2021-07-05 07:46.06 ---> using "2c8838f3a92b240b5a581e6313d8481bd7a38de0f7f7394be371bbc7550604d8" 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]
- Ign:2 http://deb.debian.org/debian unstable/main amd64 Packages.diff/Index
- Get:3 http://deb.debian.org/debian unstable/main amd64 Packages [8640 kB]
- Fetched 8865 kB in 2s (5202 kB/s)
- Reading package lists...
-
2021-07-05 07:46.06 ---> using "46fc310bd923a57fb188b01a0371b97a5919f17635856c4dfb32e488af2ee0cb" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "\
\nopam remove -y \"yices2.0.0.3\"\
\nopam install -vy \"yices2.0.0.3\"\
\nres=$?\
\nif [ $res = 31 ]; then\
\n if opam show -f x-ci-accept-failures: \"yices2.0.0.3\" | 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] yices2.0.0.3 is not installed.
Nothing to do.
The following actions will be performed:
- install ocamlfind 1.9.1 [required by yices2]
- install conf-gmp 3 [required by yices2]
- install zarith 1.12 [required by yices2]
- install yices2 0.0.3
===== 4 to install =====
The following system packages will first need to be installed:
libgmp-dev
<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>
Let opam run your package manager to install the required system packages? [Y/n] y
+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "libgmp-dev"
- debconf: delaying package configuration, since apt-utils is not installed
- (Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 17845 files and directories currently installed.)
- Preparing to unpack .../libgmp10_2%3a6.2.1+dfsg-1_amd64.deb ...
- Unpacking libgmp10:amd64 (2:6.2.1+dfsg-1) over (2:6.2.0+dfsg-6) ...
- Setting up libgmp10:amd64 (2:6.2.1+dfsg-1) ...
- Selecting previously unselected package libgmpxx4ldbl:amd64.
- (Reading database ...
(Reading database ... 5%
(Reading database ... 10%
(Reading database ... 15%
(Reading database ... 20%
(Reading database ... 25%
(Reading database ... 30%
(Reading database ... 35%
(Reading database ... 40%
(Reading database ... 45%
(Reading database ... 50%
(Reading database ... 55%
(Reading database ... 60%
(Reading database ... 65%
(Reading database ... 70%
(Reading database ... 75%
(Reading database ... 80%
(Reading database ... 85%
(Reading database ... 90%
(Reading database ... 95%
(Reading database ... 100%
(Reading database ... 17846 files and directories currently installed.)
- Preparing to unpack .../libgmpxx4ldbl_2%3a6.2.1+dfsg-1_amd64.deb ...
- Unpacking libgmpxx4ldbl:amd64 (2:6.2.1+dfsg-1) ...
- Selecting previously unselected package libgmp-dev:amd64.
- Preparing to unpack .../libgmp-dev_2%3a6.2.1+dfsg-1_amd64.deb ...
- Unpacking libgmp-dev:amd64 (2:6.2.1+dfsg-1) ...
- Setting up libgmpxx4ldbl:amd64 (2:6.2.1+dfsg-1) ...
- Setting up libgmp-dev:amd64 (2:6.2.1+dfsg-1) ...
- Processing triggers for libc-bin (2.31-4) ...
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 2/12:
Processing 3/12:
Processing 4/12:
Processing 5/12: [conf-gmp: sh]
-> retrieved ocamlfind.1.9.1 (cached)
Processing 6/12: [conf-gmp: sh] [ocamlfind: ./configure]
-> retrieved yices2.0.0.3 (cached)
-> retrieved zarith.1.12 (cached)
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "sh" "-exc" "cc -c $CFLAGS -I/usr/local/include test.c" (CWD=/home/opam/.opam/4.11.2/.opam-switch/build/conf-gmp.3)
- + cc -c -I/usr/local/include test.c
- + cc -c -I/usr/local/include test.c
-> compiled conf-gmp.3
Processing 6/12: [ocamlfind: ./configure]
-> installed conf-gmp.3
Processing 7/12: [ocamlfind: ./configure]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "./configure" "-bindir" "/home/opam/.opam/4.11.2/bin" "-sitelib" "/home/opam/.opam/4.11.2/lib" "-mandir" "/home/opam/.opam/4.11.2/man" "-config" "/home/opam/.opam/4.11.2/lib/findlib.conf" "-no-custom" "-no-camlp4" (CWD=/home/opam/.opam/4.11.2/.opam-switch/build/ocamlfind.1.9.1)
- Welcome to findlib version 1.9.1
- Configuring core...
- Checking for #remove_directory...
- Testing threading model...
- systhread_supported: true
- Testing DLLs...
- Testing whether ppxopt can be supported...
- Checking for ocamlc -opaque...
- Querying installation: META list not found
- make install will double-check installed META files
- Configuring libraries...
- unix: found
- bigarray: found
- compiler-libs: found
- dbm: not present (normal since 4.00)
- graphics: not present (normal since 4.09)
- num: not present (normal since 4.06)
- ocamlbuild: not present (normal since 4.03)
- ocamldoc: found
- raw_spacetime: found
- threads: found
- str: found
- labltk: not present (normal since 4.02)
- native dynlink: found
- camlp4: disabled
- bytes: found, installing fake library
- Configuration for dynlink written to site-lib-src/dynlink/META
- Configuration for stdlib written to site-lib-src/stdlib/META
- Configuration for unix written to site-lib-src/unix/META
- Configuration for bigarray written to site-lib-src/bigarray/META
- Configuration for compiler-libs written to site-lib-src/compiler-libs/META
- Configuration for ocamldoc written to site-lib-src/ocamldoc/META
- Configuration for raw_spacetime written to site-lib-src/raw_spacetime/META
- Configuration for threads written to site-lib-src/threads/META
- Configuration for str written to site-lib-src/str/META
- Configuration for bytes written to site-lib-src/bytes/META
- Detecting compiler arguments: (extractor built) ok
-
- About the OCAML core installation:
- Standard library: /home/opam/.opam/4.11.2/lib/ocaml
- Binaries: /home/opam/.opam/4.11.2/bin
- Manual pages: /home/opam/.opam/4.11.2/man
- Multi-threading type: posix
- The directory of site-specific packages will be
- site-lib: /home/opam/.opam/4.11.2/lib
- The configuration file is written to:
- findlib config file: /home/opam/.opam/4.11.2/lib/findlib.conf
- Software will be installed:
- Libraries: in <site-lib>/findlib
- Binaries: /home/opam/.opam/4.11.2/bin
- Manual pages: /home/opam/.opam/4.11.2/man
- topfind script: /home/opam/.opam/4.11.2/lib/ocaml
- Topfind ppxopt support: yes
- Toolbox: no
- Link custom runtime: no
- Need bytes compatibility: no
-
- Configuration has been written to Makefile.config
-
- You can now do 'make all', and optionally 'make opt', to build ocamlfind.
Processing 7/12: [ocamlfind: make all]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "all" (CWD=/home/opam/.opam/4.11.2/.opam-switch/build/ocamlfind.1.9.1)
- for p in findlib; do ( cd src/$p; make all ) || exit; done
- make[1]: Entering directory '/home/opam/.opam/4.11.2/.opam-switch/build/ocamlfind.1.9.1/src/findlib'
- ocamllex fl_meta.mll
- 22 states, 392 transitions, table size 1700 bytes
- USE_CYGPATH="0"; \
- export USE_CYGPATH; \
- cat findlib_config.mlp | \
- ../../tools/patch '@CONFIGFILE@' '/home/opam/.opam/4.11.2/lib/findlib.conf' | \
- ../../tools/patch '@STDLIB@' '/home/opam/.opam/4.11.2/lib/ocaml' | \
- sed -e 's;@AUTOLINK@;true;g' \
- -e 's;@SYSTEM@;linux;g' \
- >findlib_config.ml
- if [ "true" = "true" ]; then \
- cp topfind.ml.in topfind.ml; \
- else \
- sed -e '/PPXOPT_BEGIN/,/PPXOPT_END/ d' topfind.ml.in \
- > topfind.ml ; \
- fi
- ocamldep *.ml *.mli >depend
- ocamlc -I +compiler-libs -opaque -g -c findlib_config.ml
- ocamlc -I +compiler-libs -opaque -g -c fl_split.ml
- ocamlc -I +compiler-libs -opaque -g -c fl_metatoken.ml
- ocamlc -I +compiler-libs -opaque -g -c fl_meta.ml
- ocamlc -I +compiler-libs -opaque -c fl_metascanner.mli
- ocamlc -I +compiler-libs -opaque -g -c fl_metascanner.ml
- ocamlc -I +compiler-libs -opaque -c fl_topo.mli
- ocamlc -I +compiler-libs -opaque -g -c fl_topo.ml
- ocamlc -I +compiler-libs -opaque -c fl_package_base.mli
- ocamlc -I +compiler-libs -opaque -g -c fl_package_base.ml
- ocamlc -I +compiler-libs -opaque -c findlib.mli
- ocamlc -I +compiler-libs -opaque -g -c findlib.ml
- ocamlc -I +compiler-libs -opaque -g -c fl_args.ml
- ocamlc -I +compiler-libs -opaque -g -c fl_lint.ml
- ocamlc -I +compiler-libs -a -o findlib.cma findlib_config.cmo fl_split.cmo fl_metatoken.cmo fl_meta.cmo fl_metascanner.cmo fl_topo.cmo fl_package_base.cmo findlib.cmo fl_args.cmo fl_lint.cmo
- ocamlc -I +compiler-libs -opaque -g -c ocaml_args.ml
- ocamlc -I +compiler-libs -opaque -g -c frontend.ml
- File "frontend.ml", line 1826, characters 16-29:
- 1826 | let buf = String.create buflen in (* FIXME: Bytes.create *)
- ^^^^^^^^^^^^^
- Alert deprecated: Stdlib.String.create
- Use Bytes.create instead.
- ocamlc -I +compiler-libs -o ocamlfind -g findlib.cma unix.cma \
- ocaml_args.cmo frontend.cmo
- ocamlc -I +compiler-libs -opaque -c topfind.mli
- ocamlc -I +compiler-libs -opaque -g -c topfind.ml
- ocamlc -I +compiler-libs -a -o findlib_top.cma topfind.cmo
- USE_CYGPATH="0"; \
- export USE_CYGPATH; \
- cat topfind_rd1.p | \
- ../../tools/patch '@SITELIB@' '/home/opam/.opam/4.11.2/lib' \
- >topfind
- ocamlc -I +compiler-libs -opaque -c fl_dynload.mli
- ocamlc -I +compiler-libs -opaque -g -c fl_dynload.ml
- ocamlc -I +compiler-libs -a -o findlib_dynload.cma fl_dynload.cmo
- make[1]: Leaving directory '/home/opam/.opam/4.11.2/.opam-switch/build/ocamlfind.1.9.1/src/findlib'
- make all-config
- make[1]: Entering directory '/home/opam/.opam/4.11.2/.opam-switch/build/ocamlfind.1.9.1'
- USE_CYGPATH="0"; \
- export USE_CYGPATH; \
- cat findlib.conf.in | \
- tools/patch '@SITELIB@' '/home/opam/.opam/4.11.2/lib' >findlib.conf
- if ./tools/cmd_from_same_dir ocamlc; then \
- echo 'ocamlc="ocamlc.opt"' >>findlib.conf; \
- fi
- if ./tools/cmd_from_same_dir ocamlopt; then \
- echo 'ocamlopt="ocamlopt.opt"' >>findlib.conf; \
- fi
- if ./tools/cmd_from_same_dir ocamldep; then \
- echo 'ocamldep="ocamldep.opt"' >>findlib.conf; \
- fi
- if ./tools/cmd_from_same_dir ocamldoc; then \
- echo 'ocamldoc="ocamldoc.opt"' >>findlib.conf; \
- fi
- make[1]: Leaving directory '/home/opam/.opam/4.11.2/.opam-switch/build/ocamlfind.1.9.1'
Processing 7/12: [ocamlfind: make opt]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" "opt" (CWD=/home/opam/.opam/4.11.2/.opam-switch/build/ocamlfind.1.9.1)
- for p in findlib; do ( cd src/$p; make opt ) || exit; done
- make[1]: Entering directory '/home/opam/.opam/4.11.2/.opam-switch/build/ocamlfind.1.9.1/src/findlib'
- ocamlopt -I +compiler-libs -g -opaque -c findlib_config.ml
- ocamlopt -I +compiler-libs -g -opaque -c fl_split.ml
- ocamlopt -I +compiler-libs -g -opaque -c fl_metatoken.ml
- ocamlopt -I +compiler-libs -g -opaque -c fl_meta.ml
- ocamlopt -I +compiler-libs -g -opaque -c fl_metascanner.ml
- ocamlopt -I +compiler-libs -g -opaque -c fl_topo.ml
- ocamlopt -I +compiler-libs -g -opaque -c fl_package_base.ml
- ocamlopt -I +compiler-libs -g -opaque -c findlib.ml
- ocamlopt -I +compiler-libs -g -opaque -c fl_args.ml
- ocamlopt -I +compiler-libs -g -opaque -c fl_lint.ml
- ocamlopt -I +compiler-libs -g -a -o findlib.cmxa findlib_config.cmx fl_split.cmx fl_metatoken.cmx fl_meta.cmx fl_metascanner.cmx fl_topo.cmx fl_package_base.cmx findlib.cmx fl_args.cmx fl_lint.cmx
- if [ 1 -gt 0 ]; then \
- ocamlopt -I +compiler-libs -g -shared -o findlib.cmxs findlib_config.cmx fl_split.cmx fl_metatoken.cmx fl_meta.cmx fl_metascanner.cmx fl_topo.cmx fl_package_base.cmx findlib.cmx fl_args.cmx fl_lint.cmx; \
- fi
- ocamlopt -I +compiler-libs -g -opaque -c ocaml_args.ml
- ocamlopt -I +compiler-libs -g -opaque -c frontend.ml
- File "frontend.ml", line 1826, characters 16-29:
- 1826 | let buf = String.create buflen in (* FIXME: Bytes.create *)
- ^^^^^^^^^^^^^
- Alert deprecated: Stdlib.String.create
- Use Bytes.create instead.
- ocamlopt -I +compiler-libs -g -o ocamlfind_opt findlib.cmxa unix.cmxa \
- ocaml_args.cmx frontend.cmx
- ocamlopt -I +compiler-libs -g -opaque -c topfind.ml
- File "_none_", line 1:
- Warning 58: no cmx file was found in path for module Topdirs, and its interface was not compiled with -opaque
- File "_none_", line 1:
- Warning 58: no cmx file was found in path for module Toploop, and its interface was not compiled with -opaque
- ocamlopt -I +compiler-libs -g -a -o findlib_top.cmxa topfind.cmx
- if [ 1 -gt 0 ]; then \
- ocamlopt -I +compiler-libs -g -shared -o findlib_top.cmxs topfind.cmx; \
- fi
- ocamlopt -I +compiler-libs -g -opaque -c fl_dynload.ml
- ocamlopt -I +compiler-libs -g -a -o findlib_dynload.cmxa fl_dynload.cmx
- if [ 1 -gt 0 ]; then \
- ocamlopt -I +compiler-libs -g -shared -o findlib_dynload.cmxs fl_dynload.cmx; \
- fi
- make[1]: Leaving directory '/home/opam/.opam/4.11.2/.opam-switch/build/ocamlfind.1.9.1/src/findlib'
-> compiled ocamlfind.1.9.1
Processing 8/12: [ocamlfind: make install]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "make" "install" (CWD=/home/opam/.opam/4.11.2/.opam-switch/build/ocamlfind.1.9.1)
- if [ "1" -eq 1 ]; then \
- for x in camlp4 dbm graphics labltk num ocamlbuild; do \
- if [ -f "/home/opam/.opam/4.11.2/lib/$x/META" ]; then \
- if ! grep -Fq '[distributed with Ocaml]' "//home/opam/.opam/4.11.2/lib/$x/META"; then \
- rm -f site-lib-src/$x/META; \
- fi \
- fi \
- done; \
- test -f "site-lib-src/num/META" || rm -f "site-lib-src/num-top/META"; \
- fi
- echo 'SITELIB_META =' > Makefile.packages.in
- for x in `ls site-lib-src`; do test ! -f "site-lib-src/$x/META" || echo $x >> Makefile.packages.in; done
- tr '\n' ' ' < Makefile.packages.in > Makefile.packages
- rm Makefile.packages.in
- mkdir -p "/home/opam/.opam/4.11.2/bin"
- mkdir -p "/home/opam/.opam/4.11.2/man"
- make install-config
- make[1]: Entering directory '/home/opam/.opam/4.11.2/.opam-switch/build/ocamlfind.1.9.1'
- mkdir -p "`dirname \"/home/opam/.opam/4.11.2/lib/findlib.conf\"`"
- test -f "/home/opam/.opam/4.11.2/lib/findlib.conf" || cp findlib.conf "/home/opam/.opam/4.11.2/lib/findlib.conf"
- make[1]: Leaving directory '/home/opam/.opam/4.11.2/.opam-switch/build/ocamlfind.1.9.1'
- for p in findlib; do ( cd src/$p; make install ); done
- make[1]: Entering directory '/home/opam/.opam/4.11.2/.opam-switch/build/ocamlfind.1.9.1/src/findlib'
- mkdir -p "/home/opam/.opam/4.11.2/lib/findlib"
- mkdir -p "/home/opam/.opam/4.11.2/bin"
- test 1 -eq 0 || cp topfind "/home/opam/.opam/4.11.2/lib/ocaml"
- files=` ../../tools/collect_files ../../Makefile.config findlib.cmi findlib.mli findlib.cma findlib.cmxa findlib.a findlib.cmxs topfind.cmi topfind.mli fl_package_base.mli fl_package_base.cmi fl_metascanner.mli fl_metascanner.cmi fl_metatoken.cmi findlib_top.cma findlib_top.cmxa findlib_top.a findlib_top.cmxs findlib_dynload.cma findlib_dynload.cmxa findlib_dynload.a findlib_dynload.cmxs fl_dynload.mli fl_dynload.cmi META` && \
- cp $files "/home/opam/.opam/4.11.2/lib/findlib"
- f="ocamlfind"; { test -f ocamlfind_opt && f="ocamlfind_opt"; }; \
- cp $f "/home/opam/.opam/4.11.2/bin/ocamlfind"
- # the following "if" block is only needed for 4.00beta2
- if [ 1 -eq 0 -a -f "/home/opam/.opam/4.11.2/lib/ocaml/compiler-libs/topdirs.cmi" ]; then \
- cd "/home/opam/.opam/4.11.2/lib/ocaml/compiler-libs/"; \
- cp topdirs.cmi toploop.cmi "/home/opam/.opam/4.11.2/lib/findlib/"; \
- fi
- make[1]: Leaving directory '/home/opam/.opam/4.11.2/.opam-switch/build/ocamlfind.1.9.1/src/findlib'
- make install-meta
- make[1]: Entering directory '/home/opam/.opam/4.11.2/.opam-switch/build/ocamlfind.1.9.1'
- for x in bigarray bytes compiler-libs dynlink ocamldoc raw_spacetime stdlib str threads unix ; do mkdir -p "/home/opam/.opam/4.11.2/lib/$x"; cp site-lib-src/$x/META "/home/opam/.opam/4.11.2/lib/$x"; done
- mkdir -p "/home/opam/.opam/4.11.2/lib/findlib"; cp Makefile.packages "/home/opam/.opam/4.11.2/lib/findlib/Makefile.packages"
- make[1]: Leaving directory '/home/opam/.opam/4.11.2/.opam-switch/build/ocamlfind.1.9.1'
- test ! -f 'site-lib-src/num-top/META' || { cd src/findlib; make install-num-top; }
- test ! -f 'site-lib-src/camlp4/META' || cp tools/safe_camlp4 "/home/opam/.opam/4.11.2/bin"
- make install-doc
- make[1]: Entering directory '/home/opam/.opam/4.11.2/.opam-switch/build/ocamlfind.1.9.1'
- mkdir -p "/home/opam/.opam/4.11.2/man/man1" "/home/opam/.opam/4.11.2/man/man3" "/home/opam/.opam/4.11.2/man/man5"
- cp doc/ref-man/ocamlfind.1 "/home/opam/.opam/4.11.2/man/man1"
- cp doc/ref-man/META.5 doc/ref-man/site-lib.5 doc/ref-man/findlib.conf.5 "/home/opam/.opam/4.11.2/man/man5"
- make[1]: Leaving directory '/home/opam/.opam/4.11.2/.opam-switch/build/ocamlfind.1.9.1'
-> installed ocamlfind.1.9.1
Processing 9/12: [zarith: ./configure]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "./configure" (CWD=/home/opam/.opam/4.11.2/.opam-switch/build/zarith.1.12)
- binary ocaml: found in /home/opam/.opam/4.11.2/bin
- binary ocamlc: found in /home/opam/.opam/4.11.2/bin
- binary ocamldep: found in /home/opam/.opam/4.11.2/bin
- binary ocamlmklib: found in /home/opam/.opam/4.11.2/bin
- binary ocamldoc: found in /home/opam/.opam/4.11.2/bin
- binary gcc: found in /usr/bin
- binary ocamlopt: found in /home/opam/.opam/4.11.2/bin
- checking compilation with gcc -O3 -Wall -Wextra : working
- include caml/mlvalues.h: found
- library dynlink.cmxa: found
- binary ocamlfind: found in /home/opam/.opam/4.11.2/bin
- OCaml's word size is 64
- binary uname: found in /bin
- include gmp.h: found
- library gmp: found
- OCaml supports -bin-annot to produce documentation
-
- detected configuration:
-
- native-code: yes
- dynamic linking: yes
- defines: -DHAS_GMP
- libraries: -lgmp
- C options: -O3 -Wall -Wextra
- installation path: /home/opam/.opam/4.11.2/lib
- installation method findlib
-
- configuration successful!
- now type "make" to build
- then type "make install" or "sudo make install" to install
Processing 9/12: [zarith: make]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" (CWD=/home/opam/.opam/4.11.2/.opam-switch/build/zarith.1.12)
- (echo "let"; grep "version" META | head -1) > zarith_version.ml
- ocamldep -native zarith_version.ml z.ml q.ml big_int_Z.ml z.mli q.mli big_int_Z.mli > depend
- ocamlc -I +compiler-libs -bin-annot -c zarith_version.ml
- ocamlc -I +compiler-libs -bin-annot -c z.mli
- ocamlc -I +compiler-libs -bin-annot -c z.ml
- ocamlc -I +compiler-libs -bin-annot -c q.mli
- ocamlc -I +compiler-libs -bin-annot -c q.ml
- ocamlc -I +compiler-libs -bin-annot -c big_int_Z.mli
- ocamlc -I +compiler-libs -bin-annot -c big_int_Z.ml
- ocamlmklib -failsafe -o zarith zarith_version.cmo z.cmo q.cmo big_int_Z.cmo -lgmp
- ocamlc -ccopt "-I/home/opam/.opam/4.11.2/lib/ocaml -DHAS_GMP -O3 -Wall -Wextra " -c caml_z.c
- ocamlmklib -failsafe -o zarith caml_z.o -lgmp
- ocamlc -I +compiler-libs -bin-annot -c zarith_top.ml
- ocamlc -o zarith_top.cma -a zarith_top.cmo
- ocamlopt -I +compiler-libs -c zarith_version.ml
- ocamlopt -I +compiler-libs -c z.ml
- ocamlopt -I +compiler-libs -c q.ml
- ocamlopt -I +compiler-libs -c big_int_Z.ml
- ocamlmklib -failsafe -o zarith zarith_version.cmx z.cmx q.cmx big_int_Z.cmx -lgmp
- ocamlopt -shared -o zarith.cmxs -I . zarith.cmxa -linkall
-> compiled zarith.1.12
Processing 10/12: [zarith: make install]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "make" "install" (CWD=/home/opam/.opam/4.11.2/.opam-switch/build/zarith.1.12)
- ocamlfind install -destdir "/home/opam/.opam/4.11.2/lib" zarith META zarith.cma libzarith.a z.cmi q.cmi big_int_Z.cmi zarith_top.cma z.mli zarith.cmxa z.cmx q.cmx big_int_Z.cmx zarith.cmxs zarith.h q.mli big_int_Z.mli zarith.a z.cmti q.cmti big_int_Z.cmti -optional dllzarith.so
- Installed /home/opam/.opam/4.11.2/lib/zarith/big_int_Z.cmti
- Installed /home/opam/.opam/4.11.2/lib/zarith/q.cmti
- Installed /home/opam/.opam/4.11.2/lib/zarith/z.cmti
- Installed /home/opam/.opam/4.11.2/lib/zarith/zarith.a
- Installed /home/opam/.opam/4.11.2/lib/zarith/big_int_Z.mli
- Installed /home/opam/.opam/4.11.2/lib/zarith/q.mli
- Installed /home/opam/.opam/4.11.2/lib/zarith/zarith.h
- Installed /home/opam/.opam/4.11.2/lib/zarith/zarith.cmxs
- Installed /home/opam/.opam/4.11.2/lib/zarith/big_int_Z.cmx
- Installed /home/opam/.opam/4.11.2/lib/zarith/q.cmx
- Installed /home/opam/.opam/4.11.2/lib/zarith/z.cmx
- Installed /home/opam/.opam/4.11.2/lib/zarith/zarith.cmxa
- Installed /home/opam/.opam/4.11.2/lib/zarith/z.mli
- Installed /home/opam/.opam/4.11.2/lib/zarith/zarith_top.cma
- Installed /home/opam/.opam/4.11.2/lib/zarith/big_int_Z.cmi
- Installed /home/opam/.opam/4.11.2/lib/zarith/q.cmi
- Installed /home/opam/.opam/4.11.2/lib/zarith/z.cmi
- Installed /home/opam/.opam/4.11.2/lib/zarith/libzarith.a
- Installed /home/opam/.opam/4.11.2/lib/zarith/zarith.cma
- Installed /home/opam/.opam/4.11.2/lib/stublibs/dllzarith.so
- Installed /home/opam/.opam/4.11.2/lib/stublibs/dllzarith.so.owner
- ocamlfind: [WARNING] You have installed DLLs but the directory /home/opam/.opam/4.11.2/lib/stublibs is not mentioned in ld.conf
- Installed /home/opam/.opam/4.11.2/lib/zarith/META
-> installed zarith.1.12
Processing 11/12: [yices2: ./configure]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "./configure" "--prefix=/home/opam/.opam/4.11.2" (CWD=/home/opam/.opam/4.11.2/.opam-switch/build/yices2.0.0.3)
- checking build system type... x86_64-unknown-linux-gnu
- checking host system type... x86_64-unknown-linux-gnu
- checking for gcc... gcc
- checking whether the C compiler works... yes
- checking for C compiler default output file name... a.out
- checking for suffix of executables...
- checking whether we are cross compiling... no
- checking for suffix of object files... o
- checking whether we are using the GNU C compiler... yes
- checking whether gcc accepts -g... yes
- checking for gcc option to accept ISO C89... none needed
- checking how to run the C preprocessor... gcc -E
- checking for grep that handles long lines and -e... /bin/grep
- checking for egrep... /bin/grep -E
- checking for ANSI C header files... yes
- checking for sys/types.h... yes
- checking for sys/stat.h... yes
- checking for stdlib.h... yes
- checking for string.h... yes
- checking for memory.h...
- yes
- checking for strings.h... yes
- checking for inttypes.h... yes
- checking for stdint.h... yes
- checking for unistd.h... yes
- checking gmp.h usability... yes
- checking gmp.h presence... yes
- checking for gmp.h... yes
- checking for fopencookie... yes
- checking for funopen... no
- checking for ocamlfind... ocamlfind
- checking for ocamlfind ocamlc... yes
- checking for ocamlfind ocamlopt... yes
- checking for ocamlfind ocamldoc... yes
- checking OCaml version... 4.11.2
- checking for OCaml library zarith... yes
- checking for OCaml library ounit... no
- checking for OCaml binary annotations (.cmt, .cmti)... yes
- configure: trying to use static libgmp.a (to disable, use --with-shared-gmp)
- checking for gmp.h... (cached) yes
- configure: using gmp.h found in system include directories
- configure: Trying to find a usable libgmp.a
- configure: Searching in /usr/local/lib/x86_64-linux-gnu /lib/x86_64-linux-gnu /usr/lib/x86_64-linux-gnu /usr/lib/x86_64-linux-gnu64 /usr/local/lib64 /lib64 /usr/lib64 /usr/local/lib /lib /usr/lib /usr/x86_64-linux-gnu/lib64 /usr/x86_64-linux-gnu/lib /usr/local/lib /usr/lib /lib
- checking for libgmp.a in /usr/local/lib/x86_64-linux-gnu... no
- checking for libgmp.a in /lib/x86_64-linux-gnu... no
- checking for libgmp.a in /usr/lib/x86_64-linux-gnu... found
- checking whether /usr/lib/x86_64-linux-gnu/libgmp.a is usable... yes
- configure: creating ./config.status
- config.status: creating Makefile.config
- config.status: creating META
- config.status: creating opam
- config.status: creating src/config.h
- configure: summary:
- Host: x86_64-unknown-linux-gnu
- Static gmp library: /usr/lib/x86_64-linux-gnu/libgmp.a
- Use shared gmp instead of static: no
Processing 11/12: [yices2: make]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "make" (CWD=/home/opam/.opam/4.11.2/.opam-switch/build/yices2.0.0.3)
- ocamlfind ocamldep -I src -I tests -package zarith src/yices2.mli examples/test.ml src/yices2.ml tests/bitsize.ml tests/checkoverflow.ml tests/error_correclty_reset.ml tests/forall.ml tests/pp.ml tests/test.ml tests/type_consistency.ml tests/z_nocrash.ml > .depend
- make -C ext STATIC_GMP=/usr/lib/x86_64-linux-gnu/libgmp.a FORCE_SHARED_GMP=no HOST=x86_64-unknown-linux-gnu
- make[1]: Entering directory '/home/opam/.opam/4.11.2/.opam-switch/build/yices2.0.0.3/ext'
- cd yices && ./configure --prefix=/home/opam/.opam/4.11.2/.opam-switch/build/yices2.0.0.3/ext --host=x86_64-unknown-linux-gnu --disable-shared --enable-static --with-static-gmp=/usr/lib/x86_64-linux-gnu/libgmp.a
- checking build system type... x86_64-unknown-linux-gnu
- checking host system type... x86_64-unknown-linux-gnu
- checking how to print strings... printf
- checking for x86_64-unknown-linux-gnu-gcc... no
- checking for gcc... gcc
- checking whether the C compiler works... yes
- checking for C compiler default output file name... a.out
- checking for suffix of executables...
- checking whether we are cross compiling... no
- checking for suffix of object files... o
- checking whether we are using the GNU C compiler... yes
- checking whether gcc accepts -g... yes
- checking for gcc option to accept ISO C89... none needed
- checking for a sed that does not truncate output... /bin/sed
- checking for grep that handles long lines and -e... /bin/grep
- checking for egrep... /bin/grep -E
- checking for fgrep... /bin/grep -F
- checking for ld used by gcc... /usr/bin/ld
- checking if the linker (/usr/bin/ld) is GNU ld... yes
- checking for BSD- or MS-compatible name lister (nm)...
- /usr/bin/nm -B
- checking the name lister (/usr/bin/nm -B) interface... BSD nm
- checking whether ln -s works... yes
- checking the maximum length of command line arguments... 1572864
- checking how to convert x86_64-unknown-linux-gnu file names to x86_64-unknown-linux-gnu format... func_convert_file_noop
- checking how to convert x86_64-unknown-linux-gnu file names to toolchain format... func_convert_file_noop
- checking for /usr/bin/ld option to reload object files... -r
- checking for x86_64-unknown-linux-gnu-objdump... no
- checking for objdump... objdump
- checking how to recognize dependent libraries... pass_all
- checking for x86_64-unknown-linux-gnu-dlltool... no
- checking for dlltool... no
- checking how to associate runtime and link libraries... printf %s\n
- checking for x86_64-unknown-linux-gnu-ar... no
- checking for ar... ar
- checking for archiver @FILE support... @
- checking for x86_64-unknown-linux-gnu-strip... no
- checking for strip... strip
- checking for x86_64-unknown-linux-gnu-ranlib... no
- checking for ranlib... ranlib
- checking for gawk... no
- checking for mawk... mawk
- checking command to parse /usr/bin/nm -B output from gcc object... ok
- checking for sysroot... no
- checking for a working dd... /bin/dd
- checking how to truncate binary pipes... /bin/dd bs=4096 count=1
- ./configure: line 5739: /usr/bin/file: No such file or directory
- checking for x86_64-unknown-linux-gnu-mt... no
- checking for mt... no
- checking if : is a manifest tool... no
- checking how to run the C preprocessor... gcc -E
- checking for ANSI C header files... yes
- checking for sys/types.h... yes
- checking for sys/stat.h... yes
- checking for stdlib.h... yes
- checking for string.h... yes
- checking for memory.h... yes
- checking for strings.h... yes
- checking for inttypes.h... yes
- checking for stdint.h... yes
- checking for unistd.h... yes
- checking for dlfcn.h... yes
- checking for objdir... .libs
- checking if gcc supports -fno-rtti -fno-exceptions... no
- checking for gcc option to produce PIC... -fPIC -DPIC
- checking if gcc PIC flag -fPIC -DPIC works... yes
- checking if gcc static flag -static works... yes
- checking if gcc supports -c -o file.o... yes
- checking if gcc supports -c -o file.o... (cached) yes
- checking whether the gcc linker (/usr/bin/ld) supports shared libraries... yes
- checking dynamic linker characteristics... GNU/Linux ld.so
- checking how to hardcode library paths into programs... immediate
- checking whether stripping libraries is possible... yes
- checking if libtool supports shared libraries... yes
- checking whether to build shared libraries... no
- checking whether to build static libraries... yes
- checking for a sed that does not truncate output... (cached) /bin/sed
- checking whether ln -s works... yes
- checking for a thread-safe mkdir -p... /bin/mkdir -p
- checking for a BSD-compatible install... /usr/bin/install -c
- checking for egrep... (cached) /bin/grep -E
- checking for x86_64-unknown-linux-gnu-ld... /usr/bin/ld
- checking for x86_64-unknown-linux-gnu-ar... ar
- checking for x86_64-unknown-linux-gnu-strip... strip
- checking for gperf... no
- configure: WARNING: *** gperf not found. It is only used for re-generating hash-tables
- when frontend lexers source files are modified (only useful for yices developers).
- If you have no idea what this is, you can ignore this warning.
- checking whether gcc accepts option -fno-stack-protector... yes
- checking for gmp.h in /usr/lib/x86_64-linux-gnu/... no
- checking for gmp.h in /usr/lib/x86_64-linux-gnu/../include... no
- checking gmp.h usability... yes
- checking gmp.h presence... yes
- checking for gmp.h... yes
- configure: using gmp.h found in system include directories
- configure: Trying to find a usable libgmp.a
- checking for /usr/lib/x86_64-linux-gnu/libgmp.a... found
- checking whether /usr/lib/x86_64-linux-gnu/libgmp.a is usable... yes
- configure: creating ./config.lt
- config.lt: creating libtool
- checking whether /usr/lib/x86_64-linux-gnu/libgmp.a is PIC... no
- configure: Build mode selected by default: release
- checking for __gmpz_cmp in -lgmp... yes
- configure: creating ./config.status
- config.status: creating make.include
- config.status: executing libtool commands
- configure: Summary of the configuration:
- EXEEXT:
- SED: /bin/sed
- LN_S: ln -s
- MKDIR_P: /bin/mkdir -p
- CC: gcc
- LD: /usr/bin/ld
- AR: ar
- RANLIB: ranlib
- STRIP: strip
- GPERF:
- NO_STACK_PROTECTOR: -fno-stack-protector
- STATIC_GMP: /usr/lib/x86_64-linux-gnu/libgmp.a
- STATIC_GMP_INCLUDE_DIR:
- PIC_GMP:
- PIC_GMP_INCLUDE_DIR:
- ENABLE_MCSAT: no
- STATIC_LIBPOLY:
- STATIC_LIBPOLY_INCLUDE_DIR:
- PIC_LIBPOLY:
- PIC_LIBPOLY_INCLUDE_DIR:
-
- Version: Yices 2.5.2
- Host type: x86_64-unknown-linux-gnu
- Install prefix: /home/opam/.opam/4.11.2/.opam-switch/build/yices2.0.0.3/ext
- Build mode: release
-
- For both static and shared library:
- CPPFLAGS: -DLINUX -U_FORTIFY_SOURCE -DNDEBUG
- CFLAGS: -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LDFLAGS:
-
- For static library libyices.a:
- Enable: yes
- STATIC_CPPFLAGS: -DYICES_STATIC
- STATIC_LIBS:
- Libgmp.a found: yes
- Libgmp.a path: /usr/lib/x86_64-linux-gnu/libgmp.a
- Libgmp.a is pic: no (non-PIC is faster for the static library)
- Use shared gmp instead of libgmp.a: no
-
- For shared library:
- Enable: no
- SHARED_CPPFLAGS:
- SHARED_LIBS:
- Libgmp.a with PIC found: no
- Libgmp.a path:
- Use shared gmp instead of libgmp.a: no
- make lib -C yices -j$(nproc 2>/dev/null || echo 4)
- make[2]: Entering directory '/home/opam/.opam/4.11.2/.opam-switch/build/yices2.0.0.3/ext/yices'
- ./utils/make_source_version ./src/api/yices_version_template.txt src/api/yices_version.c 2.5.2 release x86_64-unknown-linux-gnu
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/api/context_config.c -o build/obj/src/api/context_config.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/api/search_parameters.c -o build/obj/src/api/search_parameters.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/api/smt_logic_codes.c -o build/obj/src/api/smt_logic_codes.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/api/yices_api.c -o build/obj/src/api/yices_api.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/api/yices_error.c -o build/obj/src/api/yices_error.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/api/yval.c -o build/obj/src/api/yval.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/context/common_conjuncts.c -o build/obj/src/context/common_conjuncts.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/context/conditional_definitions.c -o build/obj/src/context/conditional_definitions.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/context/context.c -o build/obj/src/context/context.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/context/context_simplifier.c -o build/obj/src/context/context_simplifier.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/context/context_solver.c -o build/obj/src/context/context_solver.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/context/context_statistics.c -o build/obj/src/context/context_statistics.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/context/context_utils.c -o build/obj/src/context/context_utils.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/context/divmod_table.c -o build/obj/src/context/divmod_table.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/context/eq_abstraction.c -o build/obj/src/context/eq_abstraction.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/context/eq_learner.c -o build/obj/src/context/eq_learner.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/context/internalization_table.c -o build/obj/src/context/internalization_table.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/context/ite_flattener.c -o build/obj/src/context/ite_flattener.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/context/pseudo_subst.c -o build/obj/src/context/pseudo_subst.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/context/shared_terms.c -o build/obj/src/context/shared_terms.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/context/symmetry_breaking.c -o build/obj/src/context/symmetry_breaking.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/exists_forall/ef_client.c -o build/obj/src/exists_forall/ef_client.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/exists_forall/ef_analyze.c -o build/obj/src/exists_forall/ef_analyze.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/exists_forall/ef_parameters.c -o build/obj/src/exists_forall/ef_parameters.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/exists_forall/ef_problem.c -o build/obj/src/exists_forall/ef_problem.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/exists_forall/efsolver.c -o build/obj/src/exists_forall/efsolver.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/frontend/smt2/attribute_values.c -o build/obj/src/frontend/smt2/attribute_values.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/frontend/yices/yices_lexer.c -o build/obj/src/frontend/yices/yices_lexer.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/frontend/yices/yices_parser.c -o build/obj/src/frontend/yices/yices_parser.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/io/concrete_value_printer.c -o build/obj/src/io/concrete_value_printer.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile: gcc -Isrc -Isrc/include -c src/api/context_config.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/api/context_config.o
- libtool: compile: gcc -Isrc -Isrc/include -c src/api/smt_logic_codes.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/api/smt_logic_codes.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/io/model_printer.c -o build/obj/src/io/model_printer.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile: gcc -Isrc -Isrc/include -c src/api/search_parameters.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/api/search_parameters.o
- libtool: compile: gcc -Isrc -Isrc/include -c src/api/yval.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/api/yval.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/io/pretty_printer.c -o build/obj/src/io/pretty_printer.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/io/reader.c -o build/obj/src/io/reader.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/io/term_printer.c -o build/obj/src/io/term_printer.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile: gcc -Isrc -Isrc/include -c src/api/yices_api.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/api/yices_api.o
- libtool: compile: gcc -Isrc -Isrc/include -c src/context/common_conjuncts.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/context/common_conjuncts.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/io/tracer.c -o build/obj/src/io/tracer.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/io/type_printer.c -o build/obj/src/io/type_printer.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/io/yices_pp.c -o build/obj/src/io/yices_pp.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile: gcc -Isrc -Isrc/include -c src/context/context_utils.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/context/context_utils.o
- libtool: compile: gcc -Isrc -Isrc/include -c src/api/yices_error.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/api/yices_error.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/io/writer.c -o build/obj/src/io/writer.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile: gcc -Isrc -Isrc/include -c src/context/context_solver.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/context/context_solver.o
- libtool: compile: gcc -Isrc -Isrc/include -c src/context/divmod_table.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/context/divmod_table.o
- libtool: compile: gcc -Isrc -Isrc/include -c src/context/eq_learner.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/context/eq_learner.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/model/abstract_values.c -o build/obj/src/model/abstract_values.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile: gcc -Isrc -Isrc/include -c src/context/context_statistics.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/context/context_statistics.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/model/arith_projection.c -o build/obj/src/model/arith_projection.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile: gcc -Isrc -Isrc/include -c src/context/context.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/context/context.o
- libtool: compile: gcc -Isrc -Isrc/include -c src/context/conditional_definitions.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/context/conditional_definitions.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/model/concrete_values.c -o build/obj/src/model/concrete_values.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile: gcc -Isrc -Isrc/include -c src/context/context_simplifier.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/context/context_simplifier.o
- libtool: compile: gcc -Isrc -Isrc/include -c src/context/internalization_table.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/context/internalization_table.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/model/fresh_value_maker.c -o build/obj/src/model/fresh_value_maker.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/model/fun_maps.c -o build/obj/src/model/fun_maps.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile: gcc -Isrc -Isrc/include -c src/context/eq_abstraction.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/context/eq_abstraction.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/model/fun_trees.c -o build/obj/src/model/fun_trees.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/model/generalization.c -o build/obj/src/model/generalization.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile: gcc -Isrc -Isrc/include -c src/context/shared_terms.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/context/shared_terms.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/model/literal_collector.c -o build/obj/src/model/literal_collector.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile: gcc -Isrc -Isrc/include -c src/exists_forall/ef_client.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/exists_forall/ef_client.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/model/map_to_model.c -o build/obj/src/model/map_to_model.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile: gcc -Isrc -Isrc/include -c src/context/ite_flattener.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/context/ite_flattener.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/model/model_eval.c -o build/obj/src/model/model_eval.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile: gcc -Isrc -Isrc/include -c src/exists_forall/ef_analyze.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/exists_forall/ef_analyze.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/model/model_queries.c -o build/obj/src/model/model_queries.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile: gcc -Isrc -Isrc/include -c src/context/pseudo_subst.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/context/pseudo_subst.o
- libtool: compile: gcc -Isrc -Isrc/include -c src/context/symmetry_breaking.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/context/symmetry_breaking.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/model/models.c -o build/obj/src/model/models.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile: gcc -Isrc -Isrc/include -c src/exists_forall/efsolver.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/exists_forall/efsolver.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/model/presburger.c -o build/obj/src/model/presburger.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile: gcc -Isrc -Isrc/include -c src/exists_forall/ef_parameters.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/exists_forall/ef_parameters.o
- libtool: compile: gcc -Isrc -Isrc/include -c src/frontend/yices/yices_parser.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/frontend/yices/yices_parser.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/model/projection.c -o build/obj/src/model/projection.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile: gcc -Isrc -Isrc/include -c src/exists_forall/ef_problem.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/exists_forall/ef_problem.o
- libtool: compile: gcc -Isrc -Isrc/include -c src/frontend/yices/yices_lexer.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/frontend/yices/yices_lexer.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/model/term_to_val.c -o build/obj/src/model/term_to_val.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/model/val_to_term.c -o build/obj/src/model/val_to_term.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/parser_utils/lexer.c -o build/obj/src/parser_utils/lexer.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/parser_utils/parser.c -o build/obj/src/parser_utils/parser.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile: gcc -Isrc -Isrc/include -c src/io/reader.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/io/reader.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/parser_utils/term_stack2.c -o build/obj/src/parser_utils/term_stack2.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile: gcc -Isrc -Isrc/include -c src/io/pretty_printer.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/io/pretty_printer.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/parser_utils/term_stack_error.c -o build/obj/src/parser_utils/term_stack_error.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile: gcc -Isrc -Isrc/include -c src/frontend/smt2/attribute_values.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/frontend/smt2/attribute_values.o
- libtool: compile: gcc -Isrc -Isrc/include -c src/io/model_printer.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/io/model_printer.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/solvers/bv/bit_blaster.c -o build/obj/src/solvers/bv/bit_blaster.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/solvers/bv/bv64_intervals.c -o build/obj/src/solvers/bv/bv64_intervals.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile: gcc -Isrc -Isrc/include -c src/io/concrete_value_printer.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/io/concrete_value_printer.o
- libtool: compile: gcc -Isrc -Isrc/include -c src/io/tracer.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/io/tracer.o
- libtool: compile: gcc -Isrc -Isrc/include -c src/io/type_printer.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/io/type_printer.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/solvers/bv/bv_atomtable.c -o build/obj/src/solvers/bv/bv_atomtable.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/solvers/bv/bvconst_hmap.c -o build/obj/src/solvers/bv/bvconst_hmap.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/solvers/bv/bvexp_table.c -o build/obj/src/solvers/bv/bvexp_table.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/solvers/bv/bv_intervals.c -o build/obj/src/solvers/bv/bv_intervals.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile: gcc -Isrc -Isrc/include -c src/io/term_printer.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/io/term_printer.o
- libtool: compile: gcc -Isrc -Isrc/include -c src/io/yices_pp.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/io/yices_pp.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/solvers/bv/bvpoly_compiler.c -o build/obj/src/solvers/bv/bvpoly_compiler.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile: gcc -Isrc -Isrc/include -c src/model/abstract_values.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/model/abstract_values.o
- libtool: compile: gcc -Isrc -Isrc/include -c src/model/concrete_values.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/model/concrete_values.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/solvers/bv/bvpoly_dag.c -o build/obj/src/solvers/bv/bvpoly_dag.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/solvers/bv/bvsolver.c -o build/obj/src/solvers/bv/bvsolver.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile: gcc -Isrc -Isrc/include -c src/model/arith_projection.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/model/arith_projection.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/solvers/bv/bv_vartable.c -o build/obj/src/solvers/bv/bv_vartable.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile: gcc -Isrc -Isrc/include -c src/io/writer.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/io/writer.o
- libtool: compile: gcc -Isrc -Isrc/include -c src/model/fresh_value_maker.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/model/fresh_value_maker.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/solvers/bv/merge_table.c -o build/obj/src/solvers/bv/merge_table.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile: gcc -Isrc -Isrc/include -c src/model/generalization.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/model/generalization.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/solvers/bv/remap_table.c -o build/obj/src/solvers/bv/remap_table.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile: gcc -Isrc -Isrc/include -c src/model/fun_trees.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/model/fun_trees.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/solvers/cdcl/gates_hash_table.c -o build/obj/src/solvers/cdcl/gates_hash_table.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile: gcc -Isrc -Isrc/include -c src/model/fun_maps.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/model/fun_maps.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/solvers/cdcl/gates_manager.c -o build/obj/src/solvers/cdcl/gates_manager.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile: gcc -Isrc -Isrc/include -c src/model/model_eval.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/model/model_eval.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/solvers/cdcl/smt_core.c -o build/obj/src/solvers/cdcl/smt_core.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile: gcc -Isrc -Isrc/include -c src/model/literal_collector.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/model/literal_collector.o
- libtool: compile: gcc -Isrc -Isrc/include -c src/model/models.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/model/models.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/solvers/egraph/composites.c -o build/obj/src/solvers/egraph/composites.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile: gcc -Isrc -Isrc/include -c src/model/map_to_model.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/model/map_to_model.o
- libtool: compile: gcc -Isrc -Isrc/include -c src/model/model_queries.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/model/model_queries.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/solvers/egraph/diseq_stacks.c -o build/obj/src/solvers/egraph/diseq_stacks.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/solvers/egraph/egraph_assertion_queues.c -o build/obj/src/solvers/egraph/egraph_assertion_queues.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile: gcc -Isrc -Isrc/include -c src/model/projection.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/model/projection.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/solvers/egraph/egraph.c -o build/obj/src/solvers/egraph/egraph.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile: gcc -Isrc -Isrc/include -c src/parser_utils/parser.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/parser_utils/parser.o
- libtool: compile: gcc -Isrc -Isrc/include -c src/model/term_to_val.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/model/term_to_val.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/solvers/egraph/egraph_explanations.c -o build/obj/src/solvers/egraph/egraph_explanations.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile: gcc -Isrc -Isrc/include -c src/model/presburger.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/model/presburger.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/solvers/egraph/egraph_utils.c -o build/obj/src/solvers/egraph/egraph_utils.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile: gcc -Isrc -Isrc/include -c src/parser_utils/lexer.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/parser_utils/lexer.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/solvers/egraph/theory_explanations.c -o build/obj/src/solvers/egraph/theory_explanations.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile: gcc -Isrc -Isrc/include -c src/model/val_to_term.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/model/val_to_term.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/solvers/floyd_warshall/dl_vartable.c -o build/obj/src/solvers/floyd_warshall/dl_vartable.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile: gcc -Isrc -Isrc/include -c src/parser_utils/term_stack2.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/parser_utils/term_stack2.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/solvers/floyd_warshall/idl_floyd_warshall.c -o build/obj/src/solvers/floyd_warshall/idl_floyd_warshall.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile: gcc -Isrc -Isrc/include -c src/solvers/bv/bv64_intervals.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/solvers/bv/bv64_intervals.o
- libtool: compile: gcc -Isrc -Isrc/include -c src/solvers/bv/bit_blaster.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/solvers/bv/bit_blaster.o
- libtool: compile: gcc -Isrc -Isrc/include -c src/parser_utils/term_stack_error.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/parser_utils/term_stack_error.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/solvers/floyd_warshall/rdl_floyd_warshall.c -o build/obj/src/solvers/floyd_warshall/rdl_floyd_warshall.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/solvers/funs/fun_solver.c -o build/obj/src/solvers/funs/fun_solver.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile: gcc -Isrc -Isrc/include -c src/solvers/bv/bv_atomtable.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/solvers/bv/bv_atomtable.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/solvers/simplex/arith_atomtable.c -o build/obj/src/solvers/simplex/arith_atomtable.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/solvers/simplex/arith_vartable.c -o build/obj/src/solvers/simplex/arith_vartable.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile: gcc -Isrc -Isrc/include -c src/solvers/bv/bvconst_hmap.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/solvers/bv/bvconst_hmap.o
- libtool: compile: gcc -Isrc -Isrc/include -c src/solvers/bv/bv_intervals.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/solvers/bv/bv_intervals.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/solvers/simplex/diophantine_systems.c -o build/obj/src/solvers/simplex/diophantine_systems.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/solvers/simplex/integrality_constraints.c -o build/obj/src/solvers/simplex/integrality_constraints.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/solvers/simplex/matrices.c -o build/obj/src/solvers/simplex/matrices.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile: gcc -Isrc -Isrc/include -c src/solvers/bv/bvpoly_dag.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/solvers/bv/bvpoly_dag.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/solvers/simplex/offset_equalities.c -o build/obj/src/solvers/simplex/offset_equalities.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile: gcc -Isrc -Isrc/include -c src/solvers/bv/bvsolver.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/solvers/bv/bvsolver.o
- libtool: compile: gcc -Isrc -Isrc/include -c src/solvers/bv/bv_vartable.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/solvers/bv/bv_vartable.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/solvers/simplex/simplex.c -o build/obj/src/solvers/simplex/simplex.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile: gcc -Isrc -Isrc/include -c src/solvers/bv/bvexp_table.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/solvers/bv/bvexp_table.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/terms/bit_expr.c -o build/obj/src/terms/bit_expr.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/terms/balanced_arith_buffers.c -o build/obj/src/terms/balanced_arith_buffers.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile: gcc -Isrc -Isrc/include -c src/solvers/bv/bvpoly_compiler.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/solvers/bv/bvpoly_compiler.o
- libtool: compile: gcc -Isrc -Isrc/include -c src/solvers/bv/merge_table.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/solvers/bv/merge_table.o
- libtool: compile: gcc -Isrc -Isrc/include -c src/solvers/bv/remap_table.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/solvers/bv/remap_table.o
- libtool: compile: gcc -Isrc -Isrc/include -c src/solvers/cdcl/smt_core.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/solvers/cdcl/smt_core.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/terms/bit_term_conversion.c -o build/obj/src/terms/bit_term_conversion.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile: gcc -Isrc -Isrc/include -c src/solvers/cdcl/gates_hash_table.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/solvers/cdcl/gates_hash_table.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/terms/bv64_interval_abstraction.c -o build/obj/src/terms/bv64_interval_abstraction.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile: gcc -Isrc -Isrc/include -c src/solvers/cdcl/gates_manager.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/solvers/cdcl/gates_manager.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/terms/bv64_constants.c -o build/obj/src/terms/bv64_constants.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile: gcc -Isrc -Isrc/include -c src/solvers/egraph/egraph_assertion_queues.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/solvers/egraph/egraph_assertion_queues.o
- libtool: compile: gcc -Isrc -Isrc/include -c src/solvers/egraph/composites.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/solvers/egraph/composites.o
- libtool: compile: gcc -Isrc -Isrc/include -c src/solvers/egraph/egraph.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/solvers/egraph/egraph.o
- libtool: compile: gcc -Isrc -Isrc/include -c src/solvers/egraph/diseq_stacks.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/solvers/egraph/diseq_stacks.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/terms/bv64_polynomials.c -o build/obj/src/terms/bv64_polynomials.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/terms/bvarith64_buffer_terms.c -o build/obj/src/terms/bvarith64_buffer_terms.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/terms/bvarith64_buffers.c -o build/obj/src/terms/bvarith64_buffers.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/terms/bvarith_buffers.c -o build/obj/src/terms/bvarith_buffers.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile: gcc -Isrc -Isrc/include -c src/solvers/egraph/theory_explanations.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/solvers/egraph/theory_explanations.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/terms/bvarith_buffer_terms.c -o build/obj/src/terms/bvarith_buffer_terms.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile: gcc -Isrc -Isrc/include -c src/solvers/egraph/egraph_explanations.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/solvers/egraph/egraph_explanations.o
- libtool: compile: gcc -Isrc -Isrc/include -c src/solvers/egraph/egraph_utils.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/solvers/egraph/egraph_utils.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/terms/bv_constants.c -o build/obj/src/terms/bv_constants.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile: gcc -Isrc -Isrc/include -c src/solvers/floyd_warshall/dl_vartable.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/solvers/floyd_warshall/dl_vartable.o
- libtool: compile: gcc -Isrc -Isrc/include -c src/solvers/floyd_warshall/idl_floyd_warshall.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/solvers/floyd_warshall/idl_floyd_warshall.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/terms/bvlogic_buffers.c -o build/obj/src/terms/bvlogic_buffers.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/terms/bvpoly_buffers.c -o build/obj/src/terms/bvpoly_buffers.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/terms/bv_polynomials.c -o build/obj/src/terms/bv_polynomials.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/terms/bv_slices.c -o build/obj/src/terms/bv_slices.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile: gcc -Isrc -Isrc/include -c src/solvers/simplex/arith_vartable.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/solvers/simplex/arith_vartable.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/terms/conditionals.c -o build/obj/src/terms/conditionals.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile: gcc -Isrc -Isrc/include -c src/solvers/floyd_warshall/rdl_floyd_warshall.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/solvers/floyd_warshall/rdl_floyd_warshall.o
- libtool: compile: gcc -Isrc -Isrc/include -c src/solvers/funs/fun_solver.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/solvers/funs/fun_solver.o
- libtool: compile: gcc -Isrc -Isrc/include -c src/solvers/simplex/integrality_constraints.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/solvers/simplex/integrality_constraints.o
- libtool: compile: gcc -Isrc -Isrc/include -c src/solvers/simplex/arith_atomtable.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/solvers/simplex/arith_atomtable.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/terms/elim_subst.c -o build/obj/src/terms/elim_subst.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/terms/extended_rationals.c -o build/obj/src/terms/extended_rationals.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/terms/free_var_collector.c -o build/obj/src/terms/free_var_collector.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/terms/full_subst.c -o build/obj/src/terms/full_subst.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/terms/ite_stack.c -o build/obj/src/terms/ite_stack.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile: gcc -Isrc -Isrc/include -c src/solvers/simplex/diophantine_systems.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/solvers/simplex/diophantine_systems.o
- libtool: compile: gcc -Isrc -Isrc/include -c src/solvers/simplex/matrices.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/solvers/simplex/matrices.o
- libtool: compile: gcc -Isrc -Isrc/include -c src/solvers/simplex/offset_equalities.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/solvers/simplex/offset_equalities.o
- libtool: compile: gcc -Isrc -Isrc/include -c src/solvers/simplex/simplex.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/solvers/simplex/simplex.o
- libtool: compile: gcc -Isrc -Isrc/include -c src/terms/bit_expr.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/terms/bit_expr.o
- libtool: compile: gcc -Isrc -Isrc/include -c src/terms/bv64_interval_abstraction.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/terms/bv64_interval_abstraction.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/terms/mpq_aux.c -o build/obj/src/terms/mpq_aux.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/terms/poly_buffer.c -o build/obj/src/terms/poly_buffer.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/terms/polynomials.c -o build/obj/src/terms/polynomials.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/terms/poly_buffer_terms.c -o build/obj/src/terms/poly_buffer_terms.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile: gcc -Isrc -Isrc/include -c src/terms/balanced_arith_buffers.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/terms/balanced_arith_buffers.o
- libtool: compile: gcc -Isrc -Isrc/include -c src/terms/bvarith64_buffers.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/terms/bvarith64_buffers.o
- libtool: compile: gcc -Isrc -Isrc/include -c src/terms/bit_term_conversion.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/terms/bit_term_conversion.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/terms/power_products.c -o build/obj/src/terms/power_products.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/terms/rational_hash_maps.c -o build/obj/src/terms/rational_hash_maps.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile: gcc -Isrc -Isrc/include -c src/terms/bv64_constants.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/terms/bv64_constants.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/terms/pprod_table.c -o build/obj/src/terms/pprod_table.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile: gcc -Isrc -Isrc/include -c src/terms/bvarith_buffers.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/terms/bvarith_buffers.o
- libtool: compile: gcc -Isrc -Isrc/include -c src/terms/bvarith_buffer_terms.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/terms/bvarith_buffer_terms.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/terms/rationals.c -o build/obj/src/terms/rationals.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/terms/rba_buffer_terms.c -o build/obj/src/terms/rba_buffer_terms.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile: gcc -Isrc -Isrc/include -c src/terms/bvarith64_buffer_terms.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/terms/bvarith64_buffer_terms.o
- libtool: compile: gcc -Isrc -Isrc/include -c src/terms/bvlogic_buffers.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/terms/bvlogic_buffers.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/terms/renaming_context.c -o build/obj/src/terms/renaming_context.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile: gcc -Isrc -Isrc/include -c src/terms/bv_constants.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/terms/bv_constants.o
- libtool: compile: gcc -Isrc -Isrc/include -c src/terms/bv64_polynomials.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/terms/bv64_polynomials.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/terms/subst_cache.c -o build/obj/src/terms/subst_cache.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile: gcc -Isrc -Isrc/include -c src/terms/bv_slices.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/terms/bv_slices.o
- libtool: compile: gcc -Isrc -Isrc/include -c src/terms/bv_polynomials.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/terms/bv_polynomials.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/terms/subst_context.c -o build/obj/src/terms/subst_context.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile: gcc -Isrc -Isrc/include -c src/terms/bvpoly_buffers.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/terms/bvpoly_buffers.o
- libtool: compile: gcc -Isrc -Isrc/include -c src/terms/conditionals.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/terms/conditionals.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/terms/term_manager.c -o build/obj/src/terms/term_manager.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/terms/term_explorer.c -o build/obj/src/terms/term_explorer.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/terms/terms.c -o build/obj/src/terms/terms.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile: gcc -Isrc -Isrc/include -c src/terms/elim_subst.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/terms/elim_subst.o
- libtool: compile: gcc -Isrc -Isrc/include -c src/terms/ite_stack.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/terms/ite_stack.o
- libtool: compile: gcc -Isrc -Isrc/include -c src/terms/free_var_collector.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/terms/free_var_collector.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/terms/term_sets.c -o build/obj/src/terms/term_sets.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/terms/term_substitution.c -o build/obj/src/terms/term_substitution.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile: gcc -Isrc -Isrc/include -c src/terms/extended_rationals.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/terms/extended_rationals.o
- libtool: compile: gcc -Isrc -Isrc/include -c src/terms/full_subst.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/terms/full_subst.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/terms/term_utils.c -o build/obj/src/terms/term_utils.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile: gcc -Isrc -Isrc/include -c src/terms/poly_buffer_terms.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/terms/poly_buffer_terms.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/terms/types.c -o build/obj/src/terms/types.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile: gcc -Isrc -Isrc/include -c src/terms/poly_buffer.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/terms/poly_buffer.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/terms/variable_renaming.c -o build/obj/src/terms/variable_renaming.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile: gcc -Isrc -Isrc/include -c src/terms/mpq_aux.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/terms/mpq_aux.o
- libtool: compile: gcc -Isrc -Isrc/include -c src/terms/polynomials.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/terms/polynomials.o
- libtool: compile: gcc -Isrc -Isrc/include -c src/terms/pprod_table.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/terms/pprod_table.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/utils/arena.c -o build/obj/src/utils/arena.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/utils/backtrack_arrays.c -o build/obj/src/utils/backtrack_arrays.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/utils/cache.c -o build/obj/src/utils/cache.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/utils/csets.c -o build/obj/src/utils/csets.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile: gcc -Isrc -Isrc/include -c src/terms/rba_buffer_terms.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/terms/rba_buffer_terms.o
- libtool: compile: gcc -Isrc -Isrc/include -c src/terms/rational_hash_maps.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/terms/rational_hash_maps.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/utils/dep_tables.c -o build/obj/src/utils/dep_tables.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile: gcc -Isrc -Isrc/include -c src/terms/rationals.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/terms/rationals.o
- libtool: compile: gcc -Isrc -Isrc/include -c src/terms/renaming_context.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/terms/renaming_context.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/utils/gcd.c -o build/obj/src/utils/gcd.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/utils/generic_heap.c -o build/obj/src/utils/generic_heap.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile: gcc -Isrc -Isrc/include -c src/terms/power_products.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/terms/power_products.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/utils/hash_functions.c -o build/obj/src/utils/hash_functions.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile: gcc -Isrc -Isrc/include -c src/terms/term_sets.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/terms/term_sets.o
- libtool: compile: gcc -Isrc -Isrc/include -c src/terms/subst_context.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/terms/subst_context.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/utils/int_array_hsets.c -o build/obj/src/utils/int_array_hsets.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile: gcc -Isrc -Isrc/include -c src/terms/subst_cache.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/terms/subst_cache.o
- libtool: compile: gcc -Isrc -Isrc/include -c src/terms/term_explorer.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/terms/term_explorer.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/utils/index_vectors.c -o build/obj/src/utils/index_vectors.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/utils/int_array_sort2.c -o build/obj/src/utils/int_array_sort2.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/utils/int_array_sort.c -o build/obj/src/utils/int_array_sort.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile: gcc -Isrc -Isrc/include -c src/terms/term_manager.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/terms/term_manager.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/utils/int_bv_sets.c -o build/obj/src/utils/int_bv_sets.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile: gcc -Isrc -Isrc/include -c src/terms/terms.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/terms/terms.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/utils/int_bags.c -o build/obj/src/utils/int_bags.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile: gcc -Isrc -Isrc/include -c src/terms/term_substitution.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/terms/term_substitution.o
- libtool: compile: gcc -Isrc -Isrc/include -c src/terms/types.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/terms/types.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/utils/int_hash_classes.c -o build/obj/src/utils/int_hash_classes.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/utils/int_hash_map2.c -o build/obj/src/utils/int_hash_map2.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile: gcc -Isrc -Isrc/include -c src/terms/variable_renaming.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/terms/variable_renaming.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/utils/int_hash_map.c -o build/obj/src/utils/int_hash_map.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/utils/int_hash_sets.c -o build/obj/src/utils/int_hash_sets.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile: gcc -Isrc -Isrc/include -c src/utils/arena.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/utils/arena.o
- libtool: compile: gcc -Isrc -Isrc/include -c src/terms/term_utils.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/terms/term_utils.o
- libtool: compile: gcc -Isrc -Isrc/include -c src/utils/csets.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/utils/csets.o
- libtool: compile: gcc -Isrc -Isrc/include -c src/utils/backtrack_arrays.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/utils/backtrack_arrays.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/utils/int_hash_tables.c -o build/obj/src/utils/int_hash_tables.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile: gcc -Isrc -Isrc/include -c src/utils/cache.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/utils/cache.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/utils/int_heap2.c -o build/obj/src/utils/int_heap2.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/utils/int_powers.c -o build/obj/src/utils/int_powers.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/utils/int_heap.c -o build/obj/src/utils/int_heap.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/utils/int_partitions.c -o build/obj/src/utils/int_partitions.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/utils/int_stack.c -o build/obj/src/utils/int_stack.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/utils/int_queues.c -o build/obj/src/utils/int_queues.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/utils/int_vectors.c -o build/obj/src/utils/int_vectors.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/utils/mark_vectors.c -o build/obj/src/utils/mark_vectors.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile: gcc -Isrc -Isrc/include -c src/utils/dep_tables.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/utils/dep_tables.o
- libtool: compile: gcc -Isrc -Isrc/include -c src/utils/int_array_hsets.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/utils/int_array_hsets.o
- libtool: compile: gcc -Isrc -Isrc/include -c src/utils/index_vectors.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/utils/index_vectors.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/utils/memalloc.c -o build/obj/src/utils/memalloc.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile: gcc -Isrc -Isrc/include -c src/utils/hash_functions.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/utils/hash_functions.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/utils/object_stores.c -o build/obj/src/utils/object_stores.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile: gcc -Isrc -Isrc/include -c src/utils/generic_heap.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/utils/generic_heap.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/utils/pair_hash_map2.c -o build/obj/src/utils/pair_hash_map2.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/utils/pointer_vectors.c -o build/obj/src/utils/pointer_vectors.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile: gcc -Isrc -Isrc/include -c src/utils/gcd.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/utils/gcd.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/utils/ptr_array_sort2.c -o build/obj/src/utils/ptr_array_sort2.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/utils/ptr_hash_classes.c -o build/obj/src/utils/ptr_hash_classes.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/utils/ptr_array_sort.c -o build/obj/src/utils/ptr_array_sort.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/utils/ptr_heap.c -o build/obj/src/utils/ptr_heap.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile: gcc -Isrc -Isrc/include -c src/utils/int_array_sort.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/utils/int_array_sort.o
- libtool: compile: gcc -Isrc -Isrc/include -c src/utils/int_array_sort2.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/utils/int_array_sort2.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/utils/ptr_hash_map.c -o build/obj/src/utils/ptr_hash_map.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/utils/ptr_queues.c -o build/obj/src/utils/ptr_queues.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile: gcc -Isrc -Isrc/include -c src/utils/int_bags.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/utils/int_bags.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/utils/ptr_partitions.c -o build/obj/src/utils/ptr_partitions.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile: gcc -Isrc -Isrc/include -c src/utils/int_hash_map2.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/utils/int_hash_map2.o
- libtool: compile: gcc -Isrc -Isrc/include -c src/utils/int_hash_classes.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/utils/int_hash_classes.o
- libtool: compile: gcc -Isrc -Isrc/include -c src/utils/int_bv_sets.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/utils/int_bv_sets.o
- libtool: compile: gcc -Isrc -Isrc/include -c src/utils/int_hash_sets.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/utils/int_hash_sets.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/utils/ptr_sets.c -o build/obj/src/utils/ptr_sets.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile: gcc -Isrc -Isrc/include -c src/utils/int_hash_map.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/utils/int_hash_map.o
- libtool: compile: gcc -Isrc -Isrc/include -c src/utils/int_heap2.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/utils/int_heap2.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/utils/ptr_sets2.c -o build/obj/src/utils/ptr_sets2.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/utils/ptr_vectors.c -o build/obj/src/utils/ptr_vectors.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/utils/ptr_stack.c -o build/obj/src/utils/ptr_stack.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/utils/refcount_int_arrays.c -o build/obj/src/utils/refcount_int_arrays.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile: gcc -Isrc -Isrc/include -c src/utils/mark_vectors.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/utils/mark_vectors.o
- libtool: compile: gcc -Isrc -Isrc/include -c src/utils/int_hash_tables.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/utils/int_hash_tables.o
- libtool: compile: gcc -Isrc -Isrc/include -c src/utils/pair_hash_map2.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/utils/pair_hash_map2.o
- libtool: compile: gcc -Isrc -Isrc/include -c src/utils/int_heap.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/utils/int_heap.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/utils/simple_cache.c -o build/obj/src/utils/simple_cache.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/utils/refcount_strings.c -o build/obj/src/utils/refcount_strings.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile: gcc -Isrc -Isrc/include -c src/utils/int_partitions.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/utils/int_partitions.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/utils/sparse_arrays.c -o build/obj/src/utils/sparse_arrays.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile: gcc -Isrc -Isrc/include -c src/utils/memalloc.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/utils/memalloc.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/utils/stable_sort.c -o build/obj/src/utils/stable_sort.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/utils/string_buffers.c -o build/obj/src/utils/string_buffers.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile: gcc -Isrc -Isrc/include -c src/utils/int_powers.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/utils/int_powers.o
- libtool: compile: gcc -Isrc -Isrc/include -c src/utils/int_vectors.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/utils/int_vectors.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/utils/string_utils.c -o build/obj/src/utils/string_utils.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile: gcc -Isrc -Isrc/include -c src/utils/int_queues.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/utils/int_queues.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/utils/symbol_tables.c -o build/obj/src/utils/symbol_tables.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile: gcc -Isrc -Isrc/include -c src/utils/pointer_vectors.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/utils/pointer_vectors.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/utils/tuple_hash_map.c -o build/obj/src/utils/tuple_hash_map.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile: gcc -Isrc -Isrc/include -c src/utils/ptr_hash_map.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/utils/ptr_hash_map.o
- libtool: compile: gcc -Isrc -Isrc/include -c src/utils/object_stores.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/utils/object_stores.o
- libtool: compile: gcc -Isrc -Isrc/include -c src/utils/ptr_array_sort2.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/utils/ptr_array_sort2.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/mcsat/no_mcsat.c -o build/obj/src/mcsat/no_mcsat.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile: gcc -Isrc -Isrc/include -c src/utils/ptr_hash_classes.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/utils/ptr_hash_classes.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/utils/uint_rbtrees.c -o build/obj/src/utils/uint_rbtrees.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile: gcc -Isrc -Isrc/include -c src/utils/ptr_array_sort.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/utils/ptr_array_sort.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/utils/use_vectors.c -o build/obj/src/utils/use_vectors.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/api/yices_version.c -o build/obj/src/api/yices_version.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile: gcc -Isrc -Isrc/include -c src/utils/ptr_queues.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/utils/ptr_queues.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool --mode=compile gcc -Isrc -Isrc/include -c src/mcsat/options.c -o build/obj/src/mcsat/options.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile: gcc -Isrc -Isrc/include -c src/utils/ptr_heap.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/utils/ptr_heap.o
- libtool: compile: gcc -Isrc -Isrc/include -c src/utils/ptr_sets.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/utils/ptr_sets.o
- libtool: compile: gcc -Isrc -Isrc/include -c src/utils/refcount_int_arrays.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/utils/refcount_int_arrays.o
- libtool: compile: gcc -Isrc -Isrc/include -c src/utils/ptr_partitions.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/utils/ptr_partitions.o
- libtool: compile: gcc -Isrc -Isrc/include -c src/utils/ptr_vectors.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/utils/ptr_vectors.o
- libtool: compile: gcc -Isrc -Isrc/include -c src/utils/ptr_sets2.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/utils/ptr_sets2.o
- libtool: compile: gcc -Isrc -Isrc/include -c src/utils/simple_cache.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/utils/simple_cache.o
- libtool: compile: gcc -Isrc -Isrc/include -c src/utils/int_stack.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/utils/int_stack.o
- libtool: compile: gcc -Isrc -Isrc/include -c src/utils/sparse_arrays.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/utils/sparse_arrays.o
- libtool: compile: gcc -Isrc -Isrc/include -c src/utils/stable_sort.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/utils/stable_sort.o
- libtool: compile: gcc -Isrc -Isrc/include -c src/utils/refcount_strings.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/utils/refcount_strings.o
- libtool: compile: gcc -Isrc -Isrc/include -c src/utils/string_utils.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/utils/string_utils.o
- libtool: compile: gcc -Isrc -Isrc/include -c src/utils/ptr_stack.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/utils/ptr_stack.o
- libtool: compile: gcc -Isrc -Isrc/include -c src/utils/string_buffers.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/utils/string_buffers.o
- libtool: compile: gcc -Isrc -Isrc/include -c src/utils/symbol_tables.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/utils/symbol_tables.o
- libtool: compile: gcc -Isrc -Isrc/include -c src/utils/tuple_hash_map.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/utils/tuple_hash_map.o
- libtool: compile: gcc -Isrc -Isrc/include -c src/mcsat/no_mcsat.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/mcsat/no_mcsat.o
- libtool: compile: gcc -Isrc -Isrc/include -c src/utils/uint_rbtrees.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/utils/uint_rbtrees.o
- libtool: compile: gcc -Isrc -Isrc/include -c src/api/yices_version.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/api/yices_version.o
- libtool: compile: gcc -Isrc -Isrc/include -c src/utils/use_vectors.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/utils/use_vectors.o
- libtool: compile: gcc -Isrc -Isrc/include -c src/mcsat/options.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/mcsat/options.o
- /bin/mkdir -p build/lib/
- /usr/bin/ld -r -o build/obj/libyices.o build/obj/src/api/yices_version.o build/obj/src/api/context_config.o build/obj/src/api/search_parameters.o build/obj/src/api/smt_logic_codes.o build/obj/src/api/yices_api.o build/obj/src/api/yices_error.o build/obj/src/api/yval.o build/obj/src/context/common_conjuncts.o build/obj/src/context/conditional_definitions.o build/obj/src/context/context.o build/obj/src/context/context_simplifier.o build/obj/src/context/context_solver.o build/obj/src/context/context_statistics.o build/obj/src/context/context_utils.o build/obj/src/context/divmod_table.o build/obj/src/context/eq_abstraction.o build/obj/src/context/eq_learner.o build/obj/src/context/internalization_table.o build/obj/src/context/ite_flattener.o build/obj/src/context/pseudo_subst.o build/obj/src/context/shared_terms.o build/obj/src/context/symmetry_breaking.o build/obj/src/exists_forall/ef_client.o build/obj/src/exists_forall/ef_analyze.o build/obj/src/exists_forall/ef_parameters.o build/obj/src/exists_forall/ef_problem.o build/obj/src/exists_forall/efsolver.o build/obj/src/frontend/smt2/attribute_values.o build/obj/src/frontend/yices/yices_lexer.o build/obj/src/frontend/yices/yices_parser.o build/obj/src/io/concrete_value_printer.o build/obj/src/io/model_printer.o build/obj/src/io/pretty_printer.o build/obj/src/io/reader.o build/obj/src/io/term_printer.o build/obj/src/io/tracer.o build/obj/src/io/type_printer.o build/obj/src/io/yices_pp.o build/obj/src/io/writer.o build/obj/src/model/abstract_values.o build/obj/src/model/arith_projection.o build/obj/src/model/concrete_values.o build/obj/src/model/fresh_value_maker.o build/obj/src/model/fun_maps.o build/obj/src/model/fun_trees.o build/obj/src/model/generalization.o build/obj/src/model/literal_collector.o build/obj/src/model/map_to_model.o build/obj/src/model/model_eval.o build/obj/src/model/model_queries.o build/obj/src/model/models.o build/obj/src/model/presburger.o build/obj/src/model/projection.o build/obj/src/model/term_to_val.o build/obj/src/model/val_to_term.o build/obj/src/parser_utils/lexer.o build/obj/src/parser_utils/parser.o build/obj/src/parser_utils/term_stack2.o build/obj/src/parser_utils/term_stack_error.o build/obj/src/solvers/bv/bit_blaster.o build/obj/src/solvers/bv/bv64_intervals.o build/obj/src/solvers/bv/bv_atomtable.o build/obj/src/solvers/bv/bvconst_hmap.o build/obj/src/solvers/bv/bvexp_table.o build/obj/src/solvers/bv/bv_intervals.o build/obj/src/solvers/bv/bvpoly_compiler.o build/obj/src/solvers/bv/bvpoly_dag.o build/obj/src/solvers/bv/bvsolver.o build/obj/src/solvers/bv/bv_vartable.o build/obj/src/solvers/bv/merge_table.o build/obj/src/solvers/bv/remap_table.o build/obj/src/solvers/cdcl/gates_hash_table.o build/obj/src/solvers/cdcl/gates_manager.o build/obj/src/solvers/cdcl/smt_core.o build/obj/src/solvers/egraph/composites.o build/obj/src/solvers/egraph/diseq_stacks.o build/obj/src/solvers/egraph/egraph_assertion_queues.o build/obj/src/solvers/egraph/egraph.o build/obj/src/solvers/egraph/egraph_explanations.o build/obj/src/solvers/egraph/egraph_utils.o build/obj/src/solvers/egraph/theory_explanations.o build/obj/src/solvers/floyd_warshall/dl_vartable.o build/obj/src/solvers/floyd_warshall/idl_floyd_warshall.o build/obj/src/solvers/floyd_warshall/rdl_floyd_warshall.o build/obj/src/solvers/funs/fun_solver.o build/obj/src/solvers/simplex/arith_atomtable.o build/obj/src/solvers/simplex/arith_vartable.o build/obj/src/solvers/simplex/diophantine_systems.o build/obj/src/solvers/simplex/integrality_constraints.o build/obj/src/solvers/simplex/matrices.o build/obj/src/solvers/simplex/offset_equalities.o build/obj/src/solvers/simplex/simplex.o build/obj/src/terms/balanced_arith_buffers.o build/obj/src/terms/bit_expr.o build/obj/src/terms/bit_term_conversion.o build/obj/src/terms/bv64_interval_abstraction.o build/obj/src/terms/bv64_constants.o build/obj/src/terms/bv64_polynomials.o build/obj/src/terms/bvarith64_buffers.o build/obj/src/terms/bvarith64_buffer_terms.o build/obj/src/terms/bvarith_buffers.o build/obj/src/terms/bvarith_buffer_terms.o build/obj/src/terms/bv_constants.o build/obj/src/terms/bvlogic_buffers.o build/obj/src/terms/bvpoly_buffers.o build/obj/src/terms/bv_polynomials.o build/obj/src/terms/bv_slices.o build/obj/src/terms/conditionals.o build/obj/src/terms/elim_subst.o build/obj/src/terms/extended_rationals.o build/obj/src/terms/free_var_collector.o build/obj/src/terms/full_subst.o build/obj/src/terms/ite_stack.o build/obj/src/terms/mpq_aux.o build/obj/src/terms/poly_buffer.o build/obj/src/terms/poly_buffer_terms.o build/obj/src/terms/polynomials.o build/obj/src/terms/power_products.o build/obj/src/terms/pprod_table.o build/obj/src/terms/rational_hash_maps.o build/obj/src/terms/rationals.o build/obj/src/terms/rba_buffer_terms.o build/obj/src/terms/renaming_context.o build/obj/src/terms/subst_cache.o build/obj/src/terms/subst_context.o build/obj/src/terms/term_explorer.o build/obj/src/terms/term_manager.o build/obj/src/terms/terms.o build/obj/src/terms/term_sets.o build/obj/src/terms/term_substitution.o build/obj/src/terms/term_utils.o build/obj/src/terms/types.o build/obj/src/terms/variable_renaming.o build/obj/src/utils/arena.o build/obj/src/utils/backtrack_arrays.o build/obj/src/utils/cache.o build/obj/src/utils/csets.o build/obj/src/utils/dep_tables.o build/obj/src/utils/gcd.o build/obj/src/utils/generic_heap.o build/obj/src/utils/hash_functions.o build/obj/src/utils/index_vectors.o build/obj/src/utils/int_array_hsets.o build/obj/src/utils/int_array_sort2.o build/obj/src/utils/int_array_sort.o build/obj/src/utils/int_bags.o build/obj/src/utils/int_bv_sets.o build/obj/src/utils/int_hash_classes.o build/obj/src/utils/int_hash_map2.o build/obj/src/utils/int_hash_map.o build/obj/src/utils/int_hash_sets.o build/obj/src/utils/int_hash_tables.o build/obj/src/utils/int_heap2.o build/obj/src/utils/int_heap.o build/obj/src/utils/int_partitions.o build/obj/src/utils/int_powers.o build/obj/src/utils/int_queues.o build/obj/src/utils/int_stack.o build/obj/src/utils/int_vectors.o build/obj/src/utils/mark_vectors.o build/obj/src/utils/memalloc.o build/obj/src/utils/object_stores.o build/obj/src/utils/pair_hash_map2.o build/obj/src/utils/pointer_vectors.o build/obj/src/utils/ptr_array_sort2.o build/obj/src/utils/ptr_array_sort.o build/obj/src/utils/ptr_hash_classes.o build/obj/src/utils/ptr_hash_map.o build/obj/src/utils/ptr_heap.o build/obj/src/utils/ptr_partitions.o build/obj/src/utils/ptr_queues.o build/obj/src/utils/ptr_sets.o build/obj/src/utils/ptr_sets2.o build/obj/src/utils/ptr_stack.o build/obj/src/utils/ptr_vectors.o build/obj/src/utils/refcount_int_arrays.o build/obj/src/utils/refcount_strings.o build/obj/src/utils/simple_cache.o build/obj/src/utils/sparse_arrays.o build/obj/src/utils/stable_sort.o build/obj/src/utils/string_buffers.o build/obj/src/utils/string_utils.o build/obj/src/utils/symbol_tables.o build/obj/src/utils/tuple_hash_map.o build/obj/src/utils/uint_rbtrees.o build/obj/src/utils/use_vectors.o build/obj/src/mcsat/no_mcsat.o build/obj/src/mcsat/options.o /usr/lib/x86_64-linux-gnu/libgmp.a
- ar cru build/lib/libyices.a build/obj/libyices.o
- ar: `u' modifier ignored since `D' is the default (see `U')
- make[2]: Leaving directory '/home/opam/.opam/4.11.2/.opam-switch/build/yices2.0.0.3/ext/yices'
- make install -C yices
- make[2]: Entering directory '/home/opam/.opam/4.11.2/.opam-switch/build/yices2.0.0.3/ext/yices'
- /bin/mkdir -p /home/opam/.opam/4.11.2/.opam-switch/build/yices2.0.0.3/ext/include /home/opam/.opam/4.11.2/.opam-switch/build/yices2.0.0.3/ext/lib /home/opam/.opam/4.11.2/.opam-switch/build/yices2.0.0.3/ext/bin
- /bin/sh ./libtool --mode=install /usr/bin/install -c -m 644 src/include/*.h /home/opam/.opam/4.11.2/.opam-switch/build/yices2.0.0.3/ext/include
- libtool: install: /usr/bin/install -c -m 644 src/include/yices.h /home/opam/.opam/4.11.2/.opam-switch/build/yices2.0.0.3/ext/include/yices.h
- libtool: install: /usr/bin/install -c -m 644 src/include/yices_exit_codes.h /home/opam/.opam/4.11.2/.opam-switch/build/yices2.0.0.3/ext/include/yices_exit_codes.h
- libtool: install: /usr/bin/install -c -m 644 src/include/yices_limits.h /home/opam/.opam/4.11.2/.opam-switch/build/yices2.0.0.3/ext/include/yices_limits.h
- libtool: install: /usr/bin/install -c -m 644 src/include/yices_types.h /home/opam/.opam/4.11.2/.opam-switch/build/yices2.0.0.3/ext/include/yices_types.h
- (/bin/sh ./libtool --mode=install /usr/bin/install -c -s build/bin/yices_* /home/opam/.opam/4.11.2/.opam-switch/build/yices2.0.0.3/ext/bin) || true
- libtool: install: /usr/bin/install -c -s build/bin/yices_* /home/opam/.opam/4.11.2/.opam-switch/build/yices2.0.0.3/ext/bin/yices_*
- /usr/bin/install: cannot stat 'build/bin/yices_*': No such file or directory
- (/bin/sh ./libtool --mode=install /usr/bin/install -c -s build/lib/libyices.* /home/opam/.opam/4.11.2/.opam-switch/build/yices2.0.0.3/ext/lib) || true
- libtool: install: /usr/bin/install -c build/lib/libyices.a /home/opam/.opam/4.11.2/.opam-switch/build/yices2.0.0.3/ext/lib/libyices.a
- libtool: install: strip --strip-debug /home/opam/.opam/4.11.2/.opam-switch/build/yices2.0.0.3/ext/lib/libyices.a
- libtool: install: chmod 644 /home/opam/.opam/4.11.2/.opam-switch/build/yices2.0.0.3/ext/lib/libyices.a
- libtool: install: ranlib /home/opam/.opam/4.11.2/.opam-switch/build/yices2.0.0.3/ext/lib/libyices.a
- make[2]: Leaving directory '/home/opam/.opam/4.11.2/.opam-switch/build/yices2.0.0.3/ext/yices'
- make[1]: Leaving directory '/home/opam/.opam/4.11.2/.opam-switch/build/yices2.0.0.3/ext'
- ocamlfind ocamlc -package zarith -I src -annot -bin-annot -c -o src/yices2.cmi src/yices2.mli
- ocamlfind ocamlc -package zarith -I src -annot -bin-annot -c -o src/yices2.cmo src/yices2.ml
- ocamlfind ocamlc -package zarith -g -custom -c src/contexts.c -ccopt '-std=c99 -O2 -Wall -Wextra -Wconversion -Iext/include -Isrc -DLINUX -U_FORTIFY_SOURCE'
- src/contexts.c:29:1: warning: missing initializer for field 'fixed_length' of 'struct custom_operations' [-Wmissing-field-initializers]
- 29 | };
- | ^
- In file included from src/contexts.c:10:
- /home/opam/.opam/4.11.2/lib/ocaml/caml/custom.h:40:37: note: 'fixed_length' declared here
- 40 | const struct custom_fixed_length* fixed_length;
- | ^~~~~~~~~~~~
- src/contexts.c:40:1: warning: missing initializer for field 'fixed_length' of 'struct custom_operations' [-Wmissing-field-initializers]
- 40 | };
- | ^
- In file included from src/contexts.c:10:
- /home/opam/.opam/4.11.2/lib/ocaml/caml/custom.h:40:37: note: 'fixed_length' declared here
- 40 | const struct custom_fixed_length* fixed_length;
- | ^~~~~~~~~~~~
- src/contexts.c:51:1: warning: missing initializer for field 'fixed_length' of 'struct custom_operations' [-Wmissing-field-initializers]
- 51 | };
- | ^
- In file included from src/contexts.c:10:
- /home/opam/.opam/4.11.2/lib/ocaml/caml/custom.h:40:37: note: 'fixed_length' declared here
- 40 | const struct custom_fixed_length* fixed_length;
- | ^~~~~~~~~~~~
- mv contexts.o src/contexts.o
- ocamlfind ocamlc -package zarith -g -custom -c src/models.c -ccopt '-std=c99 -O2 -Wall -Wextra -Wconversion -Iext/include -Isrc -DLINUX -U_FORTIFY_SOURCE'
- src/models.c:37:1: warning: missing initializer for field 'fixed_length' of 'struct custom_operations' [-Wmissing-field-initializers]
- 37 | };
- | ^
- In file included from src/models.c:13:
- /home/opam/.opam/4.11.2/lib/ocaml/caml/custom.h:40:37: note: 'fixed_length' declared here
- 40 | const struct custom_fixed_length* fixed_length;
- | ^~~~~~~~~~~~
- mv models.o src/models.o
- ocamlfind ocamlc -package zarith -g -custom -c src/terms.c -ccopt '-std=c99 -O2 -Wall -Wextra -Wconversion -Iext/include -Isrc -DLINUX -U_FORTIFY_SOURCE'
- src/terms.c: In function 'ocamlyices_term_bitvector_and':
- src/terms.c:1162:21: warning: passing argument 1 of '_oy_binary' from incompatible pointer type [-Wincompatible-pointer-types]
- 1162 | return _oy_binary(&yices_bvand, arg1, arg2);
- | ^~~~~~~~~~~~
- | |
- | term_t (*)(uint32_t, const term_t *) {aka int (*)(unsigned int, const int *)}
- In file included from src/terms.c:21:
- src/terms_macros.h:36:41: note: expected 'term_t (*)(term_t, term_t)' {aka 'int (*)(int, int)'} but argument is of type 'term_t (*)(uint32_t, const term_t *)' {aka 'int (*)(unsigned int, const int *)'}
- 36 | static inline value _oy_binary(term_t (*f)(term_t, term_t), value v_arg1,
- | ~~~~~~~~~^~~~~~~~~~~~~~~~~~
- src/terms.c: In function 'ocamlyices_term_bitvector_or':
- src/terms.c:1166:21: warning: passing argument 1 of '_oy_binary' from incompatible pointer type [-Wincompatible-pointer-types]
- 1166 | return _oy_binary(&yices_bvor, arg1, arg2);
- | ^~~~~~~~~~~
- | |
- | term_t (*)(uint32_t, const term_t *) {aka int (*)(unsigned int, const int *)}
- In file included from src/terms.c:21:
- src/terms_macros.h:36:41: note: expected 'term_t (*)(term_t, term_t)' {aka 'int (*)(int, int)'} but argument is of type 'term_t (*)(uint32_t, const term_t *)' {aka 'int (*)(unsigned int, const int *)'}
- 36 | static inline value _oy_binary(term_t (*f)(term_t, term_t), value v_arg1,
- | ~~~~~~~~~^~~~~~~~~~~~~~~~~~
- src/terms.c: In function 'ocamlyices_term_bitvector_xor':
- src/terms.c:1170:21: warning: passing argument 1 of '_oy_binary' from incompatible pointer type [-Wincompatible-pointer-types]
- 1170 | return _oy_binary(&yices_bvxor, arg1, arg2);
- | ^~~~~~~~~~~~
- | |
- | term_t (*)(uint32_t, const term_t *) {aka int (*)(unsigned int, const int *)}
- In file included from src/terms.c:21:
- src/terms_macros.h:36:41: note: expected 'term_t (*)(term_t, term_t)' {aka 'int (*)(int, int)'} but argument is of type 'term_t (*)(uint32_t, const term_t *)' {aka 'int (*)(unsigned int, const int *)'}
- 36 | static inline value _oy_binary(term_t (*f)(term_t, term_t), value v_arg1,
- | ~~~~~~~~~^~~~~~~~~~~~~~~~~~
- src/terms.c: In function 'ocamlyices_term_bitvector_concat':
- src/terms.c:1255:21: warning: passing argument 1 of '_oy_binary' from incompatible pointer type [-Wincompatible-pointer-types]
- 1255 | return _oy_binary(&yices_bvconcat, arg1, arg2);
- | ^~~~~~~~~~~~~~~
- | |
- | term_t (*)(uint32_t, const term_t *) {aka int (*)(unsigned int, const int *)}
- In file included from src/terms.c:21:
- src/terms_macros.h:36:41: note: expected 'term_t (*)(term_t, term_t)' {aka 'int (*)(int, int)'} but argument is of type 'term_t (*)(uint32_t, const term_t *)' {aka 'int (*)(unsigned int, const int *)'}
- 36 | static inline value _oy_binary(term_t (*f)(term_t, term_t), value v_arg1,
- | ~~~~~~~~~^~~~~~~~~~~~~~~~~~
- mv terms.o src/terms.o
- ocamlfind ocamlc -package zarith -g -custom -c src/types.c -ccopt '-std=c99 -O2 -Wall -Wextra -Wconversion -Iext/include -Isrc -DLINUX -U_FORTIFY_SOURCE'
- mv types.o src/types.o
- ocamlfind ocamlc -package zarith -g -custom -c src/misc.c -ccopt '-std=c99 -O2 -Wall -Wextra -Wconversion -Iext/include -Isrc -DLINUX -U_FORTIFY_SOURCE'
- src/misc.c: In function '_oy_check_error':
- src/misc.c:113:16: warning: initialization discards 'const' qualifier from pointer target type [-Wdiscarded-qualifiers]
- 113 | value *exc = caml_named_value("ocamlyices2.exception");
- | ^~~~~~~~~~~~~~~~
- mv misc.o src/misc.o
- cp ext/lib/libyices.a src/libyices.a
- cp /usr/lib/x86_64-linux-gnu/libgmp.a src/libgmp.a
- cd src && ocamlfind ocamlmklib -o yices2_stubs contexts.o models.o terms.o types.o misc.o -custom -lyices -L. -ccopt -DNOYICES_DLL
- cd src && ocamlfind ocamlmklib -o yices2_stubs contexts.o models.o terms.o types.o misc.o -custom -lyices -L. -ccopt -DNOYICES_DLL
- ocamlfind ocamlc -a \
- -cclib '-lyices2_stubs -lyices ' \
- -custom src/yices2.cmo -o src/yices2.cma
- ocamlfind opt -package zarith -I src -c -o src/yices2.cmx src/yices2.ml
- ocamlfind ocamlopt -a \
- -cclib '-lyices2_stubs -lyices ' \
- src/yices2.cmx -o src/yices2.cmxa
-> compiled yices2.0.0.3
Processing 12/12: [yices2: make install]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "install" "make" "install" (CWD=/home/opam/.opam/4.11.2/.opam-switch/build/yices2.0.0.3)
- ocamlfind install yices2 META src/yices2.cma src/libyices2_stubs.a src/yices2.mli src/yices2.cmi src/yices2.annot src/yices2.cmt src/yices2.cmti ext/lib/libyices.a src/libgmp.a src/yices2.cmxa src/yices2.a src/yices2.cmx
- Installed /home/opam/.opam/4.11.2/lib/yices2/yices2.cmx
- Installed /home/opam/.opam/4.11.2/lib/yices2/yices2.a
- Installed /home/opam/.opam/4.11.2/lib/yices2/yices2.cmxa
- Installed /home/opam/.opam/4.11.2/lib/yices2/libgmp.a
- Installed /home/opam/.opam/4.11.2/lib/yices2/libyices.a
- Installed /home/opam/.opam/4.11.2/lib/yices2/yices2.cmti
- Installed /home/opam/.opam/4.11.2/lib/yices2/yices2.cmt
- Installed /home/opam/.opam/4.11.2/lib/yices2/yices2.annot
- Installed /home/opam/.opam/4.11.2/lib/yices2/yices2.cmi
- Installed /home/opam/.opam/4.11.2/lib/yices2/yices2.mli
- Installed /home/opam/.opam/4.11.2/lib/yices2/libyices2_stubs.a
- Installed /home/opam/.opam/4.11.2/lib/yices2/yices2.cma
- Installed /home/opam/.opam/4.11.2/lib/yices2/META
-> installed yices2.0.0.3
Done.
<><> yices2.0.0.3 installed successfully ><><><><><><><><><><><><><><><><><><><>
=> OCamlYices2 is free (BSD-like) but Yices is not!
**Yices is free [only] for non-commercial use**
License terms: http://yices.csl.sri.com/yices-newnewlicense.html
# Run eval $(opam env) to update the current shell environment
2021-07-05 07:46.49 ---> saved as "9232d241afab9916010a87a2df52ec8e32c228684f06d2c8d2c9b0573648e5e8"
Job succeeded
Home|Differences with the last checks|Previous runs