=>> Building math/cudd build started at Wed Feb 18 11:06:57 EST 2026 port directory: /usr/ports/math/cudd package name: cudd-3.0.0 building for: FreeBSD pkg.DaveG.ca 15.0-RELEASE-p3 FreeBSD 15.0-RELEASE-p3 1500068 amd64 maintained by: yuri@FreeBSD.org Makefile datestamp: -rw-r--r-- 1 root wheel 543 Aug 27 2024 /usr/ports/math/cudd/Makefile Ports top last git commit: eac71dbf758c Ports top unclean checkout: no Port dir last git commit: fb16dfecae4a Port dir unclean checkout: no Poudriere version: poudriere-git-3.4.2 Host OSVERSION: 1500068 Jail OSVERSION: 1500068 Job Id: 06 ---Begin Environment--- SHELL=/bin/sh OSVERSION=1500068 UNAME_v=FreeBSD 15.0-RELEASE-p3 1500068 UNAME_r=15.0-RELEASE-p3 BLOCKSIZE=K MAIL=/var/mail/root MM_CHARSET=UTF-8 LANG=C.UTF-8 STATUS=1 HOME=/root PATH=/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin MAKE_OBJDIR_CHECK_WRITABLE=0 LOCALBASE=/usr/local USER=root POUDRIERE_NAME=poudriere-git LIBEXECPREFIX=/usr/local/libexec/poudriere POUDRIERE_VERSION=3.4.2 MASTERMNT=/usr/local/poudriere/data/.m/freebsd_15_0_x64-HEAD-ALL/ref LC_COLLATE=C POUDRIERE_BUILD_TYPE=bulk PACKAGE_BUILDING=yes SAVED_TERM=tmux-256color OUTPUT_REDIRECTED_STDERR=4 OUTPUT_REDIRECTED=1 PWD=/usr/local/poudriere/data/.m/freebsd_15_0_x64-HEAD-ALL/06/.p OUTPUT_REDIRECTED_STDOUT=3 P_PORTS_FEATURES=FLAVORS SUBPACKAGES SELECTED_OPTIONS MASTERNAME=freebsd_15_0_x64-HEAD-ALL SCRIPTPREFIX=/usr/local/share/poudriere SCRIPTNAME=bulk.sh OLDPWD=/usr/local/poudriere/data/.m/freebsd_15_0_x64-HEAD-ALL/ref/.p/pool POUDRIERE_PKGNAME=poudriere-git-3.4.2 SCRIPTPATH=/usr/local/share/poudriere/bulk.sh POUDRIEREPATH=/usr/local/bin/poudriere ---End Environment--- ---Begin Poudriere Port Flags/Env--- PORT_FLAGS= PKGENV= FLAVOR= MAKE_ARGS= ---End Poudriere Port Flags/Env--- ---Begin OPTIONS List--- ---End OPTIONS List--- --MAINTAINER-- yuri@FreeBSD.org --End MAINTAINER-- --CONFIGURE_ARGS-- --enable-shared --prefix=/usr/local ${_LATE_CONFIGURE_ARGS} --End CONFIGURE_ARGS-- --CONFIGURE_ENV-- MAKE=/usr/local/bin/gmake XDG_DATA_HOME=/wrkdirs/usr/ports/math/cudd/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/cudd/work XDG_CACHE_HOME=/wrkdirs/usr/ports/math/cudd/work/.cache HOME=/wrkdirs/usr/ports/math/cudd/work TMPDIR="/tmp" PATH=/wrkdirs/usr/ports/math/cudd/work/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin PKG_CONFIG_LIBDIR=/wrkdirs/usr/ports/math/cudd/work/.pkgconfig:/usr/local/libdata/pkgconfig:/usr/local/share/pkgconfig:/usr/libdata/pkgconfig SHELL=/bin/sh CONFIG_SHELL=/bin/sh CONFIG_SITE=/usr/ports/Templates/config.site lt_cv_sys_max_cmd_len=524288 --End CONFIGURE_ENV-- --MAKE_ENV-- XDG_DATA_HOME=/wrkdirs/usr/ports/math/cudd/work XDG_CONFIG_HOME=/wrkdirs/usr/ports/math/cudd/work XDG_CACHE_HOME=/wrkdirs/usr/ports/math/cudd/work/.cache HOME=/wrkdirs/usr/ports/math/cudd/work TMPDIR="/tmp" PATH=/wrkdirs/usr/ports/math/cudd/work/.bin:/sbin:/bin:/usr/sbin:/usr/bin:/usr/local/sbin:/usr/local/bin:/root/bin PKG_CONFIG_LIBDIR=/wrkdirs/usr/ports/math/cudd/work/.pkgconfig:/usr/local/libdata/pkgconfig:/usr/local/share/pkgconfig:/usr/libdata/pkgconfig MK_DEBUG_FILES=no MK_KERNEL_SYMBOLS=no SHELL=/bin/sh NO_LINT=YES PREFIX=/usr/local LOCALBASE=/usr/local CC="cc" CFLAGS="-O2 -pipe -fstack-protector-strong -fno-strict-aliasing " CPP="cpp" CPPFLAGS="" LDFLAGS=" " LIBS="" CXX="c++" CXXFLAGS="-O2 -pipe -fstack-protector-strong -fno-strict-aliasing " BSD_INSTALL_PROGRAM="install -s -m 555" BSD_INSTALL_LIB="install -s -m 0644" BSD_INSTALL_SCRIPT="install -m 555" BSD_INSTALL_DATA="install -m 0644" BSD_INSTALL_MAN="install -m 444" --End MAKE_ENV-- --PLIST_SUB-- OSREL=15.0 PREFIX=%D LOCALBASE=/usr/local RESETPREFIX=/usr/local LIB32DIR=lib DOCSDIR="share/doc/cudd" EXAMPLESDIR="share/examples/cudd" DATADIR="share/cudd" WWWDIR="www/cudd" ETCDIR="etc/cudd" --End PLIST_SUB-- --SUB_LIST-- PREFIX=/usr/local LOCALBASE=/usr/local DATADIR=/usr/local/share/cudd DOCSDIR=/usr/local/share/doc/cudd EXAMPLESDIR=/usr/local/share/examples/cudd WWWDIR=/usr/local/www/cudd ETCDIR=/usr/local/etc/cudd --End SUB_LIST-- ---Begin make.conf--- DEFAULT_VERSIONS+=pgsql=15 DEFAULT_VERSIONS+=php=82 DISABLE_LICENSES=yes SELECTED_OPTIONS+=OPENBLAS ARCHDEF=AMD64K10h64SSE3 USE_PACKAGE_DEPENDS=yes BATCH=yes WRKDIRPREFIX=/wrkdirs PORTSDIR=/usr/ports PACKAGES=/packages DISTDIR=/distfiles FORCE_PACKAGE=yes PACKAGE_BUILDING=yes PACKAGE_BUILDING_FLAVORS=yes #### #### DEFAULT_VERSIONS+=pgsql=15 DEFAULT_VERSIONS+=php=82 DISABLE_LICENSES=yes SELECTED_OPTIONS+=OPENBLAS ARCHDEF=AMD64K10h64SSE3 WITH_CCACHE_BUILD=yes CCACHE_DIR=/root/.ccache #### Misc Poudriere #### .include "/etc/make.conf.ports_env" GID=0 UID=0 ---End make.conf--- --Resource limits-- cpu time (seconds, -t) unlimited file size (512-blocks, -f) unlimited data seg size (kbytes, -d) 33554432 stack size (kbytes, -s) 524288 core file size (512-blocks, -c) unlimited max memory size (kbytes, -m) unlimited locked memory (kbytes, -l) unlimited max user processes (-u) 89999 open files (-n) 8192 virtual mem size (kbytes, -v) unlimited swap limit (kbytes, -w) unlimited socket buffer size (bytes, -b) unlimited pseudo-terminals (-p) unlimited kqueues (-k) unlimited umtx shared locks (-o) unlimited pipebuf (-y) unlimited --End resource limits-- =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 ===> cudd-3.0.0 depends on file: /usr/local/sbin/pkg - not found ===> Installing existing package /packages/All/pkg-2.5.1.pkg [pkg.DaveG.ca] Installing pkg-2.5.1... [pkg.DaveG.ca] Extracting pkg-2.5.1: .......... done ===> cudd-3.0.0 depends on file: /usr/local/sbin/pkg - found ===> Returning to build of cudd-3.0.0 =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Fetching all distfiles required by cudd-3.0.0 for building =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Fetching all distfiles required by cudd-3.0.0 for building => SHA256 Checksum OK for cudd-3.0.0.tar.gz. =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> 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. =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Patching for cudd-3.0.0 =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 ===> cudd-3.0.0 depends on package: gmake>=4.4.1 - not found ===> Installing existing package /packages/All/gmake-4.4.1.pkg [pkg.DaveG.ca] Installing gmake-4.4.1... [pkg.DaveG.ca] `-- Installing gettext-runtime-0.26... [pkg.DaveG.ca] | `-- Installing indexinfo-0.3.1_1... [pkg.DaveG.ca] | `-- Extracting indexinfo-0.3.1_1: . done [pkg.DaveG.ca] `-- Extracting gettext-runtime-0.26: .......... done [pkg.DaveG.ca] Extracting gmake-4.4.1: .......... done ===> cudd-3.0.0 depends on package: gmake>=4.4.1 - found ===> Returning to build of cudd-3.0.0 ===> cudd-3.0.0 depends on file: /usr/local/bin/ccache - not found ===> Installing existing package /packages/All/ccache-3.7.12_8.pkg [pkg.DaveG.ca] Installing ccache-3.7.12_8... [pkg.DaveG.ca] Extracting ccache-3.7.12_8: ......... done Create compiler links... create symlink for cc create symlink for cc (world) create symlink for c++ create symlink for c++ (world) create symlink for CC create symlink for CC (world) create symlink for clang create symlink for clang (world) create symlink for clang++ create symlink for clang++ (world) ===== Message from ccache-3.7.12_8: -- NOTE: Please read /usr/local/share/doc/ccache/ccache-howto-freebsd.txt for information on using ccache with FreeBSD ports and src. ===> cudd-3.0.0 depends on file: /usr/local/bin/ccache - found ===> Returning to build of cudd-3.0.0 =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Configuring for cudd-3.0.0 configure: loading site script /usr/ports/Templates/config.site checking build system type... amd64-portbld-freebsd15.0 checking host system type... amd64-portbld-freebsd15.0 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 /usr/local/bin/gmake sets $(MAKE)... yes checking whether /usr/local/bin/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 /usr/local/bin/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) 524288 checking whether the shell understands some XSI constructs... yes checking whether the shell understands "+="... no checking how to convert amd64-portbld-freebsd15.0 file names to amd64-portbld-freebsd15.0 format... func_convert_file_noop checking how to convert amd64-portbld-freebsd15.0 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... yes checking for cc option to produce PIC... -fPIC -DPIC checking if cc PIC flag -fPIC -DPIC works... yes checking if cc static flag -static works... yes checking if cc supports -c -o file.o... yes checking if cc supports -c -o file.o... (cached) yes checking whether the cc linker (/usr/bin/ld) supports shared libraries... yes checking whether -lc should be explicitly linked in... no checking dynamic linker characteristics... freebsd15.0 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... freebsd15.0 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 : amd64-portbld-freebsd15.0 Host system : amd64-portbld-freebsd15.0 Prefix : '/usr/local' Compilers : 'cc -O2 -pipe -fstack-protector-strong -fno-strict-aliasing ' : 'c++ -O2 -pipe -fstack-protector-strong -fno-strict-aliasing ' Shared library : yes dddmp enabled : no obj enabled : no -------------------------------------------------- =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Building for cudd-3.0.0 /usr/local/bin/gmake all-am gmake[1]: Entering directory '/wrkdirs/usr/ports/math/cudd/work/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 -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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 /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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 /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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 /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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 /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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 /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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 /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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 /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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 /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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 /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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 /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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 /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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 /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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 /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 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 -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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-cuddZddCount.Tpo cudd/.deps/cudd_libcudd_la-cuddZddCount.Plo libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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-cuddZddIsop.Tpo cudd/.deps/cudd_libcudd_la-cuddZddIsop.Plo mv -f cudd/.deps/cudd_libcudd_la-cuddSplit.Tpo cudd/.deps/cudd_libcudd_la-cuddSplit.Plo libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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-cuddInit.Tpo cudd/.deps/cudd_libcudd_la-cuddInit.Plo mv -f cudd/.deps/cudd_libcudd_la-cuddClip.Tpo cudd/.deps/cudd_libcudd_la-cuddClip.Plo mv -f cudd/.deps/cudd_libcudd_la-cuddRef.Tpo cudd/.deps/cudd_libcudd_la-cuddRef.Plo libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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 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 -O2 -pipe -fstack-protector-strong -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 /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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-cuddZddLin.Tpo cudd/.deps/cudd_libcudd_la-cuddZddLin.Plo mv -f cudd/.deps/cudd_libcudd_la-cuddLevelQ.Tpo cudd/.deps/cudd_libcudd_la-cuddLevelQ.Plo mv -f cudd/.deps/cudd_libcudd_la-cuddHarwell.Tpo cudd/.deps/cudd_libcudd_la-cuddHarwell.Plo mv -f cudd/.deps/cudd_libcudd_la-cuddCheck.Tpo cudd/.deps/cudd_libcudd_la-cuddCheck.Plo mv -f cudd/.deps/cudd_libcudd_la-cuddAddNeg.Tpo cudd/.deps/cudd_libcudd_la-cuddAddNeg.Plo libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 mv -f cudd/.deps/cudd_libcudd_la-cuddAddIte.Tpo cudd/.deps/cudd_libcudd_la-cuddAddIte.Plo libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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-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 -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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 mv -f cudd/.deps/cudd_libcudd_la-cuddZddMisc.Tpo cudd/.deps/cudd_libcudd_la-cuddZddMisc.Plo mv -f cudd/.deps/cudd_libcudd_la-cuddInteract.Tpo cudd/.deps/cudd_libcudd_la-cuddInteract.Plo libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 mv -f util/.deps/cudd_libcudd_la-cstringstream.Tpo util/.deps/cudd_libcudd_la-cstringstream.Plo mv -f cudd/.deps/cudd_libcudd_la-cuddZddSetop.Tpo cudd/.deps/cudd_libcudd_la-cuddZddSetop.Plo 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 -O2 -pipe -fstack-protector-strong -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 /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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 cudd/.deps/cudd_libcudd_la-cuddMatMult.Tpo cudd/.deps/cudd_libcudd_la-cuddMatMult.Plo libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -O2 -pipe -fstack-protector-strong -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 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -O2 -pipe -fstack-protector-strong -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 /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -O2 -pipe -fstack-protector-strong -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./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -O2 -pipe -fstack-protector-strong -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 /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -O2 -pipe -fstack-protector-strong -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 /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -O2 -pipe -fstack-protector-strong -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 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./util -I./mtr -I./epd -I./cudd -I./st -O2 -pipe -fstack-protector-strong -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 mv -f cudd/.deps/cudd_libcudd_la-cuddCof.Tpo cudd/.deps/cudd_libcudd_la-cuddCof.Plo libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 mv -f cudd/.deps/cudd_libcudd_la-cuddAnneal.Tpo cudd/.deps/cudd_libcudd_la-cuddAnneal.Plo mv -f cudd/.deps/cudd_libcudd_la-cuddAddInv.Tpo cudd/.deps/cudd_libcudd_la-cuddAddInv.Plo libtool: compile: cc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -O2 -pipe -fstack-protector-strong -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./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 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./util -I./mtr -I./epd -I./cudd -I./st -O2 -pipe -fstack-protector-strong -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 /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -O2 -pipe -fstack-protector-strong -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 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./util -I./mtr -I./epd -I./cudd -I./st -O2 -pipe -fstack-protector-strong -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 /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -O2 -pipe -fstack-protector-strong -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 util/.deps/cudd_libcudd_la-cpu_time.Tpo util/.deps/cudd_libcudd_la-cpu_time.Plo mv -f cudd/.deps/cudd_libcudd_la-cuddZddPort.Tpo cudd/.deps/cudd_libcudd_la-cuddZddPort.Plo libtool: compile: cc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -O2 -pipe -fstack-protector-strong -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 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./util -I./mtr -I./epd -I./cudd -I./st -O2 -pipe -fstack-protector-strong -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 /bin/sh ./libtool --tag=CXX --mode=compile c++ -DHAVE_CONFIG_H -I. -I./cudd -I./mtr -I./epd -I./st -O2 -pipe -fstack-protector-strong -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: cc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -O2 -pipe -fstack-protector-strong -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 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 mv -f cudd/.deps/cudd_libcudd_la-cuddSubsetSP.Tpo cudd/.deps/cudd_libcudd_la-cuddSubsetSP.Plo libtool: compile: cc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -O2 -pipe -fstack-protector-strong -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 mv -f cudd/.deps/cudd_libcudd_la-cuddWindow.Tpo cudd/.deps/cudd_libcudd_la-cuddWindow.Plo mv -f cudd/.deps/cudd_libcudd_la-cuddRead.Tpo cudd/.deps/cudd_libcudd_la-cuddRead.Plo libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -O2 -pipe -fstack-protector-strong -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 mv -f cudd/.deps/cudd_libcudd_la-cuddAddAbs.Tpo cudd/.deps/cudd_libcudd_la-cuddAddAbs.Plo libtool: compile: cc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -O2 -pipe -fstack-protector-strong -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 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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 cudd/.deps/cudd_libcudd_la-cuddSolve.Tpo cudd/.deps/cudd_libcudd_la-cuddSolve.Plo libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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./util -I./mtr -I./epd -I./cudd -I./st -O2 -pipe -fstack-protector-strong -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-cuddGenetic.Tpo cudd/.deps/cudd_libcudd_la-cuddGenetic.Plo mv -f cudd/.deps/cudd_libcudd_la-cuddEssent.Tpo cudd/.deps/cudd_libcudd_la-cuddEssent.Plo libtool: compile: cc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -O2 -pipe -fstack-protector-strong -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 libtool: compile: c++ -DHAVE_CONFIG_H -I. -I./cudd -I./mtr -I./epd -I./st -O2 -pipe -fstack-protector-strong -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./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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-cuddCompose.Tpo cudd/.deps/cudd_libcudd_la-cuddCompose.Plo mv -f cudd/.deps/cudd_libcudd_la-cuddSubsetHB.Tpo cudd/.deps/cudd_libcudd_la-cuddSubsetHB.Plo libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 mv -f cudd/.deps/cudd_libcudd_la-cuddZddGroup.Tpo cudd/.deps/cudd_libcudd_la-cuddZddGroup.Plo libtool: compile: cc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -O2 -pipe -fstack-protector-strong -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 mv -f cudd/.deps/cudd_libcudd_la-cuddBddAbs.Tpo cudd/.deps/cudd_libcudd_la-cuddBddAbs.Plo libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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-cpu_stats.Tpo util/.deps/cudd_libcudd_la-cpu_stats.Plo mv -f cudd/.deps/cudd_libcudd_la-cuddLinear.Tpo cudd/.deps/cudd_libcudd_la-cuddLinear.Plo mv -f cudd/.deps/cudd_libcudd_la-cuddApprox.Tpo cudd/.deps/cudd_libcudd_la-cuddApprox.Plo mv -f cudd/.deps/cudd_libcudd_la-cuddPriority.Tpo cudd/.deps/cudd_libcudd_la-cuddPriority.Plo libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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-cuddZddSymm.Tpo cudd/.deps/cudd_libcudd_la-cuddZddSymm.Plo mv -f cudd/.deps/cudd_libcudd_la-cuddApa.Tpo cudd/.deps/cudd_libcudd_la-cuddApa.Plo libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 mv -f cudd/.deps/cudd_libcudd_la-cuddSymmetry.Tpo cudd/.deps/cudd_libcudd_la-cuddSymmetry.Plo mv -f cudd/.deps/cudd_libcudd_la-cuddZddUtil.Tpo cudd/.deps/cudd_libcudd_la-cuddZddUtil.Plo mv -f util/.deps/cudd_libcudd_la-pipefork.Tpo util/.deps/cudd_libcudd_la-pipefork.Plo libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 cudd/.deps/cudd_libcudd_la-cuddCache.Tpo cudd/.deps/cudd_libcudd_la-cuddCache.Plo libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 mv -f cudd/.deps/cudd_libcudd_la-cuddZddFuncs.Tpo cudd/.deps/cudd_libcudd_la-cuddZddFuncs.Plo libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 mv -f cudd/.deps/cudd_libcudd_la-cuddBddIte.Tpo cudd/.deps/cudd_libcudd_la-cuddBddIte.Plo mv -f cudd/.deps/cudd_libcudd_la-cuddBridge.Tpo cudd/.deps/cudd_libcudd_la-cuddBridge.Plo libtool: compile: cc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -O2 -pipe -fstack-protector-strong -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 cudd/.deps/cudd_libcudd_la-cuddLCache.Tpo cudd/.deps/cudd_libcudd_la-cuddLCache.Plo libtool: compile: cc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -O2 -pipe -fstack-protector-strong -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./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 cudd/.deps/cudd_libcudd_la-cuddZddReord.Tpo cudd/.deps/cudd_libcudd_la-cuddZddReord.Plo libtool: compile: cc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -O2 -pipe -fstack-protector-strong -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 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -O2 -pipe -fstack-protector-strong -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 mv -f util/.deps/cudd_libcudd_la-datalimit.Tpo util/.deps/cudd_libcudd_la-datalimit.Plo mv -f cudd/.deps/cudd_libcudd_la-cuddReorder.Tpo cudd/.deps/cudd_libcudd_la-cuddReorder.Plo mv -f cudd/.deps/cudd_libcudd_la-cuddGroup.Tpo cudd/.deps/cudd_libcudd_la-cuddGroup.Plo mv -f cudd/.deps/cudd_libcudd_la-cuddDecomp.Tpo cudd/.deps/cudd_libcudd_la-cuddDecomp.Plo mv -f util/.deps/cudd_libcudd_la-prtime.Tpo util/.deps/cudd_libcudd_la-prtime.Plo libtool: compile: cc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -O2 -pipe -fstack-protector-strong -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./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -O2 -pipe -fstack-protector-strong -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 mv -f cudd/.deps/cudd_libcudd_la-cuddSat.Tpo cudd/.deps/cudd_libcudd_la-cuddSat.Plo mv -f util/.deps/cudd_libcudd_la-pathsearch.Tpo util/.deps/cudd_libcudd_la-pathsearch.Plo mv -f dddmp/.deps/dddmp_libdddmp_la-dddmpBinary.Tpo dddmp/.deps/dddmp_libdddmp_la-dddmpBinary.Plo mv -f util/.deps/cudd_libcudd_la-texpand.Tpo util/.deps/cudd_libcudd_la-texpand.Plo libtool: compile: cc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -O2 -pipe -fstack-protector-strong -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 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -O2 -pipe -fstack-protector-strong -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 -O2 -pipe -fstack-protector-strong -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 libtool: compile: cc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -O2 -pipe -fstack-protector-strong -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 util/.deps/cudd_libcudd_la-safe_mem.Tpo util/.deps/cudd_libcudd_la-safe_mem.Plo mv -f mtr/.deps/cudd_libcudd_la-mtrBasic.Tpo mtr/.deps/cudd_libcudd_la-mtrBasic.Plo libtool: compile: cc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -O2 -pipe -fstack-protector-strong -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 cudd/.deps/cudd_libcudd_la-cuddAPI.Tpo cudd/.deps/cudd_libcudd_la-cuddAPI.Plo mv -f util/.deps/cudd_libcudd_la-strsav.Tpo util/.deps/cudd_libcudd_la-strsav.Plo mv -f mtr/.deps/cudd_libcudd_la-mtrGroup.Tpo mtr/.deps/cudd_libcudd_la-mtrGroup.Plo mv -f util/.deps/cudd_libcudd_la-ucbqsort.Tpo util/.deps/cudd_libcudd_la-ucbqsort.Plo libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -O2 -pipe -fstack-protector-strong -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 dddmp/.deps/dddmp_libdddmp_la-dddmpConvert.Tpo dddmp/.deps/dddmp_libdddmp_la-dddmpConvert.Plo mv -f dddmp/.deps/dddmp_libdddmp_la-dddmpUtil.Tpo dddmp/.deps/dddmp_libdddmp_la-dddmpUtil.Plo mv -f dddmp/.deps/dddmp_libdddmp_la-dddmpNodeBdd.Tpo dddmp/.deps/dddmp_libdddmp_la-dddmpNodeBdd.Plo mv -f cudd/.deps/cudd_libcudd_la-cuddExact.Tpo cudd/.deps/cudd_libcudd_la-cuddExact.Plo mv -f dddmp/.deps/dddmp_libdddmp_la-dddmpNodeAdd.Tpo dddmp/.deps/dddmp_libdddmp_la-dddmpNodeAdd.Plo mv -f cudd/.deps/cudd_libcudd_la-cuddGenCof.Tpo cudd/.deps/cudd_libcudd_la-cuddGenCof.Plo libtool: compile: cc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -O2 -pipe -fstack-protector-strong -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 mv -f dddmp/.deps/dddmp_libdddmp_la-dddmpDbg.Tpo dddmp/.deps/dddmp_libdddmp_la-dddmpDbg.Plo mv -f dddmp/.deps/dddmp_libdddmp_la-dddmpLoadCnf.Tpo dddmp/.deps/dddmp_libdddmp_la-dddmpLoadCnf.Plo mv -f dddmp/.deps/dddmp_libdddmp_la-dddmpNodeCnf.Tpo dddmp/.deps/dddmp_libdddmp_la-dddmpNodeCnf.Plo mv -f dddmp/.deps/dddmp_libdddmp_la-dddmpStoreMisc.Tpo dddmp/.deps/dddmp_libdddmp_la-dddmpStoreMisc.Plo mv -f dddmp/.deps/dddmp_libdddmp_la-dddmpStoreAdd.Tpo dddmp/.deps/dddmp_libdddmp_la-dddmpStoreAdd.Plo mv -f st/.deps/cudd_libcudd_la-st.Tpo st/.deps/cudd_libcudd_la-st.Plo mv -f dddmp/.deps/dddmp_libdddmp_la-dddmpStoreBdd.Tpo dddmp/.deps/dddmp_libdddmp_la-dddmpStoreBdd.Plo mv -f epd/.deps/cudd_libcudd_la-epd.Tpo epd/.deps/cudd_libcudd_la-epd.Plo mv -f cudd/.deps/cudd_libcudd_la-cuddTable.Tpo cudd/.deps/cudd_libcudd_la-cuddTable.Plo mv -f dddmp/.deps/dddmp_libdddmp_la-dddmpLoad.Tpo dddmp/.deps/dddmp_libdddmp_la-dddmpLoad.Plo mv -f cudd/.deps/cudd_libcudd_la-cuddUtil.Tpo cudd/.deps/cudd_libcudd_la-cuddUtil.Plo /bin/sh ./libtool --tag=CXX --mode=link c++ -O2 -pipe -fstack-protector-strong -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-dddmpStoreCnf.Tpo dddmp/.deps/dddmp_libdddmp_la-dddmpStoreCnf.Plo /bin/sh ./libtool --tag=CC --mode=link cc -O2 -pipe -fstack-protector-strong -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 libtool: link: c++ -fPIC -DPIC -shared -nostdlib /usr/lib/crti.o /usr/lib/crtbeginS.o cudd/.libs/cudd_libcudd_la-cuddAddAbs.o cudd/.libs/cudd_libcudd_la-cuddAddApply.o cudd/.libs/cudd_libcudd_la-cuddAddFind.o cudd/.libs/cudd_libcudd_la-cuddAddInv.o cudd/.libs/cudd_libcudd_la-cuddAddIte.o cudd/.libs/cudd_libcudd_la-cuddAddNeg.o cudd/.libs/cudd_libcudd_la-cuddAddWalsh.o cudd/.libs/cudd_libcudd_la-cuddAndAbs.o cudd/.libs/cudd_libcudd_la-cuddAnneal.o cudd/.libs/cudd_libcudd_la-cuddApa.o cudd/.libs/cudd_libcudd_la-cuddAPI.o cudd/.libs/cudd_libcudd_la-cuddApprox.o cudd/.libs/cudd_libcudd_la-cuddBddAbs.o cudd/.libs/cudd_libcudd_la-cuddBddCorr.o cudd/.libs/cudd_libcudd_la-cuddBddIte.o cudd/.libs/cudd_libcudd_la-cuddBridge.o cudd/.libs/cudd_libcudd_la-cuddCache.o cudd/.libs/cudd_libcudd_la-cuddCheck.o cudd/.libs/cudd_libcudd_la-cuddClip.o cudd/.libs/cudd_libcudd_la-cuddCof.o cudd/.libs/cudd_libcudd_la-cuddCompose.o cudd/.libs/cudd_libcudd_la-cuddDecomp.o cudd/.libs/cudd_libcudd_la-cuddEssent.o cudd/.libs/cudd_libcudd_la-cuddExact.o cudd/.libs/cudd_libcudd_la-cuddExport.o cudd/.libs/cudd_libcudd_la-cuddGenCof.o cudd/.libs/cudd_libcudd_la-cuddGenetic.o cudd/.libs/cudd_libcudd_la-cuddGroup.o cudd/.libs/cudd_libcudd_la-cuddHarwell.o cudd/.libs/cudd_libcudd_la-cuddInit.o cudd/.libs/cudd_libcudd_la-cuddInteract.o cudd/.libs/cudd_libcudd_la-cuddLCache.o cudd/.libs/cudd_libcudd_la-cuddLevelQ.o cudd/.libs/cudd_libcudd_la-cuddLinear.o cudd/.libs/cudd_libcudd_la-cuddLiteral.o cudd/.libs/cudd_libcudd_la-cuddMatMult.o cudd/.libs/cudd_libcudd_la-cuddPriority.o cudd/.libs/cudd_libcudd_la-cuddRead.o cudd/.libs/cudd_libcudd_la-cuddRef.o cudd/.libs/cudd_libcudd_la-cuddReorder.o cudd/.libs/cudd_libcudd_la-cuddSat.o cudd/.libs/cudd_libcudd_la-cuddSign.o cudd/.libs/cudd_libcudd_la-cuddSolve.o cudd/.libs/cudd_libcudd_la-cuddSplit.o cudd/.libs/cudd_libcudd_la-cuddSubsetHB.o cudd/.libs/cudd_libcudd_la-cuddSubsetSP.o cudd/.libs/cudd_libcudd_la-cuddSymmetry.o cudd/.libs/cudd_libcudd_la-cuddTable.o cudd/.libs/cudd_libcudd_la-cuddUtil.o cudd/.libs/cudd_libcudd_la-cuddWindow.o cudd/.libs/cudd_libcudd_la-cuddZddCount.o cudd/.libs/cudd_libcudd_la-cuddZddFuncs.o cudd/.libs/cudd_libcudd_la-cuddZddGroup.o cudd/.libs/cudd_libcudd_la-cuddZddIsop.o cudd/.libs/cudd_libcudd_la-cuddZddLin.o cudd/.libs/cudd_libcudd_la-cuddZddMisc.o cudd/.libs/cudd_libcudd_la-cuddZddPort.o cudd/.libs/cudd_libcudd_la-cuddZddReord.o cudd/.libs/cudd_libcudd_la-cuddZddSetop.o cudd/.libs/cudd_libcudd_la-cuddZddSymm.o cudd/.libs/cudd_libcudd_la-cuddZddUtil.o util/.libs/cudd_libcudd_la-cpu_stats.o util/.libs/cudd_libcudd_la-cpu_time.o util/.libs/cudd_libcudd_la-cstringstream.o util/.libs/cudd_libcudd_la-datalimit.o util/.libs/cudd_libcudd_la-pathsearch.o util/.libs/cudd_libcudd_la-pipefork.o util/.libs/cudd_libcudd_la-prtime.o util/.libs/cudd_libcudd_la-safe_mem.o util/.libs/cudd_libcudd_la-strsav.o util/.libs/cudd_libcudd_la-texpand.o util/.libs/cudd_libcudd_la-ucbqsort.o st/.libs/cudd_libcudd_la-st.o epd/.libs/cudd_libcudd_la-epd.o mtr/.libs/cudd_libcudd_la-mtrBasic.o mtr/.libs/cudd_libcudd_la-mtrGroup.o -L/usr/lib -lc++ -lm -lc -lgcc -lgcc_s /usr/lib/crtendS.o /usr/lib/crtn.o -O2 -fstack-protector-strong -Wl,-soname -Wl,libcudd-3.0.0.so.0 -o cudd/.libs/libcudd-3.0.0.so.0.0.0 libtool: link: ranlib dddmp/.libs/libdddmp.a libtool: link: ( cd "dddmp/.libs" && rm -f "libdddmp.la" && ln -s "../libdddmp.la" "libdddmp.la" ) 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 libtool: link: ranlib cudd/.libs/libcudd.a libtool: link: ( cd "cudd/.libs" && rm -f "libcudd.la" && ln -s "../libcudd.la" "libcudd.la" ) libtool: compile: c++ -DHAVE_CONFIG_H -I. -I./cudd -I./mtr -I./epd -I./st -O2 -pipe -fstack-protector-strong -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++ -O2 -pipe -fstack-protector-strong -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 libtool: link: ranlib cplusplus/.libs/libobj.a libtool: link: ( cd "cplusplus/.libs" && rm -f "libobj.la" && ln -s "../libobj.la" "libobj.la" ) gmake[1]: Leaving directory '/wrkdirs/usr/ports/math/cudd/work/cudd-3.0.0' =========================================================================== =================================================== ===== env: USE_PACKAGE_DEPENDS_ONLY=1 USER=root UID=0 GID=0 =========================================================================== =================================================== ===== env: NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Staging for cudd-3.0.0 ===> Generating temporary packing list gmake[1]: Entering directory '/wrkdirs/usr/ports/math/cudd/work/cudd-3.0.0' /bin/mkdir -p '/wrkdirs/usr/ports/math/cudd/work/stage/usr/local/lib' /bin/sh ./libtool --mode=install /usr/bin/install -c cudd/libcudd.la '/wrkdirs/usr/ports/math/cudd/work/stage/usr/local/lib' libtool: install: /usr/bin/install -c cudd/.libs/libcudd-3.0.0.so.0.0.0 /wrkdirs/usr/ports/math/cudd/work/stage/usr/local/lib/libcudd-3.0.0.so.0.0.0 libtool: install: (cd /wrkdirs/usr/ports/math/cudd/work/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 /wrkdirs/usr/ports/math/cudd/work/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 /wrkdirs/usr/ports/math/cudd/work/stage/usr/local/lib/libcudd.la libtool: install: /usr/bin/install -c cudd/.libs/libcudd.a /wrkdirs/usr/ports/math/cudd/work/stage/usr/local/lib/libcudd.a libtool: install: chmod 644 /wrkdirs/usr/ports/math/cudd/work/stage/usr/local/lib/libcudd.a libtool: install: ranlib /wrkdirs/usr/ports/math/cudd/work/stage/usr/local/lib/libcudd.a libtool: install: warning: remember to run `libtool --finish /usr/local/lib' /bin/mkdir -p '/wrkdirs/usr/ports/math/cudd/work/stage/usr/local/include' install -m 0644 cudd/cudd.h '/wrkdirs/usr/ports/math/cudd/work/stage/usr/local/include' gmake[1]: Leaving directory '/wrkdirs/usr/ports/math/cudd/work/cudd-3.0.0' ====> Compressing man pages (compress-man) =========================================================================== =================================================== ===== env: 'PKG_NOTES=build_timestamp ports_top_git_hash ports_top_checkout_unclean port_git_hash port_checkout_unclean built_by' 'PKG_NOTE_build_timestamp=2026-02-18T16:06:57+0000' 'PKG_NOTE_ports_top_git_hash=eac71dbf758c' 'PKG_NOTE_ports_top_checkout_unclean=no' 'PKG_NOTE_port_git_hash=fb16dfecae4a' 'PKG_NOTE_port_checkout_unclean=no' 'PKG_NOTE_built_by=poudriere-git-3.4.2' NO_DEPENDS=yes USER=root UID=0 GID=0 ===> Building packages for cudd-3.0.0 ===> Building cudd-3.0.0 =========================================================================== =>> Cleaning up wrkdir ===> Cleaning for cudd-3.0.0 build of math/cudd | cudd-3.0.0 ended at Wed Feb 18 11:07:32 EST 2026 build time: 00:00:35