Build:
  1. 0
2024-05-13 09:32.15: New job: Voodoo prep yices2.0.0.3; 69bdf95021537ef22b4d0c217ce56edb
2024-05-13 09:32.15: Waiting for resource in pool OCluster
2024-05-13 09:33.48: Waiting for worker…
2024-05-13 09:41.23: Got resource from pool OCluster
2024-05-13 09:41.23: Using cache hint "docs-universe-prep-5.1.1"

To reproduce locally:

cat > prep.spec <<'END-OF-SPEC'
((build tools
        ((from ocaml/opam:debian-12-ocaml-5.1@sha256:38f84308178aed1201d28fe57eb8682794c2b5f9d040709a2077f190c66b19ce)
         (user (uid 1000) (gid 1000))
         (workdir /home/opam)
         (run (shell "sudo chown opam:opam /home/opam"))
         (run (network host)
              (shell "sudo apt-get update && sudo apt-get install -yy m4 pkg-config"))
         (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune)))
              (network host)
              (shell "opam pin -ny https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9  && opam depext -iy voodoo-prep"))
         (run (shell "cp $(opam config var bin)/voodoo-prep /home/opam"))))
 (from ocaml/opam:debian-12-ocaml-5.1@sha256:38f84308178aed1201d28fe57eb8682794c2b5f9d040709a2077f190c66b19ce)
 (user (uid 1000) (gid 1000))
 (workdir /home/opam)
 (run (shell "sudo chown opam:opam /home/opam"))
 (run (shell "sudo mkdir /src"))
 (copy (src packages) (dst /src/packages))
 (copy (src repo) (dst /src/repo))
 (run (network host)
      (shell "sudo ln -f /usr/bin/opam-2.1 /usr/bin/opam && opam init --reinit -ni"))
 (run (shell "opam repo remove default && opam repo add opam /src"))
 (copy (from (build tools)) (src /home/opam/voodoo-prep) (dst /home/opam/))
 (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune)))
      (network host)
      (shell "opam install ocamlfind.1.9.6"))
 (env DUNE_CACHE disabled)
 (env DUNE_CACHE_TRANSPORT direct)
 (env DUNE_CACHE_DUPLICATION copy)
 (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune)))
      (network host)
      (shell "(sudo apt update) && ((opam depext -viy yices2.0.0.3 zarith.1.13 ocamlfind.1.9.6 conf-gmp.4 2>&1 | tee ~/opam.err.log) || echo 'Failed to install all packages')"))
 (run (shell "opam exec -- ~/voodoo-prep -u yices2:69bdf95021537ef22b4d0c217ce56edb,zarith:71a0a158091dd78eb88a4e82fcc38b08"))
 (run (network host)
      (secrets (ssh_privkey (target /home/opam/.ssh/id_rsa)) (ssh_pubkey (target /home/opam/.ssh/id_rsa.pub)) (ssh_config (target /home/opam/.ssh/config)))
      (shell "(echo '0.657852') && (for DATA in prep/universes/71a0a158091dd78eb88a4e82fcc38b08/zarith/1.13,zarith.1.13-71a0a158091dd78eb88a4e82fcc38b08,zarith.1.13 prep/universes/69bdf95021537ef22b4d0c217ce56edb/yices2/0.0.3,yices2.0.0.3-69bdf95021537ef22b4d0c217ce56edb,yices2.0.0.3; do IFS=\",\"; set -- $DATA; ([ -d $1 ] || (echo \"FAILED:$2\" && mkdir -p $1 && cp ~/opam.err.log $1 && opam show $3 --raw > $1/opam)) && (shopt -s nullglob && ((tar -cvf $1.tar $1/*  && rm -R $1/* && mv $1.tar $1/content.tar) || (echo 'Empty directory'))) done) && (for DATA in prep/universes/71a0a158091dd78eb88a4e82fcc38b08/zarith/1.13,zarith.1.13-71a0a158091dd78eb88a4e82fcc38b08,zarith.1.13 prep/universes/69bdf95021537ef22b4d0c217ce56edb/yices2/0.0.3,yices2.0.0.3-69bdf95021537ef22b4d0c217ce56edb,yices2.0.0.3; do IFS=\",\"; set -- $DATA; rsync -aR --no-p ./$1 docs.ci.ocaml.org:/data/.; done) && (for DATA in prep/universes/71a0a158091dd78eb88a4e82fcc38b08/zarith/1.13,zarith.1.13-71a0a158091dd78eb88a4e82fcc38b08,zarith.1.13 prep/universes/69bdf95021537ef22b4d0c217ce56edb/yices2/0.0.3,yices2.0.0.3-69bdf95021537ef22b4d0c217ce56edb,yices2.0.0.3; do IFS=\",\"; set -- $DATA; HASH=$((sha256sum $1/content.tar | cut -d \" \" -f 1)  || echo -n 'empty'); printf \"HASHES:$2:$HASH\\n\"; done)"))
)
END-OF-SPEC

ocluster-client submit-obuilder https://github.com/ocaml/opam-repository.git 6d2ded4d7c9c6b0941ba7c5568ab5b8a576f841d --local-file prep.spec \
--pool linux-x86_64 --connect ocluster-submission.cap --cache-hint docs-universe-prep-5.1.1 \
--secret ssh_privkey:id_rsa --secret ssh_pubkey:id_rsa.pub--secret ssh_config:ssh_config

2024-05-13 09:41.23: RETRYING: 2024-05-13/093215-voodoo-prep-795b17 Number of retries: 0 (retriable error condition)
Building on x86-bm-c5.sw.ocaml.org
All commits already cached
Updating files:  52% (17748/33645)
Updating files:  53% (17832/33645)
Updating files:  54% (18169/33645)
Updating files:  55% (18505/33645)
Updating files:  56% (18842/33645)
Updating files:  57% (19178/33645)
Updating files:  58% (19515/33645)
Updating files:  59% (19851/33645)
Updating files:  60% (20187/33645)
Updating files:  61% (20524/33645)
Updating files:  62% (20860/33645)
Updating files:  63% (21197/33645)
Updating files:  64% (21533/33645)
Updating files:  65% (21870/33645)
Updating files:  66% (22206/33645)
Updating files:  67% (22543/33645)
Updating files:  68% (22879/33645)
Updating files:  69% (23216/33645)
Updating files:  70% (23552/33645)
Updating files:  71% (23888/33645)
Updating files:  72% (24225/33645)
Updating files:  73% (24561/33645)
Updating files:  74% (24898/33645)
Updating files:  75% (25234/33645)
Updating files:  76% (25571/33645)
Updating files:  77% (25907/33645)
Updating files:  78% (26244/33645)
Updating files:  79% (26580/33645)
Updating files:  80% (26916/33645)
Updating files:  81% (27253/33645)
Updating files:  82% (27589/33645)
Updating files:  83% (27926/33645)
Updating files:  84% (28262/33645)
Updating files:  85% (28599/33645)
Updating files:  86% (28935/33645)
Updating files:  87% (29272/33645)
Updating files:  88% (29608/33645)
Updating files:  89% (29945/33645)
Updating files:  90% (30281/33645)
Updating files:  91% (30617/33645)
Updating files:  92% (30954/33645)
Updating files:  93% (31290/33645)
Updating files:  94% (31627/33645)
Updating files:  95% (31963/33645)
Updating files:  96% (32300/33645)
Updating files:  97% (32636/33645)
Updating files:  98% (32973/33645)
Updating files:  99% (33309/33645)
Updating files: 100% (33645/33645)
Updating files: 100% (33645/33645), done.
HEAD is now at 6d2ded4d7c yices2 is not compatible with OCaml 5.2 (ocamlc without any argument now returns an error)

(build "tools" …)

(from ocaml/opam:debian-12-ocaml-5.1@sha256:38f84308178aed1201d28fe57eb8682794c2b5f9d040709a2077f190c66b19ce)
2024-05-13 09:37.43 ---> using "77b9ba30cf71111f1c981ad9e321456c3dda39afc3d2128ca1b6e01fdcf27acc" from cache

/: (user (uid 1000) (gid 1000))

/: (workdir /home/opam)

