------------------------------------------------------------------------------- -- Phase: setup ------------------------------------------------------------------------------- Installing /packages/All/indexinfo-0.3.1.txz Installing /packages/All/gettext-runtime-0.20.2.txz Installing /packages/All/gmake-4.3.txz SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: check-sanity ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: pkg-depends ------------------------------------------------------------------------------- ===> cudd-3.0.0 depends on file: /usr/local/sbin/pkg - found SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: fetch-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: fetch ------------------------------------------------------------------------------- ===> cudd-3.0.0 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by cudd-3.0.0 for building SUCCEEDED 00:00:01 ------------------------------------------------------------------------------- -- Phase: checksum ------------------------------------------------------------------------------- ===> cudd-3.0.0 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by cudd-3.0.0 for building => SHA256 Checksum OK for cudd-3.0.0.tar.gz. SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: extract-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: extract ------------------------------------------------------------------------------- ===> cudd-3.0.0 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by cudd-3.0.0 for building ===> Extracting for cudd-3.0.0 => SHA256 Checksum OK for cudd-3.0.0.tar.gz. Extracted Memory Use: 6.12M SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: patch-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: patch ------------------------------------------------------------------------------- ===> Patching for cudd-3.0.0 SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: build-depends ------------------------------------------------------------------------------- ===> cudd-3.0.0 depends on package: gmake>=4.3 - found SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: lib-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: configure ------------------------------------------------------------------------------- ===> cudd-3.0.0 depends on package: gmake>=4.3 - found ===> Configuring for cudd-3.0.0 configure: loading site script /xports/Templates/config.site checking build system type... x86_64-portbld-dragonfly5.9 checking host system type... x86_64-portbld-dragonfly5.9 checking for a BSD-compatible install... /usr/bin/install -c checking whether build environment is sane... yes checking for a thread-safe mkdir -p... (cached) /bin/mkdir -p checking for gawk... (cached) /usr/bin/awk checking whether gmake sets $(MAKE)... yes checking whether gmake supports nested variables... yes checking for gcc... 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 gmake... GNU checking dependency style of cc... gcc3 checking whether we are using the GNU C++ compiler... yes checking whether c++ accepts -g... yes checking dependency style of c++... gcc3 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... (cached) /usr/bin/sed checking for grep that handles long lines and -e... (cached) /usr/bin/grep checking for egrep... (cached) /usr/bin/egrep checking for fgrep... (cached) /usr/bin/fgrep 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 -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... (cached) 262144 checking whether the shell understands some XSI constructs... yes checking whether the shell understands "+="... no checking how to convert x86_64-portbld-dragonfly5.9 file names to x86_64-portbld-dragonfly5.9 format... func_convert_file_noop checking how to convert x86_64-portbld-dragonfly5.9 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 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... cpp checking for ANSI C header files... (cached) yes checking for sys/types.h... (cached) yes checking for sys/stat.h... (cached) yes checking for stdlib.h... (cached) yes checking for string.h... (cached) yes checking for memory.h... (cached) yes checking for strings.h... (cached) yes checking for inttypes.h... (cached) yes checking for stdint.h... (cached) yes checking for unistd.h... (cached) yes checking for dlfcn.h... (cached) yes checking for objdir... .libs checking if cc supports -fno-rtti -fno-exceptions... no 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... dragonfly5.9 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... 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... dragonfly5.9 ld.so checking how to hardcode library paths into programs... immediate checking whether byte ordering is bigendian... no checking for doxygen... no configure: WARNING: Doxygen not found - continuing without Doxygen support checking for pdflatex... no configure: WARNING: pdflatex not found - unable to compile manual to PDF checking for makeindex... no configure: WARNING: makeindex not found - unable to compile manual to PDF 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 for float.h... (cached) yes checking for inttypes.h... (cached) yes checking for limits.h... (cached) yes checking for stddef.h... (cached) 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 for math.h... (cached) yes checking for unistd.h... (cached) yes checking for sys/time.h... (cached) yes checking for sys/times.h... (cached) yes checking for sys/resource.h... (cached) yes checking for sys/wait.h... (cached) yes checking for working C++ thread header... yes checking for stdbool.h that conforms to C99... (cached) yes checking for _Bool... (cached) yes checking for inline... inline checking for size_t... (cached) yes checking for uint16_t... (cached) yes checking for uint32_t... (cached) yes checking for ptrdiff_t... (cached) 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... (cached) yes checking for strstr... (cached) yes checking for powl... yes checking for gethostname... (cached) yes checking for getrlimit... (cached) yes checking for getrusage... (cached) yes checking for sysconf... (cached) 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-portbld-dragonfly5.9 Host system : x86_64-portbld-dragonfly5.9 Prefix : '/usr/local' Compilers : 'cc -pipe -O2 -fno-strict-aliasing ' : 'c++ -pipe -O2 -fno-strict-aliasing ' Shared library : yes dddmp enabled : no obj enabled : no -------------------------------------------------- SUCCEEDED 00:00:11 ------------------------------------------------------------------------------- -- Phase: build ------------------------------------------------------------------------------- ===> Building for cudd-3.0.0 gmake[1]: Entering directory '/construction/math/cudd/cudd-3.0.0' gmake all-am gmake[2]: Entering directory '/construction/math/cudd/cudd-3.0.0' /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddAddAbs.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddAddAbs.Tpo -c -o cudd/cudd_libcudd_la-cuddAddAbs.lo `test -f 'cudd/cuddAddAbs.c' || echo './'`cudd/cuddAddAbs.c /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddAddApply.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddAddApply.Tpo -c -o cudd/cudd_libcudd_la-cuddAddApply.lo `test -f 'cudd/cuddAddApply.c' || echo './'`cudd/cuddAddApply.c /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddAddFind.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddAddFind.Tpo -c -o cudd/cudd_libcudd_la-cuddAddFind.lo `test -f 'cudd/cuddAddFind.c' || echo './'`cudd/cuddAddFind.c /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddAddInv.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddAddInv.Tpo -c -o cudd/cudd_libcudd_la-cuddAddInv.lo `test -f 'cudd/cuddAddInv.c' || echo './'`cudd/cuddAddInv.c /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddAddIte.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddAddIte.Tpo -c -o cudd/cudd_libcudd_la-cuddAddIte.lo `test -f 'cudd/cuddAddIte.c' || echo './'`cudd/cuddAddIte.c /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddAddNeg.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddAddNeg.Tpo -c -o cudd/cudd_libcudd_la-cuddAddNeg.lo `test -f 'cudd/cuddAddNeg.c' || echo './'`cudd/cuddAddNeg.c /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddAddWalsh.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddAddWalsh.Tpo -c -o cudd/cudd_libcudd_la-cuddAddWalsh.lo `test -f 'cudd/cuddAddWalsh.c' || echo './'`cudd/cuddAddWalsh.c /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddAndAbs.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddAndAbs.Tpo -c -o cudd/cudd_libcudd_la-cuddAndAbs.lo `test -f 'cudd/cuddAndAbs.c' || echo './'`cudd/cuddAndAbs.c /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddAnneal.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddAnneal.Tpo -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 -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddAddIte.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddAddIte.Tpo -c cudd/cuddAddIte.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddAddIte.o libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddAddAbs.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddAddAbs.Tpo -c cudd/cuddAddAbs.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddAddAbs.o libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddAndAbs.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddAndAbs.Tpo -c cudd/cuddAndAbs.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddAndAbs.o libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddAddFind.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddAddFind.Tpo -c cudd/cuddAddFind.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddAddFind.o libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddAddInv.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddAddInv.Tpo -c cudd/cuddAddInv.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddAddInv.o libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddAddWalsh.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddAddWalsh.Tpo -c cudd/cuddAddWalsh.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddAddWalsh.o libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddAddApply.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddAddApply.Tpo -c cudd/cuddAddApply.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddAddApply.o /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddApa.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddApa.Tpo -c -o cudd/cudd_libcudd_la-cuddApa.lo `test -f 'cudd/cuddApa.c' || echo './'`cudd/cuddApa.c libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddAddNeg.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddAddNeg.Tpo -c cudd/cuddAddNeg.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddAddNeg.o libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddAnneal.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddAnneal.Tpo -c cudd/cuddAnneal.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddAnneal.o libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddApa.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddApa.Tpo -c cudd/cuddApa.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddApa.o libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddAddNeg.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddAddNeg.Tpo -c cudd/cuddAddNeg.c -o cudd/cudd_libcudd_la-cuddAddNeg.o >/dev/null 2>&1 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddAddFind.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddAddFind.Tpo -c cudd/cuddAddFind.c -o cudd/cudd_libcudd_la-cuddAddFind.o >/dev/null 2>&1 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddAddInv.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddAddInv.Tpo -c cudd/cuddAddInv.c -o cudd/cudd_libcudd_la-cuddAddInv.o >/dev/null 2>&1 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddAddApply.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddAddApply.Tpo -c cudd/cuddAddApply.c -o cudd/cudd_libcudd_la-cuddAddApply.o >/dev/null 2>&1 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddAddIte.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddAddIte.Tpo -c cudd/cuddAddIte.c -o cudd/cudd_libcudd_la-cuddAddIte.o >/dev/null 2>&1 mv -f cudd/.deps/cudd_libcudd_la-cuddAddNeg.Tpo cudd/.deps/cudd_libcudd_la-cuddAddNeg.Plo mv -f cudd/.deps/cudd_libcudd_la-cuddAddInv.Tpo cudd/.deps/cudd_libcudd_la-cuddAddInv.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddAPI.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddAPI.Tpo -c -o cudd/cudd_libcudd_la-cuddAPI.lo `test -f 'cudd/cuddAPI.c' || echo './'`cudd/cuddAPI.c /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddApprox.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddApprox.Tpo -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 -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddAPI.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddAPI.Tpo -c cudd/cuddAPI.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddAPI.o libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddApprox.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddApprox.Tpo -c cudd/cuddApprox.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddApprox.o libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddAnneal.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddAnneal.Tpo -c cudd/cuddAnneal.c -o cudd/cudd_libcudd_la-cuddAnneal.o >/dev/null 2>&1 mv -f cudd/.deps/cudd_libcudd_la-cuddAddFind.Tpo cudd/.deps/cudd_libcudd_la-cuddAddFind.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddBddAbs.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddBddAbs.Tpo -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 -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddBddAbs.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddBddAbs.Tpo -c cudd/cuddBddAbs.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddBddAbs.o libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddAndAbs.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddAndAbs.Tpo -c cudd/cuddAndAbs.c -o cudd/cudd_libcudd_la-cuddAndAbs.o >/dev/null 2>&1 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddApa.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddApa.Tpo -c cudd/cuddApa.c -o cudd/cudd_libcudd_la-cuddApa.o >/dev/null 2>&1 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddAddWalsh.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddAddWalsh.Tpo -c cudd/cuddAddWalsh.c -o cudd/cudd_libcudd_la-cuddAddWalsh.o >/dev/null 2>&1 mv -f cudd/.deps/cudd_libcudd_la-cuddAndAbs.Tpo cudd/.deps/cudd_libcudd_la-cuddAndAbs.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddBddCorr.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddBddCorr.Tpo -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 -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddBddCorr.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddBddCorr.Tpo -c cudd/cuddBddCorr.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddBddCorr.o libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddAddAbs.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddAddAbs.Tpo -c cudd/cuddAddAbs.c -o cudd/cudd_libcudd_la-cuddAddAbs.o >/dev/null 2>&1 mv -f cudd/.deps/cudd_libcudd_la-cuddAddApply.Tpo cudd/.deps/cudd_libcudd_la-cuddAddApply.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddBddIte.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddBddIte.Tpo -c -o cudd/cudd_libcudd_la-cuddBddIte.lo `test -f 'cudd/cuddBddIte.c' || echo './'`cudd/cuddBddIte.c mv -f cudd/.deps/cudd_libcudd_la-cuddAnneal.Tpo cudd/.deps/cudd_libcudd_la-cuddAnneal.Plo mv -f cudd/.deps/cudd_libcudd_la-cuddAddIte.Tpo cudd/.deps/cudd_libcudd_la-cuddAddIte.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddBridge.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddBridge.Tpo -c -o cudd/cudd_libcudd_la-cuddBridge.lo `test -f 'cudd/cuddBridge.c' || echo './'`cudd/cuddBridge.c /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddCache.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddCache.Tpo -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 -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddBridge.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddBridge.Tpo -c cudd/cuddBridge.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddBridge.o libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddCache.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddCache.Tpo -c cudd/cuddCache.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddCache.o libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddBddIte.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddBddIte.Tpo -c cudd/cuddBddIte.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddBddIte.o mv -f cudd/.deps/cudd_libcudd_la-cuddAddWalsh.Tpo cudd/.deps/cudd_libcudd_la-cuddAddWalsh.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddCheck.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddCheck.Tpo -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 -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddBddAbs.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddBddAbs.Tpo -c cudd/cuddBddAbs.c -o cudd/cudd_libcudd_la-cuddBddAbs.o >/dev/null 2>&1 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddCheck.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddCheck.Tpo -c cudd/cuddCheck.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddCheck.o mv -f cudd/.deps/cudd_libcudd_la-cuddAddAbs.Tpo cudd/.deps/cudd_libcudd_la-cuddAddAbs.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddClip.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddClip.Tpo -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 -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddBddCorr.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddBddCorr.Tpo -c cudd/cuddBddCorr.c -o cudd/cudd_libcudd_la-cuddBddCorr.o >/dev/null 2>&1 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddClip.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddClip.Tpo -c cudd/cuddClip.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddClip.o mv -f cudd/.deps/cudd_libcudd_la-cuddApa.Tpo cudd/.deps/cudd_libcudd_la-cuddApa.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddCof.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddCof.Tpo -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 -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddCof.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddCof.Tpo -c cudd/cuddCof.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddCof.o libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddBridge.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddBridge.Tpo -c cudd/cuddBridge.c -o cudd/cudd_libcudd_la-cuddBridge.o >/dev/null 2>&1 mv -f cudd/.deps/cudd_libcudd_la-cuddBddAbs.Tpo cudd/.deps/cudd_libcudd_la-cuddBddAbs.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddCompose.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddCompose.Tpo -c -o cudd/cudd_libcudd_la-cuddCompose.lo `test -f 'cudd/cuddCompose.c' || echo './'`cudd/cuddCompose.c mv -f cudd/.deps/cudd_libcudd_la-cuddBddCorr.Tpo cudd/.deps/cudd_libcudd_la-cuddBddCorr.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddDecomp.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddDecomp.Tpo -c -o cudd/cudd_libcudd_la-cuddDecomp.lo `test -f 'cudd/cuddDecomp.c' || echo './'`cudd/cuddDecomp.c libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddCompose.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddCompose.Tpo -c cudd/cuddCompose.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddCompose.o libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddDecomp.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddDecomp.Tpo -c cudd/cuddDecomp.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddDecomp.o libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddClip.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddClip.Tpo -c cudd/cuddClip.c -o cudd/cudd_libcudd_la-cuddClip.o >/dev/null 2>&1 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddCache.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddCache.Tpo -c cudd/cuddCache.c -o cudd/cudd_libcudd_la-cuddCache.o >/dev/null 2>&1 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddCof.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddCof.Tpo -c cudd/cuddCof.c -o cudd/cudd_libcudd_la-cuddCof.o >/dev/null 2>&1 mv -f cudd/.deps/cudd_libcudd_la-cuddCache.Tpo cudd/.deps/cudd_libcudd_la-cuddCache.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddEssent.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddEssent.Tpo -c -o cudd/cudd_libcudd_la-cuddEssent.lo `test -f 'cudd/cuddEssent.c' || echo './'`cudd/cuddEssent.c libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddEssent.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddEssent.Tpo -c cudd/cuddEssent.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddEssent.o mv -f cudd/.deps/cudd_libcudd_la-cuddCof.Tpo cudd/.deps/cudd_libcudd_la-cuddCof.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddExact.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddExact.Tpo -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 -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddExact.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddExact.Tpo -c cudd/cuddExact.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddExact.o libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddBddIte.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddBddIte.Tpo -c cudd/cuddBddIte.c -o cudd/cudd_libcudd_la-cuddBddIte.o >/dev/null 2>&1 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddApprox.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddApprox.Tpo -c cudd/cuddApprox.c -o cudd/cudd_libcudd_la-cuddApprox.o >/dev/null 2>&1 mv -f cudd/.deps/cudd_libcudd_la-cuddClip.Tpo cudd/.deps/cudd_libcudd_la-cuddClip.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddExport.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddExport.Tpo -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 -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddExport.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddExport.Tpo -c cudd/cuddExport.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddExport.o mv -f cudd/.deps/cudd_libcudd_la-cuddBridge.Tpo cudd/.deps/cudd_libcudd_la-cuddBridge.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddGenCof.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddGenCof.Tpo -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 -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddGenCof.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddGenCof.Tpo -c cudd/cuddGenCof.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddGenCof.o libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddExact.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddExact.Tpo -c cudd/cuddExact.c -o cudd/cudd_libcudd_la-cuddExact.o >/dev/null 2>&1 mv -f cudd/.deps/cudd_libcudd_la-cuddBddIte.Tpo cudd/.deps/cudd_libcudd_la-cuddBddIte.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddGenetic.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddGenetic.Tpo -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 -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddDecomp.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddDecomp.Tpo -c cudd/cuddDecomp.c -o cudd/cudd_libcudd_la-cuddDecomp.o >/dev/null 2>&1 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddGenetic.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddGenetic.Tpo -c cudd/cuddGenetic.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddGenetic.o libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddCheck.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddCheck.Tpo -c cudd/cuddCheck.c -o cudd/cudd_libcudd_la-cuddCheck.o >/dev/null 2>&1 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddAPI.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddAPI.Tpo -c cudd/cuddAPI.c -o cudd/cudd_libcudd_la-cuddAPI.o >/dev/null 2>&1 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddCompose.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddCompose.Tpo -c cudd/cuddCompose.c -o cudd/cudd_libcudd_la-cuddCompose.o >/dev/null 2>&1 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddEssent.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddEssent.Tpo -c cudd/cuddEssent.c -o cudd/cudd_libcudd_la-cuddEssent.o >/dev/null 2>&1 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddGenCof.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddGenCof.Tpo -c cudd/cuddGenCof.c -o cudd/cudd_libcudd_la-cuddGenCof.o >/dev/null 2>&1 mv -f cudd/.deps/cudd_libcudd_la-cuddApprox.Tpo cudd/.deps/cudd_libcudd_la-cuddApprox.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddGroup.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddGroup.Tpo -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 -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddGroup.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddGroup.Tpo -c cudd/cuddGroup.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddGroup.o mv -f cudd/.deps/cudd_libcudd_la-cuddExact.Tpo cudd/.deps/cudd_libcudd_la-cuddExact.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddHarwell.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddHarwell.Tpo -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 -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddHarwell.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddHarwell.Tpo -c cudd/cuddHarwell.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddHarwell.o mv -f cudd/.deps/cudd_libcudd_la-cuddCheck.Tpo cudd/.deps/cudd_libcudd_la-cuddCheck.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddInit.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddInit.Tpo -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 -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddExport.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddExport.Tpo -c cudd/cuddExport.c -o cudd/cudd_libcudd_la-cuddExport.o >/dev/null 2>&1 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddInit.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddInit.Tpo -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 -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddGenetic.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddGenetic.Tpo -c cudd/cuddGenetic.c -o cudd/cudd_libcudd_la-cuddGenetic.o >/dev/null 2>&1 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddInit.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddInit.Tpo -c cudd/cuddInit.c -o cudd/cudd_libcudd_la-cuddInit.o >/dev/null 2>&1 mv -f cudd/.deps/cudd_libcudd_la-cuddInit.Tpo cudd/.deps/cudd_libcudd_la-cuddInit.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddInteract.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddInteract.Tpo -c -o cudd/cudd_libcudd_la-cuddInteract.lo `test -f 'cudd/cuddInteract.c' || echo './'`cudd/cuddInteract.c libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddInteract.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddInteract.Tpo -c cudd/cuddInteract.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddInteract.o mv -f cudd/.deps/cudd_libcudd_la-cuddDecomp.Tpo cudd/.deps/cudd_libcudd_la-cuddDecomp.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddLCache.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddLCache.Tpo -c -o cudd/cudd_libcudd_la-cuddLCache.lo `test -f 'cudd/cuddLCache.c' || echo './'`cudd/cuddLCache.c libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddLCache.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddLCache.Tpo -c cudd/cuddLCache.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddLCache.o libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddHarwell.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddHarwell.Tpo -c cudd/cuddHarwell.c -o cudd/cudd_libcudd_la-cuddHarwell.o >/dev/null 2>&1 mv -f cudd/.deps/cudd_libcudd_la-cuddAPI.Tpo cudd/.deps/cudd_libcudd_la-cuddAPI.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddLevelQ.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddLevelQ.Tpo -c -o cudd/cudd_libcudd_la-cuddLevelQ.lo `test -f 'cudd/cuddLevelQ.c' || echo './'`cudd/cuddLevelQ.c libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddLevelQ.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddLevelQ.Tpo -c cudd/cuddLevelQ.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddLevelQ.o mv -f cudd/.deps/cudd_libcudd_la-cuddEssent.Tpo cudd/.deps/cudd_libcudd_la-cuddEssent.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddLinear.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddLinear.Tpo -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 -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddLinear.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddLinear.Tpo -c cudd/cuddLinear.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddLinear.o mv -f cudd/.deps/cudd_libcudd_la-cuddGenetic.Tpo cudd/.deps/cudd_libcudd_la-cuddGenetic.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddLiteral.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddLiteral.Tpo -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 -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddLiteral.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddLiteral.Tpo -c cudd/cuddLiteral.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddLiteral.o mv -f cudd/.deps/cudd_libcudd_la-cuddGenCof.Tpo cudd/.deps/cudd_libcudd_la-cuddGenCof.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddMatMult.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddMatMult.Tpo -c -o cudd/cudd_libcudd_la-cuddMatMult.lo `test -f 'cudd/cuddMatMult.c' || echo './'`cudd/cuddMatMult.c libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddInteract.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddInteract.Tpo -c cudd/cuddInteract.c -o cudd/cudd_libcudd_la-cuddInteract.o >/dev/null 2>&1 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddMatMult.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddMatMult.Tpo -c cudd/cuddMatMult.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddMatMult.o libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddLCache.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddLCache.Tpo -c cudd/cuddLCache.c -o cudd/cudd_libcudd_la-cuddLCache.o >/dev/null 2>&1 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddLiteral.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddLiteral.Tpo -c cudd/cuddLiteral.c -o cudd/cudd_libcudd_la-cuddLiteral.o >/dev/null 2>&1 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddLevelQ.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddLevelQ.Tpo -c cudd/cuddLevelQ.c -o cudd/cudd_libcudd_la-cuddLevelQ.o >/dev/null 2>&1 mv -f cudd/.deps/cudd_libcudd_la-cuddLiteral.Tpo cudd/.deps/cudd_libcudd_la-cuddLiteral.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddPriority.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddPriority.Tpo -c -o cudd/cudd_libcudd_la-cuddPriority.lo `test -f 'cudd/cuddPriority.c' || echo './'`cudd/cuddPriority.c mv -f cudd/.deps/cudd_libcudd_la-cuddCompose.Tpo cudd/.deps/cudd_libcudd_la-cuddCompose.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddRead.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddRead.Tpo -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 -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddPriority.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddPriority.Tpo -c cudd/cuddPriority.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddPriority.o libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddRead.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddRead.Tpo -c cudd/cuddRead.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddRead.o mv -f cudd/.deps/cudd_libcudd_la-cuddInteract.Tpo cudd/.deps/cudd_libcudd_la-cuddInteract.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddRef.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddRef.Tpo -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 -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddLinear.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddLinear.Tpo -c cudd/cuddLinear.c -o cudd/cudd_libcudd_la-cuddLinear.o >/dev/null 2>&1 mv -f cudd/.deps/cudd_libcudd_la-cuddHarwell.Tpo cudd/.deps/cudd_libcudd_la-cuddHarwell.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddReorder.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddReorder.Tpo -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 -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddReorder.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddReorder.Tpo -c cudd/cuddReorder.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddReorder.o libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddMatMult.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddMatMult.Tpo -c cudd/cuddMatMult.c -o cudd/cudd_libcudd_la-cuddMatMult.o >/dev/null 2>&1 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddGroup.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddGroup.Tpo -c cudd/cuddGroup.c -o cudd/cudd_libcudd_la-cuddGroup.o >/dev/null 2>&1 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddRef.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddRef.Tpo -c cudd/cuddRef.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddRef.o mv -f cudd/.deps/cudd_libcudd_la-cuddLevelQ.Tpo cudd/.deps/cudd_libcudd_la-cuddLevelQ.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddSat.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddSat.Tpo -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 -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddRead.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddRead.Tpo -c cudd/cuddRead.c -o cudd/cudd_libcudd_la-cuddRead.o >/dev/null 2>&1 mv -f cudd/.deps/cudd_libcudd_la-cuddExport.Tpo cudd/.deps/cudd_libcudd_la-cuddExport.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddSign.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddSign.Tpo -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 -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddSign.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddSign.Tpo -c cudd/cuddSign.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddSign.o libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddSat.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddSat.Tpo -c cudd/cuddSat.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddSat.o libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddSign.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddSign.Tpo -c cudd/cuddSign.c -o cudd/cudd_libcudd_la-cuddSign.o >/dev/null 2>&1 mv -f cudd/.deps/cudd_libcudd_la-cuddMatMult.Tpo cudd/.deps/cudd_libcudd_la-cuddMatMult.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddSolve.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddSolve.Tpo -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 -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddSolve.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddSolve.Tpo -c cudd/cuddSolve.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddSolve.o mv -f cudd/.deps/cudd_libcudd_la-cuddSign.Tpo cudd/.deps/cudd_libcudd_la-cuddSign.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddSplit.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddSplit.Tpo -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 -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddSplit.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddSplit.Tpo -c cudd/cuddSplit.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddSplit.o libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddRef.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddRef.Tpo -c cudd/cuddRef.c -o cudd/cudd_libcudd_la-cuddRef.o >/dev/null 2>&1 mv -f cudd/.deps/cudd_libcudd_la-cuddLCache.Tpo cudd/.deps/cudd_libcudd_la-cuddLCache.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddSubsetHB.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddSubsetHB.Tpo -c -o cudd/cudd_libcudd_la-cuddSubsetHB.lo `test -f 'cudd/cuddSubsetHB.c' || echo './'`cudd/cuddSubsetHB.c mv -f cudd/.deps/cudd_libcudd_la-cuddLinear.Tpo cudd/.deps/cudd_libcudd_la-cuddLinear.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddSubsetSP.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddSubsetSP.Tpo -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 -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddSubsetHB.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddSubsetHB.Tpo -c cudd/cuddSubsetHB.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddSubsetHB.o libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddSolve.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddSolve.Tpo -c cudd/cuddSolve.c -o cudd/cudd_libcudd_la-cuddSolve.o >/dev/null 2>&1 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddSubsetSP.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddSubsetSP.Tpo -c cudd/cuddSubsetSP.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddSubsetSP.o mv -f cudd/.deps/cudd_libcudd_la-cuddRead.Tpo cudd/.deps/cudd_libcudd_la-cuddRead.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddSymmetry.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddSymmetry.Tpo -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 -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddSymmetry.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddSymmetry.Tpo -c cudd/cuddSymmetry.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddSymmetry.o libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddSplit.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddSplit.Tpo -c cudd/cuddSplit.c -o cudd/cudd_libcudd_la-cuddSplit.o >/dev/null 2>&1 mv -f cudd/.deps/cudd_libcudd_la-cuddSolve.Tpo cudd/.deps/cudd_libcudd_la-cuddSolve.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddTable.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddTable.Tpo -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 -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddTable.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddTable.Tpo -c cudd/cuddTable.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddTable.o mv -f cudd/.deps/cudd_libcudd_la-cuddRef.Tpo cudd/.deps/cudd_libcudd_la-cuddRef.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddUtil.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddUtil.Tpo -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 -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddUtil.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddUtil.Tpo -c cudd/cuddUtil.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddUtil.o mv -f cudd/.deps/cudd_libcudd_la-cuddSplit.Tpo cudd/.deps/cudd_libcudd_la-cuddSplit.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddWindow.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddWindow.Tpo -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 -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddWindow.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddWindow.Tpo -c cudd/cuddWindow.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddWindow.o libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddReorder.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddReorder.Tpo -c cudd/cuddReorder.c -o cudd/cudd_libcudd_la-cuddReorder.o >/dev/null 2>&1 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddSat.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddSat.Tpo -c cudd/cuddSat.c -o cudd/cudd_libcudd_la-cuddSat.o >/dev/null 2>&1 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddSubsetHB.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddSubsetHB.Tpo -c cudd/cuddSubsetHB.c -o cudd/cudd_libcudd_la-cuddSubsetHB.o >/dev/null 2>&1 mv -f cudd/.deps/cudd_libcudd_la-cuddGroup.Tpo cudd/.deps/cudd_libcudd_la-cuddGroup.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddZddCount.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddZddCount.Tpo -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 -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddZddCount.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddZddCount.Tpo -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 -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddZddCount.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddZddCount.Tpo -c cudd/cuddZddCount.c -o cudd/cudd_libcudd_la-cuddZddCount.o >/dev/null 2>&1 mv -f cudd/.deps/cudd_libcudd_la-cuddZddCount.Tpo cudd/.deps/cudd_libcudd_la-cuddZddCount.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddZddFuncs.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddZddFuncs.Tpo -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 -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddZddFuncs.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddZddFuncs.Tpo -c cudd/cuddZddFuncs.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddZddFuncs.o libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddWindow.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddWindow.Tpo -c cudd/cuddWindow.c -o cudd/cudd_libcudd_la-cuddWindow.o >/dev/null 2>&1 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddSymmetry.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddSymmetry.Tpo -c cudd/cuddSymmetry.c -o cudd/cudd_libcudd_la-cuddSymmetry.o >/dev/null 2>&1 mv -f cudd/.deps/cudd_libcudd_la-cuddSubsetHB.Tpo cudd/.deps/cudd_libcudd_la-cuddSubsetHB.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddZddGroup.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddZddGroup.Tpo -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 -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddZddGroup.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddZddGroup.Tpo -c cudd/cuddZddGroup.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddZddGroup.o mv -f cudd/.deps/cudd_libcudd_la-cuddSat.Tpo cudd/.deps/cudd_libcudd_la-cuddSat.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddZddIsop.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddZddIsop.Tpo -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 -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddZddIsop.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddZddIsop.Tpo -c cudd/cuddZddIsop.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddZddIsop.o libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddPriority.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddPriority.Tpo -c cudd/cuddPriority.c -o cudd/cudd_libcudd_la-cuddPriority.o >/dev/null 2>&1 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddSubsetSP.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddSubsetSP.Tpo -c cudd/cuddSubsetSP.c -o cudd/cudd_libcudd_la-cuddSubsetSP.o >/dev/null 2>&1 mv -f cudd/.deps/cudd_libcudd_la-cuddWindow.Tpo cudd/.deps/cudd_libcudd_la-cuddWindow.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddZddLin.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddZddLin.Tpo -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 -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddZddLin.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddZddLin.Tpo -c cudd/cuddZddLin.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddZddLin.o libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddUtil.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddUtil.Tpo -c cudd/cuddUtil.c -o cudd/cudd_libcudd_la-cuddUtil.o >/dev/null 2>&1 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddTable.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddTable.Tpo -c cudd/cuddTable.c -o cudd/cudd_libcudd_la-cuddTable.o >/dev/null 2>&1 mv -f cudd/.deps/cudd_libcudd_la-cuddReorder.Tpo cudd/.deps/cudd_libcudd_la-cuddReorder.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddZddMisc.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddZddMisc.Tpo -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 -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddZddFuncs.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddZddFuncs.Tpo -c cudd/cuddZddFuncs.c -o cudd/cudd_libcudd_la-cuddZddFuncs.o >/dev/null 2>&1 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddZddIsop.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddZddIsop.Tpo -c cudd/cuddZddIsop.c -o cudd/cudd_libcudd_la-cuddZddIsop.o >/dev/null 2>&1 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddZddMisc.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddZddMisc.Tpo -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 -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddZddLin.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddZddLin.Tpo -c cudd/cuddZddLin.c -o cudd/cudd_libcudd_la-cuddZddLin.o >/dev/null 2>&1 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddZddGroup.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddZddGroup.Tpo -c cudd/cuddZddGroup.c -o cudd/cudd_libcudd_la-cuddZddGroup.o >/dev/null 2>&1 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddZddMisc.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddZddMisc.Tpo -c cudd/cuddZddMisc.c -o cudd/cudd_libcudd_la-cuddZddMisc.o >/dev/null 2>&1 mv -f cudd/.deps/cudd_libcudd_la-cuddZddMisc.Tpo cudd/.deps/cudd_libcudd_la-cuddZddMisc.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddZddPort.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddZddPort.Tpo -c -o cudd/cudd_libcudd_la-cuddZddPort.lo `test -f 'cudd/cuddZddPort.c' || echo './'`cudd/cuddZddPort.c libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddZddPort.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddZddPort.Tpo -c cudd/cuddZddPort.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddZddPort.o mv -f cudd/.deps/cudd_libcudd_la-cuddZddIsop.Tpo cudd/.deps/cudd_libcudd_la-cuddZddIsop.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddZddReord.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddZddReord.Tpo -c -o cudd/cudd_libcudd_la-cuddZddReord.lo `test -f 'cudd/cuddZddReord.c' || echo './'`cudd/cuddZddReord.c libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddZddReord.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddZddReord.Tpo -c cudd/cuddZddReord.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddZddReord.o libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddZddPort.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddZddPort.Tpo -c cudd/cuddZddPort.c -o cudd/cudd_libcudd_la-cuddZddPort.o >/dev/null 2>&1 mv -f cudd/.deps/cudd_libcudd_la-cuddSymmetry.Tpo cudd/.deps/cudd_libcudd_la-cuddSymmetry.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddZddSetop.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddZddSetop.Tpo -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 -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddZddSetop.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddZddSetop.Tpo -c cudd/cuddZddSetop.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddZddSetop.o mv -f cudd/.deps/cudd_libcudd_la-cuddZddLin.Tpo cudd/.deps/cudd_libcudd_la-cuddZddLin.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddZddSymm.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddZddSymm.Tpo -c -o cudd/cudd_libcudd_la-cuddZddSymm.lo `test -f 'cudd/cuddZddSymm.c' || echo './'`cudd/cuddZddSymm.c mv -f cudd/.deps/cudd_libcudd_la-cuddZddGroup.Tpo cudd/.deps/cudd_libcudd_la-cuddZddGroup.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddZddUtil.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddZddUtil.Tpo -c -o cudd/cudd_libcudd_la-cuddZddUtil.lo `test -f 'cudd/cuddZddUtil.c' || echo './'`cudd/cuddZddUtil.c mv -f cudd/.deps/cudd_libcudd_la-cuddZddPort.Tpo cudd/.deps/cudd_libcudd_la-cuddZddPort.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT util/cudd_libcudd_la-cpu_stats.lo -MD -MP -MF util/.deps/cudd_libcudd_la-cpu_stats.Tpo -c -o util/cudd_libcudd_la-cpu_stats.lo `test -f 'util/cpu_stats.c' || echo './'`util/cpu_stats.c libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddZddUtil.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddZddUtil.Tpo -c cudd/cuddZddUtil.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddZddUtil.o libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddZddSymm.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddZddSymm.Tpo -c cudd/cuddZddSymm.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddZddSymm.o libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT util/cudd_libcudd_la-cpu_stats.lo -MD -MP -MF util/.deps/cudd_libcudd_la-cpu_stats.Tpo -c util/cpu_stats.c -fPIC -DPIC -o util/.libs/cudd_libcudd_la-cpu_stats.o mv -f cudd/.deps/cudd_libcudd_la-cuddSubsetSP.Tpo cudd/.deps/cudd_libcudd_la-cuddSubsetSP.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT util/cudd_libcudd_la-cpu_time.lo -MD -MP -MF util/.deps/cudd_libcudd_la-cpu_time.Tpo -c -o util/cudd_libcudd_la-cpu_time.lo `test -f 'util/cpu_time.c' || echo './'`util/cpu_time.c libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT util/cudd_libcudd_la-cpu_time.lo -MD -MP -MF util/.deps/cudd_libcudd_la-cpu_time.Tpo -c util/cpu_time.c -fPIC -DPIC -o util/.libs/cudd_libcudd_la-cpu_time.o libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT util/cudd_libcudd_la-cpu_time.lo -MD -MP -MF util/.deps/cudd_libcudd_la-cpu_time.Tpo -c util/cpu_time.c -o util/cudd_libcudd_la-cpu_time.o >/dev/null 2>&1 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT util/cudd_libcudd_la-cpu_stats.lo -MD -MP -MF util/.deps/cudd_libcudd_la-cpu_stats.Tpo -c util/cpu_stats.c -o util/cudd_libcudd_la-cpu_stats.o >/dev/null 2>&1 mv -f cudd/.deps/cudd_libcudd_la-cuddZddFuncs.Tpo cudd/.deps/cudd_libcudd_la-cuddZddFuncs.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT util/cudd_libcudd_la-cstringstream.lo -MD -MP -MF util/.deps/cudd_libcudd_la-cstringstream.Tpo -c -o util/cudd_libcudd_la-cstringstream.lo `test -f 'util/cstringstream.c' || echo './'`util/cstringstream.c libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT util/cudd_libcudd_la-cstringstream.lo -MD -MP -MF util/.deps/cudd_libcudd_la-cstringstream.Tpo -c util/cstringstream.c -fPIC -DPIC -o util/.libs/cudd_libcudd_la-cstringstream.o mv -f util/.deps/cudd_libcudd_la-cpu_time.Tpo util/.deps/cudd_libcudd_la-cpu_time.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT util/cudd_libcudd_la-datalimit.lo -MD -MP -MF util/.deps/cudd_libcudd_la-datalimit.Tpo -c -o util/cudd_libcudd_la-datalimit.lo `test -f 'util/datalimit.c' || echo './'`util/datalimit.c libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT util/cudd_libcudd_la-datalimit.lo -MD -MP -MF util/.deps/cudd_libcudd_la-datalimit.Tpo -c util/datalimit.c -fPIC -DPIC -o util/.libs/cudd_libcudd_la-datalimit.o mv -f util/.deps/cudd_libcudd_la-cpu_stats.Tpo util/.deps/cudd_libcudd_la-cpu_stats.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT util/cudd_libcudd_la-pathsearch.lo -MD -MP -MF util/.deps/cudd_libcudd_la-pathsearch.Tpo -c -o util/cudd_libcudd_la-pathsearch.lo `test -f 'util/pathsearch.c' || echo './'`util/pathsearch.c libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT util/cudd_libcudd_la-datalimit.lo -MD -MP -MF util/.deps/cudd_libcudd_la-datalimit.Tpo -c util/datalimit.c -o util/cudd_libcudd_la-datalimit.o >/dev/null 2>&1 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT util/cudd_libcudd_la-pathsearch.lo -MD -MP -MF util/.deps/cudd_libcudd_la-pathsearch.Tpo -c util/pathsearch.c -fPIC -DPIC -o util/.libs/cudd_libcudd_la-pathsearch.o mv -f cudd/.deps/cudd_libcudd_la-cuddPriority.Tpo cudd/.deps/cudd_libcudd_la-cuddPriority.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT util/cudd_libcudd_la-pipefork.lo -MD -MP -MF util/.deps/cudd_libcudd_la-pipefork.Tpo -c -o util/cudd_libcudd_la-pipefork.lo `test -f 'util/pipefork.c' || echo './'`util/pipefork.c mv -f util/.deps/cudd_libcudd_la-datalimit.Tpo util/.deps/cudd_libcudd_la-datalimit.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT util/cudd_libcudd_la-prtime.lo -MD -MP -MF util/.deps/cudd_libcudd_la-prtime.Tpo -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 -pipe -O2 -fno-strict-aliasing -MT util/cudd_libcudd_la-pipefork.lo -MD -MP -MF util/.deps/cudd_libcudd_la-pipefork.Tpo -c util/pipefork.c -fPIC -DPIC -o util/.libs/cudd_libcudd_la-pipefork.o libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT util/cudd_libcudd_la-cstringstream.lo -MD -MP -MF util/.deps/cudd_libcudd_la-cstringstream.Tpo -c util/cstringstream.c -o util/cudd_libcudd_la-cstringstream.o >/dev/null 2>&1 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT util/cudd_libcudd_la-prtime.lo -MD -MP -MF util/.deps/cudd_libcudd_la-prtime.Tpo -c util/prtime.c -fPIC -DPIC -o util/.libs/cudd_libcudd_la-prtime.o libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddZddSetop.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddZddSetop.Tpo -c cudd/cuddZddSetop.c -o cudd/cudd_libcudd_la-cuddZddSetop.o >/dev/null 2>&1 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT util/cudd_libcudd_la-pipefork.lo -MD -MP -MF util/.deps/cudd_libcudd_la-pipefork.Tpo -c util/pipefork.c -o util/cudd_libcudd_la-pipefork.o >/dev/null 2>&1 mv -f cudd/.deps/cudd_libcudd_la-cuddUtil.Tpo cudd/.deps/cudd_libcudd_la-cuddUtil.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT util/cudd_libcudd_la-safe_mem.lo -MD -MP -MF util/.deps/cudd_libcudd_la-safe_mem.Tpo -c -o util/cudd_libcudd_la-safe_mem.lo `test -f 'util/safe_mem.c' || echo './'`util/safe_mem.c libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT util/cudd_libcudd_la-safe_mem.lo -MD -MP -MF util/.deps/cudd_libcudd_la-safe_mem.Tpo -c util/safe_mem.c -fPIC -DPIC -o util/.libs/cudd_libcudd_la-safe_mem.o libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT util/cudd_libcudd_la-pathsearch.lo -MD -MP -MF util/.deps/cudd_libcudd_la-pathsearch.Tpo -c util/pathsearch.c -o util/cudd_libcudd_la-pathsearch.o >/dev/null 2>&1 mv -f util/.deps/cudd_libcudd_la-pipefork.Tpo util/.deps/cudd_libcudd_la-pipefork.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT util/cudd_libcudd_la-strsav.lo -MD -MP -MF util/.deps/cudd_libcudd_la-strsav.Tpo -c -o util/cudd_libcudd_la-strsav.lo `test -f 'util/strsav.c' || echo './'`util/strsav.c libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT util/cudd_libcudd_la-strsav.lo -MD -MP -MF util/.deps/cudd_libcudd_la-strsav.Tpo -c util/strsav.c -fPIC -DPIC -o util/.libs/cudd_libcudd_la-strsav.o libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT util/cudd_libcudd_la-prtime.lo -MD -MP -MF util/.deps/cudd_libcudd_la-prtime.Tpo -c util/prtime.c -o util/cudd_libcudd_la-prtime.o >/dev/null 2>&1 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT util/cudd_libcudd_la-safe_mem.lo -MD -MP -MF util/.deps/cudd_libcudd_la-safe_mem.Tpo -c util/safe_mem.c -o util/cudd_libcudd_la-safe_mem.o >/dev/null 2>&1 mv -f util/.deps/cudd_libcudd_la-pathsearch.Tpo util/.deps/cudd_libcudd_la-pathsearch.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT util/cudd_libcudd_la-texpand.lo -MD -MP -MF util/.deps/cudd_libcudd_la-texpand.Tpo -c -o util/cudd_libcudd_la-texpand.lo `test -f 'util/texpand.c' || echo './'`util/texpand.c libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT util/cudd_libcudd_la-texpand.lo -MD -MP -MF util/.deps/cudd_libcudd_la-texpand.Tpo -c util/texpand.c -fPIC -DPIC -o util/.libs/cudd_libcudd_la-texpand.o libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT util/cudd_libcudd_la-strsav.lo -MD -MP -MF util/.deps/cudd_libcudd_la-strsav.Tpo -c util/strsav.c -o util/cudd_libcudd_la-strsav.o >/dev/null 2>&1 mv -f util/.deps/cudd_libcudd_la-prtime.Tpo util/.deps/cudd_libcudd_la-prtime.Plo mv -f util/.deps/cudd_libcudd_la-cstringstream.Tpo util/.deps/cudd_libcudd_la-cstringstream.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT util/cudd_libcudd_la-ucbqsort.lo -MD -MP -MF util/.deps/cudd_libcudd_la-ucbqsort.Tpo -c -o util/cudd_libcudd_la-ucbqsort.lo `test -f 'util/ucbqsort.c' || echo './'`util/ucbqsort.c /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT st/cudd_libcudd_la-st.lo -MD -MP -MF st/.deps/cudd_libcudd_la-st.Tpo -c -o st/cudd_libcudd_la-st.lo `test -f 'st/st.c' || echo './'`st/st.c mv -f util/.deps/cudd_libcudd_la-safe_mem.Tpo util/.deps/cudd_libcudd_la-safe_mem.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT epd/cudd_libcudd_la-epd.lo -MD -MP -MF epd/.deps/cudd_libcudd_la-epd.Tpo -c -o epd/cudd_libcudd_la-epd.lo `test -f 'epd/epd.c' || echo './'`epd/epd.c libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT util/cudd_libcudd_la-ucbqsort.lo -MD -MP -MF util/.deps/cudd_libcudd_la-ucbqsort.Tpo -c util/ucbqsort.c -fPIC -DPIC -o util/.libs/cudd_libcudd_la-ucbqsort.o libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT epd/cudd_libcudd_la-epd.lo -MD -MP -MF epd/.deps/cudd_libcudd_la-epd.Tpo -c epd/epd.c -fPIC -DPIC -o epd/.libs/cudd_libcudd_la-epd.o libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT st/cudd_libcudd_la-st.lo -MD -MP -MF st/.deps/cudd_libcudd_la-st.Tpo -c st/st.c -fPIC -DPIC -o st/.libs/cudd_libcudd_la-st.o libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddZddReord.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddZddReord.Tpo -c cudd/cuddZddReord.c -o cudd/cudd_libcudd_la-cuddZddReord.o >/dev/null 2>&1 mv -f cudd/.deps/cudd_libcudd_la-cuddZddSetop.Tpo cudd/.deps/cudd_libcudd_la-cuddZddSetop.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT mtr/cudd_libcudd_la-mtrBasic.lo -MD -MP -MF mtr/.deps/cudd_libcudd_la-mtrBasic.Tpo -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 -pipe -O2 -fno-strict-aliasing -MT mtr/cudd_libcudd_la-mtrBasic.lo -MD -MP -MF mtr/.deps/cudd_libcudd_la-mtrBasic.Tpo -c mtr/mtrBasic.c -fPIC -DPIC -o mtr/.libs/cudd_libcudd_la-mtrBasic.o mv -f util/.deps/cudd_libcudd_la-strsav.Tpo util/.deps/cudd_libcudd_la-strsav.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT mtr/cudd_libcudd_la-mtrGroup.lo -MD -MP -MF mtr/.deps/cudd_libcudd_la-mtrGroup.Tpo -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 -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddZddUtil.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddZddUtil.Tpo -c cudd/cuddZddUtil.c -o cudd/cudd_libcudd_la-cuddZddUtil.o >/dev/null 2>&1 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT util/cudd_libcudd_la-ucbqsort.lo -MD -MP -MF util/.deps/cudd_libcudd_la-ucbqsort.Tpo -c util/ucbqsort.c -o util/cudd_libcudd_la-ucbqsort.o >/dev/null 2>&1 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT mtr/cudd_libcudd_la-mtrGroup.lo -MD -MP -MF mtr/.deps/cudd_libcudd_la-mtrGroup.Tpo -c mtr/mtrGroup.c -fPIC -DPIC -o mtr/.libs/cudd_libcudd_la-mtrGroup.o libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT util/cudd_libcudd_la-texpand.lo -MD -MP -MF util/.deps/cudd_libcudd_la-texpand.Tpo -c util/texpand.c -o util/cudd_libcudd_la-texpand.o >/dev/null 2>&1 mv -f cudd/.deps/cudd_libcudd_la-cuddTable.Tpo cudd/.deps/cudd_libcudd_la-cuddTable.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -pipe -O2 -fno-strict-aliasing -MT dddmp/dddmp_libdddmp_la-dddmpBinary.lo -MD -MP -MF dddmp/.deps/dddmp_libdddmp_la-dddmpBinary.Tpo -c -o dddmp/dddmp_libdddmp_la-dddmpBinary.lo `test -f 'dddmp/dddmpBinary.c' || echo './'`dddmp/dddmpBinary.c mv -f util/.deps/cudd_libcudd_la-ucbqsort.Tpo util/.deps/cudd_libcudd_la-ucbqsort.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -pipe -O2 -fno-strict-aliasing -MT dddmp/dddmp_libdddmp_la-dddmpConvert.lo -MD -MP -MF dddmp/.deps/dddmp_libdddmp_la-dddmpConvert.Tpo -c -o dddmp/dddmp_libdddmp_la-dddmpConvert.lo `test -f 'dddmp/dddmpConvert.c' || echo './'`dddmp/dddmpConvert.c libtool: compile: cc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -pipe -O2 -fno-strict-aliasing -MT dddmp/dddmp_libdddmp_la-dddmpBinary.lo -MD -MP -MF dddmp/.deps/dddmp_libdddmp_la-dddmpBinary.Tpo -c dddmp/dddmpBinary.c -fPIC -DPIC -o dddmp/.libs/dddmp_libdddmp_la-dddmpBinary.o libtool: compile: cc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -pipe -O2 -fno-strict-aliasing -MT dddmp/dddmp_libdddmp_la-dddmpConvert.lo -MD -MP -MF dddmp/.deps/dddmp_libdddmp_la-dddmpConvert.Tpo -c dddmp/dddmpConvert.c -fPIC -DPIC -o dddmp/.libs/dddmp_libdddmp_la-dddmpConvert.o mv -f util/.deps/cudd_libcudd_la-texpand.Tpo util/.deps/cudd_libcudd_la-texpand.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -pipe -O2 -fno-strict-aliasing -MT dddmp/dddmp_libdddmp_la-dddmpDbg.lo -MD -MP -MF dddmp/.deps/dddmp_libdddmp_la-dddmpDbg.Tpo -c -o dddmp/dddmp_libdddmp_la-dddmpDbg.lo `test -f 'dddmp/dddmpDbg.c' || echo './'`dddmp/dddmpDbg.c libtool: compile: cc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -pipe -O2 -fno-strict-aliasing -MT dddmp/dddmp_libdddmp_la-dddmpDbg.lo -MD -MP -MF dddmp/.deps/dddmp_libdddmp_la-dddmpDbg.Tpo -c dddmp/dddmpDbg.c -fPIC -DPIC -o dddmp/.libs/dddmp_libdddmp_la-dddmpDbg.o libtool: compile: cc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -pipe -O2 -fno-strict-aliasing -MT dddmp/dddmp_libdddmp_la-dddmpConvert.lo -MD -MP -MF dddmp/.deps/dddmp_libdddmp_la-dddmpConvert.Tpo -c dddmp/dddmpConvert.c -o dddmp/dddmp_libdddmp_la-dddmpConvert.o >/dev/null 2>&1 mv -f dddmp/.deps/dddmp_libdddmp_la-dddmpConvert.Tpo dddmp/.deps/dddmp_libdddmp_la-dddmpConvert.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -pipe -O2 -fno-strict-aliasing -MT dddmp/dddmp_libdddmp_la-dddmpLoad.lo -MD -MP -MF dddmp/.deps/dddmp_libdddmp_la-dddmpLoad.Tpo -c -o dddmp/dddmp_libdddmp_la-dddmpLoad.lo `test -f 'dddmp/dddmpLoad.c' || echo './'`dddmp/dddmpLoad.c libtool: compile: cc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -pipe -O2 -fno-strict-aliasing -MT dddmp/dddmp_libdddmp_la-dddmpLoad.lo -MD -MP -MF dddmp/.deps/dddmp_libdddmp_la-dddmpLoad.Tpo -c dddmp/dddmpLoad.c -fPIC -DPIC -o dddmp/.libs/dddmp_libdddmp_la-dddmpLoad.o libtool: compile: cc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -pipe -O2 -fno-strict-aliasing -MT dddmp/dddmp_libdddmp_la-dddmpBinary.lo -MD -MP -MF dddmp/.deps/dddmp_libdddmp_la-dddmpBinary.Tpo -c dddmp/dddmpBinary.c -o dddmp/dddmp_libdddmp_la-dddmpBinary.o >/dev/null 2>&1 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT mtr/cudd_libcudd_la-mtrGroup.lo -MD -MP -MF mtr/.deps/cudd_libcudd_la-mtrGroup.Tpo -c mtr/mtrGroup.c -o mtr/cudd_libcudd_la-mtrGroup.o >/dev/null 2>&1 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT mtr/cudd_libcudd_la-mtrBasic.lo -MD -MP -MF mtr/.deps/cudd_libcudd_la-mtrBasic.Tpo -c mtr/mtrBasic.c -o mtr/cudd_libcudd_la-mtrBasic.o >/dev/null 2>&1 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -pipe -O2 -fno-strict-aliasing -MT dddmp/dddmp_libdddmp_la-dddmpDbg.lo -MD -MP -MF dddmp/.deps/dddmp_libdddmp_la-dddmpDbg.Tpo -c dddmp/dddmpDbg.c -o dddmp/dddmp_libdddmp_la-dddmpDbg.o >/dev/null 2>&1 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT st/cudd_libcudd_la-st.lo -MD -MP -MF st/.deps/cudd_libcudd_la-st.Tpo -c st/st.c -o st/cudd_libcudd_la-st.o >/dev/null 2>&1 mv -f dddmp/.deps/dddmp_libdddmp_la-dddmpBinary.Tpo dddmp/.deps/dddmp_libdddmp_la-dddmpBinary.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -pipe -O2 -fno-strict-aliasing -MT dddmp/dddmp_libdddmp_la-dddmpLoadCnf.lo -MD -MP -MF dddmp/.deps/dddmp_libdddmp_la-dddmpLoadCnf.Tpo -c -o dddmp/dddmp_libdddmp_la-dddmpLoadCnf.lo `test -f 'dddmp/dddmpLoadCnf.c' || echo './'`dddmp/dddmpLoadCnf.c libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT cudd/cudd_libcudd_la-cuddZddSymm.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddZddSymm.Tpo -c cudd/cuddZddSymm.c -o cudd/cudd_libcudd_la-cuddZddSymm.o >/dev/null 2>&1 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -pipe -O2 -fno-strict-aliasing -MT dddmp/dddmp_libdddmp_la-dddmpLoadCnf.lo -MD -MP -MF dddmp/.deps/dddmp_libdddmp_la-dddmpLoadCnf.Tpo -c dddmp/dddmpLoadCnf.c -fPIC -DPIC -o dddmp/.libs/dddmp_libdddmp_la-dddmpLoadCnf.o libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -pipe -O2 -fno-strict-aliasing -MT epd/cudd_libcudd_la-epd.lo -MD -MP -MF epd/.deps/cudd_libcudd_la-epd.Tpo -c epd/epd.c -o epd/cudd_libcudd_la-epd.o >/dev/null 2>&1 mv -f mtr/.deps/cudd_libcudd_la-mtrBasic.Tpo mtr/.deps/cudd_libcudd_la-mtrBasic.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -pipe -O2 -fno-strict-aliasing -MT dddmp/dddmp_libdddmp_la-dddmpNodeAdd.lo -MD -MP -MF dddmp/.deps/dddmp_libdddmp_la-dddmpNodeAdd.Tpo -c -o dddmp/dddmp_libdddmp_la-dddmpNodeAdd.lo `test -f 'dddmp/dddmpNodeAdd.c' || echo './'`dddmp/dddmpNodeAdd.c libtool: compile: cc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -pipe -O2 -fno-strict-aliasing -MT dddmp/dddmp_libdddmp_la-dddmpNodeAdd.lo -MD -MP -MF dddmp/.deps/dddmp_libdddmp_la-dddmpNodeAdd.Tpo -c dddmp/dddmpNodeAdd.c -fPIC -DPIC -o dddmp/.libs/dddmp_libdddmp_la-dddmpNodeAdd.o mv -f dddmp/.deps/dddmp_libdddmp_la-dddmpDbg.Tpo dddmp/.deps/dddmp_libdddmp_la-dddmpDbg.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -pipe -O2 -fno-strict-aliasing -MT dddmp/dddmp_libdddmp_la-dddmpNodeBdd.lo -MD -MP -MF dddmp/.deps/dddmp_libdddmp_la-dddmpNodeBdd.Tpo -c -o dddmp/dddmp_libdddmp_la-dddmpNodeBdd.lo `test -f 'dddmp/dddmpNodeBdd.c' || echo './'`dddmp/dddmpNodeBdd.c libtool: compile: cc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -pipe -O2 -fno-strict-aliasing -MT dddmp/dddmp_libdddmp_la-dddmpNodeBdd.lo -MD -MP -MF dddmp/.deps/dddmp_libdddmp_la-dddmpNodeBdd.Tpo -c dddmp/dddmpNodeBdd.c -fPIC -DPIC -o dddmp/.libs/dddmp_libdddmp_la-dddmpNodeBdd.o mv -f mtr/.deps/cudd_libcudd_la-mtrGroup.Tpo mtr/.deps/cudd_libcudd_la-mtrGroup.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -pipe -O2 -fno-strict-aliasing -MT dddmp/dddmp_libdddmp_la-dddmpNodeCnf.lo -MD -MP -MF dddmp/.deps/dddmp_libdddmp_la-dddmpNodeCnf.Tpo -c -o dddmp/dddmp_libdddmp_la-dddmpNodeCnf.lo `test -f 'dddmp/dddmpNodeCnf.c' || echo './'`dddmp/dddmpNodeCnf.c libtool: compile: cc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -pipe -O2 -fno-strict-aliasing -MT dddmp/dddmp_libdddmp_la-dddmpNodeCnf.lo -MD -MP -MF dddmp/.deps/dddmp_libdddmp_la-dddmpNodeCnf.Tpo -c dddmp/dddmpNodeCnf.c -fPIC -DPIC -o dddmp/.libs/dddmp_libdddmp_la-dddmpNodeCnf.o mv -f cudd/.deps/cudd_libcudd_la-cuddZddReord.Tpo cudd/.deps/cudd_libcudd_la-cuddZddReord.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -pipe -O2 -fno-strict-aliasing -MT dddmp/dddmp_libdddmp_la-dddmpStoreAdd.lo -MD -MP -MF dddmp/.deps/dddmp_libdddmp_la-dddmpStoreAdd.Tpo -c -o dddmp/dddmp_libdddmp_la-dddmpStoreAdd.lo `test -f 'dddmp/dddmpStoreAdd.c' || echo './'`dddmp/dddmpStoreAdd.c libtool: compile: cc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -pipe -O2 -fno-strict-aliasing -MT dddmp/dddmp_libdddmp_la-dddmpStoreAdd.lo -MD -MP -MF dddmp/.deps/dddmp_libdddmp_la-dddmpStoreAdd.Tpo -c dddmp/dddmpStoreAdd.c -fPIC -DPIC -o dddmp/.libs/dddmp_libdddmp_la-dddmpStoreAdd.o libtool: compile: cc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -pipe -O2 -fno-strict-aliasing -MT dddmp/dddmp_libdddmp_la-dddmpNodeAdd.lo -MD -MP -MF dddmp/.deps/dddmp_libdddmp_la-dddmpNodeAdd.Tpo -c dddmp/dddmpNodeAdd.c -o dddmp/dddmp_libdddmp_la-dddmpNodeAdd.o >/dev/null 2>&1 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -pipe -O2 -fno-strict-aliasing -MT dddmp/dddmp_libdddmp_la-dddmpNodeBdd.lo -MD -MP -MF dddmp/.deps/dddmp_libdddmp_la-dddmpNodeBdd.Tpo -c dddmp/dddmpNodeBdd.c -o dddmp/dddmp_libdddmp_la-dddmpNodeBdd.o >/dev/null 2>&1 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -pipe -O2 -fno-strict-aliasing -MT dddmp/dddmp_libdddmp_la-dddmpNodeCnf.lo -MD -MP -MF dddmp/.deps/dddmp_libdddmp_la-dddmpNodeCnf.Tpo -c dddmp/dddmpNodeCnf.c -o dddmp/dddmp_libdddmp_la-dddmpNodeCnf.o >/dev/null 2>&1 mv -f st/.deps/cudd_libcudd_la-st.Tpo st/.deps/cudd_libcudd_la-st.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -pipe -O2 -fno-strict-aliasing -MT dddmp/dddmp_libdddmp_la-dddmpStoreBdd.lo -MD -MP -MF dddmp/.deps/dddmp_libdddmp_la-dddmpStoreBdd.Tpo -c -o dddmp/dddmp_libdddmp_la-dddmpStoreBdd.lo `test -f 'dddmp/dddmpStoreBdd.c' || echo './'`dddmp/dddmpStoreBdd.c libtool: compile: cc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -pipe -O2 -fno-strict-aliasing -MT dddmp/dddmp_libdddmp_la-dddmpStoreBdd.lo -MD -MP -MF dddmp/.deps/dddmp_libdddmp_la-dddmpStoreBdd.Tpo -c dddmp/dddmpStoreBdd.c -fPIC -DPIC -o dddmp/.libs/dddmp_libdddmp_la-dddmpStoreBdd.o mv -f dddmp/.deps/dddmp_libdddmp_la-dddmpNodeAdd.Tpo dddmp/.deps/dddmp_libdddmp_la-dddmpNodeAdd.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -pipe -O2 -fno-strict-aliasing -MT dddmp/dddmp_libdddmp_la-dddmpStoreCnf.lo -MD -MP -MF dddmp/.deps/dddmp_libdddmp_la-dddmpStoreCnf.Tpo -c -o dddmp/dddmp_libdddmp_la-dddmpStoreCnf.lo `test -f 'dddmp/dddmpStoreCnf.c' || echo './'`dddmp/dddmpStoreCnf.c libtool: compile: cc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -pipe -O2 -fno-strict-aliasing -MT dddmp/dddmp_libdddmp_la-dddmpStoreCnf.lo -MD -MP -MF dddmp/.deps/dddmp_libdddmp_la-dddmpStoreCnf.Tpo -c dddmp/dddmpStoreCnf.c -fPIC -DPIC -o dddmp/.libs/dddmp_libdddmp_la-dddmpStoreCnf.o mv -f dddmp/.deps/dddmp_libdddmp_la-dddmpNodeBdd.Tpo dddmp/.deps/dddmp_libdddmp_la-dddmpNodeBdd.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -pipe -O2 -fno-strict-aliasing -MT dddmp/dddmp_libdddmp_la-dddmpStoreMisc.lo -MD -MP -MF dddmp/.deps/dddmp_libdddmp_la-dddmpStoreMisc.Tpo -c -o dddmp/dddmp_libdddmp_la-dddmpStoreMisc.lo `test -f 'dddmp/dddmpStoreMisc.c' || echo './'`dddmp/dddmpStoreMisc.c libtool: compile: cc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -pipe -O2 -fno-strict-aliasing -MT dddmp/dddmp_libdddmp_la-dddmpLoadCnf.lo -MD -MP -MF dddmp/.deps/dddmp_libdddmp_la-dddmpLoadCnf.Tpo -c dddmp/dddmpLoadCnf.c -o dddmp/dddmp_libdddmp_la-dddmpLoadCnf.o >/dev/null 2>&1 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -pipe -O2 -fno-strict-aliasing -MT dddmp/dddmp_libdddmp_la-dddmpStoreMisc.lo -MD -MP -MF dddmp/.deps/dddmp_libdddmp_la-dddmpStoreMisc.Tpo -c dddmp/dddmpStoreMisc.c -fPIC -DPIC -o dddmp/.libs/dddmp_libdddmp_la-dddmpStoreMisc.o mv -f cudd/.deps/cudd_libcudd_la-cuddZddUtil.Tpo cudd/.deps/cudd_libcudd_la-cuddZddUtil.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -pipe -O2 -fno-strict-aliasing -MT dddmp/dddmp_libdddmp_la-dddmpUtil.lo -MD -MP -MF dddmp/.deps/dddmp_libdddmp_la-dddmpUtil.Tpo -c -o dddmp/dddmp_libdddmp_la-dddmpUtil.lo `test -f 'dddmp/dddmpUtil.c' || echo './'`dddmp/dddmpUtil.c libtool: compile: cc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -pipe -O2 -fno-strict-aliasing -MT dddmp/dddmp_libdddmp_la-dddmpUtil.lo -MD -MP -MF dddmp/.deps/dddmp_libdddmp_la-dddmpUtil.Tpo -c dddmp/dddmpUtil.c -fPIC -DPIC -o dddmp/.libs/dddmp_libdddmp_la-dddmpUtil.o libtool: compile: cc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -pipe -O2 -fno-strict-aliasing -MT dddmp/dddmp_libdddmp_la-dddmpUtil.lo -MD -MP -MF dddmp/.deps/dddmp_libdddmp_la-dddmpUtil.Tpo -c dddmp/dddmpUtil.c -o dddmp/dddmp_libdddmp_la-dddmpUtil.o >/dev/null 2>&1 mv -f dddmp/.deps/dddmp_libdddmp_la-dddmpNodeCnf.Tpo dddmp/.deps/dddmp_libdddmp_la-dddmpNodeCnf.Plo /bin/sh ./libtool --tag=CXX --mode=compile c++ -DHAVE_CONFIG_H -I. -I./cudd -I./mtr -I./epd -I./st -pipe -O2 -fno-strict-aliasing -MT cplusplus/cplusplus_libobj_la-cuddObj.lo -MD -MP -MF cplusplus/.deps/cplusplus_libobj_la-cuddObj.Tpo -c -o cplusplus/cplusplus_libobj_la-cuddObj.lo `test -f 'cplusplus/cuddObj.cc' || echo './'`cplusplus/cuddObj.cc libtool: compile: c++ -DHAVE_CONFIG_H -I. -I./cudd -I./mtr -I./epd -I./st -pipe -O2 -fno-strict-aliasing -MT cplusplus/cplusplus_libobj_la-cuddObj.lo -MD -MP -MF cplusplus/.deps/cplusplus_libobj_la-cuddObj.Tpo -c cplusplus/cuddObj.cc -fPIC -DPIC -o cplusplus/.libs/cplusplus_libobj_la-cuddObj.o libtool: compile: cc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -pipe -O2 -fno-strict-aliasing -MT dddmp/dddmp_libdddmp_la-dddmpStoreAdd.lo -MD -MP -MF dddmp/.deps/dddmp_libdddmp_la-dddmpStoreAdd.Tpo -c dddmp/dddmpStoreAdd.c -o dddmp/dddmp_libdddmp_la-dddmpStoreAdd.o >/dev/null 2>&1 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -pipe -O2 -fno-strict-aliasing -MT dddmp/dddmp_libdddmp_la-dddmpStoreMisc.lo -MD -MP -MF dddmp/.deps/dddmp_libdddmp_la-dddmpStoreMisc.Tpo -c dddmp/dddmpStoreMisc.c -o dddmp/dddmp_libdddmp_la-dddmpStoreMisc.o >/dev/null 2>&1 mv -f dddmp/.deps/dddmp_libdddmp_la-dddmpUtil.Tpo dddmp/.deps/dddmp_libdddmp_la-dddmpUtil.Plo libtool: compile: cc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -pipe -O2 -fno-strict-aliasing -MT dddmp/dddmp_libdddmp_la-dddmpStoreCnf.lo -MD -MP -MF dddmp/.deps/dddmp_libdddmp_la-dddmpStoreCnf.Tpo -c dddmp/dddmpStoreCnf.c -o dddmp/dddmp_libdddmp_la-dddmpStoreCnf.o >/dev/null 2>&1 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -pipe -O2 -fno-strict-aliasing -MT dddmp/dddmp_libdddmp_la-dddmpLoad.lo -MD -MP -MF dddmp/.deps/dddmp_libdddmp_la-dddmpLoad.Tpo -c dddmp/dddmpLoad.c -o dddmp/dddmp_libdddmp_la-dddmpLoad.o >/dev/null 2>&1 mv -f epd/.deps/cudd_libcudd_la-epd.Tpo epd/.deps/cudd_libcudd_la-epd.Plo mv -f dddmp/.deps/dddmp_libdddmp_la-dddmpLoadCnf.Tpo dddmp/.deps/dddmp_libdddmp_la-dddmpLoadCnf.Plo mv -f dddmp/.deps/dddmp_libdddmp_la-dddmpStoreAdd.Tpo dddmp/.deps/dddmp_libdddmp_la-dddmpStoreAdd.Plo mv -f cudd/.deps/cudd_libcudd_la-cuddZddSymm.Tpo cudd/.deps/cudd_libcudd_la-cuddZddSymm.Plo /bin/sh ./libtool --tag=CXX --mode=link c++ -pipe -O2 -fno-strict-aliasing -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 -lm mv -f dddmp/.deps/dddmp_libdddmp_la-dddmpStoreMisc.Tpo dddmp/.deps/dddmp_libdddmp_la-dddmpStoreMisc.Plo libtool: link: c++ -fPIC -DPIC -shared -nostdlib /usr/lib/crti.o /usr/lib/gcc80/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 -L/usr/lib/gcc80 -lstdc++ -lm -lc -lgcc -lgcc_pic /usr/lib/gcc80/crtendS.o /usr/lib/crtn.o -O2 -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 /usr/libexec/binutils227/elf/ar: `u' modifier ignored since `D' is the default (see `U') libtool: link: ranlib cudd/.libs/libcudd.a libtool: link: ( cd "cudd/.libs" && rm -f "libcudd.la" && ln -s "../libcudd.la" "libcudd.la" ) libtool: compile: cc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -pipe -O2 -fno-strict-aliasing -MT dddmp/dddmp_libdddmp_la-dddmpStoreBdd.lo -MD -MP -MF dddmp/.deps/dddmp_libdddmp_la-dddmpStoreBdd.Tpo -c dddmp/dddmpStoreBdd.c -o dddmp/dddmp_libdddmp_la-dddmpStoreBdd.o >/dev/null 2>&1 mv -f dddmp/.deps/dddmp_libdddmp_la-dddmpStoreCnf.Tpo dddmp/.deps/dddmp_libdddmp_la-dddmpStoreCnf.Plo mv -f dddmp/.deps/dddmp_libdddmp_la-dddmpLoad.Tpo dddmp/.deps/dddmp_libdddmp_la-dddmpLoad.Plo mv -f dddmp/.deps/dddmp_libdddmp_la-dddmpStoreBdd.Tpo dddmp/.deps/dddmp_libdddmp_la-dddmpStoreBdd.Plo /bin/sh ./libtool --tag=CC --mode=link cc -pipe -O2 -fno-strict-aliasing -o dddmp/libdddmp.la dddmp/dddmp_libdddmp_la-dddmpBinary.lo dddmp/dddmp_libdddmp_la-dddmpConvert.lo dddmp/dddmp_libdddmp_la-dddmpDbg.lo dddmp/dddmp_libdddmp_la-dddmpLoad.lo dddmp/dddmp_libdddmp_la-dddmpLoadCnf.lo dddmp/dddmp_libdddmp_la-dddmpNodeAdd.lo dddmp/dddmp_libdddmp_la-dddmpNodeBdd.lo dddmp/dddmp_libdddmp_la-dddmpNodeCnf.lo dddmp/dddmp_libdddmp_la-dddmpStoreAdd.lo dddmp/dddmp_libdddmp_la-dddmpStoreBdd.lo dddmp/dddmp_libdddmp_la-dddmpStoreCnf.lo dddmp/dddmp_libdddmp_la-dddmpStoreMisc.lo dddmp/dddmp_libdddmp_la-dddmpUtil.lo -lm libtool: link: ar cru dddmp/.libs/libdddmp.a dddmp/.libs/dddmp_libdddmp_la-dddmpBinary.o dddmp/.libs/dddmp_libdddmp_la-dddmpConvert.o dddmp/.libs/dddmp_libdddmp_la-dddmpDbg.o dddmp/.libs/dddmp_libdddmp_la-dddmpLoad.o dddmp/.libs/dddmp_libdddmp_la-dddmpLoadCnf.o dddmp/.libs/dddmp_libdddmp_la-dddmpNodeAdd.o dddmp/.libs/dddmp_libdddmp_la-dddmpNodeBdd.o dddmp/.libs/dddmp_libdddmp_la-dddmpNodeCnf.o dddmp/.libs/dddmp_libdddmp_la-dddmpStoreAdd.o dddmp/.libs/dddmp_libdddmp_la-dddmpStoreBdd.o dddmp/.libs/dddmp_libdddmp_la-dddmpStoreCnf.o dddmp/.libs/dddmp_libdddmp_la-dddmpStoreMisc.o dddmp/.libs/dddmp_libdddmp_la-dddmpUtil.o /usr/libexec/binutils227/elf/ar: `u' modifier ignored since `D' is the default (see `U') libtool: link: ranlib dddmp/.libs/libdddmp.a libtool: link: ( cd "dddmp/.libs" && rm -f "libdddmp.la" && ln -s "../libdddmp.la" "libdddmp.la" ) libtool: compile: c++ -DHAVE_CONFIG_H -I. -I./cudd -I./mtr -I./epd -I./st -pipe -O2 -fno-strict-aliasing -MT cplusplus/cplusplus_libobj_la-cuddObj.lo -MD -MP -MF cplusplus/.deps/cplusplus_libobj_la-cuddObj.Tpo -c cplusplus/cuddObj.cc -o cplusplus/cplusplus_libobj_la-cuddObj.o >/dev/null 2>&1 mv -f cplusplus/.deps/cplusplus_libobj_la-cuddObj.Tpo cplusplus/.deps/cplusplus_libobj_la-cuddObj.Plo /bin/sh ./libtool --tag=CXX --mode=link c++ -pipe -O2 -fno-strict-aliasing -o cplusplus/libobj.la cplusplus/cplusplus_libobj_la-cuddObj.lo -lm libtool: link: ar cru cplusplus/.libs/libobj.a cplusplus/.libs/cplusplus_libobj_la-cuddObj.o /usr/libexec/binutils227/elf/ar: `u' modifier ignored since `D' is the default (see `U') libtool: link: ranlib cplusplus/.libs/libobj.a libtool: link: ( cd "cplusplus/.libs" && rm -f "libobj.la" && ln -s "../libobj.la" "libobj.la" ) gmake[2]: Leaving directory '/construction/math/cudd/cudd-3.0.0' gmake[1]: Leaving directory '/construction/math/cudd/cudd-3.0.0' SUCCEEDED 00:00:27 ------------------------------------------------------------------------------- -- Phase: run-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: stage ------------------------------------------------------------------------------- ===> Staging for cudd-3.0.0 ===> Generating temporary packing list gmake[1]: Entering directory '/construction/math/cudd/cudd-3.0.0' gmake[2]: Entering directory '/construction/math/cudd/cudd-3.0.0' /bin/mkdir -p '/construction/math/cudd/stage/usr/local/lib' /bin/sh ./libtool --mode=install /usr/bin/install -c cudd/libcudd.la '/construction/math/cudd/stage/usr/local/lib' libtool: install: /usr/bin/install -c cudd/.libs/libcudd-3.0.0.so.0.0.0 /construction/math/cudd/stage/usr/local/lib/libcudd-3.0.0.so.0.0.0 libtool: install: (cd /construction/math/cudd/stage/usr/local/lib && { ln -s -f libcudd-3.0.0.so.0.0.0 libcudd-3.0.0.so.0 || { 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: install: (cd /construction/math/cudd/stage/usr/local/lib && { ln -s -f libcudd-3.0.0.so.0.0.0 libcudd.so || { rm -f libcudd.so && ln -s libcudd-3.0.0.so.0.0.0 libcudd.so; }; }) libtool: install: /usr/bin/install -c cudd/.libs/libcudd.lai /construction/math/cudd/stage/usr/local/lib/libcudd.la libtool: install: /usr/bin/install -c cudd/.libs/libcudd.a /construction/math/cudd/stage/usr/local/lib/libcudd.a libtool: install: chmod 644 /construction/math/cudd/stage/usr/local/lib/libcudd.a libtool: install: ranlib /construction/math/cudd/stage/usr/local/lib/libcudd.a libtool: install: warning: remember to run `libtool --finish /usr/local/lib' /bin/mkdir -p '/construction/math/cudd/stage/usr/local/include' install -m 0644 cudd/cudd.h '/construction/math/cudd/stage/usr/local/include' gmake[2]: Leaving directory '/construction/math/cudd/cudd-3.0.0' gmake[1]: Leaving directory '/construction/math/cudd/cudd-3.0.0' ====> Compressing man pages (compress-man) ====> Running Q/A tests (stage-qa) Warning: 'lib/libcudd-3.0.0.so.0.0.0' is not stripped consider trying INSTALL_TARGET=install-strip or using ${STRIP_CMD} Warning: You have disabled the licenses framework with DISABLE_LICENSES, unable to run checks SUCCEEDED 00:00:01 ------------------------------------------------------------------------------- -- Phase: package ------------------------------------------------------------------------------- ===> Building package for cudd-3.0.0 file sizes/checksums [5]: 0% file sizes/checksums [5]: 100% packing files [5]: 0% packing files [5]: 100% packing directories [0]: 0% packing directories [0]: 100% SUCCEEDED 00:00:03 TOTAL TIME 00:00:43