Building on rosemary
(from freebsd)
2025-11-06 11:52.29 ---> using "77d5fe31836124b4684d554707425c4fde23f9ef3df0a804431a47419573778d" from cache
/: (user (uid 1000) (gid 1000))
/: (env OPAMPRECISETRACKING 1)
/: (env OPAMUTF8 never)
/: (env OPAMEXTERNALSOLVER builtin-0install)
/: (env OPAMCRITERIA +removed)
/: (env CI true)
/: (env OPAM_HEALTH_CHECK_CI true)
/: (run (shell "sudo ln -f /usr/local/bin/opam-dev /usr/local/bin/opam"))
2025-11-06 11:52.30 ---> using "7afea9128a2830beedf345f0b46af5484579ebada7710165f445c6c5b18563a9" from cache
/: (run (network host)
(shell "rm -rf ~/opam-repository && git clone -q 'https://github.com/ocaml/opam-repository' ~/opam-repository && git -C ~/opam-repository checkout -q 21f97b2e6d7c617fc0a79cc8e59b2e10690960e1"))
2025-11-06 11:52.30 ---> using "ae78a42e015fa77faddbd483f9185e7f3efe8696d289e8ca4cd44dff3e8b7e8b" from cache
/: (run (shell "rm -rf ~/.opam && opam init -ya --bare ~/opam-repository"))
No configuration file found, using built-in defaults.
Checking for available remotes: rsync and local, git.
- you won't be able to use mercurial repositories unless you install the hg command on your system.
- you won't be able to use darcs repositories unless you install the darcs command on your system.
<><> Fetching repository information ><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised
User configuration:
~/.profile is already up-to-date.
[NOTE] Make sure that ~/.profile is well sourced in your ~/.bashrc.
2025-11-06 11:52.30 ---> using "16ef69803ad76c6c35b722b3e3939ce66da130f3c6f307318070a99fdbd7af0c" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam switch create --repositories=default '5.3.0' 'ocaml-base-compiler.5.3.0'"))
<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-base-compiler" {= "5.3.0"}]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> installed base-bigarray.base
-> installed base-threads.base
-> installed base-unix.base
-> installed ocaml-options-vanilla.1
-> retrieved ocaml-config.3 (2 extra sources)
-> retrieved ocaml-config.3 (2 extra sources)
-> retrieved ocaml-compiler.5.3.0 (cached)
-> installed ocaml-compiler.5.3.0
-> installed ocaml-base-compiler.5.3.0
-> installed ocaml-config.3
-> installed ocaml.5.3.0
-> installed base-domains.base
-> installed base-effects.base
-> installed base-nnp.base
Done.
# To update the current shell environment, run: eval $(opam env --switch=5.3.0)
2025-11-06 11:52.31 ---> using "c47406689f57b62bb0a5856d1d469640c0ccf84c895abee7282ca4f3f0926e78" from cache
/: (run (network host)
(shell "opam update --depexts"))
[WARNING] Unknown update command for bsd, skipping system update
2025-11-06 11:52.31 ---> using "37fab54fdd493523ba52f42338694c16437ab35c30755d9953ae2db40b6c1d8d" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam remove -y cudd.0.1.3\
\nopam install -vy cudd.0.1.3\
\nres=$?\
\nif [ $res = 31 ]; then\
\n if opam show -f x-ci-accept-failures: cudd.0.1.3 | grep -q 'freebsd'; then\
\n echo \"This package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\"\
\n exit 69\
\n fi\
\nfi \
\n\
\n\
\nexit $res"))
[NOTE] cudd.0.1.3 is not installed.
Nothing to do.
The following actions will be performed:
=== install 2 packages
- install cudd 0.1.3
- install dune 3.20.2 [required by cudd]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 1/6: [cudd.0.1.3: http]
Processing 2/6: [cudd.0.1.3: http] [dune.3.20.2: extract]
Processing 2/6: [cudd.0.1.3: extract] [dune.3.20.2: extract]
Processing 2/6: [cudd.0.1.3/cudd/cudd.tar.gz: dl] [dune.3.20.2: extract]
-> retrieved cudd.0.1.3 (https://git.frama-c.com/pub/codex/cudd.ml/-/archive/0.1.3/cudd.ml-0.1.3.tar.gz)
Processing 2/6: [dune.3.20.2: extract]
-> retrieved dune.3.20.2 (cached)
Processing 3/6: [dune: ocaml 39]
+ /home/opam/.opam/5.3.0/bin/ocaml "boot/bootstrap.ml" "-j" "39" (CWD=/home/opam/.opam/5.3.0/.opam-switch/build/dune.3.20.2)
- ocamlc -output-complete-exe -g -o .duneboot.exe -I boot -I +unix unix.cma boot/libs.ml boot/duneboot.ml
- ./.duneboot.exe -j 39
-
Processing 3/6: [dune: ./_boot/dune.exe build]
+ /home/opam/.opam/5.3.0/.opam-switch/build/dune.3.20.2/./_boot/dune.exe "build" "dune.install" "--release" "--profile" "dune-bootstrap" "-j" "39" (CWD=/home/opam/.opam/5.3.0/.opam-switch/build/dune.3.20.2)
-> compiled dune.3.20.2
-> installed dune.3.20.2
Processing 5/6: [cudd: dune build]
+ /home/opam/.opam/5.3.0/bin/dune "build" "-p" "cudd" "-j" "39" "@install" (CWD=/home/opam/.opam/5.3.0/.opam-switch/build/cudd.0.1.3)
- (cd _build/default/cudd/unpacked-cudd && /usr/local/bin/bash -e -u -o pipefail -c 'CFLAGS="-O3 -fPIC" CXXFLAGS="-O3 -fPIC" ./configure --enable-obj --enable-shared --disable-dependency-tracking --disable-dddmp')
- checking build system type... x86_64-unknown-freebsd14.3
- checking host system type... x86_64-unknown-freebsd14.3
- checking for a BSD-compatible install... /usr/bin/install -c
- checking whether build environment is sane... yes
- checking for a thread-safe mkdir -p... build-aux/install-sh -c -d
- checking for gawk... no
- checking for mawk... no
- checking for nawk... nawk
- checking whether make sets $(MAKE)... yes
- checking whether make supports nested variables... yes
- checking for gcc... no
- checking for cc... cc
- 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 cc accepts -g... yes
- checking for cc option to accept ISO C89... none needed
- checking whether cc understands -c and -o together... yes
- checking for style of include used by make... GNU
- checking dependency style of cc... none
- checking for g++... no
- checking for c++... c++
- checking whether we are using the GNU C++ compiler... yes
- checking whether c++ accepts -g... yes
- checking dependency style of c++... none
- checking for ar... ar
- checking the archiver (ar) interface... ar
- checking how to print strings... printf
- 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 cc... /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
- checking the name lister (/usr/bin/nm) interface... BSD nm
- checking whether ln -s works... yes
- checking the maximum length of command line arguments... 393216
- checking whether the shell understands some XSI constructs... yes
- checking whether the shell understands "+="... no
- checking how to convert x86_64-unknown-freebsd14.3 file names to x86_64-unknown-freebsd14.3 format... func_convert_file_noop
- checking how to convert x86_64-unknown-freebsd14.3 file names to toolchain format... func_convert_file_noop
- checking for /usr/bin/ld option to reload object files... -r
- checking for objdump... objdump
- checking how to recognize dependent libraries... pass_all
- checking for dlltool... no
- checking how to associate runtime and link libraries... printf %s\n
- checking for archiver @FILE support... no
- checking for strip... strip
- checking for ranlib... ranlib
- checking command to parse /usr/bin/nm output from cc object... ok
- checking for sysroot... no
- checking for mt... mt
- checking if mt is a manifest tool... no
- checking how to run the C preprocessor... cc -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 cc supports -fno-rtti -fno-exceptions... yes
- checking for cc option to produce PIC... -fPIC -DPIC
- checking if cc PIC flag -fPIC -DPIC works... yes
- checking if cc static flag -static works... yes
- checking if cc supports -c -o file.o... yes
- checking if cc supports -c -o file.o... (cached) yes
- checking whether the cc linker (/usr/bin/ld) supports shared libraries... yes
- checking whether -lc should be explicitly linked in... no
- checking dynamic linker characteristics... freebsd14.3 ld.so
- checking how to hardcode library paths into programs... immediate
- checking whether stripping libraries is possible... no
- checking if libtool supports shared libraries... yes
- checking whether to build shared libraries... yes
- checking whether to build static libraries... yes
- checking how to run the C++ preprocessor... c++ -E
- checking for ld used by c++... /usr/bin/ld
- checking if the linker (/usr/bin/ld) is GNU ld... yes
- checking whether the c++ linker (/usr/bin/ld) supports shared libraries... yes
- checking for c++ option to produce PIC... -fPIC -DPIC
- checking if c++ PIC flag -fPIC -DPIC works... yes
- checking if c++ static flag -static works... yes
- checking if c++ supports -c -o file.o... yes
- checking if c++ supports -c -o file.o... (cached) yes
- checking whether the c++ linker (/usr/bin/ld) supports shared libraries... yes
- checking dynamic linker characteristics... freebsd14.3 ld.so
- checking how to hardcode library paths into programs... immediate
- checking whether byte ordering is bigendian... no
- checking for doxygen... no
- checking for pdflatex... no
- checking for makeindex... no
- checking for library containing pow... -lm
- checking for pthread_create in -lpthread... yes
- checking for library containing WSAStartup... no
- checking for library containing GetProcessMemoryInfo... no
- checking float.h usability... yes
- checking float.h presence... yes
- checking for float.h... yes
- checking for inttypes.h... (cached) yes
- checking limits.h usability... yes
- checking limits.h presence... yes
- checking for limits.h... yes
- checking stddef.h usability... yes
- checking stddef.h presence... yes
- checking for stddef.h... yes
- checking for stdlib.h... (cached) yes
- checking for string.h... (cached) yes
- checking assert.h usability... yes
- checking assert.h presence... yes
- checking for assert.h... yes
- checking math.h usability... yes
- checking math.h presence... yes
- checking for math.h... yes
- checking for unistd.h... (cached) yes
- checking sys/time.h usability... yes
- checking sys/time.h presence... yes
- checking for sys/time.h... yes
- checking sys/times.h usability... yes
- checking sys/times.h presence... yes
- checking for sys/times.h... yes
- checking sys/resource.h usability... yes
- checking sys/resource.h presence... yes
- checking for sys/resource.h... yes
- checking sys/wait.h usability... yes
- checking sys/wait.h presence... yes
- checking for sys/wait.h... yes
- checking for working C++ thread header... yes
- checking for stdbool.h that conforms to C99... yes
- checking for _Bool... yes
- checking for inline... inline
- checking for size_t... yes
- checking for uint16_t... yes
- checking for uint32_t... yes
- checking for ptrdiff_t... yes
- checking size of int... 4
- checking size of long... 8
- checking size of void *... 8
- checking size of long double... 16
- checking whether we are building for a Win32 host... no
- checking whether enough of C++11 is supported... yes
- checking for pow... yes
- checking for sqrt... yes
- checking for strchr... yes
- checking for strstr... yes
- checking for powl... yes
- checking for gethostname... yes
- checking for getrlimit... yes
- checking for getrusage... yes
- checking for sysconf... yes
- checking for +Infinity (IEEE 754 floating point)... yes
- checking that generated files are newer than configure... done
- configure: creating ./config.status
- config.status: creating Makefile
- config.status: creating dddmp/exp/test1.sh
- config.status: creating dddmp/exp/test2.sh
- config.status: creating dddmp/exp/test3.sh
- config.status: creating dddmp/exp/test4.sh
- config.status: creating dddmp/exp/test5.sh
- config.status: creating dddmp/exp/test6.sh
- config.status: creating dddmp/exp/test7.sh
- config.status: creating config.h
- config.status: executing depfiles commands
- config.status: executing libtool commands
- --------------------------------------------------
- Configuration summary for cudd 3.0.0
-
- Build system : x86_64-unknown-freebsd14.3
- Host system : x86_64-unknown-freebsd14.3
- Prefix : '/usr/local'
- Compilers : 'cc -O3 -fPIC'
- : 'c++ -O3 -fPIC'
- Shared library : yes
- dddmp enabled : no
- obj enabled : yes
- --------------------------------------------------
- configure: WARNING: Doxygen not found - continuing without Doxygen support
- configure: WARNING: pdflatex not found - unable to compile manual to PDF
- configure: WARNING: makeindex not found - unable to compile manual to PDF
- (cd _build/default/cudd/unpacked-cudd && /usr/local/bin/bash -e -u -o pipefail -c 'make -j 4 cudd/libcudd.la')
- --- cudd/.deps/.dirstamp ---
- --- util/.dirstamp ---
- --- util/.deps/.dirstamp ---
- --- st/.dirstamp ---
- --- st/.deps/.dirstamp ---
- --- epd/.dirstamp ---
- --- epd/.deps/.dirstamp ---
- --- mtr/.dirstamp ---
- --- mtr/.deps/.dirstamp ---
- --- cplusplus/.dirstamp ---
- --- cplusplus/.deps/.dirstamp ---
- --- cudd/.dirstamp ---
- --- util/cudd_libcudd_la-cpu_stats.lo ---
- /bin/sh ./libtool --tag=CC --tag=CXX --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o util/cudd_libcudd_la-cpu_stats.lo `test -f 'util/cpu_stats.c' || echo './'`util/cpu_stats.c
- --- util/cudd_libcudd_la-cpu_time.lo ---
- /bin/sh ./libtool --tag=CC --tag=CXX --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o util/cudd_libcudd_la-cpu_time.lo `test -f 'util/cpu_time.c' || echo './'`util/cpu_time.c
- --- util/cudd_libcudd_la-cstringstream.lo ---
- /bin/sh ./libtool --tag=CC --tag=CXX --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o util/cudd_libcudd_la-cstringstream.lo `test -f 'util/cstringstream.c' || echo './'`util/cstringstream.c
- --- util/cudd_libcudd_la-datalimit.lo ---
- /bin/sh ./libtool --tag=CC --tag=CXX --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o util/cudd_libcudd_la-datalimit.lo `test -f 'util/datalimit.c' || echo './'`util/datalimit.c
- --- util/cudd_libcudd_la-cpu_stats.lo ---
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c util/cpu_stats.c -fPIC -DPIC -o util/.libs/cudd_libcudd_la-cpu_stats.o
- --- util/cudd_libcudd_la-cpu_time.lo ---
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c util/cpu_time.c -fPIC -DPIC -o util/.libs/cudd_libcudd_la-cpu_time.o
- --- util/cudd_libcudd_la-cstringstream.lo ---
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c util/cstringstream.c -fPIC -DPIC -o util/.libs/cudd_libcudd_la-cstringstream.o
- --- util/cudd_libcudd_la-datalimit.lo ---
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c util/datalimit.c -fPIC -DPIC -o util/.libs/cudd_libcudd_la-datalimit.o
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c util/datalimit.c -o util/cudd_libcudd_la-datalimit.o >/dev/null 2>&1
- --- util/cudd_libcudd_la-cpu_time.lo ---
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c util/cpu_time.c -o util/cudd_libcudd_la-cpu_time.o >/dev/null 2>&1
- --- util/cudd_libcudd_la-cpu_stats.lo ---
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c util/cpu_stats.c -o util/cudd_libcudd_la-cpu_stats.o >/dev/null 2>&1
- --- util/cudd_libcudd_la-pathsearch.lo ---
- /bin/sh ./libtool --tag=CC --tag=CXX --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o util/cudd_libcudd_la-pathsearch.lo `test -f 'util/pathsearch.c' || echo './'`util/pathsearch.c
- --- util/cudd_libcudd_la-cstringstream.lo ---
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c util/cstringstream.c -o util/cudd_libcudd_la-cstringstream.o >/dev/null 2>&1
- --- util/cudd_libcudd_la-pipefork.lo ---
- /bin/sh ./libtool --tag=CC --tag=CXX --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o util/cudd_libcudd_la-pipefork.lo `test -f 'util/pipefork.c' || echo './'`util/pipefork.c
- --- util/cudd_libcudd_la-pathsearch.lo ---
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c util/pathsearch.c -fPIC -DPIC -o util/.libs/cudd_libcudd_la-pathsearch.o
- --- util/cudd_libcudd_la-pipefork.lo ---
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c util/pipefork.c -fPIC -DPIC -o util/.libs/cudd_libcudd_la-pipefork.o
- --- util/cudd_libcudd_la-prtime.lo ---
- /bin/sh ./libtool --tag=CC --tag=CXX --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o util/cudd_libcudd_la-prtime.lo `test -f 'util/prtime.c' || echo './'`util/prtime.c
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c util/prtime.c -fPIC -DPIC -o util/.libs/cudd_libcudd_la-prtime.o
- --- util/cudd_libcudd_la-pipefork.lo ---
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c util/pipefork.c -o util/cudd_libcudd_la-pipefork.o >/dev/null 2>&1
- --- util/cudd_libcudd_la-pathsearch.lo ---
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c util/pathsearch.c -o util/cudd_libcudd_la-pathsearch.o >/dev/null 2>&1
- --- util/cudd_libcudd_la-prtime.lo ---
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c util/prtime.c -o util/cudd_libcudd_la-prtime.o >/dev/null 2>&1
- --- util/cudd_libcudd_la-safe_mem.lo ---
- /bin/sh ./libtool --tag=CC --tag=CXX --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o util/cudd_libcudd_la-safe_mem.lo `test -f 'util/safe_mem.c' || echo './'`util/safe_mem.c
- --- util/cudd_libcudd_la-strsav.lo ---
- /bin/sh ./libtool --tag=CC --tag=CXX --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o util/cudd_libcudd_la-strsav.lo `test -f 'util/strsav.c' || echo './'`util/strsav.c
- --- util/cudd_libcudd_la-safe_mem.lo ---
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c util/safe_mem.c -fPIC -DPIC -o util/.libs/cudd_libcudd_la-safe_mem.o
- --- util/cudd_libcudd_la-strsav.lo ---
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c util/strsav.c -fPIC -DPIC -o util/.libs/cudd_libcudd_la-strsav.o
- --- util/cudd_libcudd_la-texpand.lo ---
- /bin/sh ./libtool --tag=CC --tag=CXX --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o util/cudd_libcudd_la-texpand.lo `test -f 'util/texpand.c' || echo './'`util/texpand.c
- --- util/cudd_libcudd_la-ucbqsort.lo ---
- /bin/sh ./libtool --tag=CC --tag=CXX --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o util/cudd_libcudd_la-ucbqsort.lo `test -f 'util/ucbqsort.c' || echo './'`util/ucbqsort.c
- --- util/cudd_libcudd_la-texpand.lo ---
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c util/texpand.c -fPIC -DPIC -o util/.libs/cudd_libcudd_la-texpand.o
- --- util/cudd_libcudd_la-safe_mem.lo ---
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c util/safe_mem.c -o util/cudd_libcudd_la-safe_mem.o >/dev/null 2>&1
- --- util/cudd_libcudd_la-ucbqsort.lo ---
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c util/ucbqsort.c -fPIC -DPIC -o util/.libs/cudd_libcudd_la-ucbqsort.o
- --- util/cudd_libcudd_la-strsav.lo ---
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c util/strsav.c -o util/cudd_libcudd_la-strsav.o >/dev/null 2>&1
- --- util/cudd_libcudd_la-texpand.lo ---
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c util/texpand.c -o util/cudd_libcudd_la-texpand.o >/dev/null 2>&1
- --- st/cudd_libcudd_la-st.lo ---
- /bin/sh ./libtool --tag=CC --tag=CXX --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o st/cudd_libcudd_la-st.lo `test -f 'st/st.c' || echo './'`st/st.c
- --- epd/cudd_libcudd_la-epd.lo ---
- /bin/sh ./libtool --tag=CC --tag=CXX --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o epd/cudd_libcudd_la-epd.lo `test -f 'epd/epd.c' || echo './'`epd/epd.c
- --- cudd/cudd_libcudd_la-cuddAddAbs.lo ---
- /bin/sh ./libtool --tag=CC --tag=CXX --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddAddAbs.lo `test -f 'cudd/cuddAddAbs.c' || echo './'`cudd/cuddAddAbs.c
- --- st/cudd_libcudd_la-st.lo ---
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c st/st.c -fPIC -DPIC -o st/.libs/cudd_libcudd_la-st.o
- --- epd/cudd_libcudd_la-epd.lo ---
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c epd/epd.c -fPIC -DPIC -o epd/.libs/cudd_libcudd_la-epd.o
- --- cudd/cudd_libcudd_la-cuddAddAbs.lo ---
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddAddAbs.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddAddAbs.o
- --- util/cudd_libcudd_la-ucbqsort.lo ---
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c util/ucbqsort.c -o util/cudd_libcudd_la-ucbqsort.o >/dev/null 2>&1
- --- cudd/cudd_libcudd_la-cuddAddAbs.lo ---
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddAddAbs.c -o cudd/cudd_libcudd_la-cuddAddAbs.o >/dev/null 2>&1
- --- cudd/cudd_libcudd_la-cuddAddApply.lo ---
- /bin/sh ./libtool --tag=CC --tag=CXX --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddAddApply.lo `test -f 'cudd/cuddAddApply.c' || echo './'`cudd/cuddAddApply.c
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddAddApply.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddAddApply.o
- --- epd/cudd_libcudd_la-epd.lo ---
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c epd/epd.c -o epd/cudd_libcudd_la-epd.o >/dev/null 2>&1
- --- st/cudd_libcudd_la-st.lo ---
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c st/st.c -o st/cudd_libcudd_la-st.o >/dev/null 2>&1
- --- cudd/cudd_libcudd_la-cuddAddFind.lo ---
- /bin/sh ./libtool --tag=CC --tag=CXX --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddAddFind.lo `test -f 'cudd/cuddAddFind.c' || echo './'`cudd/cuddAddFind.c
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddAddFind.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddAddFind.o
- --- cudd/cudd_libcudd_la-cuddAddApply.lo ---
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddAddApply.c -o cudd/cudd_libcudd_la-cuddAddApply.o >/dev/null 2>&1
- --- cudd/cudd_libcudd_la-cuddAddFind.lo ---
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddAddFind.c -o cudd/cudd_libcudd_la-cuddAddFind.o >/dev/null 2>&1
- --- cudd/cudd_libcudd_la-cuddAddInv.lo ---
- /bin/sh ./libtool --tag=CC --tag=CXX --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddAddInv.lo `test -f 'cudd/cuddAddInv.c' || echo './'`cudd/cuddAddInv.c
- --- cudd/cudd_libcudd_la-cuddAddIte.lo ---
- /bin/sh ./libtool --tag=CC --tag=CXX --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddAddIte.lo `test -f 'cudd/cuddAddIte.c' || echo './'`cudd/cuddAddIte.c
- --- cudd/cudd_libcudd_la-cuddAddInv.lo ---
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddAddInv.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddAddInv.o
- --- cudd/cudd_libcudd_la-cuddAddNeg.lo ---
- /bin/sh ./libtool --tag=CC --tag=CXX --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddAddNeg.lo `test -f 'cudd/cuddAddNeg.c' || echo './'`cudd/cuddAddNeg.c
- --- cudd/cudd_libcudd_la-cuddAddWalsh.lo ---
- /bin/sh ./libtool --tag=CC --tag=CXX --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddAddWalsh.lo `test -f 'cudd/cuddAddWalsh.c' || echo './'`cudd/cuddAddWalsh.c
- --- cudd/cudd_libcudd_la-cuddAddIte.lo ---
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddAddIte.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddAddIte.o
- --- cudd/cudd_libcudd_la-cuddAddNeg.lo ---
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddAddNeg.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddAddNeg.o
- --- cudd/cudd_libcudd_la-cuddAddWalsh.lo ---
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddAddWalsh.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddAddWalsh.o
- --- cudd/cudd_libcudd_la-cuddAddInv.lo ---
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddAddInv.c -o cudd/cudd_libcudd_la-cuddAddInv.o >/dev/null 2>&1
- --- cudd/cudd_libcudd_la-cuddAddNeg.lo ---
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddAddNeg.c -o cudd/cudd_libcudd_la-cuddAddNeg.o >/dev/null 2>&1
- --- cudd/cudd_libcudd_la-cuddAndAbs.lo ---
- --- cudd/cudd_libcudd_la-cuddAddWalsh.lo ---
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddAddWalsh.c -o cudd/cudd_libcudd_la-cuddAddWalsh.o >/dev/null 2>&1
- --- cudd/cudd_libcudd_la-cuddAddIte.lo ---
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddAddIte.c -o cudd/cudd_libcudd_la-cuddAddIte.o >/dev/null 2>&1
- --- cudd/cudd_libcudd_la-cuddAndAbs.lo ---
- /bin/sh ./libtool --tag=CC --tag=CXX --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddAndAbs.lo `test -f 'cudd/cuddAndAbs.c' || echo './'`cudd/cuddAndAbs.c
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddAndAbs.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddAndAbs.o
- --- cudd/cudd_libcudd_la-cuddAnneal.lo ---
- /bin/sh ./libtool --tag=CC --tag=CXX --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddAnneal.lo `test -f 'cudd/cuddAnneal.c' || echo './'`cudd/cuddAnneal.c
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddAnneal.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddAnneal.o
- --- cudd/cudd_libcudd_la-cuddAndAbs.lo ---
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddAndAbs.c -o cudd/cudd_libcudd_la-cuddAndAbs.o >/dev/null 2>&1
- --- cudd/cudd_libcudd_la-cuddApa.lo ---
- /bin/sh ./libtool --tag=CC --tag=CXX --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddApa.lo `test -f 'cudd/cuddApa.c' || echo './'`cudd/cuddApa.c
- --- cudd/cudd_libcudd_la-cuddAPI.lo ---
- /bin/sh ./libtool --tag=CC --tag=CXX --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddAPI.lo `test -f 'cudd/cuddAPI.c' || echo './'`cudd/cuddAPI.c
- --- cudd/cudd_libcudd_la-cuddApa.lo ---
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddApa.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddApa.o
- --- cudd/cudd_libcudd_la-cuddAPI.lo ---
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddAPI.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddAPI.o
- --- cudd/cudd_libcudd_la-cuddApprox.lo ---
- /bin/sh ./libtool --tag=CC --tag=CXX --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddApprox.lo `test -f 'cudd/cuddApprox.c' || echo './'`cudd/cuddApprox.c
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddApprox.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddApprox.o
- --- cudd/cudd_libcudd_la-cuddAnneal.lo ---
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddAnneal.c -o cudd/cudd_libcudd_la-cuddAnneal.o >/dev/null 2>&1
- --- cudd/cudd_libcudd_la-cuddBddAbs.lo ---
- /bin/sh ./libtool --tag=CC --tag=CXX --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddBddAbs.lo `test -f 'cudd/cuddBddAbs.c' || echo './'`cudd/cuddBddAbs.c
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddBddAbs.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddBddAbs.o
- --- cudd/cudd_libcudd_la-cuddApa.lo ---
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddApa.c -o cudd/cudd_libcudd_la-cuddApa.o >/dev/null 2>&1
- --- cudd/cudd_libcudd_la-cuddBddAbs.lo ---
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddBddAbs.c -o cudd/cudd_libcudd_la-cuddBddAbs.o >/dev/null 2>&1
- --- cudd/cudd_libcudd_la-cuddApprox.lo ---
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddApprox.c -o cudd/cudd_libcudd_la-cuddApprox.o >/dev/null 2>&1
- --- cudd/cudd_libcudd_la-cuddAPI.lo ---
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddAPI.c -o cudd/cudd_libcudd_la-cuddAPI.o >/dev/null 2>&1
- --- cudd/cudd_libcudd_la-cuddBddCorr.lo ---
- /bin/sh ./libtool --tag=CC --tag=CXX --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddBddCorr.lo `test -f 'cudd/cuddBddCorr.c' || echo './'`cudd/cuddBddCorr.c
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddBddCorr.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddBddCorr.o
- --- cudd/cudd_libcudd_la-cuddBddIte.lo ---
- /bin/sh ./libtool --tag=CC --tag=CXX --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddBddIte.lo `test -f 'cudd/cuddBddIte.c' || echo './'`cudd/cuddBddIte.c
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddBddIte.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddBddIte.o
- --- cudd/cudd_libcudd_la-cuddBddCorr.lo ---
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddBddCorr.c -o cudd/cudd_libcudd_la-cuddBddCorr.o >/dev/null 2>&1
- --- cudd/cudd_libcudd_la-cuddBridge.lo ---
- /bin/sh ./libtool --tag=CC --tag=CXX --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddBridge.lo `test -f 'cudd/cuddBridge.c' || echo './'`cudd/cuddBridge.c
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddBridge.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddBridge.o
- --- cudd/cudd_libcudd_la-cuddCache.lo ---
- /bin/sh ./libtool --tag=CC --tag=CXX --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddCache.lo `test -f 'cudd/cuddCache.c' || echo './'`cudd/cuddCache.c
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddCache.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddCache.o
- --- cudd/cudd_libcudd_la-cuddBddIte.lo ---
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddBddIte.c -o cudd/cudd_libcudd_la-cuddBddIte.o >/dev/null 2>&1
- --- cudd/cudd_libcudd_la-cuddBridge.lo ---
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddBridge.c -o cudd/cudd_libcudd_la-cuddBridge.o >/dev/null 2>&1
- --- cudd/cudd_libcudd_la-cuddCheck.lo ---
- /bin/sh ./libtool --tag=CC --tag=CXX --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddCheck.lo `test -f 'cudd/cuddCheck.c' || echo './'`cudd/cuddCheck.c
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddCheck.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddCheck.o
- --- cudd/cudd_libcudd_la-cuddCache.lo ---
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddCache.c -o cudd/cudd_libcudd_la-cuddCache.o >/dev/null 2>&1
- --- cudd/cudd_libcudd_la-cuddClip.lo ---
- /bin/sh ./libtool --tag=CC --tag=CXX --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddClip.lo `test -f 'cudd/cuddClip.c' || echo './'`cudd/cuddClip.c
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddClip.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddClip.o
- --- cudd/cudd_libcudd_la-cuddCof.lo ---
- /bin/sh ./libtool --tag=CC --tag=CXX --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddCof.lo `test -f 'cudd/cuddCof.c' || echo './'`cudd/cuddCof.c
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddCof.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddCof.o
- --- cudd/cudd_libcudd_la-cuddClip.lo ---
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddClip.c -o cudd/cudd_libcudd_la-cuddClip.o >/dev/null 2>&1
- --- cudd/cudd_libcudd_la-cuddCompose.lo ---
- /bin/sh ./libtool --tag=CC --tag=CXX --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddCompose.lo `test -f 'cudd/cuddCompose.c' || echo './'`cudd/cuddCompose.c
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddCompose.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddCompose.o
- --- cudd/cudd_libcudd_la-cuddCof.lo ---
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddCof.c -o cudd/cudd_libcudd_la-cuddCof.o >/dev/null 2>&1
- --- cudd/cudd_libcudd_la-cuddCheck.lo ---
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddCheck.c -o cudd/cudd_libcudd_la-cuddCheck.o >/dev/null 2>&1
- --- cudd/cudd_libcudd_la-cuddDecomp.lo ---
- /bin/sh ./libtool --tag=CC --tag=CXX --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddDecomp.lo `test -f 'cudd/cuddDecomp.c' || echo './'`cudd/cuddDecomp.c
- --- cudd/cudd_libcudd_la-cuddEssent.lo ---
- /bin/sh ./libtool --tag=CC --tag=CXX --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddEssent.lo `test -f 'cudd/cuddEssent.c' || echo './'`cudd/cuddEssent.c
- --- cudd/cudd_libcudd_la-cuddDecomp.lo ---
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddDecomp.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddDecomp.o
- --- cudd/cudd_libcudd_la-cuddEssent.lo ---
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddEssent.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddEssent.o
- --- cudd/cudd_libcudd_la-cuddExact.lo ---
- /bin/sh ./libtool --tag=CC --tag=CXX --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddExact.lo `test -f 'cudd/cuddExact.c' || echo './'`cudd/cuddExact.c
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddExact.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddExact.o
- --- cudd/cudd_libcudd_la-cuddCompose.lo ---
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddCompose.c -o cudd/cudd_libcudd_la-cuddCompose.o >/dev/null 2>&1
- --- cudd/cudd_libcudd_la-cuddEssent.lo ---
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddEssent.c -o cudd/cudd_libcudd_la-cuddEssent.o >/dev/null 2>&1
- --- cudd/cudd_libcudd_la-cuddDecomp.lo ---
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddDecomp.c -o cudd/cudd_libcudd_la-cuddDecomp.o >/dev/null 2>&1
- --- cudd/cudd_libcudd_la-cuddExport.lo ---
- /bin/sh ./libtool --tag=CC --tag=CXX --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddExport.lo `test -f 'cudd/cuddExport.c' || echo './'`cudd/cuddExport.c
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddExport.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddExport.o
- --- cudd/cudd_libcudd_la-cuddExact.lo ---
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddExact.c -o cudd/cudd_libcudd_la-cuddExact.o >/dev/null 2>&1
- --- cudd/cudd_libcudd_la-cuddGenCof.lo ---
- /bin/sh ./libtool --tag=CC --tag=CXX --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddGenCof.lo `test -f 'cudd/cuddGenCof.c' || echo './'`cudd/cuddGenCof.c
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddGenCof.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddGenCof.o
- --- cudd/cudd_libcudd_la-cuddGenetic.lo ---
- /bin/sh ./libtool --tag=CC --tag=CXX --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddGenetic.lo `test -f 'cudd/cuddGenetic.c' || echo './'`cudd/cuddGenetic.c
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddGenetic.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddGenetic.o
- --- cudd/cudd_libcudd_la-cuddExport.lo ---
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddExport.c -o cudd/cudd_libcudd_la-cuddExport.o >/dev/null 2>&1
- --- cudd/cudd_libcudd_la-cuddGenetic.lo ---
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddGenetic.c -o cudd/cudd_libcudd_la-cuddGenetic.o >/dev/null 2>&1
- --- cudd/cudd_libcudd_la-cuddGroup.lo ---
- /bin/sh ./libtool --tag=CC --tag=CXX --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddGroup.lo `test -f 'cudd/cuddGroup.c' || echo './'`cudd/cuddGroup.c
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddGroup.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddGroup.o
- --- cudd/cudd_libcudd_la-cuddGenCof.lo ---
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddGenCof.c -o cudd/cudd_libcudd_la-cuddGenCof.o >/dev/null 2>&1
- --- cudd/cudd_libcudd_la-cuddHarwell.lo ---
- /bin/sh ./libtool --tag=CC --tag=CXX --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddHarwell.lo `test -f 'cudd/cuddHarwell.c' || echo './'`cudd/cuddHarwell.c
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddHarwell.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddHarwell.o
- --- cudd/cudd_libcudd_la-cuddInit.lo ---
- /bin/sh ./libtool --tag=CC --tag=CXX --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddInit.lo `test -f 'cudd/cuddInit.c' || echo './'`cudd/cuddInit.c
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddInit.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddInit.o
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddInit.c -o cudd/cudd_libcudd_la-cuddInit.o >/dev/null 2>&1
- --- cudd/cudd_libcudd_la-cuddHarwell.lo ---
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddHarwell.c -o cudd/cudd_libcudd_la-cuddHarwell.o >/dev/null 2>&1
- --- cudd/cudd_libcudd_la-cuddInteract.lo ---
- /bin/sh ./libtool --tag=CC --tag=CXX --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddInteract.lo `test -f 'cudd/cuddInteract.c' || echo './'`cudd/cuddInteract.c
- --- cudd/cudd_libcudd_la-cuddGroup.lo ---
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddGroup.c -o cudd/cudd_libcudd_la-cuddGroup.o >/dev/null 2>&1
- --- cudd/cudd_libcudd_la-cuddLCache.lo ---
- /bin/sh ./libtool --tag=CC --tag=CXX --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddLCache.lo `test -f 'cudd/cuddLCache.c' || echo './'`cudd/cuddLCache.c
- --- cudd/cudd_libcudd_la-cuddInteract.lo ---
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddInteract.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddInteract.o
- --- cudd/cudd_libcudd_la-cuddLCache.lo ---
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddLCache.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddLCache.o
- --- cudd/cudd_libcudd_la-cuddLevelQ.lo ---
- /bin/sh ./libtool --tag=CC --tag=CXX --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddLevelQ.lo `test -f 'cudd/cuddLevelQ.c' || echo './'`cudd/cuddLevelQ.c
- --- cudd/cudd_libcudd_la-cuddInteract.lo ---
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddInteract.c -o cudd/cudd_libcudd_la-cuddInteract.o >/dev/null 2>&1
- --- cudd/cudd_libcudd_la-cuddLevelQ.lo ---
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddLevelQ.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddLevelQ.o
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddLevelQ.c -o cudd/cudd_libcudd_la-cuddLevelQ.o >/dev/null 2>&1
- --- cudd/cudd_libcudd_la-cuddLinear.lo ---
- /bin/sh ./libtool --tag=CC --tag=CXX --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddLinear.lo `test -f 'cudd/cuddLinear.c' || echo './'`cudd/cuddLinear.c
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddLinear.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddLinear.o
- --- cudd/cudd_libcudd_la-cuddLCache.lo ---
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddLCache.c -o cudd/cudd_libcudd_la-cuddLCache.o >/dev/null 2>&1
- --- cudd/cudd_libcudd_la-cuddLiteral.lo ---
- /bin/sh ./libtool --tag=CC --tag=CXX --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddLiteral.lo `test -f 'cudd/cuddLiteral.c' || echo './'`cudd/cuddLiteral.c
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddLiteral.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddLiteral.o
- --- cudd/cudd_libcudd_la-cuddMatMult.lo ---
- /bin/sh ./libtool --tag=CC --tag=CXX --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddMatMult.lo `test -f 'cudd/cuddMatMult.c' || echo './'`cudd/cuddMatMult.c
- --- cudd/cudd_libcudd_la-cuddLiteral.lo ---
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddLiteral.c -o cudd/cudd_libcudd_la-cuddLiteral.o >/dev/null 2>&1
- --- cudd/cudd_libcudd_la-cuddMatMult.lo ---
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddMatMult.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddMatMult.o
- --- cudd/cudd_libcudd_la-cuddPriority.lo ---
- /bin/sh ./libtool --tag=CC --tag=CXX --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddPriority.lo `test -f 'cudd/cuddPriority.c' || echo './'`cudd/cuddPriority.c
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddPriority.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddPriority.o
- --- cudd/cudd_libcudd_la-cuddLinear.lo ---
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddLinear.c -o cudd/cudd_libcudd_la-cuddLinear.o >/dev/null 2>&1
- --- cudd/cudd_libcudd_la-cuddRead.lo ---
- /bin/sh ./libtool --tag=CC --tag=CXX --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddRead.lo `test -f 'cudd/cuddRead.c' || echo './'`cudd/cuddRead.c
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddRead.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddRead.o
- --- cudd/cudd_libcudd_la-cuddMatMult.lo ---
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddMatMult.c -o cudd/cudd_libcudd_la-cuddMatMult.o >/dev/null 2>&1
- --- cudd/cudd_libcudd_la-cuddRead.lo ---
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddRead.c -o cudd/cudd_libcudd_la-cuddRead.o >/dev/null 2>&1
- --- cudd/cudd_libcudd_la-cuddRef.lo ---
- /bin/sh ./libtool --tag=CC --tag=CXX --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddRef.lo `test -f 'cudd/cuddRef.c' || echo './'`cudd/cuddRef.c
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddRef.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddRef.o
- --- cudd/cudd_libcudd_la-cuddReorder.lo ---
- /bin/sh ./libtool --tag=CC --tag=CXX --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddReorder.lo `test -f 'cudd/cuddReorder.c' || echo './'`cudd/cuddReorder.c
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddReorder.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddReorder.o
- --- cudd/cudd_libcudd_la-cuddSat.lo ---
- /bin/sh ./libtool --tag=CC --tag=CXX --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddSat.lo `test -f 'cudd/cuddSat.c' || echo './'`cudd/cuddSat.c
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddSat.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddSat.o
- --- cudd/cudd_libcudd_la-cuddPriority.lo ---
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddPriority.c -o cudd/cudd_libcudd_la-cuddPriority.o >/dev/null 2>&1
- --- cudd/cudd_libcudd_la-cuddRef.lo ---
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddRef.c -o cudd/cudd_libcudd_la-cuddRef.o >/dev/null 2>&1
- --- cudd/cudd_libcudd_la-cuddSign.lo ---
- /bin/sh ./libtool --tag=CC --tag=CXX --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddSign.lo `test -f 'cudd/cuddSign.c' || echo './'`cudd/cuddSign.c
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddSign.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddSign.o
- --- cudd/cudd_libcudd_la-cuddSat.lo ---
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddSat.c -o cudd/cudd_libcudd_la-cuddSat.o >/dev/null 2>&1
- --- cudd/cudd_libcudd_la-cuddReorder.lo ---
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddReorder.c -o cudd/cudd_libcudd_la-cuddReorder.o >/dev/null 2>&1
- --- cudd/cudd_libcudd_la-cuddSign.lo ---
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddSign.c -o cudd/cudd_libcudd_la-cuddSign.o >/dev/null 2>&1
- --- cudd/cudd_libcudd_la-cuddSolve.lo ---
- /bin/sh ./libtool --tag=CC --tag=CXX --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddSolve.lo `test -f 'cudd/cuddSolve.c' || echo './'`cudd/cuddSolve.c
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddSolve.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddSolve.o
- --- cudd/cudd_libcudd_la-cuddSplit.lo ---
- /bin/sh ./libtool --tag=CC --tag=CXX --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddSplit.lo `test -f 'cudd/cuddSplit.c' || echo './'`cudd/cuddSplit.c
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddSplit.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddSplit.o
- --- cudd/cudd_libcudd_la-cuddSolve.lo ---
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddSolve.c -o cudd/cudd_libcudd_la-cuddSolve.o >/dev/null 2>&1
- --- cudd/cudd_libcudd_la-cuddSubsetHB.lo ---
- /bin/sh ./libtool --tag=CC --tag=CXX --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddSubsetHB.lo `test -f 'cudd/cuddSubsetHB.c' || echo './'`cudd/cuddSubsetHB.c
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddSubsetHB.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddSubsetHB.o
- --- cudd/cudd_libcudd_la-cuddSubsetSP.lo ---
- /bin/sh ./libtool --tag=CC --tag=CXX --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddSubsetSP.lo `test -f 'cudd/cuddSubsetSP.c' || echo './'`cudd/cuddSubsetSP.c
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddSubsetSP.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddSubsetSP.o
- --- cudd/cudd_libcudd_la-cuddSplit.lo ---
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddSplit.c -o cudd/cudd_libcudd_la-cuddSplit.o >/dev/null 2>&1
- --- cudd/cudd_libcudd_la-cuddSymmetry.lo ---
- /bin/sh ./libtool --tag=CC --tag=CXX --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddSymmetry.lo `test -f 'cudd/cuddSymmetry.c' || echo './'`cudd/cuddSymmetry.c
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddSymmetry.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddSymmetry.o
- --- cudd/cudd_libcudd_la-cuddTable.lo ---
- /bin/sh ./libtool --tag=CC --tag=CXX --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddTable.lo `test -f 'cudd/cuddTable.c' || echo './'`cudd/cuddTable.c
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddTable.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddTable.o
- --- cudd/cudd_libcudd_la-cuddSubsetSP.lo ---
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddSubsetSP.c -o cudd/cudd_libcudd_la-cuddSubsetSP.o >/dev/null 2>&1
- --- cudd/cudd_libcudd_la-cuddSubsetHB.lo ---
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddSubsetHB.c -o cudd/cudd_libcudd_la-cuddSubsetHB.o >/dev/null 2>&1
- --- cudd/cudd_libcudd_la-cuddUtil.lo ---
- /bin/sh ./libtool --tag=CC --tag=CXX --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddUtil.lo `test -f 'cudd/cuddUtil.c' || echo './'`cudd/cuddUtil.c
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddUtil.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddUtil.o
- --- cudd/cudd_libcudd_la-cuddWindow.lo ---
- /bin/sh ./libtool --tag=CC --tag=CXX --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddWindow.lo `test -f 'cudd/cuddWindow.c' || echo './'`cudd/cuddWindow.c
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddWindow.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddWindow.o
- --- cudd/cudd_libcudd_la-cuddSymmetry.lo ---
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddSymmetry.c -o cudd/cudd_libcudd_la-cuddSymmetry.o >/dev/null 2>&1
- --- cudd/cudd_libcudd_la-cuddWindow.lo ---
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddWindow.c -o cudd/cudd_libcudd_la-cuddWindow.o >/dev/null 2>&1
- --- cudd/cudd_libcudd_la-cuddTable.lo ---
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddTable.c -o cudd/cudd_libcudd_la-cuddTable.o >/dev/null 2>&1
- --- cudd/cudd_libcudd_la-cuddZddCount.lo ---
- /bin/sh ./libtool --tag=CC --tag=CXX --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddZddCount.lo `test -f 'cudd/cuddZddCount.c' || echo './'`cudd/cuddZddCount.c
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddZddCount.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddZddCount.o
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddZddCount.c -o cudd/cudd_libcudd_la-cuddZddCount.o >/dev/null 2>&1
- --- cudd/cudd_libcudd_la-cuddZddFuncs.lo ---
- /bin/sh ./libtool --tag=CC --tag=CXX --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddZddFuncs.lo `test -f 'cudd/cuddZddFuncs.c' || echo './'`cudd/cuddZddFuncs.c
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddZddFuncs.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddZddFuncs.o
- --- cudd/cudd_libcudd_la-cuddZddGroup.lo ---
- /bin/sh ./libtool --tag=CC --tag=CXX --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddZddGroup.lo `test -f 'cudd/cuddZddGroup.c' || echo './'`cudd/cuddZddGroup.c
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddZddGroup.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddZddGroup.o
- --- cudd/cudd_libcudd_la-cuddUtil.lo ---
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddUtil.c -o cudd/cudd_libcudd_la-cuddUtil.o >/dev/null 2>&1
- --- cudd/cudd_libcudd_la-cuddZddFuncs.lo ---
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddZddFuncs.c -o cudd/cudd_libcudd_la-cuddZddFuncs.o >/dev/null 2>&1
- --- cudd/cudd_libcudd_la-cuddZddGroup.lo ---
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddZddGroup.c -o cudd/cudd_libcudd_la-cuddZddGroup.o >/dev/null 2>&1
- --- cudd/cudd_libcudd_la-cuddZddIsop.lo ---
- /bin/sh ./libtool --tag=CC --tag=CXX --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddZddIsop.lo `test -f 'cudd/cuddZddIsop.c' || echo './'`cudd/cuddZddIsop.c
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddZddIsop.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddZddIsop.o
- --- cudd/cudd_libcudd_la-cuddZddLin.lo ---
- /bin/sh ./libtool --tag=CC --tag=CXX --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddZddLin.lo `test -f 'cudd/cuddZddLin.c' || echo './'`cudd/cuddZddLin.c
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddZddLin.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddZddLin.o
- --- cudd/cudd_libcudd_la-cuddZddIsop.lo ---
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddZddIsop.c -o cudd/cudd_libcudd_la-cuddZddIsop.o >/dev/null 2>&1
- --- cudd/cudd_libcudd_la-cuddZddMisc.lo ---
- /bin/sh ./libtool --tag=CC --tag=CXX --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddZddMisc.lo `test -f 'cudd/cuddZddMisc.c' || echo './'`cudd/cuddZddMisc.c
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddZddMisc.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddZddMisc.o
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddZddMisc.c -o cudd/cudd_libcudd_la-cuddZddMisc.o >/dev/null 2>&1
- --- cudd/cudd_libcudd_la-cuddZddLin.lo ---
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddZddLin.c -o cudd/cudd_libcudd_la-cuddZddLin.o >/dev/null 2>&1
- --- cudd/cudd_libcudd_la-cuddZddPort.lo ---
- /bin/sh ./libtool --tag=CC --tag=CXX --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddZddPort.lo `test -f 'cudd/cuddZddPort.c' || echo './'`cudd/cuddZddPort.c
- --- cudd/cudd_libcudd_la-cuddZddReord.lo ---
- /bin/sh ./libtool --tag=CC --tag=CXX --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddZddReord.lo `test -f 'cudd/cuddZddReord.c' || echo './'`cudd/cuddZddReord.c
- --- cudd/cudd_libcudd_la-cuddZddPort.lo ---
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddZddPort.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddZddPort.o
- --- cudd/cudd_libcudd_la-cuddZddReord.lo ---
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddZddReord.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddZddReord.o
- --- cudd/cudd_libcudd_la-cuddZddPort.lo ---
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddZddPort.c -o cudd/cudd_libcudd_la-cuddZddPort.o >/dev/null 2>&1
- --- cudd/cudd_libcudd_la-cuddZddSetop.lo ---
- /bin/sh ./libtool --tag=CC --tag=CXX --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddZddSetop.lo `test -f 'cudd/cuddZddSetop.c' || echo './'`cudd/cuddZddSetop.c
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddZddSetop.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddZddSetop.o
- --- cudd/cudd_libcudd_la-cuddZddSymm.lo ---
- /bin/sh ./libtool --tag=CC --tag=CXX --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddZddSymm.lo `test -f 'cudd/cuddZddSymm.c' || echo './'`cudd/cuddZddSymm.c
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddZddSymm.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddZddSymm.o
- --- cudd/cudd_libcudd_la-cuddZddUtil.lo ---
- /bin/sh ./libtool --tag=CC --tag=CXX --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cudd/cudd_libcudd_la-cuddZddUtil.lo `test -f 'cudd/cuddZddUtil.c' || echo './'`cudd/cuddZddUtil.c
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddZddUtil.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddZddUtil.o
- --- cudd/cudd_libcudd_la-cuddZddSetop.lo ---
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddZddSetop.c -o cudd/cudd_libcudd_la-cuddZddSetop.o >/dev/null 2>&1
- --- cudd/cudd_libcudd_la-cuddZddReord.lo ---
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddZddReord.c -o cudd/cudd_libcudd_la-cuddZddReord.o >/dev/null 2>&1
- --- mtr/cudd_libcudd_la-mtrBasic.lo ---
- /bin/sh ./libtool --tag=CC --tag=CXX --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o mtr/cudd_libcudd_la-mtrBasic.lo `test -f 'mtr/mtrBasic.c' || echo './'`mtr/mtrBasic.c
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c mtr/mtrBasic.c -fPIC -DPIC -o mtr/.libs/cudd_libcudd_la-mtrBasic.o
- --- cudd/cudd_libcudd_la-cuddZddSymm.lo ---
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddZddSymm.c -o cudd/cudd_libcudd_la-cuddZddSymm.o >/dev/null 2>&1
- --- cudd/cudd_libcudd_la-cuddZddUtil.lo ---
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cudd/cuddZddUtil.c -o cudd/cudd_libcudd_la-cuddZddUtil.o >/dev/null 2>&1
- --- mtr/cudd_libcudd_la-mtrBasic.lo ---
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c mtr/mtrBasic.c -o mtr/cudd_libcudd_la-mtrBasic.o >/dev/null 2>&1
- --- mtr/cudd_libcudd_la-mtrGroup.lo ---
- /bin/sh ./libtool --tag=CC --tag=CXX --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o mtr/cudd_libcudd_la-mtrGroup.lo `test -f 'mtr/mtrGroup.c' || echo './'`mtr/mtrGroup.c
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c mtr/mtrGroup.c -fPIC -DPIC -o mtr/.libs/cudd_libcudd_la-mtrGroup.o
- --- cplusplus/cudd_libcudd_la-cuddObj.lo ---
- /bin/sh ./libtool --tag=CXX --tag=CXX --mode=compile c++ -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c -o cplusplus/cudd_libcudd_la-cuddObj.lo `test -f 'cplusplus/cuddObj.cc' || echo './'`cplusplus/cuddObj.cc
- libtool: compile: c++ -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cplusplus/cuddObj.cc -fPIC -DPIC -o cplusplus/.libs/cudd_libcudd_la-cuddObj.o
- --- mtr/cudd_libcudd_la-mtrGroup.lo ---
- libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c mtr/mtrGroup.c -o mtr/cudd_libcudd_la-mtrGroup.o >/dev/null 2>&1
- --- cplusplus/cudd_libcudd_la-cuddObj.lo ---
- libtool: compile: c++ -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O3 -fPIC -c cplusplus/cuddObj.cc -o cplusplus/cudd_libcudd_la-cuddObj.o >/dev/null 2>&1
- --- cudd/libcudd.la ---
- /bin/sh ./libtool --tag=CXX --tag=CXX --mode=link c++ -O3 -fPIC -release 3.0.0 -version-info 0:0:0 -no-undefined -o cudd/libcudd.la -rpath /usr/local/lib cudd/cudd_libcudd_la-cuddAddAbs.lo cudd/cudd_libcudd_la-cuddAddApply.lo cudd/cudd_libcudd_la-cuddAddFind.lo cudd/cudd_libcudd_la-cuddAddInv.lo cudd/cudd_libcudd_la-cuddAddIte.lo cudd/cudd_libcudd_la-cuddAddNeg.lo cudd/cudd_libcudd_la-cuddAddWalsh.lo cudd/cudd_libcudd_la-cuddAndAbs.lo cudd/cudd_libcudd_la-cuddAnneal.lo cudd/cudd_libcudd_la-cuddApa.lo cudd/cudd_libcudd_la-cuddAPI.lo cudd/cudd_libcudd_la-cuddApprox.lo cudd/cudd_libcudd_la-cuddBddAbs.lo cudd/cudd_libcudd_la-cuddBddCorr.lo cudd/cudd_libcudd_la-cuddBddIte.lo cudd/cudd_libcudd_la-cuddBridge.lo cudd/cudd_libcudd_la-cuddCache.lo cudd/cudd_libcudd_la-cuddCheck.lo cudd/cudd_libcudd_la-cuddClip.lo cudd/cudd_libcudd_la-cuddCof.lo cudd/cudd_libcudd_la-cuddCompose.lo cudd/cudd_libcudd_la-cuddDecomp.lo cudd/cudd_libcudd_la-cuddEssent.lo cudd/cudd_libcudd_la-cuddExact.lo cudd/cudd_libcudd_la-cuddExport.lo cudd/cudd_libcudd_la-cuddGenCof.lo cudd/cudd_libcudd_la-cuddGenetic.lo cudd/cudd_libcudd_la-cuddGroup.lo cudd/cudd_libcudd_la-cuddHarwell.lo cudd/cudd_libcudd_la-cuddInit.lo cudd/cudd_libcudd_la-cuddInteract.lo cudd/cudd_libcudd_la-cuddLCache.lo cudd/cudd_libcudd_la-cuddLevelQ.lo cudd/cudd_libcudd_la-cuddLinear.lo cudd/cudd_libcudd_la-cuddLiteral.lo cudd/cudd_libcudd_la-cuddMatMult.lo cudd/cudd_libcudd_la-cuddPriority.lo cudd/cudd_libcudd_la-cuddRead.lo cudd/cudd_libcudd_la-cuddRef.lo cudd/cudd_libcudd_la-cuddReorder.lo cudd/cudd_libcudd_la-cuddSat.lo cudd/cudd_libcudd_la-cuddSign.lo cudd/cudd_libcudd_la-cuddSolve.lo cudd/cudd_libcudd_la-cuddSplit.lo cudd/cudd_libcudd_la-cuddSubsetHB.lo cudd/cudd_libcudd_la-cuddSubsetSP.lo cudd/cudd_libcudd_la-cuddSymmetry.lo cudd/cudd_libcudd_la-cuddTable.lo cudd/cudd_libcudd_la-cuddUtil.lo cudd/cudd_libcudd_la-cuddWindow.lo cudd/cudd_libcudd_la-cuddZddCount.lo cudd/cudd_libcudd_la-cuddZddFuncs.lo cudd/cudd_libcudd_la-cuddZddGroup.lo cudd/cudd_libcudd_la-cuddZddIsop.lo cudd/cudd_libcudd_la-cuddZddLin.lo cudd/cudd_libcudd_la-cuddZddMisc.lo cudd/cudd_libcudd_la-cuddZddPort.lo cudd/cudd_libcudd_la-cuddZddReord.lo cudd/cudd_libcudd_la-cuddZddSetop.lo cudd/cudd_libcudd_la-cuddZddSymm.lo cudd/cudd_libcudd_la-cuddZddUtil.lo util/cudd_libcudd_la-cpu_stats.lo util/cudd_libcudd_la-cpu_time.lo util/cudd_libcudd_la-cstringstream.lo util/cudd_libcudd_la-datalimit.lo util/cudd_libcudd_la-pathsearch.lo util/cudd_libcudd_la-pipefork.lo util/cudd_libcudd_la-prtime.lo util/cudd_libcudd_la-safe_mem.lo util/cudd_libcudd_la-strsav.lo util/cudd_libcudd_la-texpand.lo util/cudd_libcudd_la-ucbqsort.lo st/cudd_libcudd_la-st.lo epd/cudd_libcudd_la-epd.lo mtr/cudd_libcudd_la-mtrBasic.lo mtr/cudd_libcudd_la-mtrGroup.lo cplusplus/cudd_libcudd_la-cuddObj.lo -lm
- libtool: link: c++ -fPIC -DPIC -shared -nostdlib /usr/lib/crti.o /usr/lib/crtbeginS.o cudd/.libs/cudd_libcudd_la-cuddAddAbs.o cudd/.libs/cudd_libcudd_la-cuddAddApply.o cudd/.libs/cudd_libcudd_la-cuddAddFind.o cudd/.libs/cudd_libcudd_la-cuddAddInv.o cudd/.libs/cudd_libcudd_la-cuddAddIte.o cudd/.libs/cudd_libcudd_la-cuddAddNeg.o cudd/.libs/cudd_libcudd_la-cuddAddWalsh.o cudd/.libs/cudd_libcudd_la-cuddAndAbs.o cudd/.libs/cudd_libcudd_la-cuddAnneal.o cudd/.libs/cudd_libcudd_la-cuddApa.o cudd/.libs/cudd_libcudd_la-cuddAPI.o cudd/.libs/cudd_libcudd_la-cuddApprox.o cudd/.libs/cudd_libcudd_la-cuddBddAbs.o cudd/.libs/cudd_libcudd_la-cuddBddCorr.o cudd/.libs/cudd_libcudd_la-cuddBddIte.o cudd/.libs/cudd_libcudd_la-cuddBridge.o cudd/.libs/cudd_libcudd_la-cuddCache.o cudd/.libs/cudd_libcudd_la-cuddCheck.o cudd/.libs/cudd_libcudd_la-cuddClip.o cudd/.libs/cudd_libcudd_la-cuddCof.o cudd/.libs/cudd_libcudd_la-cuddCompose.o cudd/.libs/cudd_libcudd_la-cuddDecomp.o cudd/.libs/cudd_libcudd_la-cuddEssent.o cudd/.libs/cudd_libcudd_la-cuddExact.o cudd/.libs/cudd_libcudd_la-cuddExport.o cudd/.libs/cudd_libcudd_la-cuddGenCof.o cudd/.libs/cudd_libcudd_la-cuddGenetic.o cudd/.libs/cudd_libcudd_la-cuddGroup.o cudd/.libs/cudd_libcudd_la-cuddHarwell.o cudd/.libs/cudd_libcudd_la-cuddInit.o cudd/.libs/cudd_libcudd_la-cuddInteract.o cudd/.libs/cudd_libcudd_la-cuddLCache.o cudd/.libs/cudd_libcudd_la-cuddLevelQ.o cudd/.libs/cudd_libcudd_la-cuddLinear.o cudd/.libs/cudd_libcudd_la-cuddLiteral.o cudd/.libs/cudd_libcudd_la-cuddMatMult.o cudd/.libs/cudd_libcudd_la-cuddPriority.o cudd/.libs/cudd_libcudd_la-cuddRead.o cudd/.libs/cudd_libcudd_la-cuddRef.o cudd/.libs/cudd_libcudd_la-cuddReorder.o cudd/.libs/cudd_libcudd_la-cuddSat.o cudd/.libs/cudd_libcudd_la-cuddSign.o cudd/.libs/cudd_libcudd_la-cuddSolve.o cudd/.libs/cudd_libcudd_la-cuddSplit.o cudd/.libs/cudd_libcudd_la-cuddSubsetHB.o cudd/.libs/cudd_libcudd_la-cuddSubsetSP.o cudd/.libs/cudd_libcudd_la-cuddSymmetry.o cudd/.libs/cudd_libcudd_la-cuddTable.o cudd/.libs/cudd_libcudd_la-cuddUtil.o cudd/.libs/cudd_libcudd_la-cuddWindow.o cudd/.libs/cudd_libcudd_la-cuddZddCount.o cudd/.libs/cudd_libcudd_la-cuddZddFuncs.o cudd/.libs/cudd_libcudd_la-cuddZddGroup.o cudd/.libs/cudd_libcudd_la-cuddZddIsop.o cudd/.libs/cudd_libcudd_la-cuddZddLin.o cudd/.libs/cudd_libcudd_la-cuddZddMisc.o cudd/.libs/cudd_libcudd_la-cuddZddPort.o cudd/.libs/cudd_libcudd_la-cuddZddReord.o cudd/.libs/cudd_libcudd_la-cuddZddSetop.o cudd/.libs/cudd_libcudd_la-cuddZddSymm.o cudd/.libs/cudd_libcudd_la-cuddZddUtil.o util/.libs/cudd_libcudd_la-cpu_stats.o util/.libs/cudd_libcudd_la-cpu_time.o util/.libs/cudd_libcudd_la-cstringstream.o util/.libs/cudd_libcudd_la-datalimit.o util/.libs/cudd_libcudd_la-pathsearch.o util/.libs/cudd_libcudd_la-pipefork.o util/.libs/cudd_libcudd_la-prtime.o util/.libs/cudd_libcudd_la-safe_mem.o util/.libs/cudd_libcudd_la-strsav.o util/.libs/cudd_libcudd_la-texpand.o util/.libs/cudd_libcudd_la-ucbqsort.o st/.libs/cudd_libcudd_la-st.o epd/.libs/cudd_libcudd_la-epd.o mtr/.libs/cudd_libcudd_la-mtrBasic.o mtr/.libs/cudd_libcudd_la-mtrGroup.o cplusplus/.libs/cudd_libcudd_la-cuddObj.o -L/usr/lib -lc++ -lm -lc -lgcc -lgcc_s /usr/lib/crtendS.o /usr/lib/crtn.o -O3 -Wl,-soname -Wl,libcudd-3.0.0.so.0 -o cudd/.libs/libcudd-3.0.0.so.0
- libtool: link: (cd "cudd/.libs" && rm -f "libcudd-3.0.0.so" && ln -s "libcudd-3.0.0.so.0" "libcudd-3.0.0.so")
- libtool: link: (cd "cudd/.libs" && rm -f "libcudd.so" && ln -s "libcudd-3.0.0.so.0" "libcudd.so")
- libtool: link: ar cru cudd/.libs/libcudd.a cudd/cudd_libcudd_la-cuddAddAbs.o cudd/cudd_libcudd_la-cuddAddApply.o cudd/cudd_libcudd_la-cuddAddFind.o cudd/cudd_libcudd_la-cuddAddInv.o cudd/cudd_libcudd_la-cuddAddIte.o cudd/cudd_libcudd_la-cuddAddNeg.o cudd/cudd_libcudd_la-cuddAddWalsh.o cudd/cudd_libcudd_la-cuddAndAbs.o cudd/cudd_libcudd_la-cuddAnneal.o cudd/cudd_libcudd_la-cuddApa.o cudd/cudd_libcudd_la-cuddAPI.o cudd/cudd_libcudd_la-cuddApprox.o cudd/cudd_libcudd_la-cuddBddAbs.o cudd/cudd_libcudd_la-cuddBddCorr.o cudd/cudd_libcudd_la-cuddBddIte.o cudd/cudd_libcudd_la-cuddBridge.o cudd/cudd_libcudd_la-cuddCache.o cudd/cudd_libcudd_la-cuddCheck.o cudd/cudd_libcudd_la-cuddClip.o cudd/cudd_libcudd_la-cuddCof.o cudd/cudd_libcudd_la-cuddCompose.o cudd/cudd_libcudd_la-cuddDecomp.o cudd/cudd_libcudd_la-cuddEssent.o cudd/cudd_libcudd_la-cuddExact.o cudd/cudd_libcudd_la-cuddExport.o cudd/cudd_libcudd_la-cuddGenCof.o cudd/cudd_libcudd_la-cuddGenetic.o cudd/cudd_libcudd_la-cuddGroup.o cudd/cudd_libcudd_la-cuddHarwell.o cudd/cudd_libcudd_la-cuddInit.o cudd/cudd_libcudd_la-cuddInteract.o cudd/cudd_libcudd_la-cuddLCache.o cudd/cudd_libcudd_la-cuddLevelQ.o cudd/cudd_libcudd_la-cuddLinear.o cudd/cudd_libcudd_la-cuddLiteral.o cudd/cudd_libcudd_la-cuddMatMult.o cudd/cudd_libcudd_la-cuddPriority.o cudd/cudd_libcudd_la-cuddRead.o cudd/cudd_libcudd_la-cuddRef.o cudd/cudd_libcudd_la-cuddReorder.o cudd/cudd_libcudd_la-cuddSat.o cudd/cudd_libcudd_la-cuddSign.o cudd/cudd_libcudd_la-cuddSolve.o cudd/cudd_libcudd_la-cuddSplit.o cudd/cudd_libcudd_la-cuddSubsetHB.o cudd/cudd_libcudd_la-cuddSubsetSP.o cudd/cudd_libcudd_la-cuddSymmetry.o cudd/cudd_libcudd_la-cuddTable.o cudd/cudd_libcudd_la-cuddUtil.o cudd/cudd_libcudd_la-cuddWindow.o cudd/cudd_libcudd_la-cuddZddCount.o cudd/cudd_libcudd_la-cuddZddFuncs.o cudd/cudd_libcudd_la-cuddZddGroup.o cudd/cudd_libcudd_la-cuddZddIsop.o cudd/cudd_libcudd_la-cuddZddLin.o cudd/cudd_libcudd_la-cuddZddMisc.o cudd/cudd_libcudd_la-cuddZddPort.o cudd/cudd_libcudd_la-cuddZddReord.o cudd/cudd_libcudd_la-cuddZddSetop.o cudd/cudd_libcudd_la-cuddZddSymm.o cudd/cudd_libcudd_la-cuddZddUtil.o util/cudd_libcudd_la-cpu_stats.o util/cudd_libcudd_la-cpu_time.o util/cudd_libcudd_la-cstringstream.o util/cudd_libcudd_la-datalimit.o util/cudd_libcudd_la-pathsearch.o util/cudd_libcudd_la-pipefork.o util/cudd_libcudd_la-prtime.o util/cudd_libcudd_la-safe_mem.o util/cudd_libcudd_la-strsav.o util/cudd_libcudd_la-texpand.o util/cudd_libcudd_la-ucbqsort.o st/cudd_libcudd_la-st.o epd/cudd_libcudd_la-epd.o mtr/cudd_libcudd_la-mtrBasic.o mtr/cudd_libcudd_la-mtrGroup.o cplusplus/cudd_libcudd_la-cuddObj.o
- libtool: link: ranlib cudd/.libs/libcudd.a
- libtool: link: ( cd "cudd/.libs" && rm -f "libcudd.la" && ln -s "../libcudd.la" "libcudd.la" )
-> compiled cudd.0.1.3
-> installed cudd.0.1.3
Done.
2025-11-06 11:54.04 ---> saved as "e9b605b0069dfb958cea6e8d49f05bcf03d4ddfd30d0b7f32ebf7448a558ee2e"
Job succeeded
Home|Differences with the last checks|Previous runs