2026-06-24 11:11.17: New job: build yices2.0.0.3 (62d811113fc4)
2026-06-24 11:11.17: Waiting for resource in pool day11-builds
2026-06-24 11:47.38: Got resource from pool day11-builds
2026-06-24 11:47.38: [profile full] build yices2.0.0.3
2026-06-24 11:47.38: build yices2.0.0.3 (62d811113fc4)
=== DEPENDENCIES (7 transitive) ===
  conf-gmp.5                                         be11edf77089
  conf-pkg-config.5                                  d5de2c6a88f9
  ocaml.5.1.1                                        d186cfe930c0
  ocaml-base-compiler.5.1.1                          9ad12ad5019c
  ocaml-config.3                                     cd07d28030fc
  ocamlfind.1.9.8                                    eb1a7cabca9a
  zarith.1.14                                        329fc4665753
=== STDOUT ===
Processing: [default: loading data]
[yices2.0.0.3: dl]
[yices2.0.0.3: extract]
-> retrieved yices2.0.0.3  (https://opam.ocaml.org/cache)
[yices2: ./configure]
+ /home/opam/.opam/default/.opam-switch/build/yices2.0.0.3/./configure "--prefix=/home/opam/.opam/default" (CWD=/home/opam/.opam/default/.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
[yices2: make]
+ /usr/bin/make  (CWD=/home/opam/.opam/default/.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/default/.opam-switch/build/yices2.0.0.3/ext'
- cd yices && ./configure --prefix=/home/opam/.opam/default/.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/default/.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/default/.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
- libtool: compile:  gcc -Isrc -Isrc/include -c src/api/context_config.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/api/context_config.o
- libtool: compile:  gcc -Isrc -Isrc/include -c src/api/search_parameters.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/api/search_parameters.o
- libtool: compile:  gcc -Isrc -Isrc/include -c src/api/smt_logic_codes.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/api/smt_logic_codes.o
- libtool: compile:  gcc -Isrc -Isrc/include -c src/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/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
- libtool: compile:  gcc -Isrc -Isrc/include -c src/api/yval.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/api/yval.o
- libtool: compile:  gcc -Isrc -Isrc/include -c src/api/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/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
- 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/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
- libtool: compile:  gcc -Isrc -Isrc/include -c src/context/conditional_definitions.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/context/conditional_definitions.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/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/context/context_simplifier.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/context/context_simplifier.o
- libtool: compile:  gcc -Isrc -Isrc/include -c src/context/context.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/context/context.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/context/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
- libtool: compile:  gcc -Isrc -Isrc/include -c src/context/context_solver.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/context/context_solver.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/context/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
- libtool: compile:  gcc -Isrc -Isrc/include -c src/context/context_statistics.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/context/context_statistics.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/context/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
- 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/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
- 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
- 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/context/eq_abstraction.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/context/eq_abstraction.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/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
- libtool: compile:  gcc -Isrc -Isrc/include -c src/context/eq_learner.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/context/eq_learner.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/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/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/context/ite_flattener.c -o build/obj/src/context/ite_flattener.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile:  gcc -Isrc -Isrc/include -c src/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/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/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/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/shared_terms.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/context/shared_terms.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/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/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/exists_forall/ef_client.c -o build/obj/src/exists_forall/ef_client.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile:  gcc -Isrc -Isrc/include -c src/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/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
- libtool: compile:  gcc -Isrc -Isrc/include -c src/exists_forall/ef_analyze.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/exists_forall/ef_analyze.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/exists_forall/ef_parameters.c -o build/obj/src/exists_forall/ef_parameters.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/exists_forall/ef_problem.c -o build/obj/src/exists_forall/ef_problem.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- 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/exists_forall/ef_problem.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/exists_forall/ef_problem.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/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/exists_forall/efsolver.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/exists_forall/efsolver.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/frontend/smt2/attribute_values.c -o build/obj/src/frontend/smt2/attribute_values.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile:  gcc -Isrc -Isrc/include -c src/frontend/smt2/attribute_values.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/frontend/smt2/attribute_values.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/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/frontend/yices/yices_lexer.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/frontend/yices/yices_lexer.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/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/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
- libtool: compile:  gcc -Isrc -Isrc/include -c src/io/concrete_value_printer.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/io/concrete_value_printer.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/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/io/model_printer.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/io/model_printer.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/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/io/pretty_printer.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/io/pretty_printer.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/io/reader.c -o build/obj/src/io/reader.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/io/term_printer.c -o build/obj/src/io/term_printer.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile:  gcc -Isrc -Isrc/include -c src/io/reader.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/io/reader.o
- libtool: compile:  gcc -Isrc -Isrc/include -c src/io/term_printer.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/io/term_printer.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/io/tracer.c -o build/obj/src/io/tracer.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/io/type_printer.c -o build/obj/src/io/type_printer.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile:  gcc -Isrc -Isrc/include -c src/io/tracer.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/io/tracer.o
- libtool: compile:  gcc -Isrc -Isrc/include -c src/io/type_printer.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/io/type_printer.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/io/yices_pp.c -o build/obj/src/io/yices_pp.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile:  gcc -Isrc -Isrc/include -c src/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/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/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/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/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/arith_projection.c -o build/obj/src/model/arith_projection.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile:  gcc -Isrc -Isrc/include -c src/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/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/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/fresh_value_maker.c -o build/obj/src/model/fresh_value_maker.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile:  gcc -Isrc -Isrc/include -c src/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/fun_maps.c -o build/obj/src/model/fun_maps.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile:  gcc -Isrc -Isrc/include -c src/model/fun_maps.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/model/fun_maps.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/model/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
- 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/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/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/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/literal_collector.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/model/literal_collector.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/model/map_to_model.c -o build/obj/src/model/map_to_model.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile:  gcc -Isrc -Isrc/include -c src/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
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/model/model_eval.c -o build/obj/src/model/model_eval.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile:  gcc -Isrc -Isrc/include -c src/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/model_queries.c -o build/obj/src/model/model_queries.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile:  gcc -Isrc -Isrc/include -c src/model/model_queries.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/model/model_queries.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/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/models.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/model/models.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/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/presburger.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/model/presburger.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/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/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/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/term_to_val.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/model/term_to_val.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/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/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/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/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
- 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/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/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
- 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/bit_blaster.c -o build/obj/src/solvers/bv/bit_blaster.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile:  gcc -Isrc -Isrc/include -c src/solvers/bv/bit_blaster.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/solvers/bv/bit_blaster.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/solvers/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
- libtool: compile:  gcc -Isrc -Isrc/include -c src/solvers/bv/bv64_intervals.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/solvers/bv/bv64_intervals.o
- libtool: compile:  gcc -Isrc -Isrc/include -c src/solvers/bv/bv_atomtable.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/solvers/bv/bv_atomtable.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/solvers/bv/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
- libtool: compile:  gcc -Isrc -Isrc/include -c src/solvers/bv/bvconst_hmap.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/solvers/bv/bvconst_hmap.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/solvers/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/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_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/solvers/bv/bv_intervals.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/solvers/bv/bv_intervals.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/solvers/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
- 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
- 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/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/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/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_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/bv/merge_table.c -o build/obj/src/solvers/bv/merge_table.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile:  gcc -Isrc -Isrc/include -c src/solvers/bv/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/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/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
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/solvers/cdcl/gates_hash_table.c -o build/obj/src/solvers/cdcl/gates_hash_table.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile:  gcc -Isrc -Isrc/include -c src/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/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/cdcl/gates_manager.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/solvers/cdcl/gates_manager.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/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/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/composites.c -o build/obj/src/solvers/egraph/composites.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile:  gcc -Isrc -Isrc/include -c src/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
- 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/egraph/diseq_stacks.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/solvers/egraph/diseq_stacks.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/solvers/egraph/egraph_assertion_queues.c -o build/obj/src/solvers/egraph/egraph_assertion_queues.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile:  gcc -Isrc -Isrc/include -c src/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/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/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/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/egraph_explanations.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/solvers/egraph/egraph_explanations.o
- libtool: compile:  gcc -Isrc -Isrc/include -c src/solvers/egraph/egraph_utils.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/solvers/egraph/egraph_utils.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/solvers/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/theory_explanations.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/solvers/egraph/theory_explanations.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/solvers/floyd_warshall/dl_vartable.c -o build/obj/src/solvers/floyd_warshall/dl_vartable.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile:  gcc -Isrc -Isrc/include -c src/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/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/floyd_warshall/idl_floyd_warshall.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/solvers/floyd_warshall/idl_floyd_warshall.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/solvers/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/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
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/solvers/funs/fun_solver.c -o build/obj/src/solvers/funs/fun_solver.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile:  gcc -Isrc -Isrc/include -c src/solvers/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/arith_atomtable.c -o build/obj/src/solvers/simplex/arith_atomtable.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile:  gcc -Isrc -Isrc/include -c src/solvers/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/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/simplex/arith_vartable.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/solvers/simplex/arith_vartable.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/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/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
- 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/integrality_constraints.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/solvers/simplex/integrality_constraints.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/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/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
- 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/solvers/simplex/simplex.c -o build/obj/src/solvers/simplex/simplex.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile:  gcc -Isrc -Isrc/include -c src/solvers/simplex/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/balanced_arith_buffers.c -o build/obj/src/terms/balanced_arith_buffers.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile:  gcc -Isrc -Isrc/include -c src/terms/balanced_arith_buffers.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/terms/balanced_arith_buffers.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/terms/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/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/bit_term_conversion.c -o build/obj/src/terms/bit_term_conversion.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile:  gcc -Isrc -Isrc/include -c src/terms/bit_term_conversion.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/terms/bit_term_conversion.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/terms/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/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/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/bv64_constants.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/terms/bv64_constants.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/terms/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
- 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/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/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
- 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/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_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/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/bvarith_buffer_terms.c -o build/obj/src/terms/bvarith_buffer_terms.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile:  gcc -Isrc -Isrc/include -c src/terms/bvarith_buffer_terms.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/terms/bvarith_buffer_terms.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/terms/bv_constants.c -o build/obj/src/terms/bv_constants.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile:  gcc -Isrc -Isrc/include -c src/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/bvlogic_buffers.c -o build/obj/src/terms/bvlogic_buffers.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/terms/bvpoly_buffers.c -o build/obj/src/terms/bvpoly_buffers.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile:  gcc -Isrc -Isrc/include -c src/terms/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/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/bv_polynomials.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/terms/bv_polynomials.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/terms/bv_slices.c -o build/obj/src/terms/bv_slices.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile:  gcc -Isrc -Isrc/include -c src/terms/bv_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/conditionals.c -o build/obj/src/terms/conditionals.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/terms/elim_subst.c -o build/obj/src/terms/elim_subst.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile:  gcc -Isrc -Isrc/include -c src/terms/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/elim_subst.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/terms/elim_subst.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/terms/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/extended_rationals.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/terms/extended_rationals.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/terms/free_var_collector.c -o build/obj/src/terms/free_var_collector.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/terms/full_subst.c -o build/obj/src/terms/full_subst.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/terms/ite_stack.c -o build/obj/src/terms/ite_stack.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile:  gcc -Isrc -Isrc/include -c src/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/ite_stack.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/terms/ite_stack.o
- libtool: compile:  gcc -Isrc -Isrc/include -c src/terms/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/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
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/terms/poly_buffer_terms.c -o build/obj/src/terms/poly_buffer_terms.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile:  gcc -Isrc -Isrc/include -c src/terms/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/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/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/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/power_products.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/terms/power_products.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/terms/pprod_table.c -o build/obj/src/terms/pprod_table.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile:  gcc -Isrc -Isrc/include -c src/terms/pprod_table.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/terms/pprod_table.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/terms/rational_hash_maps.c -o build/obj/src/terms/rational_hash_maps.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile:  gcc -Isrc -Isrc/include -c src/terms/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/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
- 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/rba_buffer_terms.c -o build/obj/src/terms/rba_buffer_terms.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile:  gcc -Isrc -Isrc/include -c src/terms/rba_buffer_terms.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/terms/rba_buffer_terms.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/terms/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/renaming_context.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/terms/renaming_context.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/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/subst_cache.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/terms/subst_cache.o
- libtool: compile:  gcc -Isrc -Isrc/include -c src/terms/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/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/term_explorer.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/terms/term_explorer.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/terms/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_manager.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/terms/term_manager.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/terms/terms.c -o build/obj/src/terms/terms.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile:  gcc -Isrc -Isrc/include -c src/terms/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_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/term_sets.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/terms/term_sets.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/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_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
- 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/terms/types.c -o build/obj/src/terms/types.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile:  gcc -Isrc -Isrc/include -c src/terms/types.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/terms/types.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/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/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/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/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/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/backtrack_arrays.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/utils/backtrack_arrays.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/utils/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
- 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/csets.c -o build/obj/src/utils/csets.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile:  gcc -Isrc -Isrc/include -c src/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
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/utils/dep_tables.c -o build/obj/src/utils/dep_tables.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile:  gcc -Isrc -Isrc/include -c src/utils/dep_tables.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/utils/dep_tables.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/utils/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/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/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/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/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
- 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/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_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/int_array_sort2.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/utils/int_array_sort2.o
- libtool: compile:  gcc -Isrc -Isrc/include -c src/utils/int_array_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_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_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
- libtool: compile:  gcc -Isrc -Isrc/include -c src/utils/int_bv_sets.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/utils/int_bv_sets.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/utils/int_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
- 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_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
- 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_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_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_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_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_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_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_heap2.c -o build/obj/src/utils/int_heap2.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile:  gcc -Isrc -Isrc/include -c src/utils/int_heap2.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/utils/int_heap2.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/utils/int_heap.c -o build/obj/src/utils/int_heap.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/utils/int_partitions.c -o build/obj/src/utils/int_partitions.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile:  gcc -Isrc -Isrc/include -c src/utils/int_heap.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/utils/int_heap.o
- libtool: compile:  gcc -Isrc -Isrc/include -c src/utils/int_partitions.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/utils/int_partitions.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/utils/int_powers.c -o build/obj/src/utils/int_powers.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile:  gcc -Isrc -Isrc/include -c src/utils/int_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
- 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
- libtool: compile:  gcc -Isrc -Isrc/include -c src/utils/int_queues.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/utils/int_queues.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/utils/int_stack.c -o build/obj/src/utils/int_stack.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/utils/int_vectors.c -o build/obj/src/utils/int_vectors.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- 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_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_stack.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/utils/int_stack.o
- libtool: compile:  gcc -Isrc -Isrc/include -c src/utils/mark_vectors.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/utils/mark_vectors.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/utils/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
- 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
- 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/pointer_vectors.c -o build/obj/src/utils/pointer_vectors.lo -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -fno-stack-protector
- libtool: compile:  gcc -Isrc -Isrc/include -c src/utils/pair_hash_map2.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/utils/pair_hash_map2.o
- libtool: compile:  gcc -Isrc -Isrc/include -c src/utils/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
- 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
- libtool: compile:  gcc -Isrc -Isrc/include -c src/utils/pointer_vectors.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/utils/pointer_vectors.o
- libtool: compile:  gcc -Isrc -Isrc/include -c src/utils/ptr_array_sort2.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/utils/ptr_array_sort2.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/utils/ptr_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/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_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/ptr_hash_map.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/utils/ptr_hash_map.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/utils/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
- 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_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_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/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/ptr_sets.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/utils/ptr_sets.o
- libtool: compile:  gcc -Isrc -Isrc/include -c src/utils/ptr_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
- 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
- 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/ptr_vectors.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/utils/ptr_vectors.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/utils/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/refcount_int_arrays.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/utils/refcount_int_arrays.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/utils/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/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/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/simple_cache.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/utils/simple_cache.o
- libtool: compile:  gcc -Isrc -Isrc/include -c src/utils/sparse_arrays.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/utils/sparse_arrays.o
- libtool: compile:  gcc -Isrc -Isrc/include -c src/utils/stable_sort.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/utils/stable_sort.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/utils/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/string_buffers.c -DLINUX -U_FORTIFY_SOURCE -DNDEBUG -fvisibility=hidden -Wall -Wredundant-decls -O3 -fomit-frame-pointer -DYICES_STATIC -fno-stack-protector -o build/obj/src/utils/string_buffers.o
- LT_STATIC_CFLAGS="-DYICES_STATIC" LT_SHARED_CFLAGS="" /bin/sh ./libtool  --mode=compile gcc -Isrc -Isrc/include  -c src/utils/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/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
- 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/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
- 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
- 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/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
- 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/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
- 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/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/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
- 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/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/default/.opam-switch/build/yices2.0.0.3/ext/yices'
- make install -C yices
- make[2]: Entering directory '/home/opam/.opam/default/.opam-switch/build/yices2.0.0.3/ext/yices'
- /usr/bin/mkdir -p /home/opam/.opam/default/.opam-switch/build/yices2.0.0.3/ext/include /home/opam/.opam/default/.opam-switch/build/yices2.0.0.3/ext/lib /home/opam/.opam/default/.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/default/.opam-switch/build/yices2.0.0.3/ext/include
- libtool: install: /usr/bin/install -c -m 644 src/include/yices.h /home/opam/.opam/default/.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/default/.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/default/.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/default/.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/default/.opam-switch/build/yices2.0.0.3/ext/bin) || true
- libtool: install: /usr/bin/install -c -s build/bin/yices_* /home/opam/.opam/default/.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/default/.opam-switch/build/yices2.0.0.3/ext/lib) || true
- libtool: install: /usr/bin/install -c build/lib/libyices.a /home/opam/.opam/default/.opam-switch/build/yices2.0.0.3/ext/lib/libyices.a
- libtool: install: strip --strip-debug /home/opam/.opam/default/.opam-switch/build/yices2.0.0.3/ext/lib/libyices.a
- libtool: install: chmod 644 /home/opam/.opam/default/.opam-switch/build/yices2.0.0.3/ext/lib/libyices.a
- libtool: install: ranlib /home/opam/.opam/default/.opam-switch/build/yices2.0.0.3/ext/lib/libyices.a
- make[2]: Leaving directory '/home/opam/.opam/default/.opam-switch/build/yices2.0.0.3/ext/yices'
- make[1]: Leaving directory '/home/opam/.opam/default/.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/default/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/default/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/default/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/default/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
[yices2: make install]
+ /usr/bin/make "install" (CWD=/home/opam/.opam/default/.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/default/lib/yices2/yices2.cmx
- Installed /home/opam/.opam/default/lib/yices2/yices2.a
- Installed /home/opam/.opam/default/lib/yices2/yices2.cmxa
- Installed /home/opam/.opam/default/lib/yices2/libgmp.a
- Installed /home/opam/.opam/default/lib/yices2/libyices.a
- Installed /home/opam/.opam/default/lib/yices2/yices2.cmti
- Installed /home/opam/.opam/default/lib/yices2/yices2.cmt
- Installed /home/opam/.opam/default/lib/yices2/yices2.annot
- Installed /home/opam/.opam/default/lib/yices2/yices2.cmi
- Installed /home/opam/.opam/default/lib/yices2/yices2.mli
- Installed /home/opam/.opam/default/lib/yices2/libyices2_stubs.a
- Installed /home/opam/.opam/default/lib/yices2/yices2.cma
- Installed /home/opam/.opam/default/lib/yices2/META
-> installed yices2.0.0.3
[WARNING] Opam package conf-pkg-config.5 depends on the following system package that can no longer be found: pkg-config

=== STDERR ===

2026-06-24 11:48.47: OK: build yices2.0.0.3 (runc: 46.2s, disk: 137KB)
2026-06-24 11:48.47: Job succeeded