/home/opam: (run (shell "sudo chown opam:opam /home/opam"))
2024-05-13 09:37.43 ---> using "e49c9d974fcf1767384b3fcd00f323c02bafd0eb0995c48170c71d41798da343" from cache

/home/opam: (run (network host)
                 (shell "sudo apt-get update && sudo apt-get install -yy m4 pkg-config"))
Hit:1 http://deb.debian.org/debian bookworm InRelease
Get:2 http://deb.debian.org/debian bookworm-updates InRelease [55.4 kB]
Get:3 http://deb.debian.org/debian-security bookworm-security InRelease [48.0 kB]
Get:4 http://deb.debian.org/debian bookworm-updates/main amd64 Packages.diff/Index [10.6 kB]
Get:5 http://deb.debian.org/debian bookworm-updates/main amd64 Packages T-2024-04-23-2036.10-F-2024-04-23-2036.10.pdiff [1595 B]
Get:5 http://deb.debian.org/debian bookworm-updates/main amd64 Packages T-2024-04-23-2036.10-F-2024-04-23-2036.10.pdiff [1595 B]
Get:6 http://deb.debian.org/debian-security bookworm-security/main amd64 Packages [156 kB]
Fetched 272 kB in 0s (1129 kB/s)
Reading package lists...
Reading package lists...
Building dependency tree...
Reading state information...
The following additional packages will be installed:
  libpkgconf3 pkgconf pkgconf-bin
Suggested packages:
  m4-doc
The following NEW packages will be installed:
  libpkgconf3 m4 pkg-config pkgconf pkgconf-bin
0 upgraded, 5 newly installed, 0 to remove and 8 not upgraded.
Need to get 392 kB of archives.
After this operation, 969 kB of additional disk space will be used.
Get:1 http://deb.debian.org/debian bookworm/main amd64 libpkgconf3 amd64 1.8.1-1 [36.1 kB]
Get:2 http://deb.debian.org/debian bookworm/main amd64 m4 amd64 1.4.19-3 [287 kB]
Get:3 http://deb.debian.org/debian bookworm/main amd64 pkgconf-bin amd64 1.8.1-1 [29.5 kB]
Get:4 http://deb.debian.org/debian bookworm/main amd64 pkgconf amd64 1.8.1-1 [25.9 kB]
Get:5 http://deb.debian.org/debian bookworm/main amd64 pkg-config amd64 1.8.1-1 [13.7 kB]
debconf: delaying package configuration, since apt-utils is not installed
Fetched 392 kB in 0s (17.7 MB/s)
Selecting previously unselected package libpkgconf3: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 ... 18766 files and directories currently installed.)
Preparing to unpack .../libpkgconf3_1.8.1-1_amd64.deb ...
Unpacking libpkgconf3:amd64 (1.8.1-1) ...
Selecting previously unselected package m4.
Preparing to unpack .../archives/m4_1.4.19-3_amd64.deb ...
Unpacking m4 (1.4.19-3) ...
Selecting previously unselected package pkgconf-bin.
Preparing to unpack .../pkgconf-bin_1.8.1-1_amd64.deb ...
Unpacking pkgconf-bin (1.8.1-1) ...
Selecting previously unselected package pkgconf:amd64.
Preparing to unpack .../pkgconf_1.8.1-1_amd64.deb ...
Unpacking pkgconf:amd64 (1.8.1-1) ...
Selecting previously unselected package pkg-config:amd64.
Preparing to unpack .../pkg-config_1.8.1-1_amd64.deb ...
Unpacking pkg-config:amd64 (1.8.1-1) ...
Setting up m4 (1.4.19-3) ...
Setting up libpkgconf3:amd64 (1.8.1-1) ...
Setting up pkgconf-bin (1.8.1-1) ...
Setting up pkgconf:amd64 (1.8.1-1) ...
Setting up pkg-config:amd64 (1.8.1-1) ...
Processing triggers for libc-bin (2.36-9+deb12u4) ...
2024-05-13 09:37.43 ---> using "dd9259998e752ff70621361fd1c5da38631dec23e74e9ebeb1ed76e1188932b5" from cache

/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune)))
                 (network host)
                 (shell "opam pin -ny https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9  && opam depext -iy voodoo-prep"))
[voodoo: git]
[voodoo: git]
[voodoo: git]
[voodoo: git]
[voodoo: git]
[voodoo: git]
[voodoo: git]
[voodoo: git]
[voodoo] synchronised from git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9
This will pin the following packages: voodoo-prep, voodoo-lib, voodoo-gen, voodoo-do. Continue? [Y/n] y
Package voodoo-prep does not exist, create as a NEW package? [Y/n] y
[voodoo-prep.~dev: git]
[voodoo-prep.~dev: git]
[voodoo-prep.~dev: git]
[voodoo-prep.~dev: git]
[voodoo-prep.~dev: git]
[voodoo-prep.~dev: git]
[voodoo-prep.~dev: git]
[voodoo-prep.~dev: git]
[voodoo-prep.~dev] synchronised from git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9
voodoo-prep is now pinned to git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 (version ~dev)
Package voodoo-lib does not exist, create as a NEW package? [Y/n] y
[voodoo-lib.~dev: git]
[voodoo-lib.~dev: git]
[voodoo-lib.~dev: git]
[voodoo-lib.~dev: git]
[voodoo-lib.~dev: git]
[voodoo-lib.~dev: git]
[voodoo-lib.~dev: git]
[voodoo-lib.~dev: git]
[voodoo-lib.~dev] synchronised from git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9
voodoo-lib is now pinned to git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 (version ~dev)
Package voodoo-gen does not exist, create as a NEW package? [Y/n] y
[voodoo-gen.~dev: git]
[voodoo-gen.~dev: git]
[voodoo-gen.~dev: git]
[voodoo-gen.~dev: git]
[voodoo-gen.~dev: git]
[voodoo-gen.~dev: git]
[voodoo-gen.~dev: git]
[voodoo-gen.~dev: git]
[voodoo-gen.~dev] synchronised from git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9
voodoo-gen is now pinned to git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 (version ~dev)
Package voodoo-do does not exist, create as a NEW package? [Y/n] y
[voodoo-do.~dev: git]
[voodoo-do.~dev: git]
[voodoo-do.~dev: git]
[voodoo-do.~dev: git]
[voodoo-do.~dev: git]
[voodoo-do.~dev: git]
[voodoo-do.~dev: git]
[voodoo-do.~dev: git]
[voodoo-do.~dev] synchronised from git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9
voodoo-do is now pinned to git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9 (version ~dev)
# Detecting depexts using vars: arch=x86_64, os=linux, os-distribution=debian, os-family=debian
# No extra OS packages requirements found.
# All required OS packages found.
# Now letting opam install the packages
[NOTE] It seems you have not updated your repositories for a while. Consider updating them with:
       opam update


<><> Synchronising pinned packages ><><><><><><><><><><><><><><><><><><><><><><>
[voodoo-prep.~dev] no changes from git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9

The following actions will be performed:
  - install ocamlbuild       0.14.3 [required by bos]
  - install dune             3.15.0 [required by voodoo-prep]
  - install cmdliner         1.2.0  [required by voodoo-prep]
  - install ocamlfind        1.9.6  [required by bos]
  - install seq              base   [required by re]
  - install stdlib-shims     0.3.0  [required by ocamlgraph]
  - install opam-file-format 2.1.6  [required by opam-format]
  - install cppo             1.6.9  [required by opam-core]
  - install topkg            1.0.7  [required by bos]
  - install re               1.11.0 [required by opam-format]
  - install ocamlgraph       2.1.0  [required by opam-core]
  - install rresult          0.7.0  [required by bos]
  - install fmt              0.9.0  [required by bos]
  - install astring          0.8.5  [required by bos]
  - install opam-core        2.1.5  [required by opam-format]
  - install logs             0.7.0  [required by bos]
  - install fpath            0.7.3  [required by voodoo-prep]
  - install opam-format      2.1.5  [required by voodoo-prep]
  - install bos              0.2.1  [required by voodoo-prep]
  - install voodoo-prep      ~dev*
===== 20 to install =====

