Build:
- 0
2026-02-27 03:58.22: New job: test yices2.0.0.3 with ocamlfind.1.9.1, using opam dev
from https://github.com/ocaml/opam-repository.git#refs/pull/29451/head (09d7830dd4a7cd4cfc1725bd69ec5b222eae677d)
on debian-13-ocaml-4.14/amd64
To reproduce locally:
cd $(mktemp -d)
git clone --recursive "https://github.com/ocaml/opam-repository.git" && cd "opam-repository" && git fetch origin "refs/pull/29451/head" && git reset --hard 09d7830d
git fetch origin master
git merge --no-edit 5abb4f44e937819c2e438ab71bc23607a7cad3da
cat > ../Dockerfile <<'END-OF-DOCKERFILE'
FROM ocaml/opam:debian-13-ocaml-4.14@sha256:04864ce35c9a53a8f91e1b6ddfe19ff405f2881ec1201cdca698239b3b811633
USER 1000:1000
WORKDIR /home/opam
RUN sudo ln -f /usr/bin/opam-dev /usr/bin/opam
RUN opam init --reinit -ni
RUN opam option solver=builtin-0install && opam config report
ENV OPAMDOWNLOADJOBS="1"
ENV OPAMERRLOGLEN="0"
ENV OPAMPRECISETRACKING="1"
ENV CI="true"
ENV OPAM_REPO_CI="true"
RUN rm -rf opam-repository/
COPY --chown=1000:1000 . opam-repository/
RUN opam repository set-url --strict default opam-repository/
RUN opam update --depexts || true
RUN opam pin add -k version -yn ocamlfind.1.9.1 1.9.1
RUN opam reinstall ocamlfind.1.9.1; \
res=$?; \
test "$res" != 31 && exit "$res"; \
export OPAMCLI=2.0; \
build_dir=$(opam var prefix)/.opam-switch/build; \
failed=$(ls "$build_dir"); \
partial_fails=""; \
for pkg in $failed; do \
if opam show -f x-ci-accept-failures: "$pkg" | grep -qF "\"debian-13\""; then \
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
fi; \
test "$pkg" != 'ocamlfind.1.9.1' && partial_fails="$partial_fails $pkg"; \
done; \
test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
exit 1
RUN opam reinstall yices2.0.0.3; \
res=$?; \
test "$res" != 31 && exit "$res"; \
export OPAMCLI=2.0; \
build_dir=$(opam var prefix)/.opam-switch/build; \
failed=$(ls "$build_dir"); \
partial_fails=""; \
for pkg in $failed; do \
if opam show -f x-ci-accept-failures: "$pkg" | grep -qF "\"debian-13\""; then \
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
fi; \
test "$pkg" != 'yices2.0.0.3' && partial_fails="$partial_fails $pkg"; \
done; \
test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
exit 1
RUN (opam reinstall --with-test yices2.0.0.3) || true
RUN opam reinstall --with-test --verbose yices2.0.0.3; \
res=$?; \
test "$res" != 31 && exit "$res"; \
export OPAMCLI=2.0; \
build_dir=$(opam var prefix)/.opam-switch/build; \
failed=$(ls "$build_dir"); \
partial_fails=""; \
for pkg in $failed; do \
if opam show -f x-ci-accept-failures: "$pkg" | grep -qF "\"debian-13\""; then \
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field."; \
fi; \
test "$pkg" != 'yices2.0.0.3' && partial_fails="$partial_fails $pkg"; \
done; \
test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}"; \
exit 1
END-OF-DOCKERFILE
docker build -f ../Dockerfile .
2026-02-27 03:58.22: Using cache hint "ocaml/opam:debian-13-ocaml-4.14@sha256:04864ce35c9a53a8f91e1b6ddfe19ff405f2881ec1201cdca698239b3b811633-ocamlfind.1.9.1-yices2.0.0.3-09d7830dd4a7cd4cfc1725bd69ec5b222eae677d"
2026-02-27 03:58.22: Using OBuilder spec:
((from ocaml/opam:debian-13-ocaml-4.14@sha256:04864ce35c9a53a8f91e1b6ddfe19ff405f2881ec1201cdca698239b3b811633)
(user (uid 1000) (gid 1000))
(workdir /home/opam)
(run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
(run (network host)
(shell "opam init --reinit --config .opamrc-sandbox -ni"))
(run (shell "opam option solver=builtin-0install && opam config report"))
(env OPAMDOWNLOADJOBS 1)
(env OPAMERRLOGLEN 0)
(env OPAMPRECISETRACKING 1)
(env CI true)
(env OPAM_REPO_CI true)
(run (shell "rm -rf opam-repository/"))
(copy (src .) (dst opam-repository/))
(run (shell "opam repository set-url --strict default opam-repository/"))
(run (network host)
(shell "opam update --depexts || true"))
(run (shell "opam pin add -k version -yn ocamlfind.1.9.1 1.9.1"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall ocamlfind.1.9.1;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'ocamlfind.1.9.1' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
(run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall yices2.0.0.3;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'yices2.0.0.3' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
(run (network host)
(shell "(opam reinstall --with-test yices2.0.0.3) || true"))
(run (shell "opam reinstall --with-test --verbose yices2.0.0.3;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'yices2.0.0.3' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
)
2026-02-27 03:58.22: Waiting for resource in pool OCluster
2026-02-27 10:41.53: Waiting for worker…
2026-02-27 10:47.03: Got resource from pool OCluster
Building on laodoke.caelum.ci.dev
All commits already cached
Updating files: 63% (11660/18334)
Updating files: 64% (11734/18334)
Updating files: 65% (11918/18334)
Updating files: 66% (12101/18334)
Updating files: 67% (12284/18334)
Updating files: 68% (12468/18334)
Updating files: 69% (12651/18334)
Updating files: 70% (12834/18334)
Updating files: 71% (13018/18334)
Updating files: 72% (13201/18334)
Updating files: 73% (13384/18334)
Updating files: 74% (13568/18334)
Updating files: 75% (13751/18334)
Updating files: 76% (13934/18334)
Updating files: 77% (14118/18334)
Updating files: 78% (14301/18334)
Updating files: 79% (14484/18334)
Updating files: 80% (14668/18334)
Updating files: 81% (14851/18334)
Updating files: 82% (15034/18334)
Updating files: 83% (15218/18334)
Updating files: 84% (15401/18334)
Updating files: 85% (15584/18334)
Updating files: 86% (15768/18334)
Updating files: 87% (15951/18334)
Updating files: 88% (16134/18334)
Updating files: 89% (16318/18334)
Updating files: 90% (16501/18334)
Updating files: 91% (16684/18334)
Updating files: 92% (16868/18334)
Updating files: 93% (17051/18334)
Updating files: 94% (17234/18334)
Updating files: 95% (17418/18334)
Updating files: 96% (17601/18334)
Updating files: 97% (17784/18334)
Updating files: 98% (17968/18334)
Updating files: 99% (18151/18334)
Updating files: 100% (18334/18334)
Updating files: 100% (18334/18334), done.
HEAD is now at 5abb4f44e9 Merge pull request #29466 from mseri/release-doi2bib-0.9.1
Merge made by the 'ort' strategy.
.../ocaml-base-compiler.3.07+1/opam | 1 +
.../ocaml-base-compiler.3.07+2/opam | 1 +
.../ocaml-base-compiler/ocaml-base-compiler.3.07/opam | 1 +
.../ocaml-base-compiler.3.08.0/opam | 1 +
.../ocaml-base-compiler.3.08.1/opam | 1 +
.../ocaml-base-compiler.3.08.2/opam | 1 +
.../ocaml-base-compiler.3.08.3/opam | 1 +
.../ocaml-base-compiler.3.08.4/opam | 1 +
.../ocaml-base-compiler.3.09.0/opam | 1 +
.../ocaml-base-compiler.3.09.1/opam | 1 +
.../ocaml-base-compiler.3.09.2/opam | 1 +
.../ocaml-base-compiler.3.09.3/opam | 1 +
.../ocaml-base-compiler.3.10.0/opam | 1 +
.../ocaml-base-compiler.3.10.1/opam | 1 +
.../ocaml-base-compiler.3.10.2/opam | 1 +
.../ocaml-base-compiler.3.11.0/opam | 1 +
.../ocaml-base-compiler.3.11.1/opam | 1 +
.../ocaml-base-compiler.3.11.2/opam | 1 +
.../ocaml-base-compiler.3.12.0/opam | 1 +
.../ocaml-base-compiler.3.12.1/opam | 1 +
.../ocaml-base-compiler.4.00.0/opam | 1 +
.../ocaml-base-compiler.4.00.1/opam | 1 +
.../ocaml-base-compiler.4.01.0/opam | 1 +
.../ocaml-base-compiler.4.02.0/opam | 1 +
.../ocaml-base-compiler.4.02.1/opam | 1 +
.../ocaml-base-compiler.4.02.2/opam | 1 +
.../ocaml-base-compiler.4.02.3/opam | 1 +
.../ocaml-base-compiler.4.03.0/opam | 1 +
.../ocaml-base-compiler.4.04.0/opam | 1 +
.../ocaml-base-compiler.4.04.1/opam | 1 +
.../ocaml-base-compiler.4.04.2/opam | 1 +
.../ocaml-base-compiler.4.05.0/opam | 1 +
.../ocaml-base-compiler.4.06.0/opam | 1 +
.../ocaml-base-compiler.4.06.1/opam | 1 +
.../ocaml-base-compiler.4.07.0/opam | 1 +
.../ocaml-base-compiler.4.07.1/opam | 1 +
.../ocaml-base-compiler.4.08.0/opam | 1 +
.../ocaml-base-compiler.4.08.1/opam | 1 +
.../ocaml-base-compiler.4.09.0/opam | 1 +
.../ocaml-base-compiler.4.09.1/opam | 1 +
.../ocaml-base-compiler.4.10.0/opam | 1 +
.../ocaml-base-compiler.4.10.1/opam | 1 +
.../ocaml-base-compiler.4.10.2/opam | 1 +
.../ocaml-base-compiler.4.11.0/opam | 1 +
.../ocaml-base-compiler.4.11.1/opam | 1 +
.../ocaml-base-compiler.4.11.2/opam | 1 +
.../ocaml-base-compiler.4.12.0/opam | 1 +
.../ocaml-base-compiler.4.12.1/opam | 1 +
.../ocaml-base-compiler.4.13.0/opam | 1 +
.../ocaml-base-compiler.4.13.1/opam | 1 +
.../ocaml-base-compiler.4.14.0/opam | 1 +
.../ocaml-base-compiler.4.14.1/opam | 1 +
.../ocaml-base-compiler.4.14.2/opam | 1 +
.../ocaml-base-compiler.4.14.2~rc1/opam | 1 +
.../ocaml-base-compiler.4.14.3/opam | 1 +
.../ocaml-base-compiler/ocaml-base-compiler.5.0.0/opam | 5 ++++-
.../ocaml-base-compiler/ocaml-base-compiler.5.1.0/opam | 5 ++++-
.../ocaml-base-compiler/ocaml-base-compiler.5.1.1/opam | 5 ++++-
.../ocaml-base-compiler/ocaml-base-compiler.5.2.0/opam | 5 ++++-
.../ocaml-base-compiler/ocaml-base-compiler.5.2.1/opam | 5 ++++-
packages/ocaml-compiler/ocaml-compiler.5.3.0/opam | 1 +
packages/ocaml-compiler/ocaml-compiler.5.3/opam | 1 +
packages/ocaml-compiler/ocaml-compiler.5.4.0/opam | 1 +
.../ocaml-compiler/ocaml-compiler.5.4.0~alpha1/opam | 1 +
.../ocaml-compiler/ocaml-compiler.5.4.0~beta1/opam | 1 +
.../ocaml-compiler/ocaml-compiler.5.4.0~beta2/opam | 1 +
packages/ocaml-compiler/ocaml-compiler.5.4.0~rc1/opam | 1 +
packages/ocaml-compiler/ocaml-compiler.5.4.1/opam | 1 +
packages/ocaml-compiler/ocaml-compiler.5.4/opam | 1 +
.../ocaml-secondary-compiler.4.08.1-1/opam | 1 +
.../ocaml-secondary-compiler.4.08.1/opam | 1 +
.../ocaml-secondary-compiler.4.14.2/opam | 1 +
.../ocaml-variants.3.09.1+metaocaml/opam | 1 +
.../ocaml-variants.4.00.0+debug-runtime/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.00.1+BER/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.00.1+PIC/opam | 1 +
.../ocaml-variants.4.00.1+debug-runtime/opam | 1 +
.../ocaml-variants.4.00.1+open-types/opam | 1 +
.../ocaml-variants.4.00.1+raspberrypi/opam | 1 +
.../ocaml-variants.4.00.1+short-types/opam | 1 +
.../ocaml-variants/ocaml-variants.4.01.0+32bit/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.01.0+BER/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.01.0+PIC/opam | 1 +
.../ocaml-variants.4.01.0+armv6-freebsd/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.01.0+fp/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.01.0+lsb/opam | 1 +
.../ocaml-variants.4.01.0+musl+static/opam | 1 +
.../ocaml-variants/ocaml-variants.4.01.0+musl/opam | 1 +
.../ocaml-variants.4.01.0+open-types/opam | 1 +
.../ocaml-variants/ocaml-variants.4.01.0+profile/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.02.0+PIC/opam | 1 +
.../ocaml-variants.4.02.0+improved-errors/opam | 1 +
.../ocaml-variants/ocaml-variants.4.02.1+32bit/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.02.1+BER/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.02.1+PIC/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.02.1+fp/opam | 1 +
.../ocaml-variants.4.02.1+modular-implicits-ber/opam | 1 +
.../ocaml-variants.4.02.1+modular-implicits/opam | 1 +
.../ocaml-variants.4.02.1+musl+static/opam | 1 +
.../ocaml-variants/ocaml-variants.4.02.1+musl/opam | 1 +
.../ocaml-variants.4.02.2+improved-errors/opam | 1 +
.../ocaml-variants/ocaml-variants.4.02.3+32bit/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.02.3+PIC/opam | 1 +
.../ocaml-variants/ocaml-variants.4.02.3+buckle-1/opam | 1 +
.../ocaml-variants.4.02.3+buckle-master/opam | 1 +
.../ocaml-variants.4.02.3+bytecode-only/opam | 1 +
.../ocaml-variants.4.02.3+curried-constr/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.02.3+fp/opam | 1 +
.../ocaml-variants.4.02.3+musl+static/opam | 1 +
.../ocaml-variants/ocaml-variants.4.02.3+musl/opam | 1 +
.../ocaml-variants/ocaml-variants.4.02.4+trunk/opam | 1 +
.../ocaml-variants/ocaml-variants.4.03.0+32bit/opam | 1 +
.../ocaml-variants/ocaml-variants.4.03.0+fPIC/opam | 1 +
.../ocaml-variants/ocaml-variants.4.03.0+flambda/opam | 1 +
.../ocaml-variants.4.03.0+fp+flambda/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.03.0+fp/opam | 1 +
.../ocaml-variants.4.03.0+statistical-memprof/opam | 1 +
.../ocaml-variants/ocaml-variants.4.03.1+trunk/opam | 1 +
.../ocaml-variants/ocaml-variants.4.04.0+32bit/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.04.0+BER/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.04.0+afl/opam | 1 +
.../ocaml-variants.4.04.0+bytecode-only/opam | 1 +
.../ocaml-variants/ocaml-variants.4.04.0+fPIC/opam | 1 +
.../ocaml-variants/ocaml-variants.4.04.0+flambda/opam | 1 +
.../ocaml-variants.4.04.0+fp+flambda/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.04.0+fp/opam | 1 +
.../ocaml-variants.4.04.0+safe-string/opam | 1 +
.../ocaml-variants.4.04.0+spacetime/opam | 1 +
.../ocaml-variants.4.04.0+trunk+forced_lto/opam | 1 +
.../ocaml-variants/ocaml-variants.4.04.1+32bit/opam | 1 +
.../ocaml-variants.4.04.1+bytecode-only/opam | 1 +
.../ocaml-variants.4.04.1+copatterns/opam | 1 +
.../ocaml-variants/ocaml-variants.4.04.1+fPIC/opam | 1 +
.../ocaml-variants/ocaml-variants.4.04.1+flambda/opam | 1 +
.../ocaml-variants.4.04.1+fp+flambda/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.04.1+fp/opam | 1 +
.../ocaml-variants.4.04.1+safe-string/opam | 1 +
.../ocaml-variants.4.04.1+spacetime/opam | 1 +
.../ocaml-variants/ocaml-variants.4.04.2+32bit/opam | 1 +
.../ocaml-variants.4.04.2+bytecode-only/opam | 1 +
.../ocaml-variants/ocaml-variants.4.04.2+fPIC/opam | 1 +
.../ocaml-variants/ocaml-variants.4.04.2+flambda/opam | 1 +
.../ocaml-variants.4.04.2+fp+flambda/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.04.2+fp/opam | 1 +
.../ocaml-variants.4.04.2+safe-string/opam | 1 +
.../ocaml-variants.4.04.2+spacetime/opam | 1 +
.../ocaml-variants.4.04.2+statistical-memprof/opam | 1 +
.../ocaml-variants/ocaml-variants.4.04.3+trunk/opam | 1 +
.../ocaml-variants/ocaml-variants.4.05.0+32bit/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.05.0+afl/opam | 1 +
.../ocaml-variants.4.05.0+bytecode-only/opam | 1 +
.../ocaml-variants/ocaml-variants.4.05.0+flambda/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.05.0+lto/opam | 1 +
.../ocaml-variants.4.05.0+musl+flambda/opam | 1 +
.../ocaml-variants.4.05.0+musl+static+flambda/opam | 1 +
.../ocaml-variants.4.05.0+safe-string/opam | 1 +
.../ocaml-variants.4.05.0+spacetime/opam | 1 +
.../ocaml-variants.4.05.0+statistical-memprof/opam | 1 +
.../ocaml-variants.4.05.1+trunk+afl/opam | 1 +
.../ocaml-variants.4.05.1+trunk+flambda/opam | 1 +
.../ocaml-variants.4.05.1+trunk+fp+flambda/opam | 1 +
.../ocaml-variants/ocaml-variants.4.05.1+trunk+fp/opam | 1 +
.../ocaml-variants.4.05.1+trunk+safe-string/opam | 1 +
.../ocaml-variants/ocaml-variants.4.05.1+trunk/opam | 1 +
.../ocaml-variants/ocaml-variants.4.06.0+32bit/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.06.0+afl/opam | 1 +
.../ocaml-variants.4.06.0+bytecode-only/opam | 1 +
.../ocaml-variants.4.06.0+default-unsafe-string/opam | 1 +
.../opam | 1 +
.../ocaml-variants/ocaml-variants.4.06.0+flambda/opam | 1 +
.../ocaml-variants.4.06.0+force-safe-string/opam | 1 +
.../ocaml-variants.4.06.0+fp+flambda/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.06.0+fp/opam | 1 +
.../ocaml-variants.4.06.0+musl+flambda/opam | 1 +
.../ocaml-variants.4.06.0+musl+static+flambda/opam | 1 +
.../ocaml-variants.4.06.0+no-flat-float-array/opam | 1 +
.../ocaml-variants.4.06.0+spacetime/opam | 1 +
.../ocaml-variants.4.06.0+statistical-memprof/opam | 1 +
.../ocaml-variants/ocaml-variants.4.06.1+32bit/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.06.1+afl/opam | 1 +
.../ocaml-variants.4.06.1+bytecode-only/opam | 1 +
.../ocaml-variants.4.06.1+default-unsafe-string/opam | 1 +
.../ocaml-variants/ocaml-variants.4.06.1+flambda/opam | 1 +
.../ocaml-variants.4.06.1+force-safe-string/opam | 1 +
.../ocaml-variants.4.06.1+fp+flambda/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.06.1+fp/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.06.1+lto/opam | 1 +
.../ocaml-variants.4.06.1+musl+flambda/opam | 1 +
.../ocaml-variants.4.06.1+musl+static+flambda/opam | 1 +
.../ocaml-variants.4.06.1+no-flat-float-array/opam | 1 +
.../opam | 1 +
.../ocaml-variants/ocaml-variants.4.06.1+rescript/opam | 1 +
.../ocaml-variants.4.06.1+statistical-memprof/opam | 1 +
.../ocaml-variants/ocaml-variants.4.06.1+termux/opam | 1 +
.../ocaml-variants.4.06.2+trunk+afl/opam | 1 +
.../ocaml-variants.4.06.2+trunk+flambda/opam | 1 +
.../ocaml-variants.4.06.2+trunk+force-safe-string/opam | 1 +
.../ocaml-variants.4.06.2+trunk+fp+flambda/opam | 1 +
.../ocaml-variants/ocaml-variants.4.06.2+trunk+fp/opam | 1 +
.../ocaml-variants/ocaml-variants.4.06.2+trunk/opam | 1 +
.../ocaml-variants/ocaml-variants.4.07.0+32bit/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.07.0+afl/opam | 1 +
.../ocaml-variants.4.07.0+bytecode-only/opam | 1 +
.../ocaml-variants.4.07.0+default-unsafe-string/opam | 1 +
.../opam | 1 +
.../ocaml-variants/ocaml-variants.4.07.0+flambda/opam | 1 +
.../ocaml-variants.4.07.0+force-safe-string/opam | 1 +
.../ocaml-variants.4.07.0+fp+flambda/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.07.0+fp/opam | 1 +
.../ocaml-variants.4.07.0+no-flat-float-array/opam | 1 +
.../ocaml-variants.4.07.0+spacetime/opam | 1 +
.../ocaml-variants/ocaml-variants.4.07.1+32bit/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.07.1+BER/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.07.1+afl/opam | 1 +
.../ocaml-variants.4.07.1+bytecode-only/opam | 1 +
.../ocaml-variants.4.07.1+default-unsafe-string/opam | 1 +
.../opam | 1 +
.../ocaml-variants/ocaml-variants.4.07.1+flambda/opam | 1 +
.../ocaml-variants.4.07.1+force-safe-string/opam | 1 +
.../ocaml-variants.4.07.1+fp+flambda/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.07.1+fp/opam | 1 +
.../ocaml-variants.4.07.1+musl+flambda/opam | 1 +
.../ocaml-variants.4.07.1+musl+static+flambda/opam | 1 +
.../ocaml-variants.4.07.1+no-flat-float-array/opam | 1 +
.../ocaml-variants.4.07.1+spacetime/opam | 1 +
.../ocaml-variants.4.07.1+statistical-memprof/opam | 1 +
.../ocaml-variants.4.07.2+trunk+afl/opam | 1 +
.../opam | 1 +
.../ocaml-variants.4.07.2+trunk+flambda/opam | 1 +
.../ocaml-variants.4.07.2+trunk+fp+flambda/opam | 1 +
.../ocaml-variants/ocaml-variants.4.07.2+trunk+fp/opam | 1 +
.../ocaml-variants/ocaml-variants.4.07.2+trunk/opam | 1 +
.../ocaml-variants/ocaml-variants.4.08.0+32bit/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.08.0+afl/opam | 1 +
.../ocaml-variants.4.08.0+bytecode-only/opam | 1 +
.../ocaml-variants.4.08.0+default-unsafe-string/opam | 1 +
.../opam | 1 +
.../ocaml-variants/ocaml-variants.4.08.0+flambda/opam | 1 +
.../ocaml-variants.4.08.0+force-safe-string/opam | 1 +
.../ocaml-variants.4.08.0+fp+flambda/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.08.0+fp/opam | 1 +
.../ocaml-variants.4.08.0+musl+flambda/opam | 1 +
.../ocaml-variants.4.08.0+musl+static+flambda/opam | 1 +
.../ocaml-variants.4.08.0+no-flat-float-array/opam | 1 +
.../ocaml-variants.4.08.0+spacetime/opam | 1 +
.../ocaml-variants/ocaml-variants.4.08.1+32bit/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.08.1+afl/opam | 1 +
.../ocaml-variants.4.08.1+bytecode-only/opam | 1 +
.../ocaml-variants.4.08.1+default-unsafe-string/opam | 1 +
.../opam | 1 +
.../ocaml-variants/ocaml-variants.4.08.1+flambda/opam | 1 +
.../ocaml-variants.4.08.1+force-safe-string/opam | 1 +
.../ocaml-variants.4.08.1+fp+flambda/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.08.1+fp/opam | 1 +
.../ocaml-variants.4.08.1+musl+flambda/opam | 1 +
.../ocaml-variants.4.08.1+musl+static+flambda/opam | 1 +
.../ocaml-variants.4.08.1+spacetime/opam | 1 +
.../ocaml-variants.4.08.2+trunk+afl/opam | 1 +
.../opam | 1 +
.../ocaml-variants.4.08.2+trunk+flambda/opam | 1 +
.../ocaml-variants.4.08.2+trunk+force-safe-string/opam | 1 +
.../ocaml-variants.4.08.2+trunk+fp+flambda/opam | 1 +
.../ocaml-variants/ocaml-variants.4.08.2+trunk+fp/opam | 1 +
.../ocaml-variants/ocaml-variants.4.08.2+trunk/opam | 1 +
.../ocaml-variants/ocaml-variants.4.09.0+32bit/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.09.0+afl/opam | 1 +
.../ocaml-variants.4.09.0+bytecode-only/opam | 1 +
.../ocaml-variants.4.09.0+default-unsafe-string/opam | 1 +
.../opam | 1 +
.../ocaml-variants/ocaml-variants.4.09.0+flambda/opam | 1 +
.../ocaml-variants.4.09.0+force-safe-string/opam | 1 +
.../ocaml-variants.4.09.0+fp+flambda/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.09.0+fp/opam | 1 +
.../ocaml-variants.4.09.0+musl+flambda/opam | 1 +
.../ocaml-variants.4.09.0+musl+static+flambda/opam | 1 +
.../ocaml-variants.4.09.0+no-flat-float-array/opam | 1 +
.../ocaml-variants.4.09.0+spacetime/opam | 1 +
.../ocaml-variants/ocaml-variants.4.09.1+32bit/opam | 1 +
.../ocaml-variants.4.09.1+afl+flambda/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.09.1+afl/opam | 1 +
.../ocaml-variants.4.09.1+bytecode-only/opam | 1 +
.../ocaml-variants.4.09.1+default-unsafe-string/opam | 1 +
.../opam | 1 +
.../ocaml-variants/ocaml-variants.4.09.1+flambda/opam | 1 +
.../ocaml-variants.4.09.1+force-safe-string/opam | 1 +
.../ocaml-variants.4.09.1+fp+flambda/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.09.1+fp/opam | 1 +
.../ocaml-variants.4.09.1+musl+flambda/opam | 1 +
.../ocaml-variants.4.09.1+musl+static+flambda/opam | 1 +
.../ocaml-variants.4.09.1+no-flat-float-array/opam | 1 +
.../ocaml-variants.4.09.1+spacetime/opam | 1 +
.../ocaml-variants.4.09.2+trunk+afl/opam | 1 +
.../opam | 1 +
.../ocaml-variants.4.09.2+trunk+flambda/opam | 1 +
.../ocaml-variants.4.09.2+trunk+fp+flambda/opam | 1 +
.../ocaml-variants/ocaml-variants.4.09.2+trunk+fp/opam | 1 +
.../ocaml-variants/ocaml-variants.4.09.2+trunk/opam | 1 +
.../ocaml-variants/ocaml-variants.4.10.0+32bit/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.10.0+afl/opam | 1 +
.../ocaml-variants.4.10.0+bytecode-only/opam | 1 +
.../ocaml-variants.4.10.0+default-unsafe-string/opam | 1 +
.../opam | 1 +
.../ocaml-variants/ocaml-variants.4.10.0+flambda/opam | 1 +
.../ocaml-variants.4.10.0+fp+flambda/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.10.0+fp/opam | 1 +
.../ocaml-variants.4.10.0+musl+flambda/opam | 1 +
.../ocaml-variants.4.10.0+musl+static+flambda/opam | 1 +
.../ocaml-variants/ocaml-variants.4.10.0+nnpcheck/opam | 1 +
.../ocaml-variants.4.10.0+no-flat-float-array/opam | 1 +
.../ocaml-variants.4.10.0+spacetime/opam | 1 +
.../ocaml-variants/ocaml-variants.4.10.1+32bit/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.10.1+afl/opam | 1 +
.../ocaml-variants.4.10.1+bytecode-only/opam | 1 +
.../ocaml-variants.4.10.1+default-unsafe-string/opam | 1 +
.../opam | 1 +
.../ocaml-variants/ocaml-variants.4.10.1+flambda/opam | 1 +
.../ocaml-variants.4.10.1+fp+flambda/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.10.1+fp/opam | 1 +
.../ocaml-variants.4.10.1+musl+flambda/opam | 1 +
.../ocaml-variants.4.10.1+musl+static+flambda/opam | 1 +
.../ocaml-variants.4.10.1+no-flat-float-array/opam | 1 +
.../ocaml-variants/ocaml-variants.4.10.1+rc1+afl/opam | 1 +
.../ocaml-variants.4.10.1+spacetime/opam | 1 +
.../ocaml-variants/ocaml-variants.4.10.2+32bit/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.10.2+afl/opam | 1 +
.../ocaml-variants.4.10.2+bytecode-only/opam | 1 +
.../ocaml-variants.4.10.2+default-unsafe-string/opam | 1 +
.../opam | 1 +
.../ocaml-variants/ocaml-variants.4.10.2+flambda/opam | 1 +
.../ocaml-variants.4.10.2+fp+flambda/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.10.2+fp/opam | 1 +
.../ocaml-variants.4.10.2+musl+flambda/opam | 1 +
.../ocaml-variants.4.10.2+musl+static+flambda/opam | 1 +
.../ocaml-variants.4.10.2+no-flat-float-array/opam | 1 +
.../ocaml-variants/ocaml-variants.4.10.2+rescript/opam | 1 +
.../ocaml-variants.4.10.2+spacetime/opam | 1 +
.../ocaml-variants.4.10.3+trunk+afl/opam | 1 +
.../ocaml-variants.4.10.3+trunk+flambda/opam | 1 +
.../ocaml-variants/ocaml-variants.4.10.3+trunk+fp/opam | 1 +
.../ocaml-variants/ocaml-variants.4.10.3+trunk/opam | 1 +
.../ocaml-variants/ocaml-variants.4.11.0+32bit/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.11.0+afl/opam | 1 +
.../ocaml-variants.4.11.0+bytecode-only/opam | 1 +
.../ocaml-variants.4.11.0+default-unsafe-string/opam | 1 +
.../opam | 1 +
.../ocaml-variants/ocaml-variants.4.11.0+flambda/opam | 1 +
.../ocaml-variants.4.11.0+fp+flambda/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.11.0+fp/opam | 1 +
.../ocaml-variants.4.11.0+musl+flambda/opam | 1 +
.../ocaml-variants.4.11.0+musl+static+flambda/opam | 1 +
.../ocaml-variants.4.11.0+no-flat-float-array/opam | 1 +
.../ocaml-variants.4.11.0+spacetime/opam | 1 +
.../ocaml-variants/ocaml-variants.4.11.1+32bit/opam | 1 +
.../ocaml-variants.4.11.1+BER+flambda/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.11.1+BER/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.11.1+afl/opam | 1 +
.../ocaml-variants.4.11.1+bytecode-only/opam | 1 +
.../ocaml-variants.4.11.1+default-unsafe-string/opam | 1 +
.../opam | 1 +
.../ocaml-variants/ocaml-variants.4.11.1+flambda/opam | 1 +
.../ocaml-variants.4.11.1+fp+flambda/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.11.1+fp/opam | 1 +
.../ocaml-variants.4.11.1+musl+flambda/opam | 1 +
.../ocaml-variants.4.11.1+musl+static+flambda/opam | 1 +
.../ocaml-variants.4.11.1+no-flat-float-array/opam | 1 +
.../ocaml-variants.4.11.1+spacetime/opam | 1 +
.../ocaml-variants/ocaml-variants.4.11.2+32bit/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.11.2+afl/opam | 1 +
.../ocaml-variants.4.11.2+bytecode-only/opam | 1 +
.../ocaml-variants.4.11.2+default-unsafe-string/opam | 1 +
.../opam | 1 +
.../ocaml-variants/ocaml-variants.4.11.2+flambda/opam | 1 +
.../ocaml-variants.4.11.2+fp+flambda/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.11.2+fp/opam | 1 +
.../ocaml-variants.4.11.2+musl+flambda/opam | 1 +
.../ocaml-variants.4.11.2+musl+static+flambda/opam | 1 +
.../ocaml-variants.4.11.2+no-flat-float-array/opam | 1 +
.../ocaml-variants.4.11.2+spacetime/opam | 1 +
.../ocaml-variants.4.11.3+trunk+afl/opam | 1 +
.../ocaml-variants.4.11.3+trunk+flambda/opam | 1 +
.../ocaml-variants/ocaml-variants.4.11.3+trunk+fp/opam | 1 +
.../ocaml-variants/ocaml-variants.4.11.3+trunk/opam | 1 +
.../ocaml-variants.4.12.0+domains+effects/opam | 1 +
.../ocaml-variants/ocaml-variants.4.12.0+domains/opam | 1 +
.../ocaml-variants/ocaml-variants.4.12.0+options/opam | 1 +
.../ocaml-variants/ocaml-variants.4.12.1+options/opam | 1 +
.../ocaml-variants/ocaml-variants.4.12.2+trunk/opam | 1 +
.../ocaml-variants/ocaml-variants.4.13.0+options/opam | 1 +
.../ocaml-variants/ocaml-variants.4.13.1+options/opam | 1 +
.../ocaml-variants/ocaml-variants.4.13.2+trunk/opam | 1 +
.../ocaml-variants/ocaml-variants.4.14.0+options/opam | 1 +
packages/ocaml-variants/ocaml-variants.4.14.1+BER/opam | 1 +
.../ocaml-variants/ocaml-variants.4.14.1+options/opam | 1 +
.../ocaml-variants/ocaml-variants.4.14.2+options/opam | 1 +
.../ocaml-variants.4.14.2~rc1+options/opam | 1 +
.../ocaml-variants/ocaml-variants.4.14.3+options/opam | 1 +
.../ocaml-variants/ocaml-variants.4.14.4+trunk/opam | 1 +
.../ocaml-variants/ocaml-variants.5.0.0+options/opam | 1 +
packages/ocaml-variants/ocaml-variants.5.0.0+tsan/opam | 1 +
.../ocaml-variants/ocaml-variants.5.0.1+trunk/opam | 1 +
.../ocaml-variants/ocaml-variants.5.1.0+options/opam | 1 +
packages/ocaml-variants/ocaml-variants.5.1.0+tsan/opam | 1 +
.../ocaml-variants.5.1.1+effect-syntax/opam | 1 +
.../ocaml-variants.5.1.1+flambda2+trunk/opam | 1 +
.../ocaml-variants/ocaml-variants.5.1.1+flambda2/opam | 1 +
.../ocaml-variants/ocaml-variants.5.1.1+options/opam | 1 +
packages/ocaml-variants/ocaml-variants.5.1.1+tsan/opam | 1 +
.../ocaml-variants/ocaml-variants.5.1.2+trunk/opam | 1 +
packages/ocaml-variants/ocaml-variants.5.2.0+msvc/opam | 1 +
.../ocaml-variants/ocaml-variants.5.2.0+options/opam | 1 +
.../ocaml-variants.5.2.0+statmemprof/opam | 1 +
.../ocaml-variants/ocaml-variants.5.2.1+options/opam | 1 +
.../ocaml-variants.5.2.1~rc1+options/opam | 1 +
.../ocaml-variants/ocaml-variants.5.2.2+trunk/opam | 1 +
packages/ocaml-variants/ocaml-variants.5.3.0+BER/opam | 1 +
packages/ocamlbuild/ocamlbuild.0.14.0/opam | 1 +
packages/ocamlbuild/ocamlbuild.0.14.1/opam | 1 +
packages/ocamlbuild/ocamlbuild.0.14.2+win/opam | 1 +
packages/ocamlbuild/ocamlbuild.0.14.2/opam | 1 +
packages/ocamlbuild/ocamlbuild.0.14.3+win/opam | 1 +
packages/ocamlbuild/ocamlbuild.0.14.3/opam | 1 +
packages/ocamlbuild/ocamlbuild.0.15.0/opam | 1 +
packages/ocamlbuild/ocamlbuild.0.16.1/opam | 1 +
packages/ocamlfind/ocamlfind.1.8.0/opam | 1 +
packages/ocamlfind/ocamlfind.1.8.1/opam | 1 +
packages/ocamlfind/ocamlfind.1.9.1/opam | 1 +
packages/ocamlfind/ocamlfind.1.9.2/opam | 1 +
packages/ocamlfind/ocamlfind.1.9.3/opam | 1 +
packages/ocamlfind/ocamlfind.1.9.5/opam | 1 +
packages/ocamlfind/ocamlfind.1.9.6/opam | 1 +
packages/ocamlfind/ocamlfind.1.9.8/opam | 1 +
packages/relocatable/relocatable.packages/opam | 18 ++++++++++++++++++
432 files changed, 464 insertions(+), 5 deletions(-)
create mode 100644 packages/relocatable/relocatable.packages/opam
(from ocaml/opam:debian-13-ocaml-4.14@sha256:04864ce35c9a53a8f91e1b6ddfe19ff405f2881ec1201cdca698239b3b811633)
2026-02-27 10:47.21 ---> using "d6079ab6cce1b58b34ac9b5ed11aa86b7980ab728c75f5a6ba9271e98dc1ac1c" from cache
/: (user (uid 1000) (gid 1000))
/: (workdir /home/opam)
/home/opam: (run (shell "sudo ln -f /usr/bin/opam-dev /usr/bin/opam"))
2026-02-27 10:47.21 ---> using "3c00c47f9d923b8bd6ffb2b949e4b9efd562ec1af5385aec1656ef10f01c4450" from cache
/home/opam: (run (network host)
(shell "opam init --reinit --config .opamrc-sandbox -ni"))
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.
This version of opam requires an update to the layout of /home/opam/.opam from version 2.0 to version 2.2, which can't be reverted.
You may want to back it up before going further.
Continue? [Y/n] y
Format upgrade done.
<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised
2026-02-27 10:47.21 ---> using "a92b73fe3956045426c13ac4a0686c952a1f3abe3c88ddfc7b2f3a6ed1e46736" from cache
/home/opam: (run (shell "opam option solver=builtin-0install && opam config report"))
Set to 'builtin-0install' the field solver in global configuration
# opam config report
# opam-version 2.5.0
# self-upgrade no
# system arch=x86_64 os=linux os-distribution=debian os-version=13
# solver builtin-0install
# install-criteria -changed,-count[avoid-version,solution]
# upgrade-criteria -count[avoid-version,solution]
# jobs 71
# repositories 1 (version-controlled)
# pinned 1 (version)
# current-switch 4.14
# invariant ["ocaml-base-compiler" {= "4.14.2"}]
# compiler-packages ocaml-base-compiler.4.14.2, ocaml-options-vanilla.1
# ocaml:native true
# ocaml:native-tools true
# ocaml:native-dynlink true
# ocaml:stubsdir /home/opam/.opam/4.14/lib/ocaml/stublibs:/home/opam/.opam/4.14/lib/ocaml
# ocaml:preinstalled false
# ocaml:compiler 4.14.2
2026-02-27 10:47.21 ---> using "cae9d187aa902d60c82d0c2150bbd9c0de1870c923aa0b0063ad5a25247acae5" from cache
/home/opam: (env OPAMDOWNLOADJOBS 1)
/home/opam: (env OPAMERRLOGLEN 0)
/home/opam: (env OPAMPRECISETRACKING 1)
/home/opam: (env CI true)
/home/opam: (env OPAM_REPO_CI true)
/home/opam: (run (shell "rm -rf opam-repository/"))
2026-02-27 10:47.21 ---> using "feb31a4f8ccbcfb9943e7338a457db5bc00688ce26b7db5634b111626cd4af24" from cache
/home/opam: (copy (src .) (dst opam-repository/))
2026-02-27 10:47.23 ---> using "b92870a8fb6886bac6050e75eb8fa24a784127e0cc5005f6e7617ee9eaf0fbc1" from cache
/home/opam: (run (shell "opam repository set-url --strict default opam-repository/"))
[default] Initialised
2026-02-27 10:47.23 ---> using "99f9416150e19d4e3f0d87844ce4f5bfe5703b97a6a1e1cd5864eee876c17ec0" from cache
/home/opam: (run (network host)
(shell "opam update --depexts || true"))
+ /usr/bin/sudo "apt-get" "update"
- Hit:1 http://deb.debian.org/debian trixie InRelease
- Get:2 http://deb.debian.org/debian trixie-updates InRelease [47.3 kB]
- Get:3 http://deb.debian.org/debian-security trixie-security InRelease [43.4 kB]
- Get:4 http://deb.debian.org/debian-security trixie-security/main amd64 Packages [113 kB]
- Fetched 203 kB in 0s (1770 kB/s)
- Reading package lists...
2026-02-27 10:47.23 ---> using "601bd46762889fe7f0e35beb46822e1a66440be2f8382677d2b4063ddcb53047" from cache
/home/opam: (run (shell "opam pin add -k version -yn ocamlfind.1.9.1 1.9.1"))
ocamlfind is now pinned to version 1.9.1
2026-02-27 10:47.23 ---> using "dff07a7ef5db22a2b53bd0f1201f6c2d28dd46dab171a7f07efe82e9b2e5495b" from cache
/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall ocamlfind.1.9.1;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'ocamlfind.1.9.1' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
ocamlfind.1.9.1 is not installed. Install it? [Y/n] y
The following actions will be performed:
=== install 1 package
- install ocamlfind 1.9.1 (pinned)
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved ocamlfind.1.9.1 (cached)
-> installed ocamlfind.1.9.1
Done.
# To update the current shell environment, run: eval $(opam env)
2026-02-27 10:47.23 ---> using "f0cf7220b3de8729496627d11799c7021b6462a056445cb5a2663c5e9b08b858" from cache
/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam reinstall yices2.0.0.3;\
\n res=$?;\
\n test \"$res\" != 31 && exit \"$res\";\
\n export OPAMCLI=2.0;\
\n build_dir=$(opam var prefix)/.opam-switch/build;\
\n failed=$(ls \"$build_dir\");\
\n partial_fails=\"\";\
\n for pkg in $failed; do\
\n if opam show -f x-ci-accept-failures: \"$pkg\" | grep -qF \"\\\"debian-13\\\"\"; then\
\n echo \"A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\";\
\n fi;\
\n test \"$pkg\" != 'yices2.0.0.3' && partial_fails=\"$partial_fails $pkg\";\
\n done;\
\n test \"${partial_fails}\" != \"\" && echo \"opam-repo-ci detected dependencies failing: ${partial_fails}\";\
\n exit 1"))
yices2.0.0.3 is not installed. Install it? [Y/n] y
The following actions will be performed:
=== install 4 packages
- install conf-gmp 5 [required by yices2]
- install conf-pkg-config 4 [required by zarith]
- install yices2 0.0.3
- install zarith 1.14 [required by yices2]
The following system packages will first need to be installed:
libgmp-dev pkg-config
<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>
opam believes some required external dependencies are missing. opam can:
> 1. Run apt-get to install them (may need root/sudo access)
2. Display the recommended apt-get command and wait while you run it manually (e.g. in another terminal)
3. Continue anyway, and, upon success, permanently register that this external dependency is present, but not detectable
4. Abort the installation
[1/2/3/4] 1
+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "libgmp-dev" "pkg-config"
- 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 ... 20623 files and directories currently installed.)
- Preparing to unpack .../0-libgmpxx4ldbl_2%3a6.3.0+dfsg-3_amd64.deb ...
- Unpacking libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-3) ...
- Selecting previously unselected package libgmp-dev:amd64.
- Preparing to unpack .../1-libgmp-dev_2%3a6.3.0+dfsg-3_amd64.deb ...
- Unpacking libgmp-dev:amd64 (2:6.3.0+dfsg-3) ...
- Selecting previously unselected package libpkgconf3:amd64.
- Preparing to unpack .../2-libpkgconf3_1.8.1-4_amd64.deb ...
- Unpacking libpkgconf3:amd64 (1.8.1-4) ...
- Selecting previously unselected package pkgconf-bin.
- Preparing to unpack .../3-pkgconf-bin_1.8.1-4_amd64.deb ...
- Unpacking pkgconf-bin (1.8.1-4) ...
- Selecting previously unselected package pkgconf:amd64.
- Preparing to unpack .../4-pkgconf_1.8.1-4_amd64.deb ...
- Unpacking pkgconf:amd64 (1.8.1-4) ...
- Selecting previously unselected package pkg-config:amd64.
- Preparing to unpack .../5-pkg-config_1.8.1-4_amd64.deb ...
- Unpacking pkg-config:amd64 (1.8.1-4) ...
- Setting up libpkgconf3:amd64 (1.8.1-4) ...
- Setting up libgmpxx4ldbl:amd64 (2:6.3.0+dfsg-3) ...
- Setting up pkgconf-bin (1.8.1-4) ...
- Setting up libgmp-dev:amd64 (2:6.3.0+dfsg-3) ...
- Setting up pkgconf:amd64 (1.8.1-4) ...
- Setting up pkg-config:amd64 (1.8.1-4) ...
- Processing triggers for libc-bin (2.41-12+deb13u1) ...
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved conf-gmp.5 (cached)
-> retrieved yices2.0.0.3 (cached)
-> installed conf-gmp.5
-> installed conf-pkg-config.4
-> retrieved zarith.1.14 (cached)
-> installed zarith.1.14
[ERROR] The compilation of yices2.0.0.3 failed at "make".
#=== ERROR while compiling yices2.0.0.3 =======================================#
# context 2.5.0 | linux/x86_64 | ocaml-base-compiler.4.14.2 | file:///home/opam/opam-repository
# path ~/.opam/4.14/.opam-switch/build/yices2.0.0.3
# command ~/.opam/opam-init/hooks/sandbox.sh build make
# exit-code 2
# env-file ~/.opam/log/yices2-7-f59546.env
# output-file ~/.opam/log/yices2-7-f59546.out
### output ###
# 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=/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.14/.opam-switch/build/yices2.0.0.3/ext'
# cd yices && ./configure --prefix=/home/opam/.opam/4.14/.opam-switch/build/yices2.0.0.3/ext --host=x86_64-unknown-linux-gnu --disable-shared --enable-static --with-static-gmp=/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... /usr/bin/sed
# checking for grep that handles long lines and -e... /usr/bin/grep
# checking for egrep... /usr/bin/grep -E
# checking for fgrep... /usr/bin/grep -F
# checking for ld used by gcc... /usr/bin/ld
# checking if the linker (/usr/bin/ld) is GNU ld... yes
# checking for BSD- or MS-compatible name lister (nm)... /usr/bin/nm -B
# checking the name lister (/usr/bin/nm -B) interface... BSD nm
# checking whether ln -s works... yes
# checking the maximum length of command line arguments... 1572864
# checking how to convert x86_64-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... /usr/bin/dd
# checking how to truncate binary pipes... /usr/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) /usr/bin/sed
# checking whether ln -s works... yes
# checking for a thread-safe mkdir -p... /usr/bin/mkdir -p
# checking for a BSD-compatible install... /usr/bin/install -c
# checking for egrep... (cached) /usr/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 /lib/x86_64-linux-gnu/... no
# checking for gmp.h in /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 /lib/x86_64-linux-gnu/libgmp.a... found
# checking whether /lib/x86_64-linux-gnu/libgmp.a is usable... yes
# configure: creating ./config.lt
# config.lt: creating libtool
# checking whether /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: /usr/bin/sed
# LN_S: ln -s
# MKDIR_P: /usr/bin/mkdir -p
# CC: gcc
# LD: /usr/bin/ld
# AR: ar
# RANLIB: ranlib
# STRIP: strip
# GPERF:
# NO_STACK_PROTECTOR: -fno-stack-protector
# STATIC_GMP: /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.14/.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: /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.14/.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
# 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
# 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
# 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
# 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/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
# 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
# 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
# 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/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
# 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/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
# 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
# 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
# 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/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
# 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
# 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
# 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
# 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
# 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/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
# 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/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/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/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/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
# 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/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
# 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
# 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/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
# 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
# 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
# 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/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
# 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/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_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/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/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
# 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/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
# 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/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
# 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
# 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
# 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/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/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
# 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
# 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/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/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
# 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
# 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/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
# 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/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
# 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/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
# 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
# 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
# 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/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/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
# 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/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
# 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/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
# 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
# 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
# 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
# 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/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/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
# 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
# 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/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/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
# 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
# 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/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/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
# 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
# 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/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
# 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/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
# 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/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/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
# 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/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
# 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/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/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/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/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
# 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/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
# 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
# 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/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/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
# 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
# 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
# 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
# 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
# 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
# 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/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/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/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
# 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/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
# 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/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
# 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
# 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/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
# 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
# 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/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/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
# 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
# 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/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/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/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/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
# 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/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/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/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/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/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
# 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/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
# 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
# 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/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/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
# 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
# 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/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/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/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
# 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/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
# 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
# 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/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/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/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
# 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/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
# 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
# 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/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
# 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/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
# 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/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/bv64_interv
<><> Error report <><><><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
+- The following actions failed
| - build yices2 0.0.3
+-
+- The following changes have been performed
| - install conf-gmp 5
| - install conf-pkg-config 4
| - install zarith 1.14
+-
# To update the current shell environment, run: eval $(opam env)
al_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
# 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
# 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
# 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
# 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
# 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
# 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
# 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
# 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/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
# 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
# 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
# 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
# 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/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
# 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
# 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
# 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
# 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/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/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/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
# 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/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
# 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/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/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/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/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/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
# 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/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
# 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/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/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
# 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
# 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
# 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/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
# 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/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
# 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
# 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
# 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/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/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/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/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
# 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
# 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
# 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
# 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/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
# 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
# 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/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/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/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
# 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
# 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/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
# 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/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
# 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
# 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
# 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
# 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
# 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
# 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/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/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
# 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/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/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/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
# 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_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
# 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
# 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/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
# 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/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/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
# 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
# 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/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/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
# 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
# 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
# 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/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
# 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
# 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_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
# 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_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
# 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
# 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
# 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_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_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
# 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/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/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_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
# 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
# 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/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/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
# 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/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/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/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
# 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_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_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_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
# 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
# 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
# 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/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/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
# 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/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/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/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/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_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
# 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
# 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_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/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
# 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
# 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
# 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/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
# 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/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/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/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/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
# 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
# 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/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
# 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
# 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
# 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
# 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/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/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
# 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/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
# 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
# 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
# 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
# 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
# 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
# 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
# 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/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/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
# 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/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/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/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/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/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
# /usr/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 /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.14/.opam-switch/build/yices2.0.0.3/ext/yices'
# make install -C yices
# make[2]: Entering directory '/home/opam/.opam/4.14/.opam-switch/build/yices2.0.0.3/ext/yices'
# /usr/bin/mkdir -p /home/opam/.opam/4.14/.opam-switch/build/yices2.0.0.3/ext/include /home/opam/.opam/4.14/.opam-switch/build/yices2.0.0.3/ext/lib /home/opam/.opam/4.14/.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.14/.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.14/.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.14/.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.14/.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.14/.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.14/.opam-switch/build/yices2.0.0.3/ext/bin) || true
# libtool: install: /usr/bin/install -c -s build/bin/yices_* /home/opam/.opam/4.14/.opam-switch/build/yices2.0.0.3/ext/bin/yices_*
# 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.14/.opam-switch/build/yices2.0.0.3/ext/lib) || true
# libtool: install: /usr/bin/install -c build/lib/libyices.a /home/opam/.opam/4.14/.opam-switch/build/yices2.0.0.3/ext/lib/libyices.a
# libtool: install: strip --strip-debug /home/opam/.opam/4.14/.opam-switch/build/yices2.0.0.3/ext/lib/libyices.a
# libtool: install: chmod 644 /home/opam/.opam/4.14/.opam-switch/build/yices2.0.0.3/ext/lib/libyices.a
# libtool: install: ranlib /home/opam/.opam/4.14/.opam-switch/build/yices2.0.0.3/ext/lib/libyices.a
# make[2]: Leaving directory '/home/opam/.opam/4.14/.opam-switch/build/yices2.0.0.3/ext/yices'
# make[1]: Leaving directory '/home/opam/.opam/4.14/.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.14/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 | };
# | ^
# /home/opam/.opam/4.14/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 | };
# | ^
# /home/opam/.opam/4.14/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.14/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: error: 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: error: 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 *)}
# 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: error: 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 *)}
# 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: error: 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 *)}
# 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,
# | ~~~~~~~~~^~~~~~~~~~~~~~~~~~
# make: *** [Makefile:111: src/terms.o] Error 2
The former state can be restored with:
/usr/bin/opam switch import "/home/opam/.opam/4.14/.opam-switch/backup/state-20260227104724.export"
[WARNING] OPAMCONFIRMLEVEL was ignored because CLI 2.0 was requested and it was introduced in 2.1.
[WARNING] OPAMCONFIRMLEVEL was ignored because CLI 2.0 was requested and it was introduced in 2.1.
"/usr/bin/env" "bash" "-c" "opam reinstall yices2.0.0.3;
res=$?;
test "$res" != 31 && exit "$res";
export OPAMCLI=2.0;
build_dir=$(opam var prefix)/.opam-switch/build;
failed=$(ls "$build_dir");
partial_fails="";
for pkg in $failed; do
if opam show -f x-ci-accept-failures: "$pkg" | grep -qF "\"debian-13\""; then
echo "A package failed and has been disabled for CI using the 'x-ci-accept-failures' field.";
fi;
test "$pkg" != 'yices2.0.0.3' && partial_fails="$partial_fails $pkg";
done;
test "${partial_fails}" != "" && echo "opam-repo-ci detected dependencies failing: ${partial_fails}";
exit 1" failed with exit status 1
2026-02-27 10:48.52: Job failed: Failed: Build failed
2026-02-27 10:48.52: Log analysis:
2026-02-27 10:48.52: >>>
[ERROR] The compilation of yices2.0.0.3 failed at "make".
(score = 20)
2026-02-27 10:48.52: >>>
# src/terms.c:1162:21: error: passing argument 1 of '_oy_binary' from incompatible pointer type [-Wincompatible-pointer-types]
(score = 30)
2026-02-27 10:48.52: >>>
# src/terms.c:1166:21: error: passing argument 1 of '_oy_binary' from incompatible pointer type [-Wincompatible-pointer-types]
(score = 30)
2026-02-27 10:48.52: >>>
# src/terms.c:1170:21: error: passing argument 1 of '_oy_binary' from incompatible pointer type [-Wincompatible-pointer-types]
(score = 30)
2026-02-27 10:48.52: >>>
# src/terms.c:1255:21: error: passing argument 1 of '_oy_binary' from incompatible pointer type [-Wincompatible-pointer-types]
(score = 30)
2026-02-27 10:48.52: passing argument 1 of '_oy_binary' from incompatible pointer type [-Wincompatible-pointer-types]