Building on doris.caelum.ci.dev
(from ocaml/opam:debian-unstable)
Unable to find image 'ocaml/opam:debian-unstable' locally
debian-unstable: Pulling from ocaml/opam
Digest: sha256:3b17f093210ab4b2143df87d6bcffe7c8b76edac3aeb5b6ef89c0a626b2cfad4
Status: Downloaded newer image for ocaml/opam:debian-unstable
2025-06-19 14:49.19 ---> using "0acd5aeaa8f7bc314514d9795d14a7f12ec72a6a5b11c5904350189734c6859b" 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/bin/opam-dev /usr/bin/opam"))
2025-06-19 14:49.19 ---> using "40df4fa4cdfc68a5fa7a326047e82a7adc5df52b8059d4a7b745bdd50aad56e7" 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 85c0ae7c3d35162c6ab6387e823d02d11bb7c212"))
2025-06-19 14:49.19 ---> using "b84eca2a00483a6b2c6df2ffab4d6d94655aed06a514ded91e77432786de54f2" from cache
/: (run (shell "rm -rf ~/.opam && opam init -ya --bare --config ~/.opamrc-sandbox ~/opam-repository"))
Configuring from /home/opam/.opamrc-sandbox, then /home/opam/.opamrc, and finally from built-in defaults.
Checking for available remotes: rsync and local, git.
- you won't be able to use mercurial repositories unless you install the hg command on your system.
- you won't be able to use darcs repositories unless you install the darcs command on your system.
<><> Fetching repository information ><><><><><><><><><><><><><><><><><><><><><>
[default] Initialised
User configuration:
~/.profile is already up-to-date.
[NOTE] Make sure that ~/.profile is well sourced in your ~/.bashrc.
2025-06-19 14:49.19 ---> using "cdf15c30c809691a58c51fa61dd7a0eeb40101a920b892cc27caec109d66fec4" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam switch create --repositories=default '4.12' '4.12.1'"))
<><> Installing new switch packages <><><><><><><><><><><><><><><><><><><><><><>
Switch invariant: ["ocaml-base-compiler" {= "4.12.1"}]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
-> retrieved ocaml-config.2 (cached)
-> installed base-bigarray.base
-> installed base-threads.base
-> installed base-unix.base
-> installed ocaml-options-vanilla.1
-> retrieved ocaml-base-compiler.4.12.1 (cached)
-> installed ocaml-base-compiler.4.12.1
-> installed ocaml-config.2
-> installed ocaml.4.12.1
Done.
# To update the current shell environment, run: eval $(opam env --switch=4.12)
2025-06-19 14:49.19 ---> using "a22b3cbadc45cc27920d7f9d748e27fe5df62eae743af41b48617fbe787d3d9b" from cache
/: (run (network host)
(shell "opam update --depexts"))
+ /usr/bin/sudo "apt-get" "update"
- Get:1 http://deb.debian.org/debian unstable InRelease [208 kB]
- Get:2 http://deb.debian.org/debian unstable/main amd64 Packages.diff/Index [63.6 kB]
- Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2025-06-18-2026.22-F-2025-06-14-1435.52.pdiff [159 kB]
- Get:3 http://deb.debian.org/debian unstable/main amd64 Packages T-2025-06-18-2026.22-F-2025-06-14-1435.52.pdiff [159 kB]
- Fetched 431 kB in 1s (339 kB/s)
- Reading package lists...
2025-06-19 14:49.19 ---> using "08ae14768c292f8c3d9776297cbb4ffe11cbb90ef0ae7cd0093ad748f74bf491" from cache
/: (run (cache (opam-archives (target /home/opam/.opam/download-cache)))
(network host)
(shell "opam remove -y cudd.0.1.1\
\nopam install -vy cudd.0.1.1\
\nres=$?\
\nif [ $res = 31 ]; then\
\n if opam show -f x-ci-accept-failures: cudd.0.1.1 | grep -q 'debian-unstable'; then\
\n echo \"This package failed and has been disabled for CI using the 'x-ci-accept-failures' field.\"\
\n exit 69\
\n fi\
\nfi \
\n\
\n\
\nexit $res"))
Nothing to do.
[NOTE] cudd.0.1.1 is not installed.
The following actions will be performed:
=== install 2 packages
- install cudd 0.1.1
- install dune 3.19.1 [required by cudd]
<><> Processing actions <><><><><><><><><><><><><><><><><><><><><><><><><><><><>
Processing 1/6: [cudd.0.1.1: http]
Processing 2/6: [cudd.0.1.1: http] [dune.3.19.1: extract]
Processing 2/6: [cudd.0.1.1: extract] [dune.3.19.1: extract]
-> retrieved dune.3.19.1 (cached)
Processing 2/6: [cudd.0.1.1: extract]
Processing 3/6: [cudd.0.1.1: extract] [dune: ocaml 255]
Processing 3/6: [cudd.0.1.1/cudd/cudd.tar.gz: dl] [dune: ocaml 255]
-> retrieved cudd.0.1.1 (https://git.frama-c.com/pub/codex/cudd.ml/-/archive/0.1.1/cudd.ml-0.1.1.tar.gz)
Processing 3/6: [dune: ocaml 255]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "ocaml" "boot/bootstrap.ml" "-j" "255" (CWD=/home/opam/.opam/4.12/.opam-switch/build/dune.3.19.1)
- ocamlc -output-complete-exe -w -24 -g -o .duneboot.exe -I boot unix.cma boot/libs.ml boot/duneboot.ml
- ./.duneboot.exe -j 255
-
Processing 3/6: [dune: ./_boot/dune.exe build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "./_boot/dune.exe" "build" "dune.install" "--release" "--profile" "dune-bootstrap" "-j" "255" (CWD=/home/opam/.opam/4.12/.opam-switch/build/dune.3.19.1)
-> compiled dune.3.19.1
-> installed dune.3.19.1
Processing 5/6: [cudd: dune build]
+ /home/opam/.opam/opam-init/hooks/sandbox.sh "build" "dune" "build" "-p" "cudd" "-j" "255" "@install" (CWD=/home/opam/.opam/4.12/.opam-switch/build/cudd.0.1.1)
- (cd _build/default/cudd/unpacked-cudd && /usr/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-linux-gnu
- checking host system type... x86_64-unknown-linux-gnu
- checking for a BSD-compatible install... /usr/bin/install -c
- checking whether build environment is sane... yes
- checking for a thread-safe mkdir -p... /usr/bin/mkdir -p
- checking for gawk... no
- checking for mawk... mawk
- checking whether make sets $(MAKE)... yes
- checking whether make supports nested variables... yes
- 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 whether gcc understands -c and -o together... yes
- checking for style of include used by make... GNU
- checking dependency style of gcc... none
- checking for g++... g++
- checking whether we are using the GNU C++ compiler... yes
- checking whether g++ accepts -g... yes
- checking dependency style of g++... 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 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 whether the shell understands some XSI constructs... yes
- checking whether the shell understands "+="... yes
- 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 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... @
- checking for strip... strip
- checking for ranlib... ranlib
- checking command to parse /usr/bin/nm -B output from gcc object... ok
- checking for sysroot... 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 whether -lc should be explicitly linked in... no
- 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... yes
- checking whether to build static libraries... yes
- checking how to run the C++ preprocessor... g++ -E
- checking for ld used by g++... /usr/bin/ld
- checking if the linker (/usr/bin/ld) is GNU ld... yes
- checking whether the g++ linker (/usr/bin/ld) supports shared libraries... yes
- checking for g++ option to produce PIC... -fPIC -DPIC
- checking if g++ PIC flag -fPIC -DPIC works... yes
- checking if g++ static flag -static works... yes
- checking if g++ supports -c -o file.o... yes
- checking if g++ supports -c -o file.o... (cached) yes
- checking whether the g++ linker (/usr/bin/ld) supports shared libraries... yes
- checking dynamic linker characteristics... (cached) GNU/Linux 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)... no
- 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-linux-gnu
- Host system : x86_64-unknown-linux-gnu
- Prefix : '/usr/local'
- Compilers : 'gcc -O3 -fPIC'
- : 'g++ -O3 -fPIC'
- Shared library : yes
- dddmp enabled : no
- obj enabled : yes
- --------------------------------------------------
- ./configure: line 7318: /usr/bin/file: No such file or directory
- 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/bin/bash -e -u -o pipefail -c 'make -j 4 cudd/libcudd.la')
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -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
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -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
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -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
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -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
- libtool: compile: gcc -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
- libtool: compile: gcc -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
- libtool: compile: gcc -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
- libtool: compile: gcc -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
- libtool: compile: gcc -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
- libtool: compile: gcc -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
- libtool: compile: gcc -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
- libtool: compile: gcc -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
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -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
- libtool: compile: gcc -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
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -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
- libtool: compile: gcc -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
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -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
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -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: gcc -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
- libtool: compile: gcc -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
- libtool: compile: gcc -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
- libtool: compile: gcc -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
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -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: gcc -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
- libtool: compile: gcc -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
- libtool: compile: gcc -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
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -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
- libtool: compile: gcc -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
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -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
- libtool: compile: gcc -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
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -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: gcc -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
- libtool: compile: gcc -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
- libtool: compile: gcc -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
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -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: gcc -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
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -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: gcc -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
- libtool: compile: gcc -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
- libtool: compile: gcc -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
- libtool: compile: gcc -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
- libtool: compile: gcc -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
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -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: gcc -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
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -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: gcc -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
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -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: gcc -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
- libtool: compile: gcc -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
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -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: gcc -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
- libtool: compile: gcc -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
- libtool: compile: gcc -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
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -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: gcc -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
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -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
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -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: gcc -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
- libtool: compile: gcc -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
- libtool: compile: gcc -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
- libtool: compile: gcc -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
- libtool: compile: gcc -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
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -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
- libtool: compile: gcc -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
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -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
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -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: gcc -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
- libtool: compile: gcc -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
- libtool: compile: gcc -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
- libtool: compile: gcc -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
- libtool: compile: gcc -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
- libtool: compile: gcc -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
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -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: gcc -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
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -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
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -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: gcc -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
- libtool: compile: gcc -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
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -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: gcc -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
- libtool: compile: gcc -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
- libtool: compile: gcc -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
- libtool: compile: gcc -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
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -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: gcc -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
- libtool: compile: gcc -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
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -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: gcc -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: gcc -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
- libtool: compile: gcc -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
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -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
- libtool: compile: gcc -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
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -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
- libtool: compile: gcc -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
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -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
- libtool: compile: gcc -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
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -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: gcc -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
- libtool: compile: gcc -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
- libtool: compile: gcc -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
- libtool: compile: gcc -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
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -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: gcc -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
- libtool: compile: gcc -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
- libtool: compile: gcc -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
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -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
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -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
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -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: gcc -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
- libtool: compile: gcc -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
- libtool: compile: gcc -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
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -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: gcc -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
- libtool: compile: gcc -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
- libtool: compile: gcc -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
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -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: gcc -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
- libtool: compile: gcc -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
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -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: gcc -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
- libtool: compile: gcc -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
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -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: gcc -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
- libtool: compile: gcc -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
- libtool: compile: gcc -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
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -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: gcc -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
- libtool: compile: gcc -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
- libtool: compile: gcc -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
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -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: gcc -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
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -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: gcc -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
- libtool: compile: gcc -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
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -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
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -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: gcc -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
- libtool: compile: gcc -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
- libtool: compile: gcc -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
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -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: gcc -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
- libtool: compile: gcc -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
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -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: gcc -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
- libtool: compile: gcc -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
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -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: gcc -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
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -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: gcc -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: gcc -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
- libtool: compile: gcc -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
- libtool: compile: gcc -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
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -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: gcc -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
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -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: gcc -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
- libtool: compile: gcc -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
- libtool: compile: gcc -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
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -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: gcc -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
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -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: gcc -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
- libtool: compile: gcc -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
- libtool: compile: gcc -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
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -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: gcc -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
- libtool: compile: gcc -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
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -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
- libtool: compile: gcc -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
- libtool: compile: gcc -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
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -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
- libtool: compile: gcc -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
- libtool: compile: gcc -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
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -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: gcc -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
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -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: gcc -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
- libtool: compile: gcc -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
- libtool: compile: gcc -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
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -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: gcc -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
- libtool: compile: gcc -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
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -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
- libtool: compile: gcc -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
- libtool: compile: gcc -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
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -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
- libtool: compile: gcc -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
- libtool: compile: gcc -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
- libtool: compile: gcc -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
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -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
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -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
- libtool: compile: gcc -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
- libtool: compile: gcc -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: gcc -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
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -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
- libtool: compile: gcc -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
- libtool: compile: gcc -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
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -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
- libtool: compile: gcc -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
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -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: gcc -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
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -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
- libtool: compile: gcc -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
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -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
- libtool: compile: gcc -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
- libtool: compile: gcc -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
- libtool: compile: gcc -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
- libtool: compile: gcc -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
- libtool: compile: gcc -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
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -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
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -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
- libtool: compile: gcc -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
- libtool: compile: gcc -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
- libtool: compile: gcc -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
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -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
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -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
- libtool: compile: gcc -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
- libtool: compile: gcc -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
- libtool: compile: gcc -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
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -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: gcc -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
- libtool: compile: gcc -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
- libtool: compile: gcc -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
- /bin/bash ./libtool --tag=CC --tag=CXX --mode=compile gcc -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: gcc -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
- libtool: compile: gcc -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
- libtool: compile: gcc -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
- /bin/bash ./libtool --tag=CXX --tag=CXX --mode=compile g++ -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: g++ -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
- libtool: compile: gcc -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
- libtool: compile: g++ -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
- /bin/bash ./libtool --tag=CXX --tag=CXX --mode=link g++ -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: g++ -fPIC -DPIC -shared -nostdlib /usr/lib/gcc/x86_64-linux-gnu/14/../../../x86_64-linux-gnu/crti.o /usr/lib/gcc/x86_64-linux-gnu/14/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/gcc/x86_64-linux-gnu/14 -L/usr/lib/gcc/x86_64-linux-gnu/14/../../../x86_64-linux-gnu -L/usr/lib/gcc/x86_64-linux-gnu/14/../../../../lib -L/lib/x86_64-linux-gnu -L/lib/../lib -L/usr/lib/x86_64-linux-gnu -L/usr/lib/../lib -L/usr/lib/gcc/x86_64-linux-gnu/14/../../.. -lstdc++ -lm -lc -lgcc_s /usr/lib/gcc/x86_64-linux-gnu/14/crtendS.o /usr/lib/gcc/x86_64-linux-gnu/14/../../../x86_64-linux-gnu/crtn.o -O3 -Wl,-soname -Wl,libcudd-3.0.0.so.0 -o cudd/.libs/libcudd-3.0.0.so.0.0.0
- libtool: link: (cd "cudd/.libs" && rm -f "libcudd-3.0.0.so.0" && ln -s "libcudd-3.0.0.so.0.0.0" "libcudd-3.0.0.so.0")
- libtool: link: (cd "cudd/.libs" && rm -f "libcudd.so" && ln -s "libcudd-3.0.0.so.0.0.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" )
- In file included from /usr/include/assert.h:35,
- from util/util.h:70,
- from util/cpu_stats.c:66:
- /usr/include/features.h:199:3: warning: #warning "_BSD_SOURCE and _SVID_SOURCE are deprecated, use _DEFAULT_SOURCE" [-Wcpp]
- 199 | # warning "_BSD_SOURCE and _SVID_SOURCE are deprecated, use _DEFAULT_SOURCE"
- | ^~~~~~~
- ar: `u' modifier ignored since `D' is the default (see `U')
-> compiled cudd.0.1.1
-> installed cudd.0.1.1
Done.
# To update the current shell environment, run: eval $(opam env)
2025-06-19 14:50.17 ---> saved as "60160f834ab03f98b1de2dc12c77ebdebc56413f0f741c3b0adea95b4202aa76"
Job succeeded
Home|Differences with the last checks|Previous runs