<><> Gathering sources ><><><><><><><><><><><><><><><><><><><><><><><><><><><><>
[astring.0.8.5] found in cache
[bos.0.2.1] found in cache
[cmdliner.1.2.0] found in cache
[cppo.1.6.9] found in cache
[dune.3.15.0] found in cache
[fmt.0.9.0] found in cache
[fpath.0.7.3] found in cache
[logs.0.7.0] found in cache
[ocamlbuild.0.14.3] found in cache
[ocamlfind.1.9.6] found in cache
[ocamlgraph.2.1.0] found in cache
[opam-core.2.1.5] found in cache
[opam-file-format.2.1.6] found in cache
[opam-format.2.1.5] found in cache
[re.1.11.0] found in cache
[rresult.0.7.0] found in cache
[stdlib-shims.0.3.0] found in cache
[topkg.1.0.7] found in cache
[voodoo-prep.~dev] synchronised from git+https://github.com/ocaml-doc/voodoo.git#67ccabec49b5f4d24147839291fcae7c19d3e8c9

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed seq.base
-> installed cmdliner.1.2.0
-> installed ocamlfind.1.9.6
-> installed ocamlbuild.0.14.3
-> installed topkg.1.0.7
-> installed rresult.0.7.0
-> installed fmt.0.9.0
-> installed astring.0.8.5
-> installed fpath.0.7.3
-> installed logs.0.7.0
-> installed bos.0.2.1
-> installed dune.3.15.0
-> installed stdlib-shims.0.3.0
-> installed opam-file-format.2.1.6
-> installed re.1.11.0
-> installed cppo.1.6.9
-> installed ocamlgraph.2.1.0
-> installed opam-core.2.1.5
-> installed opam-format.2.1.5
-> installed voodoo-prep.~dev
Done.
# Run eval $(opam env) to update the current shell environment
2024-05-13 09:37.43 ---> using "8f3e94f83a1dff1f59f92d72e41a108958796439739739e3f2ebf503f306fe9b" from cache

/home/opam: (run (shell "cp $(opam config var bin)/voodoo-prep /home/opam"))
2024-05-13 09:37.43 ---> using "68811f126c281ddbdf0c4c1b143d37e858d9ede5be098ca915e2185f5f13caac" from cache
2024-05-13 09:37.43 --> finished "tools"

(from ocaml/opam:debian-12-ocaml-5.1@sha256:38f84308178aed1201d28fe57eb8682794c2b5f9d040709a2077f190c66b19ce)
2024-05-13 09:37.43 ---> using "77b9ba30cf71111f1c981ad9e321456c3dda39afc3d2128ca1b6e01fdcf27acc" from cache

/: (user (uid 1000) (gid 1000))

/: (workdir /home/opam)

/home/opam: (run (shell "sudo chown opam:opam /home/opam"))
2024-05-13 09:37.43 ---> using "e49c9d974fcf1767384b3fcd00f323c02bafd0eb0995c48170c71d41798da343" from cache

/home/opam: (run (shell "sudo mkdir /src"))
2024-05-13 09:37.43 ---> using "624611f8af385302763c1fc643f1c0f7d163ca82d0c2d8c2e762ffae04b82d8f" from cache

/home/opam: (copy (src packages) (dst /src/packages))
2024-05-13 09:38.09 ---> saved as "4339e0501c47c7f17f5a0635b6e1863a06c86fed9c6101dbdf5b08fe9fe9291d"

/home/opam: (copy (src repo) (dst /src/repo))
2024-05-13 09:38.09 ---> saved as "5fe7ff7bab45c948ba8415b27ff991cbca065d74e4511837870a3d8fa952fcd9"

/home/opam: (run (network host)
                 (shell "sudo ln -f /usr/bin/opam-2.1 /usr/bin/opam && opam init --reinit -ni"))
Configuring from /home/opam/.opamrc and then from built-in defaults.
Checking for available remotes: This version of opam requires an update to the layout of /home/opam/.opam from version 2.0 to version 2.1, which can't be reverted.
You may want to back it up before going further.

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.

Continue? [Y/n] y
Format upgrade done.

<><> Updating repositories ><><><><><><><><><><><><><><><><><><><><><><><><><><>
[default] synchronised from file:///home/opam/opam-repository
2024-05-13 09:39.27 ---> saved as "f188708bdaf552c9903789ab32dc3940ddf4a89e047ee26371e1540df4a718a1"

