=>> Building math/cudd build started at Thu Mar 28 06:38:53 GMT 2024 port directory: /usr/ports/math/cudd package name: cudd-3.0.0 building for: FreeBSD pkg-builder.dan.net.uk 13.2-RELEASE-p10 FreeBSD 13.2-RELEASE-p10 amd64 maintained by: yuri@FreeBSD.org Makefile datestamp: -rw-r--r-- 1 root wheel 543 Mar 8 2023 /usr/ports/math/cudd/Makefile Ports top last git commit: c2c35d895e Ports top unclean checkout: yes Port dir last git commit: c014f9c79a Port dir unclean checkout: no Poudriere version: poudriere-git-3.4.99.20240122_1 Host OSVERSION: 1400097 Jail OSVERSION: 1302001 Job Id: 13 ---Begin Environment--- SHELL=/bin/csh OSVERSION=1302001 UNAME_v=FreeBSD 13.2-RELEASE-p10 UNAME_r=13.2-RELEASE-p10 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.99.20240122_1 MASTERMNT=/usr/local/poudriere/data/.m/13-amd64-default-dan/ref LC_COLLATE=C POUDRIERE_BUILD_TYPE=bulk PACKAGE_BUILDING=yes SAVED_TERM=screen OUTPUT_REDIRECTED_STDERR=4 OUTPUT_REDIRECTED=1 PWD=/usr/local/poudriere/data/.m/13-amd64-default-dan/13/.p OUTPUT_REDIRECTED_STDOUT=3 P_PORTS_FEATURES=FLAVORS SUBPACKAGES SELECTED_OPTIONS MASTERNAME=13-amd64-default-dan SCRIPTPREFIX=/usr/local/share/poudriere SCRIPTNAME=bulk.sh OLDPWD=/usr/local/poudriere/data/.m/13-amd64-default-dan/ref/.p/pool POUDRIERE_PKGNAME=poudriere-git-3.4.99.20240122_1 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=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=/ccache/libexec/ccache:/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 CCACHE_DIR="/root/.ccache" 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=/ccache/libexec/ccache:/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=" -fstack-protector-strong " LIBS="" CXX="c++" CXXFLAGS="-O2 -pipe -fstack-protector-strong -fno-strict-aliasing " CCACHE_DIR="/root/.ccache" 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=13.2 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--- 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 #### #### CCACHE_CPP2=1 WITH_SSP_PORTS=yes WITH_SSP=yes #WITH_LTO=yes DISABLE_LICENSES=yes LICENSES_ACCEPTED=AGPLv3 APACHE10 APACHE11 APACHE20 ART10 ARTPERL10 ART20 BSD BSD2CLAUSE BSD3CLAUSE BSD4CLAUSE BSL CC0-1.0 CDDL ClArtistic EPL GFDL GMGPL GPLv1 GPLv2 GPLv3 GPLv3RLE ISCL LGPL20 LGPL21 LGPL3 LPPL10 LPPL11 LPPL12 LPPL13 LPPL13a LPPL13b LPPL13c MIT MPL OpenSSL OFL10 OFL11 OWL PostgreSQL PHP202 PHP30 PHP301 PSFL RUBY ZLIB ZPL21 SVM-Light EULA ALASIR Microsoft-exFAT SIMIAN UDEVGAME unknown MTA COMMERCIAL teamspeak NO_LICENSES_DIALOGS=yes #### #### NO_IGNORE=yes DEFAULT_VERSIONS+=ssl=openssl mysql=8.0 imagemagick=7 samba=4.13 java=18 WITH_SETID_MODE=force PHP_ZTS=enabled OPTIONS_UNSET+=OPENJPEG OPTIONS_UNSET+=GSSAPI_BASE OPTIONS_SET+=ZTS OPTIONS_SET+=GSSAPI_NONE WITH_CCACHE_BUILD=yes CCACHE_DIR=/root/.ccache NO_CCACHE_DEPEND=1 CCACHE_WRAPPER_PATH= /ccache/libexec/ccache #### Misc Poudriere #### .include "/etc/make.conf.ports_env" GID=0 UID=0 DISABLE_MAKE_JOBS=poudriere ---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 --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-1.20.9_1.pkg [pkg-builder.dan.net.uk] Installing pkg-1.20.9_1... [pkg-builder.dan.net.uk] Extracting pkg-1.20.9_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-builder.dan.net.uk] Installing gmake-4.4.1... [pkg-builder.dan.net.uk] `-- Installing gettext-runtime-0.22.3_1... [pkg-builder.dan.net.uk] | `-- Installing indexinfo-0.3.1... [pkg-builder.dan.net.uk] | `-- Extracting indexinfo-0.3.1: . done [pkg-builder.dan.net.uk] `-- Extracting gettext-runtime-0.22.3_1: .......... done [pkg-builder.dan.net.uk] 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 =========================================================================== =================================================== ===== 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-freebsd13.2 checking host system type... amd64-portbld-freebsd13.2 checking for a BSD-compatible install... /usr/bin/install -c checking whether build environment is sane... yes checking for a thread-safe mkdir -p... (cached) /bin/mkdir -p checking for gawk... (cached) /usr/bin/awk checking whether gmake sets $(MAKE)... yes checking whether gmake supports nested variables... yes checking for gcc... cc checking whether the C compiler works... yes checking for C compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix of object files... o checking whether we are using the GNU C compiler... yes checking whether cc accepts -g... yes checking for cc option to accept ISO C89... none needed checking whether cc understands -c and -o together... yes checking for style of include used by gmake... GNU checking dependency style of cc... gcc3 checking whether we are using the GNU C++ compiler... yes checking whether c++ accepts -g... yes checking dependency style of c++... gcc3 checking for ar... ar checking the archiver (ar) interface... ar checking how to print strings... printf checking for a sed that does not truncate output... (cached) /usr/bin/sed checking for grep that handles long lines and -e... (cached) /usr/bin/grep checking for egrep... (cached) /usr/bin/egrep checking for fgrep... (cached) /usr/bin/fgrep checking for ld used by cc... /usr/bin/ld checking if the linker (/usr/bin/ld) is GNU ld... yes checking for BSD- or MS-compatible name lister (nm)... /usr/bin/nm checking the name lister (/usr/bin/nm) 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-freebsd13.2 file names to amd64-portbld-freebsd13.2 format... func_convert_file_noop checking how to convert amd64-portbld-freebsd13.2 file names to toolchain format... func_convert_file_noop checking for /usr/bin/ld option to reload object files... -r checking for objdump... no checking how to recognize dependent libraries... pass_all checking for dlltool... no checking how to associate runtime and link libraries... printf %s\n checking for archiver @FILE support... no checking for strip... strip checking for ranlib... ranlib checking command to parse /usr/bin/nm output from cc object... ok checking for sysroot... no checking for mt... mt checking if mt is a manifest tool... no checking how to run the C preprocessor... 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... freebsd13.2 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... freebsd13.2 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-freebsd13.2 Host system : amd64-portbld-freebsd13.2 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 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 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-cuddAddAbs.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddAddAbs.Tpo -c cudd/cuddAddAbs.c -o cudd/cudd_libcudd_la-cuddAddAbs.o >/dev/null 2>&1 mv -f cudd/.deps/cudd_libcudd_la-cuddAddAbs.Tpo cudd/.deps/cudd_libcudd_la-cuddAddAbs.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -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 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-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 mv -f cudd/.deps/cudd_libcudd_la-cuddAddApply.Tpo cudd/.deps/cudd_libcudd_la-cuddAddApply.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -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 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 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 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 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 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 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 mv -f cudd/.deps/cudd_libcudd_la-cuddAddInv.Tpo cudd/.deps/cudd_libcudd_la-cuddAddInv.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -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 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-cuddAddIte.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddAddIte.Tpo -c cudd/cuddAddIte.c -o cudd/cudd_libcudd_la-cuddAddIte.o >/dev/null 2>&1 mv -f cudd/.deps/cudd_libcudd_la-cuddAddIte.Tpo cudd/.deps/cudd_libcudd_la-cuddAddIte.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -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 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-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 mv -f cudd/.deps/cudd_libcudd_la-cuddAddNeg.Tpo cudd/.deps/cudd_libcudd_la-cuddAddNeg.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 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 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 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 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 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 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-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 mv -f cudd/.deps/cudd_libcudd_la-cuddAndAbs.Tpo cudd/.deps/cudd_libcudd_la-cuddAndAbs.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -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 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 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 mv -f cudd/.deps/cudd_libcudd_la-cuddAnneal.Tpo cudd/.deps/cudd_libcudd_la-cuddAnneal.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 cudd/cudd_libcudd_la-cuddApa.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddApa.Tpo -c -o cudd/cudd_libcudd_la-cuddApa.lo `test -f 'cudd/cuddApa.c' || echo './'`cudd/cuddApa.c libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -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 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 mv -f cudd/.deps/cudd_libcudd_la-cuddApa.Tpo cudd/.deps/cudd_libcudd_la-cuddApa.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -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 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-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-cuddAPI.Tpo cudd/.deps/cudd_libcudd_la-cuddAPI.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -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 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-cuddApprox.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddApprox.Tpo -c cudd/cuddApprox.c -o cudd/cudd_libcudd_la-cuddApprox.o >/dev/null 2>&1 mv -f cudd/.deps/cudd_libcudd_la-cuddApprox.Tpo cudd/.deps/cudd_libcudd_la-cuddApprox.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -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 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-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 mv -f cudd/.deps/cudd_libcudd_la-cuddBddAbs.Tpo cudd/.deps/cudd_libcudd_la-cuddBddAbs.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -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 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-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 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 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 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-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 mv -f cudd/.deps/cudd_libcudd_la-cuddBddIte.Tpo cudd/.deps/cudd_libcudd_la-cuddBddIte.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -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 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-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-cuddBridge.Tpo cudd/.deps/cudd_libcudd_la-cuddBridge.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -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 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-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-cuddCache.Tpo cudd/.deps/cudd_libcudd_la-cuddCache.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -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 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 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 mv -f cudd/.deps/cudd_libcudd_la-cuddCheck.Tpo cudd/.deps/cudd_libcudd_la-cuddCheck.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -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 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-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 mv -f cudd/.deps/cudd_libcudd_la-cuddClip.Tpo cudd/.deps/cudd_libcudd_la-cuddClip.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -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 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 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 mv -f cudd/.deps/cudd_libcudd_la-cuddCof.Tpo cudd/.deps/cudd_libcudd_la-cuddCof.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -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 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-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 mv -f cudd/.deps/cudd_libcudd_la-cuddCompose.Tpo cudd/.deps/cudd_libcudd_la-cuddCompose.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -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 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-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 mv -f cudd/.deps/cudd_libcudd_la-cuddDecomp.Tpo cudd/.deps/cudd_libcudd_la-cuddDecomp.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -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 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 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 mv -f cudd/.deps/cudd_libcudd_la-cuddEssent.Tpo cudd/.deps/cudd_libcudd_la-cuddEssent.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -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 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-cuddExact.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddExact.Tpo -c cudd/cuddExact.c -o cudd/cudd_libcudd_la-cuddExact.o >/dev/null 2>&1 mv -f cudd/.deps/cudd_libcudd_la-cuddExact.Tpo cudd/.deps/cudd_libcudd_la-cuddExact.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -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 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-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 mv -f cudd/.deps/cudd_libcudd_la-cuddExport.Tpo cudd/.deps/cudd_libcudd_la-cuddExport.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -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 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 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 mv -f cudd/.deps/cudd_libcudd_la-cuddGenCof.Tpo cudd/.deps/cudd_libcudd_la-cuddGenCof.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -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 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-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 mv -f cudd/.deps/cudd_libcudd_la-cuddGenetic.Tpo cudd/.deps/cudd_libcudd_la-cuddGenetic.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -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 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-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 mv -f cudd/.deps/cudd_libcudd_la-cuddGroup.Tpo cudd/.deps/cudd_libcudd_la-cuddGroup.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -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 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 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 mv -f cudd/.deps/cudd_libcudd_la-cuddHarwell.Tpo cudd/.deps/cudd_libcudd_la-cuddHarwell.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -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 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-cuddInit.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddInit.Tpo -c cudd/cuddInit.c -o cudd/cudd_libcudd_la-cuddInit.o >/dev/null 2>&1 mv -f cudd/.deps/cudd_libcudd_la-cuddInit.Tpo cudd/.deps/cudd_libcudd_la-cuddInit.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -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 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-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 mv -f cudd/.deps/cudd_libcudd_la-cuddInteract.Tpo cudd/.deps/cudd_libcudd_la-cuddInteract.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -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 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-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 mv -f cudd/.deps/cudd_libcudd_la-cuddLCache.Tpo cudd/.deps/cudd_libcudd_la-cuddLCache.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -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 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 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 mv -f cudd/.deps/cudd_libcudd_la-cuddLevelQ.Tpo cudd/.deps/cudd_libcudd_la-cuddLevelQ.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -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 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-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-cuddLinear.Tpo cudd/.deps/cudd_libcudd_la-cuddLinear.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -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 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 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 mv -f cudd/.deps/cudd_libcudd_la-cuddLiteral.Tpo cudd/.deps/cudd_libcudd_la-cuddLiteral.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -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 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-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 mv -f cudd/.deps/cudd_libcudd_la-cuddMatMult.Tpo cudd/.deps/cudd_libcudd_la-cuddMatMult.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -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 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-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 mv -f cudd/.deps/cudd_libcudd_la-cuddPriority.Tpo cudd/.deps/cudd_libcudd_la-cuddPriority.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -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 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-cuddRead.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddRead.Tpo -c cudd/cuddRead.c -o cudd/cudd_libcudd_la-cuddRead.o >/dev/null 2>&1 mv -f cudd/.deps/cudd_libcudd_la-cuddRead.Tpo cudd/.deps/cudd_libcudd_la-cuddRead.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -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 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-cuddRef.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddRef.Tpo -c cudd/cuddRef.c -o cudd/cudd_libcudd_la-cuddRef.o >/dev/null 2>&1 mv -f cudd/.deps/cudd_libcudd_la-cuddRef.Tpo cudd/.deps/cudd_libcudd_la-cuddRef.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -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 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-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 mv -f cudd/.deps/cudd_libcudd_la-cuddReorder.Tpo cudd/.deps/cudd_libcudd_la-cuddReorder.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -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 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 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-cuddSat.Tpo cudd/.deps/cudd_libcudd_la-cuddSat.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -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 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 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 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 cudd/cudd_libcudd_la-cuddSolve.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddSolve.Tpo -c -o cudd/cudd_libcudd_la-cuddSolve.lo `test -f 'cudd/cuddSolve.c' || echo './'`cudd/cuddSolve.c libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -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-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 mv -f cudd/.deps/cudd_libcudd_la-cuddSolve.Tpo cudd/.deps/cudd_libcudd_la-cuddSolve.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -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 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-cuddSplit.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddSplit.Tpo -c cudd/cuddSplit.c -o cudd/cudd_libcudd_la-cuddSplit.o >/dev/null 2>&1 mv -f cudd/.deps/cudd_libcudd_la-cuddSplit.Tpo cudd/.deps/cudd_libcudd_la-cuddSplit.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -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 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-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-cuddSubsetHB.Tpo cudd/.deps/cudd_libcudd_la-cuddSubsetHB.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -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 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-cuddSubsetSP.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddSubsetSP.Tpo -c cudd/cuddSubsetSP.c -o cudd/cudd_libcudd_la-cuddSubsetSP.o >/dev/null 2>&1 mv -f cudd/.deps/cudd_libcudd_la-cuddSubsetSP.Tpo cudd/.deps/cudd_libcudd_la-cuddSubsetSP.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -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-cuddSymmetry.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddSymmetry.Tpo -c cudd/cuddSymmetry.c -fPIC -DPIC -o cudd/.libs/cudd_libcudd_la-cuddSymmetry.o libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -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 mv -f cudd/.deps/cudd_libcudd_la-cuddSymmetry.Tpo cudd/.deps/cudd_libcudd_la-cuddSymmetry.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -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-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-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-cuddTable.Tpo cudd/.deps/cudd_libcudd_la-cuddTable.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 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-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-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-cuddUtil.Tpo cudd/.deps/cudd_libcudd_la-cuddUtil.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -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 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-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 mv -f cudd/.deps/cudd_libcudd_la-cuddWindow.Tpo cudd/.deps/cudd_libcudd_la-cuddWindow.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -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-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-cuddZddCount.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddZddCount.Tpo -c cudd/cuddZddCount.c -o cudd/cudd_libcudd_la-cuddZddCount.o >/dev/null 2>&1 mv -f cudd/.deps/cudd_libcudd_la-cuddZddCount.Tpo cudd/.deps/cudd_libcudd_la-cuddZddCount.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -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-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-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 mv -f cudd/.deps/cudd_libcudd_la-cuddZddFuncs.Tpo cudd/.deps/cudd_libcudd_la-cuddZddFuncs.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -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-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-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 mv -f cudd/.deps/cudd_libcudd_la-cuddZddGroup.Tpo cudd/.deps/cudd_libcudd_la-cuddZddGroup.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -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-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-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 mv -f cudd/.deps/cudd_libcudd_la-cuddZddIsop.Tpo cudd/.deps/cudd_libcudd_la-cuddZddIsop.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -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-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-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 mv -f cudd/.deps/cudd_libcudd_la-cuddZddLin.Tpo cudd/.deps/cudd_libcudd_la-cuddZddLin.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -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-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-cuddZddMisc.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddZddMisc.Tpo -c cudd/cuddZddMisc.c -o cudd/cudd_libcudd_la-cuddZddMisc.o >/dev/null 2>&1 mv -f cudd/.deps/cudd_libcudd_la-cuddZddMisc.Tpo cudd/.deps/cudd_libcudd_la-cuddZddMisc.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -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-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 cudd/cudd_libcudd_la-cuddZddPort.lo -MD -MP -MF cudd/.deps/cudd_libcudd_la-cuddZddPort.Tpo -c cudd/cuddZddPort.c -o cudd/cudd_libcudd_la-cuddZddPort.o >/dev/null 2>&1 mv -f cudd/.deps/cudd_libcudd_la-cuddZddPort.Tpo cudd/.deps/cudd_libcudd_la-cuddZddPort.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -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-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-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-cuddZddReord.Tpo cudd/.deps/cudd_libcudd_la-cuddZddReord.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 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-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-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 mv -f cudd/.deps/cudd_libcudd_la-cuddZddSetop.Tpo cudd/.deps/cudd_libcudd_la-cuddZddSetop.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -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 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-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 mv -f cudd/.deps/cudd_libcudd_la-cuddZddSymm.Tpo cudd/.deps/cudd_libcudd_la-cuddZddSymm.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 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-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 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 mv -f cudd/.deps/cudd_libcudd_la-cuddZddUtil.Tpo cudd/.deps/cudd_libcudd_la-cuddZddUtil.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./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 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 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 util/.deps/cudd_libcudd_la-cpu_stats.Tpo util/.deps/cudd_libcudd_la-cpu_stats.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -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 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 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 mv -f util/.deps/cudd_libcudd_la-cpu_time.Tpo util/.deps/cudd_libcudd_la-cpu_time.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -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 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 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 util/.deps/cudd_libcudd_la-cstringstream.Tpo util/.deps/cudd_libcudd_la-cstringstream.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -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 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 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 mv -f util/.deps/cudd_libcudd_la-datalimit.Tpo util/.deps/cudd_libcudd_la-datalimit.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -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 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 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-pathsearch.Tpo util/.deps/cudd_libcudd_la-pathsearch.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -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 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 util/cudd_libcudd_la-pipefork.lo -MD -MP -MF util/.deps/cudd_libcudd_la-pipefork.Tpo -c util/pipefork.c -o util/cudd_libcudd_la-pipefork.o >/dev/null 2>&1 mv -f util/.deps/cudd_libcudd_la-pipefork.Tpo util/.deps/cudd_libcudd_la-pipefork.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -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-prtime.lo -MD -MP -MF util/.deps/cudd_libcudd_la-prtime.Tpo -c util/prtime.c -fPIC -DPIC -o util/.libs/cudd_libcudd_la-prtime.o libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -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 util/.deps/cudd_libcudd_la-prtime.Tpo util/.deps/cudd_libcudd_la-prtime.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 util/cudd_libcudd_la-safe_mem.lo -MD -MP -MF util/.deps/cudd_libcudd_la-safe_mem.Tpo -c util/safe_mem.c -fPIC -DPIC -o util/.libs/cudd_libcudd_la-safe_mem.o libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -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 util/.deps/cudd_libcudd_la-safe_mem.Tpo util/.deps/cudd_libcudd_la-safe_mem.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -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 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 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 util/.deps/cudd_libcudd_la-strsav.Tpo util/.deps/cudd_libcudd_la-strsav.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -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 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 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 util/.deps/cudd_libcudd_la-texpand.Tpo util/.deps/cudd_libcudd_la-texpand.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./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 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 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 util/.deps/cudd_libcudd_la-ucbqsort.Tpo util/.deps/cudd_libcudd_la-ucbqsort.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./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 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 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 mv -f st/.deps/cudd_libcudd_la-st.Tpo st/.deps/cudd_libcudd_la-st.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./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 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 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 epd/.deps/cudd_libcudd_la-epd.Tpo epd/.deps/cudd_libcudd_la-epd.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 mtr/cudd_libcudd_la-mtrBasic.lo -MD -MP -MF mtr/.deps/cudd_libcudd_la-mtrBasic.Tpo -c -o mtr/cudd_libcudd_la-mtrBasic.lo `test -f 'mtr/mtrBasic.c' || echo './'`mtr/mtrBasic.c libtool: compile: cc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -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 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 mtr/.deps/cudd_libcudd_la-mtrBasic.Tpo mtr/.deps/cudd_libcudd_la-mtrBasic.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./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 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 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 mv -f mtr/.deps/cudd_libcudd_la-mtrGroup.Tpo mtr/.deps/cudd_libcudd_la-mtrGroup.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 -fstack-protector-strong -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 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 -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: (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" ) /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./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./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 dddmp/.deps/dddmp_libdddmp_la-dddmpBinary.Tpo dddmp/.deps/dddmp_libdddmp_la-dddmpBinary.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -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 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-dddmpConvert.lo -MD -MP -MF dddmp/.deps/dddmp_libdddmp_la-dddmpConvert.Tpo -c dddmp/dddmpConvert.c -o dddmp/dddmp_libdddmp_la-dddmpConvert.o >/dev/null 2>&1 mv -f dddmp/.deps/dddmp_libdddmp_la-dddmpConvert.Tpo dddmp/.deps/dddmp_libdddmp_la-dddmpConvert.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -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./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 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 dddmp/.deps/dddmp_libdddmp_la-dddmpDbg.Tpo dddmp/.deps/dddmp_libdddmp_la-dddmpDbg.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -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 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./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 dddmp/.deps/dddmp_libdddmp_la-dddmpLoad.Tpo dddmp/.deps/dddmp_libdddmp_la-dddmpLoad.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-dddmpLoadCnf.lo -MD -MP -MF dddmp/.deps/dddmp_libdddmp_la-dddmpLoadCnf.Tpo -c -o dddmp/dddmp_libdddmp_la-dddmpLoadCnf.lo `test -f 'dddmp/dddmpLoadCnf.c' || echo './'`dddmp/dddmpLoadCnf.c libtool: compile: cc -DHAVE_CONFIG_H -I. -I./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 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 dddmp/.deps/dddmp_libdddmp_la-dddmpLoadCnf.Tpo dddmp/.deps/dddmp_libdddmp_la-dddmpLoadCnf.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-dddmpNodeAdd.lo -MD -MP -MF dddmp/.deps/dddmp_libdddmp_la-dddmpNodeAdd.Tpo -c -o dddmp/dddmp_libdddmp_la-dddmpNodeAdd.lo `test -f 'dddmp/dddmpNodeAdd.c' || echo './'`dddmp/dddmpNodeAdd.c libtool: compile: cc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -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-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 mv -f dddmp/.deps/dddmp_libdddmp_la-dddmpNodeAdd.Tpo dddmp/.deps/dddmp_libdddmp_la-dddmpNodeAdd.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -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 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 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 mv -f dddmp/.deps/dddmp_libdddmp_la-dddmpNodeBdd.Tpo dddmp/.deps/dddmp_libdddmp_la-dddmpNodeBdd.Plo /bin/sh ./libtool --tag=CC --mode=compile cc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -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 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 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 mv -f dddmp/.deps/dddmp_libdddmp_la-dddmpNodeCnf.Tpo dddmp/.deps/dddmp_libdddmp_la-dddmpNodeCnf.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-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-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-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 mv -f dddmp/.deps/dddmp_libdddmp_la-dddmpStoreAdd.Tpo dddmp/.deps/dddmp_libdddmp_la-dddmpStoreAdd.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-dddmpStoreBdd.lo -MD -MP -MF dddmp/.deps/dddmp_libdddmp_la-dddmpStoreBdd.Tpo -c -o dddmp/dddmp_libdddmp_la-dddmpStoreBdd.lo `test -f 'dddmp/dddmpStoreBdd.c' || echo './'`dddmp/dddmpStoreBdd.c libtool: compile: cc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -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./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 dddmp/.deps/dddmp_libdddmp_la-dddmpStoreBdd.Tpo dddmp/.deps/dddmp_libdddmp_la-dddmpStoreBdd.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 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: 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-dddmpStoreCnf.Tpo dddmp/.deps/dddmp_libdddmp_la-dddmpStoreCnf.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-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-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 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 mv -f dddmp/.deps/dddmp_libdddmp_la-dddmpStoreMisc.Tpo dddmp/.deps/dddmp_libdddmp_la-dddmpStoreMisc.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 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 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 dddmp/.deps/dddmp_libdddmp_la-dddmpUtil.Tpo dddmp/.deps/dddmp_libdddmp_la-dddmpUtil.Plo /bin/sh ./libtool --tag=CC --mode=link cc -O2 -pipe -fstack-protector-strong -fno-strict-aliasing -fstack-protector-strong -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: ranlib dddmp/.libs/libdddmp.a libtool: link: ( cd "dddmp/.libs" && rm -f "libdddmp.la" && ln -s "../libdddmp.la" "libdddmp.la" ) /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: 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: 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 -fstack-protector-strong -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=2024-03-28T06:38:53+0000' 'PKG_NOTE_ports_top_git_hash=c2c35d895e' 'PKG_NOTE_ports_top_checkout_unclean=yes' 'PKG_NOTE_port_git_hash=c014f9c79a' 'PKG_NOTE_port_checkout_unclean=no' 'PKG_NOTE_built_by=poudriere-git-3.4.99.20240122_1' 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 Thu Mar 28 06:40:24 GMT 2024 build time: 00:01:32