/home/opam: (run (shell "opam repo remove default && opam repo add opam /src"))
Repositories removed from the selections of switch 5.1. Use '--all' to forget about them altogether.
[opam] Initialised
[NOTE] Repository opam has been added to the selections of switch 5.1 only.
       Run `opam repository add opam --all-switches|--set-default' to use it in all existing switches, or in newly created switches, respectively.

2024-05-13 09:39.54 ---> saved as "dd59f3cbc3ff82411714152f672e840f7633a3d73bf74b0eb0a3d5e554125891"

/home/opam: (copy (from (build tools))
                  (src /home/opam/voodoo-prep)
                  (dst /home/opam/))
2024-05-13 09:39.55 ---> saved as "bcb17a256b4e77ab249eca33475c1bb874765886364a1bb056a7ffdf329d3c88"

/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune)))
                 (network host)
                 (shell "opam install ocamlfind.1.9.6"))
The following actions will be performed:
  - install ocamlfind 1.9.6

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved ocamlfind.1.9.6  (cached)
-> installed ocamlfind.1.9.6
Done.
# Run eval $(opam env) to update the current shell environment
2024-05-13 09:40.25 ---> saved as "1166eb9b19ad3ce36af5a1efc34a95211641646c2ebafd50be7b2d9954226a8b"

/home/opam: (env DUNE_CACHE disabled)

/home/opam: (env DUNE_CACHE_TRANSPORT direct)

/home/opam: (env DUNE_CACHE_DUPLICATION copy)

/home/opam: (run (cache (opam-archives (target /home/opam/.opam/download-cache)) (opam-dune-cache (target /home/opam/.cache/dune)))
                 (network host)
                 (shell "(sudo apt update) && ((opam depext -viy yices2.0.0.3 zarith.1.13 ocamlfind.1.9.6 conf-gmp.4 2>&1 | tee ~/opam.err.log) || echo 'Failed to install all packages')"))

WARNING: apt does not have a stable CLI interface. Use with caution in scripts.

Hit:1 http://deb.debian.org/debian bookworm InRelease
Get:2 http://deb.debian.org/debian bookworm-updates InRelease [55.4 kB]
Get:3 http://deb.debian.org/debian-security bookworm-security InRelease [48.0 kB]
Get:4 http://deb.debian.org/debian bookworm-updates/main amd64 Packages.diff/Index [10.6 kB]
Get:5 http://deb.debian.org/debian bookworm-updates/main amd64 Packages T-2024-04-23-2036.10-F-2024-04-23-2036.10.pdiff [1595 B]
Get:5 http://deb.debian.org/debian bookworm-updates/main amd64 Packages T-2024-04-23-2036.10-F-2024-04-23-2036.10.pdiff [1595 B]
Get:6 http://deb.debian.org/debian-security bookworm-security/main amd64 Packages [156 kB]
Fetched 272 kB in 0s (638 kB/s)
Reading package lists...
Building dependency tree...
Reading state information...
8 packages can be upgraded. Run 'apt list --upgradable' to see them.
Opam plugin "depext" may require upgrading/reinstalling. Reinstall the plugin on the current switch? [Y/n] y
The following actions will be performed:
  - recompile opam-depext 1.2.1-1

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved opam-depext.1.2.1-1  (cached)
-> removed   opam-depext.1.2.1-1
-> installed opam-depext.1.2.1-1
Done.

<><> opam-depext.1.2.1-1 installed successfully <><><><><><><><><><><><><><><><>
=> opam-depext is unnecessary when used with opam >= 2.1. Please use opam install directly instead
# Run eval $(opam env) to update the current shell environment

<><> Carrying on to "opam depext -viy yices2.0.0.3 zarith.1.13 ocamlfind.1.9.6 conf-gmp.4" 

You are using opam 2.1+, where external dependency handling has been integrated: consider calling opam directly, the 'depext' plugin interface is provided for backwards compatibility only
# Detecting depexts using vars: arch=x86_64, os=linux, os-distribution=debian, os-family=debian
# The following system packages are needed:
libgmp-dev
[NOTE] Package ocamlfind is already installed (current version is 1.9.6).
The following actions will be performed:
  - install conf-gmp 4
  - install zarith   1.13
  - install yices2   0.0.3
===== 3 to install =====

The following system packages will first need to be installed:
    libgmp-dev

<><> Handling external dependencies <><><><><><><><><><><><><><><><><><><><><><>
Let opam run your package manager to install the required system packages?
(answer 'n' for other options) [Y/n] y
+ /usr/bin/sudo "apt-get" "install" "-qq" "-yy" "libgmp-dev"
- debconf: delaying package configuration, since apt-utils is not installed
- 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 ... 18766 files and directories currently installed.)
- Preparing to unpack .../libgmpxx4ldbl_2%3a6.2.1+dfsg1-1.1_amd64.deb ...
- Unpacking libgmpxx4ldbl:amd64 (2:6.2.1+dfsg1-1.1) ...
- Selecting previously unselected package libgmp-dev:amd64.
- Preparing to unpack .../libgmp-dev_2%3a6.2.1+dfsg1-1.1_amd64.deb ...
- Unpacking libgmp-dev:amd64 (2:6.2.1+dfsg1-1.1) ...
- Setting up libgmpxx4ldbl:amd64 (2:6.2.1+dfsg1-1.1) ...
- Setting up libgmp-dev:amd64 (2:6.2.1+dfsg1-1.1) ...
- Processing triggers for libc-bin (2.36-9+deb12u4) ...

<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing  2/9:
Processing  3/9:
Processing  4/9: [conf-gmp: sh]
-> retrieved yices2.0.0.3  (cached)
-> retrieved zarith.1.13  (cached)
+ /usr/bin/sh "-exc" "cc -c $CFLAGS -I/usr/local/include test.c" (CWD=/home/opam/.opam/5.1/.opam-switch/build/conf-gmp.4)
- + cc -c -I/usr/local/include test.c
-> compiled  conf-gmp.4
-> installed conf-gmp.4
Processing  6/9: [zarith: ./configure]
+ /home/opam/.opam/5.1/.opam-switch/build/zarith.1.13/./configure  (CWD=/home/opam/.opam/5.1/.opam-switch/build/zarith.1.13)
- binary ocaml: found in /home/opam/.opam/5.1/bin
- binary ocamlc: found in /home/opam/.opam/5.1/bin
- binary ocamldep: found in /home/opam/.opam/5.1/bin
- binary ocamlmklib: found in /home/opam/.opam/5.1/bin
- binary ocamldoc: found in /home/opam/.opam/5.1/bin
- binary ocamlopt: found in /home/opam/.opam/5.1/bin
- checking compilation with ocamlc -O3 -Wall -Wextra : working
- include caml/mlvalues.h: found
- library dynlink.cmxa: found
- binary ocamlfind: found in /home/opam/.opam/5.1/bin
- OCaml's word size is 64
- include gmp.h: found
- library gmp: found
- OCaml supports -bin-annot to produce documentation
- 
- detected configuration:
- 
-   native-code:          yes
-   dynamic linking:      yes
-   defines:              -DHAS_GMP 
-   includes:             -I/home/opam/.opam/5.1/lib/ocaml 
-   libraries:             -lgmp
-   linker options:       
-   C options:            -O3 -Wall -Wextra 
-   installation path:    /home/opam/.opam/5.1/lib
-   installation method   findlib
- 
- configuration successful!
- now type "make" to build
- then type "make install" or "sudo make install" to install
Processing  6/9: [zarith: make]
+ /usr/bin/make  (CWD=/home/opam/.opam/5.1/.opam-switch/build/zarith.1.13)
- (echo "let"; grep "version" META | head -1) > zarith_version.ml
- ocamldep  zarith_version.ml z.ml q.ml big_int_Z.ml z.mli q.mli big_int_Z.mli > depend
- ocamlc -g -I +compiler-libs -bin-annot  -c zarith_version.ml
- ocamlc -g -I +compiler-libs -bin-annot  -c z.mli
- ocamlc -g -I +compiler-libs -bin-annot  -c z.ml
- ocamlc -g -I +compiler-libs -bin-annot  -c q.mli
- ocamlc -g -I +compiler-libs -bin-annot  -c q.ml
- ocamlc -g -I +compiler-libs -bin-annot  -c big_int_Z.mli
- ocamlc -g -I +compiler-libs -bin-annot  -c big_int_Z.ml
- ocamlmklib -g -failsafe -o zarith zarith_version.cmo z.cmo q.cmo big_int_Z.cmo -lgmp 
- ocamlc -ccopt "-I/home/opam/.opam/5.1/lib/ocaml  -DHAS_GMP  -O3 -Wall -Wextra " -c caml_z.c
- ocamlmklib -g -failsafe -o zarith caml_z.o -lgmp 
- ocamlc -g -I +compiler-libs -bin-annot  -c zarith_top.ml
- ocamlc -g -o zarith_top.cma -a zarith_top.cmo
- ocamlopt -g -I +compiler-libs  -c zarith_version.ml
- ocamlopt -g -I +compiler-libs  -c z.ml
- ocamlopt -g -I +compiler-libs  -c q.ml
- ocamlopt -g -I +compiler-libs  -c big_int_Z.ml
- ocamlmklib -g -failsafe -o zarith zarith_version.cmx z.cmx q.cmx big_int_Z.cmx -lgmp 
- ocamlopt -shared -o zarith.cmxs -I . zarith.cmxa -linkall
-> compiled  zarith.1.13
Processing  7/9: [zarith: make install]
+ /usr/bin/make "install" (CWD=/home/opam/.opam/5.1/.opam-switch/build/zarith.1.13)
- ocamlfind install -destdir "/home/opam/.opam/5.1/lib" zarith META zarith.cma libzarith.a z.cmi q.cmi big_int_Z.cmi zarith_top.cma z.mli zarith.cmxa zarith_version.cmx z.cmx q.cmx big_int_Z.cmx zarith.cmxs zarith.h q.mli big_int_Z.mli zarith.a z.cmti q.cmti big_int_Z.cmti -optional dllzarith.so
- Installed /home/opam/.opam/5.1/lib/zarith/big_int_Z.cmti
- Installed /home/opam/.opam/5.1/lib/zarith/q.cmti
- Installed /home/opam/.opam/5.1/lib/zarith/z.cmti
- Installed /home/opam/.opam/5.1/lib/zarith/zarith.a
- Installed /home/opam/.opam/5.1/lib/zarith/big_int_Z.mli
- Installed /home/opam/.opam/5.1/lib/zarith/q.mli
- Installed /home/opam/.opam/5.1/lib/zarith/zarith.h
- Installed /home/opam/.opam/5.1/lib/zarith/zarith.cmxs
- Installed /home/opam/.opam/5.1/lib/zarith/big_int_Z.cmx
- Installed /home/opam/.opam/5.1/lib/zarith/q.cmx
- Installed /home/opam/.opam/5.1/lib/zarith/z.cmx
- Installed /home/opam/.opam/5.1/lib/zarith/zarith_version.cmx
- Installed /home/opam/.opam/5.1/lib/zarith/zarith.cmxa
- Installed /home/opam/.opam/5.1/lib/zarith/z.mli
- Installed /home/opam/.opam/5.1/lib/zarith/zarith_top.cma
- Installed /home/opam/.opam/5.1/lib/zarith/big_int_Z.cmi
- Installed /home/opam/.opam/5.1/lib/zarith/q.cmi
- Installed /home/opam/.opam/5.1/lib/zarith/z.cmi
- Installed /home/opam/.opam/5.1/lib/zarith/libzarith.a
- Installed /home/opam/.opam/5.1/lib/zarith/zarith.cma
- Installed /home/opam/.opam/5.1/lib/stublibs/dllzarith.so
- Installed /home/opam/.opam/5.1/lib/stublibs/dllzarith.so.owner
- ocamlfind: [WARNING] You have installed DLLs but the directory /home/opam/.opam/5.1/lib/stublibs is not mentioned in ld.conf
- Installed /home/opam/.opam/5.1/lib/zarith/META
-> installed zarith.1.13
Processing  8/9: [yices2: ./configure]
+ /home/opam/.opam/5.1/.opam-switch/build/yices2.0.0.3/./configure "--prefix=/home/opam/.opam/5.1" (CWD=/home/opam/.opam/5.1/.opam-switch/build/yices2.0.0.3)
- checking build system type... x86_64-unknown-linux-gnu
- checking host system type... x86_64-unknown-linux-gnu
- checking for gcc... gcc
- checking whether the C compiler works... yes
- checking for C compiler default output file name... a.out
- checking for suffix of executables... 
- checking whether we are cross compiling... no
- checking for suffix of object files... o
- checking whether we are using the GNU C compiler... yes
- checking whether gcc accepts -g... yes
- checking for gcc option to accept ISO C89... none needed
- checking how to run the C preprocessor... gcc -E
- checking for grep that handles long lines and -e... /usr/bin/grep
- checking for egrep... /usr/bin/grep -E
- checking for ANSI C header files... yes
- checking for sys/types.h... yes
- checking for sys/stat.h... yes
- checking for stdlib.h... yes
- checking for string.h... yes
- checking for memory.h... yes
- checking for strings.h... yes
- checking for inttypes.h... yes
- checking for stdint.h... yes
- checking for unistd.h... yes
- checking gmp.h usability... yes
- checking gmp.h presence... yes
- checking for gmp.h... yes
- checking for fopencookie... yes
- checking for funopen... 
- no
- checking for ocamlfind... ocamlfind
- checking for ocamlfind ocamlc... yes
- checking for ocamlfind ocamlopt... yes
- checking for ocamlfind ocamldoc... yes
- checking OCaml version... 5.1.1
- checking for OCaml library zarith... yes
- checking for OCaml library ounit... no
- checking for OCaml binary annotations (.cmt, .cmti)... yes
- configure: trying to use static libgmp.a (to disable, use --with-shared-gmp)
- checking for gmp.h... (cached) yes
- configure: using gmp.h found in system include directories
- configure: Trying to find a usable libgmp.a
- configure: Searching in  /usr/local/lib/x86_64-linux-gnu /lib/x86_64-linux-gnu /usr/lib/x86_64-linux-gnu /usr/lib/x86_64-linux-gnu64 /usr/local/lib64 /lib64 /usr/lib64 /usr/local/lib /lib /usr/lib /usr/x86_64-linux-gnu/lib64 /usr/x86_64-linux-gnu/lib /usr/local/lib /usr/lib /lib
- checking for libgmp.a in /usr/local/lib/x86_64-linux-gnu... no
- checking for libgmp.a in /lib/x86_64-linux-gnu... found
- checking whether /lib/x86_64-linux-gnu/libgmp.a is usable... yes
- configure: creating ./config.status
- config.status: creating Makefile.config
- config.status: creating META
- config.status: creating opam
- config.status: creating src/config.h
- configure: summary:
-   Host:                             x86_64-unknown-linux-gnu
-   Static gmp library:               /lib/x86_64-linux-gnu/libgmp.a
-   Use shared gmp instead of static: no
Processing  8/9: [yices2: make]
+ /usr/bin/make  (CWD=/home/opam/.opam/5.1/.opam-switch/build/yices2.0.0.3)
- ocamlfind ocamldep -I src -I tests -package zarith src/yices2.mli examples/test.ml src/yices2.ml tests/bitsize.ml tests/checkoverflow.ml tests/error_correclty_reset.ml tests/forall.ml tests/pp.ml tests/test.ml tests/type_consistency.ml tests/z_nocrash.ml > .depend
- /usr/bin/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/5.1/.opam-switch/build/yices2.0.0.3/ext'
- cd yices && ./configure --prefix=/home/opam/.opam/5.1/.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/5.1/.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/5.1/.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
- 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
- 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/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/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/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
- 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/yval.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/api/yval.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/context/ite_flattener.c -o build/obj/src/context/ite_flattener.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/context/pseudo_subst.c -o build/obj/src/context/pseudo_subst.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile:  gcc -Isrc -Isrc/include -c src/api/yices_error.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/api/yices_error.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/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_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/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
- 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_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
- 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/exists_forall/ef_client.c -o build/obj/src/exists_forall/ef_client.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/exists_forall/ef_analyze.c -o build/obj/src/exists_forall/ef_analyze.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/exists_forall/ef_parameters.c -o build/obj/src/exists_forall/ef_parameters.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile:  gcc -Isrc -Isrc/include -c src/context/common_conjuncts.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/context/common_conjuncts.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/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
- 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
- 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/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/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/frontend/smt2/attribute_values.c -o build/obj/src/frontend/smt2/attribute_values.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/frontend/yices/yices_lexer.c -o build/obj/src/frontend/yices/yices_lexer.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- 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/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
- 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/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/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
- 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/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/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
- 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/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_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/term_printer.c -o build/obj/src/io/term_printer.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile:  gcc -Isrc -Isrc/include -c src/exists_forall/ef_problem.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/exists_forall/ef_problem.o
- libtool: compile:  gcc -Isrc -Isrc/include -c src/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/context/symmetry_breaking.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/context/symmetry_breaking.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/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/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/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
- 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/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/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/frontend/smt2/attribute_values.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/frontend/smt2/attribute_values.o
- libtool: compile:  gcc -Isrc -Isrc/include -c src/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
- libtool: compile:  gcc -Isrc -Isrc/include -c src/io/concrete_value_printer.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/io/concrete_value_printer.o
- libtool: compile:  gcc -Isrc -Isrc/include -c src/io/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
- 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/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
- 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/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/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/io/yices_pp.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/io/yices_pp.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/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/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/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/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/fresh_value_maker.c -o build/obj/src/model/fresh_value_maker.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/model/fun_maps.c -o build/obj/src/model/fun_maps.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- 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/concrete_values.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/model/concrete_values.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/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/arith_projection.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/model/arith_projection.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/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/fresh_value_maker.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/model/fresh_value_maker.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/model/presburger.c -o build/obj/src/model/presburger.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile:  gcc -Isrc -Isrc/include -c src/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
- 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/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/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/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/literal_collector.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/model/literal_collector.o
- libtool: compile:  gcc -Isrc -Isrc/include -c src/model/model_eval.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/model/model_eval.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/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
- 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
- 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/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
- 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/parser_utils/lexer.c -o build/obj/src/parser_utils/lexer.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/parser_utils/parser.c -o build/obj/src/parser_utils/parser.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile:  gcc -Isrc -Isrc/include -c src/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/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/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/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/bit_blaster.c -o build/obj/src/solvers/bv/bit_blaster.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/solvers/bv/bv64_intervals.c -o build/obj/src/solvers/bv/bv64_intervals.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/solvers/bv/bv_atomtable.c -o build/obj/src/solvers/bv/bv_atomtable.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/solvers/bv/bvconst_hmap.c -o build/obj/src/solvers/bv/bvconst_hmap.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/solvers/bv/bvexp_table.c -o build/obj/src/solvers/bv/bvexp_table.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- 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
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/solvers/bv/bv_intervals.c -o build/obj/src/solvers/bv/bv_intervals.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile:  gcc -Isrc -Isrc/include -c src/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/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/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/bvpoly_dag.c -o build/obj/src/solvers/bv/bvpoly_dag.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/solvers/bv/bvsolver.c -o build/obj/src/solvers/bv/bvsolver.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile:  gcc -Isrc -Isrc/include -c src/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/bvconst_hmap.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/solvers/bv/bvconst_hmap.o
- libtool: compile:  gcc -Isrc -Isrc/include -c src/solvers/bv/bv_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
- libtool: compile:  gcc -Isrc -Isrc/include -c src/solvers/bv/bit_blaster.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/solvers/bv/bit_blaster.o
- libtool: compile:  gcc -Isrc -Isrc/include -c src/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/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/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/solvers/bv/bvpoly_compiler.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/solvers/bv/bvpoly_compiler.o
- libtool: compile:  gcc -Isrc -Isrc/include -c src/solvers/bv/bvpoly_dag.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/solvers/bv/bvpoly_dag.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/solvers/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
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/solvers/bv/remap_table.c -o build/obj/src/solvers/bv/remap_table.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile:  gcc -Isrc -Isrc/include -c src/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
- 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/bv_vartable.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/solvers/bv/bv_vartable.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/solvers/cdcl/smt_core.c -o build/obj/src/solvers/cdcl/smt_core.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile:  gcc -Isrc -Isrc/include -c src/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
- 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/remap_table.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/solvers/bv/remap_table.o
- libtool: compile:  gcc -Isrc -Isrc/include -c src/solvers/cdcl/gates_hash_table.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/solvers/cdcl/gates_hash_table.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/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
- 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/cdcl/smt_core.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/solvers/cdcl/smt_core.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/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
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/solvers/egraph/egraph_utils.c -o build/obj/src/solvers/egraph/egraph_utils.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile:  gcc -Isrc -Isrc/include -c src/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
- libtool: compile:  gcc -Isrc -Isrc/include -c src/solvers/egraph/composites.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/solvers/egraph/composites.o
- libtool: compile:  gcc -Isrc -Isrc/include -c src/solvers/egraph/egraph_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
- 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/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
- 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/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
- 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/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
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/solvers/simplex/arith_atomtable.c -o build/obj/src/solvers/simplex/arith_atomtable.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/solvers/simplex/arith_vartable.c -o build/obj/src/solvers/simplex/arith_vartable.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile:  gcc -Isrc -Isrc/include -c src/solvers/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
- 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
- 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/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
- libtool: compile:  gcc -Isrc -Isrc/include -c src/solvers/floyd_warshall/rdl_floyd_warshall.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/solvers/floyd_warshall/rdl_floyd_warshall.o
- libtool: compile:  gcc -Isrc -Isrc/include -c src/solvers/funs/fun_solver.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/solvers/funs/fun_solver.o
- 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
- 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
- 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/matrices.c -o build/obj/src/solvers/simplex/matrices.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile:  gcc -Isrc -Isrc/include -c src/solvers/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/integrality_constraints.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/solvers/simplex/integrality_constraints.o
- libtool: compile:  gcc -Isrc -Isrc/include -c src/solvers/simplex/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
- 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
- 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
- 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
- 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
- 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
- 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/terms/balanced_arith_buffers.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/terms/balanced_arith_buffers.o
- libtool: compile:  gcc -Isrc -Isrc/include -c src/terms/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/bv64_polynomials.c -o build/obj/src/terms/bv64_polynomials.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/terms/bvarith64_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
- 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/bv64_interval_abstraction.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/terms/bv64_interval_abstraction.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/terms/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/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/bv64_polynomials.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/terms/bv64_polynomials.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/terms/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/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/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
- 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
- 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
- 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/bvpoly_buffers.c -o build/obj/src/terms/bvpoly_buffers.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/terms/bv_polynomials.c -o build/obj/src/terms/bv_polynomials.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- 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/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/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/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/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/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
- 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/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
- 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
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/terms/free_var_collector.c -o build/obj/src/terms/free_var_collector.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/terms/full_subst.c -o build/obj/src/terms/full_subst.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile:  gcc -Isrc -Isrc/include -c src/terms/elim_subst.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/terms/elim_subst.o
- libtool: compile:  gcc -Isrc -Isrc/include -c src/terms/extended_rationals.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/terms/extended_rationals.o
- libtool: compile:  gcc -Isrc -Isrc/include -c src/terms/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
- 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
- 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/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
- 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
- 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/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/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/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
- 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/poly_buffer_terms.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/terms/poly_buffer_terms.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/terms/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
- 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
- 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
- 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
- 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
- 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/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
- libtool: compile:  gcc -Isrc -Isrc/include -c src/terms/rational_hash_maps.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/terms/rational_hash_maps.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/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/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
- 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
- libtool: compile:  gcc -Isrc -Isrc/include -c src/terms/rba_buffer_terms.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/terms/rba_buffer_terms.o
- libtool: compile:  gcc -Isrc -Isrc/include -c src/terms/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/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/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_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
- 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
- libtool: compile:  gcc -Isrc -Isrc/include -c src/terms/subst_context.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/terms/subst_context.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/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
- 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/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
- 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/term_sets.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/terms/term_sets.o
- libtool: compile:  gcc -Isrc -Isrc/include -c src/terms/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/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
- 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_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
- 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
- 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
- libtool: compile:  gcc -Isrc -Isrc/include -c src/terms/variable_renaming.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/terms/variable_renaming.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/utils/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/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/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
- 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
- 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/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/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
- 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/generic_heap.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/utils/generic_heap.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/utils/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
- libtool: compile:  gcc -Isrc -Isrc/include -c src/utils/cache.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/utils/cache.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/utils/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
- 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_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
- 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_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_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_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
- 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
- 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
- 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_heap2.c -o build/obj/src/utils/int_heap2.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/utils/int_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
- libtool: compile:  gcc -Isrc -Isrc/include -c src/utils/int_hash_map.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/utils/int_hash_map.o
- libtool: compile:  gcc -Isrc -Isrc/include -c src/utils/int_hash_sets.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/utils/int_hash_sets.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/utils/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
- 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
- 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
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/utils/int_vectors.c -o build/obj/src/utils/int_vectors.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/utils/mark_vectors.c -o build/obj/src/utils/mark_vectors.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile:  gcc -Isrc -Isrc/include -c src/utils/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
- libtool: compile:  gcc -Isrc -Isrc/include -c src/utils/int_heap.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/utils/int_heap.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/utils/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_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_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
- 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
- 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
- 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
- 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/mark_vectors.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/utils/mark_vectors.o
- libtool: compile:  gcc -Isrc -Isrc/include -c src/utils/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_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/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_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
- 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_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
- 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
- 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
- libtool: compile:  gcc -Isrc -Isrc/include -c src/utils/object_stores.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/utils/object_stores.o
- libtool: compile:  gcc -Isrc -Isrc/include -c src/utils/ptr_array_sort2.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/utils/ptr_array_sort2.o
- 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
- libtool: compile:  gcc -Isrc -Isrc/include -c src/utils/ptr_hash_classes.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/utils/ptr_hash_classes.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/utils/ptr_stack.c -o build/obj/src/utils/ptr_stack.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/utils/ptr_vectors.c -o build/obj/src/utils/ptr_vectors.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/utils/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/pointer_vectors.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/utils/pointer_vectors.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/utils/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
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/utils/simple_cache.c -o build/obj/src/utils/simple_cache.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/utils/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/ptr_hash_map.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/utils/ptr_hash_map.o
- libtool: compile:  gcc -Isrc -Isrc/include -c src/utils/ptr_heap.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/utils/ptr_heap.o
- libtool: compile:  gcc -Isrc -Isrc/include -c src/utils/ptr_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_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
- 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_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/string_buffers.c -o build/obj/src/utils/string_buffers.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile:  gcc -Isrc -Isrc/include -c src/utils/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/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/ptr_stack.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/utils/ptr_stack.o
- libtool: compile:  gcc -Isrc -Isrc/include -c src/utils/refcount_int_arrays.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/utils/refcount_int_arrays.o
- libtool: compile:  gcc -Isrc -Isrc/include -c src/utils/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
- 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/ptr_vectors.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/utils/ptr_vectors.o
- libtool: compile:  gcc -Isrc -Isrc/include -c src/utils/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
- 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/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/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
- 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/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/utils/symbol_tables.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/utils/symbol_tables.o
- libtool: compile:  gcc -Isrc -Isrc/include -c src/utils/tuple_hash_map.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/utils/tuple_hash_map.o
- libtool: compile:  gcc -Isrc -Isrc/include -c src/mcsat/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/mcsat/no_mcsat.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/mcsat/no_mcsat.o
- libtool: compile:  gcc -Isrc -Isrc/include -c src/utils/uint_rbtrees.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/utils/uint_rbtrees.o
- libtool: compile:  gcc -Isrc -Isrc/include -c src/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/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
- /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/5.1/.opam-switch/build/yices2.0.0.3/ext/yices'
- make install -C yices
- make[2]: Entering directory '/home/opam/.opam/5.1/.opam-switch/build/yices2.0.0.3/ext/yices'
- /usr/bin/mkdir -p /home/opam/.opam/5.1/.opam-switch/build/yices2.0.0.3/ext/include /home/opam/.opam/5.1/.opam-switch/build/yices2.0.0.3/ext/lib /home/opam/.opam/5.1/.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/5.1/.opam-switch/build/yices2.0.0.3/ext/include
- libtool: install: /usr/bin/install -c -m 644 src/include/yices.h /home/opam/.opam/5.1/.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/5.1/.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/5.1/.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/5.1/.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/5.1/.opam-switch/build/yices2.0.0.3/ext/bin) || true
- libtool: install: /usr/bin/install -c -s build/bin/yices_* /home/opam/.opam/5.1/.opam-switch/build/yices2.0.0.3/ext/bin/yices_*
- /usr/bin/install: cannot stat 'build/bin/yices_*': No such file or directory
- (/bin/sh ./libtool  --mode=install /usr/bin/install -c -s build/lib/libyices.* /home/opam/.opam/5.1/.opam-switch/build/yices2.0.0.3/ext/lib) || true
- libtool: install: /usr/bin/install -c build/lib/libyices.a /home/opam/.opam/5.1/.opam-switch/build/yices2.0.0.3/ext/lib/libyices.a
- libtool: install: strip --strip-debug /home/opam/.opam/5.1/.opam-switch/build/yices2.0.0.3/ext/lib/libyices.a
- libtool: install: chmod 644 /home/opam/.opam/5.1/.opam-switch/build/yices2.0.0.3/ext/lib/libyices.a
- libtool: install: ranlib /home/opam/.opam/5.1/.opam-switch/build/yices2.0.0.3/ext/lib/libyices.a
- make[2]: Leaving directory '/home/opam/.opam/5.1/.opam-switch/build/yices2.0.0.3/ext/yices'
- make[1]: Leaving directory '/home/opam/.opam/5.1/.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/5.1/lib/ocaml/caml/custom.h:37:37: note: 'fixed_length' declared here
-    37 |   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/5.1/lib/ocaml/caml/custom.h:37:37: note: 'fixed_length' declared here
-    37 |   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/5.1/lib/ocaml/caml/custom.h:37:37: note: 'fixed_length' declared here
-    37 |   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/5.1/lib/ocaml/caml/custom.h:37:37: note: 'fixed_length' declared here
-    37 |   const struct custom_fixed_length* fixed_length;
-       |                                     ^~~~~~~~~~~~
- mv models.o src/models.o
- ocamlfind ocamlc -package zarith -g -custom -c src/terms.c -ccopt '-std=c99 -O2 -Wall -Wextra -Wconversion -Iext/include -Isrc -DLINUX -U_FORTIFY_SOURCE'
- src/terms.c: In function 'ocamlyices_term_bitvector_and':
- src/terms.c:1162:21: warning: passing argument 1 of '_oy_binary' from incompatible pointer type [-Wincompatible-pointer-types]
-  1162 |   return _oy_binary(&yices_bvand, arg1, arg2);
-       |                     ^~~~~~~~~~~~
-       |                     |
-       |                     term_t (*)(uint32_t,  const term_t *) {aka int (*)(unsigned int,  const int *)}
- In file included from src/terms.c:21:
- src/terms_macros.h:36:41: note: expected 'term_t (*)(term_t,  term_t)' {aka 'int (*)(int,  int)'} but argument is of type 'term_t (*)(uint32_t,  const term_t *)' {aka 'int (*)(unsigned int,  const int *)'}
-    36 | static inline value _oy_binary(term_t (*f)(term_t, term_t), value v_arg1,
-       |                                ~~~~~~~~~^~~~~~~~~~~~~~~~~~
- src/terms.c: In function 'ocamlyices_term_bitvector_or':
- src/terms.c:1166:21: warning: passing argument 1 of '_oy_binary' from incompatible pointer type [-Wincompatible-pointer-types]
-  1166 |   return _oy_binary(&yices_bvor, arg1, arg2);
-       |                     ^~~~~~~~~~~
-       |                     |
-       |                     term_t (*)(uint32_t,  const term_t *) {aka int (*)(unsigned int,  const int *)}
- src/terms_macros.h:36:41: note: expected 'term_t (*)(term_t,  term_t)' {aka 'int (*)(int,  int)'} but argument is of type 'term_t (*)(uint32_t,  const term_t *)' {aka 'int (*)(unsigned int,  const int *)'}
-    36 | static inline value _oy_binary(term_t (*f)(term_t, term_t), value v_arg1,
-       |                                ~~~~~~~~~^~~~~~~~~~~~~~~~~~
- src/terms.c: In function 'ocamlyices_term_bitvector_xor':
- src/terms.c:1170:21: warning: passing argument 1 of '_oy_binary' from incompatible pointer type [-Wincompatible-pointer-types]
-  1170 |   return _oy_binary(&yices_bvxor, arg1, arg2);
-       |                     ^~~~~~~~~~~~
-       |                     |
-       |                     term_t (*)(uint32_t,  const term_t *) {aka int (*)(unsigned int,  const int *)}
- src/terms_macros.h:36:41: note: expected 'term_t (*)(term_t,  term_t)' {aka 'int (*)(int,  int)'} but argument is of type 'term_t (*)(uint32_t,  const term_t *)' {aka 'int (*)(unsigned int,  const int *)'}
-    36 | static inline value _oy_binary(term_t (*f)(term_t, term_t), value v_arg1,
-       |                                ~~~~~~~~~^~~~~~~~~~~~~~~~~~
- src/terms.c: In function 'ocamlyices_term_bitvector_concat':
- src/terms.c:1255:21: warning: passing argument 1 of '_oy_binary' from incompatible pointer type [-Wincompatible-pointer-types]
-  1255 |   return _oy_binary(&yices_bvconcat, arg1, arg2);
-       |                     ^~~~~~~~~~~~~~~
-       |                     |
-       |                     term_t (*)(uint32_t,  const term_t *) {aka int (*)(unsigned int,  const int *)}
- src/terms_macros.h:36:41: note: expected 'term_t (*)(term_t,  term_t)' {aka 'int (*)(int,  int)'} but argument is of type 'term_t (*)(uint32_t,  const term_t *)' {aka 'int (*)(unsigned int,  const int *)'}
-    36 | static inline value _oy_binary(term_t (*f)(term_t, term_t), value v_arg1,
-       |                                ~~~~~~~~~^~~~~~~~~~~~~~~~~~
- mv terms.o src/terms.o
- ocamlfind ocamlc -package zarith -g -custom -c src/types.c -ccopt '-std=c99 -O2 -Wall -Wextra -Wconversion -Iext/include -Isrc -DLINUX -U_FORTIFY_SOURCE'
- mv types.o src/types.o
- ocamlfind ocamlc -package zarith -g -custom -c src/misc.c -ccopt '-std=c99 -O2 -Wall -Wextra -Wconversion -Iext/include -Isrc -DLINUX -U_FORTIFY_SOURCE'
- src/misc.c: In function '_oy_check_error':
- src/misc.c:113:16: warning: initialization discards 'const' qualifier from pointer target type [-Wdiscarded-qualifiers]
-   113 |   value *exc = caml_named_value("ocamlyices2.exception");
-       |                ^~~~~~~~~~~~~~~~
- mv misc.o src/misc.o
- cp ext/lib/libyices.a src/libyices.a
- cp /lib/x86_64-linux-gnu/libgmp.a src/libgmp.a
- cd src && ocamlfind ocamlmklib -o yices2_stubs contexts.o models.o terms.o types.o misc.o   -custom -lyices -L. -ccopt -DNOYICES_DLL
- cd src && ocamlfind ocamlmklib -o yices2_stubs contexts.o models.o terms.o types.o misc.o   -custom -lyices -L. -ccopt -DNOYICES_DLL
- ocamlfind ocamlc -a \
- -cclib '-lyices2_stubs -lyices  ' \
- -custom src/yices2.cmo -o src/yices2.cma
- ocamlfind opt -package zarith -I src -c -o src/yices2.cmx src/yices2.ml
- ocamlfind ocamlopt -a \
- -cclib '-lyices2_stubs -lyices  ' \
- src/yices2.cmx -o src/yices2.cmxa
-> compiled  yices2.0.0.3
Processing  9/9: [yices2: make install]
+ /usr/bin/make "install" (CWD=/home/opam/.opam/5.1/.opam-switch/build/yices2.0.0.3)
- ocamlfind install yices2 META src/yices2.cma src/libyices2_stubs.a src/yices2.mli src/yices2.cmi src/yices2.annot src/yices2.cmt src/yices2.cmti ext/lib/libyices.a src/libgmp.a src/yices2.cmxa  src/yices2.a                 src/yices2.cmx
- Installed /home/opam/.opam/5.1/lib/yices2/yices2.cmx
- Installed /home/opam/.opam/5.1/lib/yices2/yices2.a
- Installed /home/opam/.opam/5.1/lib/yices2/yices2.cmxa
- Installed /home/opam/.opam/5.1/lib/yices2/libgmp.a
- Installed /home/opam/.opam/5.1/lib/yices2/libyices.a
- Installed /home/opam/.opam/5.1/lib/yices2/yices2.cmti
- Installed /home/opam/.opam/5.1/lib/yices2/yices2.cmt
- Installed /home/opam/.opam/5.1/lib/yices2/yices2.annot
- Installed /home/opam/.opam/5.1/lib/yices2/yices2.cmi
- Installed /home/opam/.opam/5.1/lib/yices2/yices2.mli
- Installed /home/opam/.opam/5.1/lib/yices2/libyices2_stubs.a
- Installed /home/opam/.opam/5.1/lib/yices2/yices2.cma
- Installed /home/opam/.opam/5.1/lib/yices2/META
-> installed yices2.0.0.3
Done.

<><> yices2.0.0.3 installed successfully ><><><><><><><><><><><><><><><><><><><>
=> OCamlYices2 is free (BSD-like) but Yices is not!
   **Yices is free [only] for non-commercial use**
   License terms: http://yices.csl.sri.com/yices-newnewlicense.html
# Run eval $(opam env) to update the current shell environment
2024-05-13 09:43.02 ---> saved as "f5cd8a3a0cf7ccc5ddc64ae599741eaedad05c090a606e554f5ae8d5523096f0"

/home/opam: (run (shell "opam exec -- ~/voodoo-prep -u yices2:69bdf95021537ef22b4d0c217ce56edb,zarith:71a0a158091dd78eb88a4e82fcc38b08"))
2024-05-13 09:43.05 ---> saved as "96082cdfd73bc9ee07d1af638ac1de8e9efe707d65177e0edaabbf5a826f59e7"

/home/opam: (run (network host)
                 (secrets (ssh_privkey (target /home/opam/.ssh/id_rsa)) (ssh_pubkey (target /home/opam/.ssh/id_rsa.pub)) (ssh_config (target /home/opam/.ssh/config)))
                 (shell "(echo '0.657852') && (for DATA in prep/universes/71a0a158091dd78eb88a4e82fcc38b08/zarith/1.13,zarith.1.13-71a0a158091dd78eb88a4e82fcc38b08,zarith.1.13 prep/universes/69bdf95021537ef22b4d0c217ce56edb/yices2/0.0.3,yices2.0.0.3-69bdf95021537ef22b4d0c217ce56edb,yices2.0.0.3; do IFS=\",\"; set -- $DATA; ([ -d $1 ] || (echo \"FAILED:$2\" && mkdir -p $1 && cp ~/opam.err.log $1 && opam show $3 --raw > $1/opam)) && (shopt -s nullglob && ((tar -cvf $1.tar $1/*  && rm -R $1/* && mv $1.tar $1/content.tar) || (echo 'Empty directory'))) done) && (for DATA in prep/universes/71a0a158091dd78eb88a4e82fcc38b08/zarith/1.13,zarith.1.13-71a0a158091dd78eb88a4e82fcc38b08,zarith.1.13 prep/universes/69bdf95021537ef22b4d0c217ce56edb/yices2/0.0.3,yices2.0.0.3-69bdf95021537ef22b4d0c217ce56edb,yices2.0.0.3; do IFS=\",\"; set -- $DATA; rsync -aR --no-p ./$1 docs.ci.ocaml.org:/data/.; done) && (for DATA in prep/universes/71a0a158091dd78eb88a4e82fcc38b08/zarith/1.13,zarith.1.13-71a0a158091dd78eb88a4e82fcc38b08,zarith.1.13 prep/universes/69bdf95021537ef22b4d0c217ce56edb/yices2/0.0.3,yices2.0.0.3-69bdf95021537ef22b4d0c217ce56edb,yices2.0.0.3; do IFS=\",\"; set -- $DATA; HASH=$((sha256sum $1/content.tar | cut -d \" \" -f 1)  || echo -n 'empty'); printf \"HASHES:$2:$HASH\\n\"; done)"))
0.657852
prep/universes/71a0a158091dd78eb88a4e82fcc38b08/zarith/1.13/lib/
prep/universes/71a0a158091dd78eb88a4e82fcc38b08/zarith/1.13/lib/zarith/
prep/universes/71a0a158091dd78eb88a4e82fcc38b08/zarith/1.13/lib/zarith/zarith.ocamlobjinfo
prep/universes/71a0a158091dd78eb88a4e82fcc38b08/zarith/1.13/lib/zarith/zarith_top.ocamlobjinfo
prep/universes/71a0a158091dd78eb88a4e82fcc38b08/zarith/1.13/lib/zarith/META
prep/universes/71a0a158091dd78eb88a4e82fcc38b08/zarith/1.13/lib/zarith/big_int_Z.cmi
prep/universes/71a0a158091dd78eb88a4e82fcc38b08/zarith/1.13/lib/zarith/big_int_Z.cmti
prep/universes/71a0a158091dd78eb88a4e82fcc38b08/zarith/1.13/lib/zarith/q.cmi
prep/universes/71a0a158091dd78eb88a4e82fcc38b08/zarith/1.13/lib/zarith/q.cmti
prep/universes/71a0a158091dd78eb88a4e82fcc38b08/zarith/1.13/lib/zarith/z.cmi
prep/universes/71a0a158091dd78eb88a4e82fcc38b08/zarith/1.13/lib/zarith/z.cmti
prep/universes/71a0a158091dd78eb88a4e82fcc38b08/zarith/1.13/opam
prep/universes/69bdf95021537ef22b4d0c217ce56edb/yices2/0.0.3/lib/
prep/universes/69bdf95021537ef22b4d0c217ce56edb/yices2/0.0.3/lib/yices2/
prep/universes/69bdf95021537ef22b4d0c217ce56edb/yices2/0.0.3/lib/yices2/yices2.ocamlobjinfo
prep/universes/69bdf95021537ef22b4d0c217ce56edb/yices2/0.0.3/lib/yices2/META
prep/universes/69bdf95021537ef22b4d0c217ce56edb/yices2/0.0.3/lib/yices2/yices2.cmi
prep/universes/69bdf95021537ef22b4d0c217ce56edb/yices2/0.0.3/lib/yices2/yices2.cmt
prep/universes/69bdf95021537ef22b4d0c217ce56edb/yices2/0.0.3/lib/yices2/yices2.cmti
prep/universes/69bdf95021537ef22b4d0c217ce56edb/yices2/0.0.3/opam
Warning: Permanently added '[docs.ci.ocaml.org]:2222' (ED25519) to the list of known hosts.
Warning: Permanently added '[docs.ci.ocaml.org]:2222' (ED25519) to the list of known hosts.
HASHES:zarith.1.13-71a0a158091dd78eb88a4e82fcc38b08:19d5fcab342f3a90fea7dd76f385ce05ce9d413bf719e5a483b029cd4979381e
HASHES:yices2.0.0.3-69bdf95021537ef22b4d0c217ce56edb:599523628716aa10d48e76baa6b8f056a96c93cb50b24d15cac704357c130da3
2024-05-13 09:43.07 ---> saved as "cee205b42ad5c6d988622c527fda77fd9ecdfad6e68246a3b8f3e116f0e66b92"
Job succeeded
2024-05-13 09:47.20: yices2.0.0.3-69bdf95021537ef22b4d0c217ce56edb -> 599523628716aa10d48e76baa6b8f056a96c93cb50b24d15cac704357c130da3
2024-05-13 09:47.20: zarith.1.13-71a0a158091dd78eb88a4e82fcc38b08 -> 19d5fcab342f3a90fea7dd76f385ce05ce9d413bf719e5a483b029cd4979381e
2024-05-13 09:47.20: Job succeeded