Running phase: unpackPhase unpacking source archive /nix/store/ac53kr4sj141zwzdvafycb4k7nfp8s8m-source source root is source Running phase: patchPhase Running phase: updateAutotoolsGnuConfigScriptsPhase Updating Autotools / GNU config script to a newer upstream version: ./cudd/build-aux/config.sub Updating Autotools / GNU config script to a newer upstream version: ./cudd/build-aux/config.guess Running phase: configurePhase fixing libtool script ./cudd/build-aux/ltmain.sh ./cudd/configure no configure script, doing nothing Running phase: buildPhase build flags: SHELL=/nix/store/11ciq72n4fdv8rw6wgjgasfv4mjs1jrw-bash-5.2p37/bin/bash JAVA_DIR=/nix/store/0gyj3kkkj7hbh3bb57gabsp97f6f3x2w-openjdk-21.0.5+11 release_config clean_all all binary make: 'release_config' is up to date. VERSION: OSTYPE/ARCH: linux amd64 JAVA_DIR: /nix/store/0gyj3kkkj7hbh3bb57gabsp97f6f3x2w-openjdk-21.0.5+11 JAVA_DIR_BACKUP: /nix/store/11ciq72n4fdv8rw6wgjgasfv4mjs1jrw-bash-5.2p37/bin/bash: line 53: which: command not found JAVAC (which): JAVAC (version): javac 21.0.5 Cleaning lpsolve55 ... Cleaning lp_solve_5.5_java ... Cleaning src/dd ... Cleaning src/jdd ... Cleaning src/odd ... Cleaning src/dv ... Cleaning src/prism ... Cleaning src/mtbdd ... Cleaning src/sparse ... Cleaning src/hybrid ... Cleaning src/parser ... Cleaning src/settings ... Cleaning src/userinterface ... Cleaning src/pepa/compiler ... Cleaning src/simulator ... Cleaning src/jltl2ba ... Cleaning src/jltl2dstar ... Cleaning src/explicit ... Cleaning src/pta ... Cleaning src/param ... Cleaning src/strat ... Cleaning src/automata ... Cleaning src/common ... Cleaning src/cex ... find: 'classes': No such file or directory make[1]: Entering directory '/build/source/prism/unit-tests' make[1]: Leaving directory '/build/source/prism/unit-tests' Making cudd ... checking build system type... x86_64-pc-linux-gnu checking host system type... x86_64-pc-linux-gnu checking for a BSD-compatible install... /nix/store/fr9yr63a1267cr0r86w18c77mh3xavcc-coreutils-9.6/bin/install -c checking whether build environment is sane... yes checking for a thread-safe mkdir -p... /nix/store/fr9yr63a1267cr0r86w18c77mh3xavcc-coreutils-9.6/bin/mkdir -p checking for gawk... gawk checking whether make sets $(MAKE)... yes checking whether make supports nested variables... yes checking for gcc... gcc checking whether the C compiler works... yes checking for C compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix of object files... o checking whether we are using the GNU C compiler... yes checking whether gcc accepts -g... yes checking for gcc option to accept ISO C89... none needed checking whether gcc understands -c and -o together... yes checking whether make supports the include directive... yes (GNU style) checking dependency style of gcc... gcc3 checking whether we are using the GNU C++ compiler... yes checking whether g++ accepts -g... yes checking dependency style of g++... gcc3 checking the archiver (ar) interface... ar checking how to print strings... printf checking for a sed that does not truncate output... /nix/store/fcny04vmfnkqc4ym5m9znckswlq9pglg-gnused-4.9/bin/sed checking for grep that handles long lines and -e... /nix/store/yz6nq9v29l3g990w8zlqsnzlzbicd3b3-gnugrep-3.11/bin/grep checking for egrep... /nix/store/yz6nq9v29l3g990w8zlqsnzlzbicd3b3-gnugrep-3.11/bin/grep -E checking for fgrep... /nix/store/yz6nq9v29l3g990w8zlqsnzlzbicd3b3-gnugrep-3.11/bin/grep -F checking for ld used by gcc... /nix/store/fjk8dwvzclmrwavmbmdj4p04v4dhw6bn-binutils-wrapper-2.43.1/bin/ld checking if the linker (/nix/store/fjk8dwvzclmrwavmbmdj4p04v4dhw6bn-binutils-wrapper-2.43.1/bin/ld) is GNU ld... yes checking for BSD- or MS-compatible name lister (nm)... nm checking the name lister (nm) interface... BSD nm checking whether ln -s works... yes checking the maximum length of command line arguments... 1572864 checking how to convert x86_64-pc-linux-gnu file names to x86_64-pc-linux-gnu format... func_convert_file_noop checking how to convert x86_64-pc-linux-gnu file names to toolchain format... func_convert_file_noop checking for /nix/store/fjk8dwvzclmrwavmbmdj4p04v4dhw6bn-binutils-wrapper-2.43.1/bin/ld option to reload object files... -r checking for objdump... objdump checking how to recognize dependent libraries... (cached) pass_all checking for dlltool... no checking how to associate runtime and link libraries... printf %s\n checking for archiver @FILE support... @ checking for strip... strip checking for ranlib... ranlib checking command to parse nm output from gcc object... ok checking for sysroot... no checking for a working dd... /nix/store/fr9yr63a1267cr0r86w18c77mh3xavcc-coreutils-9.6/bin/dd checking how to truncate binary pipes... /nix/store/fr9yr63a1267cr0r86w18c77mh3xavcc-coreutils-9.6/bin/dd bs=4096 count=1 checking for mt... no checking if : is a manifest tool... no checking how to run the C preprocessor... gcc -E checking for ANSI C header files... yes checking for sys/types.h... yes checking for sys/stat.h... yes checking for stdlib.h... yes checking for string.h... yes checking for memory.h... yes checking for strings.h... yes checking for inttypes.h... yes checking for stdint.h... yes checking for unistd.h... yes checking for dlfcn.h... yes checking for objdir... .libs checking if gcc supports -fno-rtti -fno-exceptions... no checking for gcc option to produce PIC... -fPIC -DPIC checking if gcc PIC flag -fPIC -DPIC works... yes checking if gcc static flag -static works... no checking if gcc supports -c -o file.o... yes checking if gcc supports -c -o file.o... (cached) yes checking whether the gcc linker (/nix/store/fjk8dwvzclmrwavmbmdj4p04v4dhw6bn-binutils-wrapper-2.43.1/bin/ld -m elf_x86_64) supports shared libraries... yes checking dynamic linker characteristics... GNU/Linux ld.so checking how to hardcode library paths into programs... immediate checking whether stripping libraries is possible... yes checking if libtool supports shared libraries... yes checking whether to build shared libraries... no checking whether to build static libraries... yes checking how to run the C++ preprocessor... g++ -E checking for ld used by g++... /nix/store/fjk8dwvzclmrwavmbmdj4p04v4dhw6bn-binutils-wrapper-2.43.1/bin/ld -m elf_x86_64 checking if the linker (/nix/store/fjk8dwvzclmrwavmbmdj4p04v4dhw6bn-binutils-wrapper-2.43.1/bin/ld -m elf_x86_64) is GNU ld... yes checking whether the g++ linker (/nix/store/fjk8dwvzclmrwavmbmdj4p04v4dhw6bn-binutils-wrapper-2.43.1/bin/ld -m elf_x86_64) supports shared libraries... yes checking for g++ option to produce PIC... -fPIC -DPIC checking if g++ PIC flag -fPIC -DPIC works... yes checking if g++ static flag -static works... no checking if g++ supports -c -o file.o... yes checking if g++ supports -c -o file.o... (cached) yes checking whether the g++ linker (/nix/store/fjk8dwvzclmrwavmbmdj4p04v4dhw6bn-binutils-wrapper-2.43.1/bin/ld -m elf_x86_64) supports shared libraries... yes checking dynamic linker characteristics... (cached) GNU/Linux ld.so checking how to hardcode library paths into programs... immediate checking whether byte ordering is bigendian... no checking for doxygen... no 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 float.h usability... yes checking float.h presence... yes checking for float.h... yes checking for inttypes.h... (cached) yes checking limits.h usability... yes checking limits.h presence... yes checking for limits.h... yes checking stddef.h usability... yes checking stddef.h presence... yes checking for stddef.h... yes checking for stdlib.h... (cached) yes checking for string.h... (cached) yes checking assert.h usability... yes checking assert.h presence... yes checking for assert.h... yes checking math.h usability... yes checking math.h presence... yes checking for math.h... yes checking for unistd.h... (cached) yes checking sys/time.h usability... yes checking sys/time.h presence... yes checking for sys/time.h... yes checking sys/times.h usability... yes checking sys/times.h presence... yes checking for sys/times.h... yes checking sys/resource.h usability... yes checking sys/resource.h presence... yes checking for sys/resource.h... yes checking sys/wait.h usability... yes checking sys/wait.h presence... yes checking for sys/wait.h... yes checking for working C++ thread header... yes checking for stdbool.h that conforms to C99... yes checking for _Bool... yes checking for inline... inline checking for size_t... yes checking for uint16_t... yes checking for uint32_t... yes checking for ptrdiff_t... yes checking size of int... 4 checking size of long... 8 checking size of void *... 8 checking size of long double... 16 checking whether we are building for a Win32 host... no checking whether enough of C++11 is supported... yes checking for pow... yes checking for sqrt... yes checking for strchr... yes checking for strstr... yes checking for powl... yes checking for gethostname... yes checking for getrlimit... yes checking for getrusage... yes checking for sysconf... yes checking for +Infinity (IEEE 754 floating point)... no checking that generated files are newer than configure... done configure: creating ./config.status config.status: creating Makefile config.status: creating dddmp/exp/test1.sh config.status: creating dddmp/exp/test2.sh config.status: creating dddmp/exp/test3.sh config.status: creating dddmp/exp/test4.sh config.status: creating dddmp/exp/test5.sh config.status: creating dddmp/exp/test6.sh config.status: creating dddmp/exp/test7.sh config.status: creating config.h config.status: executing depfiles commands config.status: executing libtool commands -------------------------------------------------- Configuration summary for cudd 3.0.0 Build system : x86_64-pc-linux-gnu Host system : x86_64-pc-linux-gnu Prefix : '/build/source/cudd' Compilers : 'gcc -m64 -fPIC -DPIC -O3 ' : 'g++ --std=c++11 -m64 -fPIC -DPIC -O3 ' Shared library : no dddmp enabled : no obj enabled : no -------------------------------------------------- make[1]: Entering directory '/build/source/cudd' make all-am make[2]: Entering directory '/build/source/cudd' /nix/store/11ciq72n4fdv8rw6wgjgasfv4mjs1jrw-bash-5.2p37/bin/bash ./libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddAddAbs.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddAddAbs.Tpo -c -o cudd/libcudd_la-cuddAddAbs.lo `test -f 'cudd/cuddAddAbs.c' || echo './'`cudd/cuddAddAbs.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddAddAbs.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddAddAbs.Tpo -c cudd/cuddAddAbs.c -o cudd/libcudd_la-cuddAddAbs.o mv -f cudd/.deps/libcudd_la-cuddAddAbs.Tpo cudd/.deps/libcudd_la-cuddAddAbs.Plo /nix/store/11ciq72n4fdv8rw6wgjgasfv4mjs1jrw-bash-5.2p37/bin/bash ./libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddAddApply.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddAddApply.Tpo -c -o cudd/libcudd_la-cuddAddApply.lo `test -f 'cudd/cuddAddApply.c' || echo './'`cudd/cuddAddApply.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddAddApply.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddAddApply.Tpo -c cudd/cuddAddApply.c -o cudd/libcudd_la-cuddAddApply.o mv -f cudd/.deps/libcudd_la-cuddAddApply.Tpo cudd/.deps/libcudd_la-cuddAddApply.Plo /nix/store/11ciq72n4fdv8rw6wgjgasfv4mjs1jrw-bash-5.2p37/bin/bash ./libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddAddFind.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddAddFind.Tpo -c -o cudd/libcudd_la-cuddAddFind.lo `test -f 'cudd/cuddAddFind.c' || echo './'`cudd/cuddAddFind.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddAddFind.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddAddFind.Tpo -c cudd/cuddAddFind.c -o cudd/libcudd_la-cuddAddFind.o mv -f cudd/.deps/libcudd_la-cuddAddFind.Tpo cudd/.deps/libcudd_la-cuddAddFind.Plo /nix/store/11ciq72n4fdv8rw6wgjgasfv4mjs1jrw-bash-5.2p37/bin/bash ./libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddAddInv.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddAddInv.Tpo -c -o cudd/libcudd_la-cuddAddInv.lo `test -f 'cudd/cuddAddInv.c' || echo './'`cudd/cuddAddInv.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddAddInv.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddAddInv.Tpo -c cudd/cuddAddInv.c -o cudd/libcudd_la-cuddAddInv.o mv -f cudd/.deps/libcudd_la-cuddAddInv.Tpo cudd/.deps/libcudd_la-cuddAddInv.Plo /nix/store/11ciq72n4fdv8rw6wgjgasfv4mjs1jrw-bash-5.2p37/bin/bash ./libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddAddIte.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddAddIte.Tpo -c -o cudd/libcudd_la-cuddAddIte.lo `test -f 'cudd/cuddAddIte.c' || echo './'`cudd/cuddAddIte.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddAddIte.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddAddIte.Tpo -c cudd/cuddAddIte.c -o cudd/libcudd_la-cuddAddIte.o mv -f cudd/.deps/libcudd_la-cuddAddIte.Tpo cudd/.deps/libcudd_la-cuddAddIte.Plo /nix/store/11ciq72n4fdv8rw6wgjgasfv4mjs1jrw-bash-5.2p37/bin/bash ./libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddAddNeg.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddAddNeg.Tpo -c -o cudd/libcudd_la-cuddAddNeg.lo `test -f 'cudd/cuddAddNeg.c' || echo './'`cudd/cuddAddNeg.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddAddNeg.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddAddNeg.Tpo -c cudd/cuddAddNeg.c -o cudd/libcudd_la-cuddAddNeg.o mv -f cudd/.deps/libcudd_la-cuddAddNeg.Tpo cudd/.deps/libcudd_la-cuddAddNeg.Plo /nix/store/11ciq72n4fdv8rw6wgjgasfv4mjs1jrw-bash-5.2p37/bin/bash ./libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddAddWalsh.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddAddWalsh.Tpo -c -o cudd/libcudd_la-cuddAddWalsh.lo `test -f 'cudd/cuddAddWalsh.c' || echo './'`cudd/cuddAddWalsh.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddAddWalsh.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddAddWalsh.Tpo -c cudd/cuddAddWalsh.c -o cudd/libcudd_la-cuddAddWalsh.o mv -f cudd/.deps/libcudd_la-cuddAddWalsh.Tpo cudd/.deps/libcudd_la-cuddAddWalsh.Plo /nix/store/11ciq72n4fdv8rw6wgjgasfv4mjs1jrw-bash-5.2p37/bin/bash ./libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddAndAbs.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddAndAbs.Tpo -c -o cudd/libcudd_la-cuddAndAbs.lo `test -f 'cudd/cuddAndAbs.c' || echo './'`cudd/cuddAndAbs.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddAndAbs.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddAndAbs.Tpo -c cudd/cuddAndAbs.c -o cudd/libcudd_la-cuddAndAbs.o mv -f cudd/.deps/libcudd_la-cuddAndAbs.Tpo cudd/.deps/libcudd_la-cuddAndAbs.Plo /nix/store/11ciq72n4fdv8rw6wgjgasfv4mjs1jrw-bash-5.2p37/bin/bash ./libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddAnneal.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddAnneal.Tpo -c -o cudd/libcudd_la-cuddAnneal.lo `test -f 'cudd/cuddAnneal.c' || echo './'`cudd/cuddAnneal.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddAnneal.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddAnneal.Tpo -c cudd/cuddAnneal.c -o cudd/libcudd_la-cuddAnneal.o mv -f cudd/.deps/libcudd_la-cuddAnneal.Tpo cudd/.deps/libcudd_la-cuddAnneal.Plo /nix/store/11ciq72n4fdv8rw6wgjgasfv4mjs1jrw-bash-5.2p37/bin/bash ./libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddApa.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddApa.Tpo -c -o cudd/libcudd_la-cuddApa.lo `test -f 'cudd/cuddApa.c' || echo './'`cudd/cuddApa.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddApa.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddApa.Tpo -c cudd/cuddApa.c -o cudd/libcudd_la-cuddApa.o mv -f cudd/.deps/libcudd_la-cuddApa.Tpo cudd/.deps/libcudd_la-cuddApa.Plo /nix/store/11ciq72n4fdv8rw6wgjgasfv4mjs1jrw-bash-5.2p37/bin/bash ./libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddAPI.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddAPI.Tpo -c -o cudd/libcudd_la-cuddAPI.lo `test -f 'cudd/cuddAPI.c' || echo './'`cudd/cuddAPI.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddAPI.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddAPI.Tpo -c cudd/cuddAPI.c -o cudd/libcudd_la-cuddAPI.o mv -f cudd/.deps/libcudd_la-cuddAPI.Tpo cudd/.deps/libcudd_la-cuddAPI.Plo /nix/store/11ciq72n4fdv8rw6wgjgasfv4mjs1jrw-bash-5.2p37/bin/bash ./libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddApprox.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddApprox.Tpo -c -o cudd/libcudd_la-cuddApprox.lo `test -f 'cudd/cuddApprox.c' || echo './'`cudd/cuddApprox.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddApprox.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddApprox.Tpo -c cudd/cuddApprox.c -o cudd/libcudd_la-cuddApprox.o mv -f cudd/.deps/libcudd_la-cuddApprox.Tpo cudd/.deps/libcudd_la-cuddApprox.Plo /nix/store/11ciq72n4fdv8rw6wgjgasfv4mjs1jrw-bash-5.2p37/bin/bash ./libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddBddAbs.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddBddAbs.Tpo -c -o cudd/libcudd_la-cuddBddAbs.lo `test -f 'cudd/cuddBddAbs.c' || echo './'`cudd/cuddBddAbs.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddBddAbs.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddBddAbs.Tpo -c cudd/cuddBddAbs.c -o cudd/libcudd_la-cuddBddAbs.o mv -f cudd/.deps/libcudd_la-cuddBddAbs.Tpo cudd/.deps/libcudd_la-cuddBddAbs.Plo /nix/store/11ciq72n4fdv8rw6wgjgasfv4mjs1jrw-bash-5.2p37/bin/bash ./libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddBddCorr.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddBddCorr.Tpo -c -o cudd/libcudd_la-cuddBddCorr.lo `test -f 'cudd/cuddBddCorr.c' || echo './'`cudd/cuddBddCorr.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddBddCorr.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddBddCorr.Tpo -c cudd/cuddBddCorr.c -o cudd/libcudd_la-cuddBddCorr.o mv -f cudd/.deps/libcudd_la-cuddBddCorr.Tpo cudd/.deps/libcudd_la-cuddBddCorr.Plo /nix/store/11ciq72n4fdv8rw6wgjgasfv4mjs1jrw-bash-5.2p37/bin/bash ./libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddBddIte.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddBddIte.Tpo -c -o cudd/libcudd_la-cuddBddIte.lo `test -f 'cudd/cuddBddIte.c' || echo './'`cudd/cuddBddIte.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddBddIte.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddBddIte.Tpo -c cudd/cuddBddIte.c -o cudd/libcudd_la-cuddBddIte.o mv -f cudd/.deps/libcudd_la-cuddBddIte.Tpo cudd/.deps/libcudd_la-cuddBddIte.Plo /nix/store/11ciq72n4fdv8rw6wgjgasfv4mjs1jrw-bash-5.2p37/bin/bash ./libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddBridge.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddBridge.Tpo -c -o cudd/libcudd_la-cuddBridge.lo `test -f 'cudd/cuddBridge.c' || echo './'`cudd/cuddBridge.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddBridge.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddBridge.Tpo -c cudd/cuddBridge.c -o cudd/libcudd_la-cuddBridge.o mv -f cudd/.deps/libcudd_la-cuddBridge.Tpo cudd/.deps/libcudd_la-cuddBridge.Plo /nix/store/11ciq72n4fdv8rw6wgjgasfv4mjs1jrw-bash-5.2p37/bin/bash ./libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddCache.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddCache.Tpo -c -o cudd/libcudd_la-cuddCache.lo `test -f 'cudd/cuddCache.c' || echo './'`cudd/cuddCache.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddCache.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddCache.Tpo -c cudd/cuddCache.c -o cudd/libcudd_la-cuddCache.o mv -f cudd/.deps/libcudd_la-cuddCache.Tpo cudd/.deps/libcudd_la-cuddCache.Plo /nix/store/11ciq72n4fdv8rw6wgjgasfv4mjs1jrw-bash-5.2p37/bin/bash ./libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddCheck.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddCheck.Tpo -c -o cudd/libcudd_la-cuddCheck.lo `test -f 'cudd/cuddCheck.c' || echo './'`cudd/cuddCheck.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddCheck.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddCheck.Tpo -c cudd/cuddCheck.c -o cudd/libcudd_la-cuddCheck.o mv -f cudd/.deps/libcudd_la-cuddCheck.Tpo cudd/.deps/libcudd_la-cuddCheck.Plo /nix/store/11ciq72n4fdv8rw6wgjgasfv4mjs1jrw-bash-5.2p37/bin/bash ./libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddClip.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddClip.Tpo -c -o cudd/libcudd_la-cuddClip.lo `test -f 'cudd/cuddClip.c' || echo './'`cudd/cuddClip.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddClip.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddClip.Tpo -c cudd/cuddClip.c -o cudd/libcudd_la-cuddClip.o mv -f cudd/.deps/libcudd_la-cuddClip.Tpo cudd/.deps/libcudd_la-cuddClip.Plo /nix/store/11ciq72n4fdv8rw6wgjgasfv4mjs1jrw-bash-5.2p37/bin/bash ./libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddCof.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddCof.Tpo -c -o cudd/libcudd_la-cuddCof.lo `test -f 'cudd/cuddCof.c' || echo './'`cudd/cuddCof.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddCof.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddCof.Tpo -c cudd/cuddCof.c -o cudd/libcudd_la-cuddCof.o mv -f cudd/.deps/libcudd_la-cuddCof.Tpo cudd/.deps/libcudd_la-cuddCof.Plo /nix/store/11ciq72n4fdv8rw6wgjgasfv4mjs1jrw-bash-5.2p37/bin/bash ./libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddCompose.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddCompose.Tpo -c -o cudd/libcudd_la-cuddCompose.lo `test -f 'cudd/cuddCompose.c' || echo './'`cudd/cuddCompose.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddCompose.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddCompose.Tpo -c cudd/cuddCompose.c -o cudd/libcudd_la-cuddCompose.o mv -f cudd/.deps/libcudd_la-cuddCompose.Tpo cudd/.deps/libcudd_la-cuddCompose.Plo /nix/store/11ciq72n4fdv8rw6wgjgasfv4mjs1jrw-bash-5.2p37/bin/bash ./libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddDecomp.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddDecomp.Tpo -c -o cudd/libcudd_la-cuddDecomp.lo `test -f 'cudd/cuddDecomp.c' || echo './'`cudd/cuddDecomp.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddDecomp.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddDecomp.Tpo -c cudd/cuddDecomp.c -o cudd/libcudd_la-cuddDecomp.o mv -f cudd/.deps/libcudd_la-cuddDecomp.Tpo cudd/.deps/libcudd_la-cuddDecomp.Plo /nix/store/11ciq72n4fdv8rw6wgjgasfv4mjs1jrw-bash-5.2p37/bin/bash ./libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddEssent.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddEssent.Tpo -c -o cudd/libcudd_la-cuddEssent.lo `test -f 'cudd/cuddEssent.c' || echo './'`cudd/cuddEssent.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddEssent.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddEssent.Tpo -c cudd/cuddEssent.c -o cudd/libcudd_la-cuddEssent.o mv -f cudd/.deps/libcudd_la-cuddEssent.Tpo cudd/.deps/libcudd_la-cuddEssent.Plo /nix/store/11ciq72n4fdv8rw6wgjgasfv4mjs1jrw-bash-5.2p37/bin/bash ./libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddExact.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddExact.Tpo -c -o cudd/libcudd_la-cuddExact.lo `test -f 'cudd/cuddExact.c' || echo './'`cudd/cuddExact.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddExact.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddExact.Tpo -c cudd/cuddExact.c -o cudd/libcudd_la-cuddExact.o mv -f cudd/.deps/libcudd_la-cuddExact.Tpo cudd/.deps/libcudd_la-cuddExact.Plo /nix/store/11ciq72n4fdv8rw6wgjgasfv4mjs1jrw-bash-5.2p37/bin/bash ./libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddExport.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddExport.Tpo -c -o cudd/libcudd_la-cuddExport.lo `test -f 'cudd/cuddExport.c' || echo './'`cudd/cuddExport.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddExport.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddExport.Tpo -c cudd/cuddExport.c -o cudd/libcudd_la-cuddExport.o mv -f cudd/.deps/libcudd_la-cuddExport.Tpo cudd/.deps/libcudd_la-cuddExport.Plo /nix/store/11ciq72n4fdv8rw6wgjgasfv4mjs1jrw-bash-5.2p37/bin/bash ./libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddGenCof.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddGenCof.Tpo -c -o cudd/libcudd_la-cuddGenCof.lo `test -f 'cudd/cuddGenCof.c' || echo './'`cudd/cuddGenCof.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddGenCof.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddGenCof.Tpo -c cudd/cuddGenCof.c -o cudd/libcudd_la-cuddGenCof.o mv -f cudd/.deps/libcudd_la-cuddGenCof.Tpo cudd/.deps/libcudd_la-cuddGenCof.Plo /nix/store/11ciq72n4fdv8rw6wgjgasfv4mjs1jrw-bash-5.2p37/bin/bash ./libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddGenetic.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddGenetic.Tpo -c -o cudd/libcudd_la-cuddGenetic.lo `test -f 'cudd/cuddGenetic.c' || echo './'`cudd/cuddGenetic.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddGenetic.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddGenetic.Tpo -c cudd/cuddGenetic.c -o cudd/libcudd_la-cuddGenetic.o mv -f cudd/.deps/libcudd_la-cuddGenetic.Tpo cudd/.deps/libcudd_la-cuddGenetic.Plo /nix/store/11ciq72n4fdv8rw6wgjgasfv4mjs1jrw-bash-5.2p37/bin/bash ./libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddGroup.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddGroup.Tpo -c -o cudd/libcudd_la-cuddGroup.lo `test -f 'cudd/cuddGroup.c' || echo './'`cudd/cuddGroup.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddGroup.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddGroup.Tpo -c cudd/cuddGroup.c -o cudd/libcudd_la-cuddGroup.o mv -f cudd/.deps/libcudd_la-cuddGroup.Tpo cudd/.deps/libcudd_la-cuddGroup.Plo /nix/store/11ciq72n4fdv8rw6wgjgasfv4mjs1jrw-bash-5.2p37/bin/bash ./libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddHarwell.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddHarwell.Tpo -c -o cudd/libcudd_la-cuddHarwell.lo `test -f 'cudd/cuddHarwell.c' || echo './'`cudd/cuddHarwell.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddHarwell.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddHarwell.Tpo -c cudd/cuddHarwell.c -o cudd/libcudd_la-cuddHarwell.o mv -f cudd/.deps/libcudd_la-cuddHarwell.Tpo cudd/.deps/libcudd_la-cuddHarwell.Plo /nix/store/11ciq72n4fdv8rw6wgjgasfv4mjs1jrw-bash-5.2p37/bin/bash ./libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddInit.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddInit.Tpo -c -o cudd/libcudd_la-cuddInit.lo `test -f 'cudd/cuddInit.c' || echo './'`cudd/cuddInit.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddInit.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddInit.Tpo -c cudd/cuddInit.c -o cudd/libcudd_la-cuddInit.o mv -f cudd/.deps/libcudd_la-cuddInit.Tpo cudd/.deps/libcudd_la-cuddInit.Plo /nix/store/11ciq72n4fdv8rw6wgjgasfv4mjs1jrw-bash-5.2p37/bin/bash ./libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddInteract.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddInteract.Tpo -c -o cudd/libcudd_la-cuddInteract.lo `test -f 'cudd/cuddInteract.c' || echo './'`cudd/cuddInteract.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddInteract.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddInteract.Tpo -c cudd/cuddInteract.c -o cudd/libcudd_la-cuddInteract.o mv -f cudd/.deps/libcudd_la-cuddInteract.Tpo cudd/.deps/libcudd_la-cuddInteract.Plo /nix/store/11ciq72n4fdv8rw6wgjgasfv4mjs1jrw-bash-5.2p37/bin/bash ./libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddLCache.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddLCache.Tpo -c -o cudd/libcudd_la-cuddLCache.lo `test -f 'cudd/cuddLCache.c' || echo './'`cudd/cuddLCache.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddLCache.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddLCache.Tpo -c cudd/cuddLCache.c -o cudd/libcudd_la-cuddLCache.o mv -f cudd/.deps/libcudd_la-cuddLCache.Tpo cudd/.deps/libcudd_la-cuddLCache.Plo /nix/store/11ciq72n4fdv8rw6wgjgasfv4mjs1jrw-bash-5.2p37/bin/bash ./libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddLevelQ.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddLevelQ.Tpo -c -o cudd/libcudd_la-cuddLevelQ.lo `test -f 'cudd/cuddLevelQ.c' || echo './'`cudd/cuddLevelQ.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddLevelQ.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddLevelQ.Tpo -c cudd/cuddLevelQ.c -o cudd/libcudd_la-cuddLevelQ.o mv -f cudd/.deps/libcudd_la-cuddLevelQ.Tpo cudd/.deps/libcudd_la-cuddLevelQ.Plo /nix/store/11ciq72n4fdv8rw6wgjgasfv4mjs1jrw-bash-5.2p37/bin/bash ./libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddLinear.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddLinear.Tpo -c -o cudd/libcudd_la-cuddLinear.lo `test -f 'cudd/cuddLinear.c' || echo './'`cudd/cuddLinear.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddLinear.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddLinear.Tpo -c cudd/cuddLinear.c -o cudd/libcudd_la-cuddLinear.o mv -f cudd/.deps/libcudd_la-cuddLinear.Tpo cudd/.deps/libcudd_la-cuddLinear.Plo /nix/store/11ciq72n4fdv8rw6wgjgasfv4mjs1jrw-bash-5.2p37/bin/bash ./libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddLiteral.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddLiteral.Tpo -c -o cudd/libcudd_la-cuddLiteral.lo `test -f 'cudd/cuddLiteral.c' || echo './'`cudd/cuddLiteral.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddLiteral.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddLiteral.Tpo -c cudd/cuddLiteral.c -o cudd/libcudd_la-cuddLiteral.o mv -f cudd/.deps/libcudd_la-cuddLiteral.Tpo cudd/.deps/libcudd_la-cuddLiteral.Plo /nix/store/11ciq72n4fdv8rw6wgjgasfv4mjs1jrw-bash-5.2p37/bin/bash ./libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddMatMult.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddMatMult.Tpo -c -o cudd/libcudd_la-cuddMatMult.lo `test -f 'cudd/cuddMatMult.c' || echo './'`cudd/cuddMatMult.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddMatMult.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddMatMult.Tpo -c cudd/cuddMatMult.c -o cudd/libcudd_la-cuddMatMult.o mv -f cudd/.deps/libcudd_la-cuddMatMult.Tpo cudd/.deps/libcudd_la-cuddMatMult.Plo /nix/store/11ciq72n4fdv8rw6wgjgasfv4mjs1jrw-bash-5.2p37/bin/bash ./libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddPriority.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddPriority.Tpo -c -o cudd/libcudd_la-cuddPriority.lo `test -f 'cudd/cuddPriority.c' || echo './'`cudd/cuddPriority.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddPriority.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddPriority.Tpo -c cudd/cuddPriority.c -o cudd/libcudd_la-cuddPriority.o mv -f cudd/.deps/libcudd_la-cuddPriority.Tpo cudd/.deps/libcudd_la-cuddPriority.Plo /nix/store/11ciq72n4fdv8rw6wgjgasfv4mjs1jrw-bash-5.2p37/bin/bash ./libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddRead.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddRead.Tpo -c -o cudd/libcudd_la-cuddRead.lo `test -f 'cudd/cuddRead.c' || echo './'`cudd/cuddRead.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddRead.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddRead.Tpo -c cudd/cuddRead.c -o cudd/libcudd_la-cuddRead.o mv -f cudd/.deps/libcudd_la-cuddRead.Tpo cudd/.deps/libcudd_la-cuddRead.Plo /nix/store/11ciq72n4fdv8rw6wgjgasfv4mjs1jrw-bash-5.2p37/bin/bash ./libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddRef.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddRef.Tpo -c -o cudd/libcudd_la-cuddRef.lo `test -f 'cudd/cuddRef.c' || echo './'`cudd/cuddRef.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddRef.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddRef.Tpo -c cudd/cuddRef.c -o cudd/libcudd_la-cuddRef.o mv -f cudd/.deps/libcudd_la-cuddRef.Tpo cudd/.deps/libcudd_la-cuddRef.Plo /nix/store/11ciq72n4fdv8rw6wgjgasfv4mjs1jrw-bash-5.2p37/bin/bash ./libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddReorder.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddReorder.Tpo -c -o cudd/libcudd_la-cuddReorder.lo `test -f 'cudd/cuddReorder.c' || echo './'`cudd/cuddReorder.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddReorder.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddReorder.Tpo -c cudd/cuddReorder.c -o cudd/libcudd_la-cuddReorder.o mv -f cudd/.deps/libcudd_la-cuddReorder.Tpo cudd/.deps/libcudd_la-cuddReorder.Plo /nix/store/11ciq72n4fdv8rw6wgjgasfv4mjs1jrw-bash-5.2p37/bin/bash ./libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddSat.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddSat.Tpo -c -o cudd/libcudd_la-cuddSat.lo `test -f 'cudd/cuddSat.c' || echo './'`cudd/cuddSat.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddSat.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddSat.Tpo -c cudd/cuddSat.c -o cudd/libcudd_la-cuddSat.o mv -f cudd/.deps/libcudd_la-cuddSat.Tpo cudd/.deps/libcudd_la-cuddSat.Plo /nix/store/11ciq72n4fdv8rw6wgjgasfv4mjs1jrw-bash-5.2p37/bin/bash ./libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddSign.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddSign.Tpo -c -o cudd/libcudd_la-cuddSign.lo `test -f 'cudd/cuddSign.c' || echo './'`cudd/cuddSign.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddSign.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddSign.Tpo -c cudd/cuddSign.c -o cudd/libcudd_la-cuddSign.o mv -f cudd/.deps/libcudd_la-cuddSign.Tpo cudd/.deps/libcudd_la-cuddSign.Plo /nix/store/11ciq72n4fdv8rw6wgjgasfv4mjs1jrw-bash-5.2p37/bin/bash ./libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddSolve.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddSolve.Tpo -c -o cudd/libcudd_la-cuddSolve.lo `test -f 'cudd/cuddSolve.c' || echo './'`cudd/cuddSolve.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddSolve.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddSolve.Tpo -c cudd/cuddSolve.c -o cudd/libcudd_la-cuddSolve.o mv -f cudd/.deps/libcudd_la-cuddSolve.Tpo cudd/.deps/libcudd_la-cuddSolve.Plo /nix/store/11ciq72n4fdv8rw6wgjgasfv4mjs1jrw-bash-5.2p37/bin/bash ./libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddSplit.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddSplit.Tpo -c -o cudd/libcudd_la-cuddSplit.lo `test -f 'cudd/cuddSplit.c' || echo './'`cudd/cuddSplit.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddSplit.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddSplit.Tpo -c cudd/cuddSplit.c -o cudd/libcudd_la-cuddSplit.o mv -f cudd/.deps/libcudd_la-cuddSplit.Tpo cudd/.deps/libcudd_la-cuddSplit.Plo /nix/store/11ciq72n4fdv8rw6wgjgasfv4mjs1jrw-bash-5.2p37/bin/bash ./libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddSubsetHB.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddSubsetHB.Tpo -c -o cudd/libcudd_la-cuddSubsetHB.lo `test -f 'cudd/cuddSubsetHB.c' || echo './'`cudd/cuddSubsetHB.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddSubsetHB.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddSubsetHB.Tpo -c cudd/cuddSubsetHB.c -o cudd/libcudd_la-cuddSubsetHB.o mv -f cudd/.deps/libcudd_la-cuddSubsetHB.Tpo cudd/.deps/libcudd_la-cuddSubsetHB.Plo /nix/store/11ciq72n4fdv8rw6wgjgasfv4mjs1jrw-bash-5.2p37/bin/bash ./libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddSubsetSP.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddSubsetSP.Tpo -c -o cudd/libcudd_la-cuddSubsetSP.lo `test -f 'cudd/cuddSubsetSP.c' || echo './'`cudd/cuddSubsetSP.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddSubsetSP.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddSubsetSP.Tpo -c cudd/cuddSubsetSP.c -o cudd/libcudd_la-cuddSubsetSP.o mv -f cudd/.deps/libcudd_la-cuddSubsetSP.Tpo cudd/.deps/libcudd_la-cuddSubsetSP.Plo /nix/store/11ciq72n4fdv8rw6wgjgasfv4mjs1jrw-bash-5.2p37/bin/bash ./libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddSymmetry.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddSymmetry.Tpo -c -o cudd/libcudd_la-cuddSymmetry.lo `test -f 'cudd/cuddSymmetry.c' || echo './'`cudd/cuddSymmetry.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddSymmetry.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddSymmetry.Tpo -c cudd/cuddSymmetry.c -o cudd/libcudd_la-cuddSymmetry.o mv -f cudd/.deps/libcudd_la-cuddSymmetry.Tpo cudd/.deps/libcudd_la-cuddSymmetry.Plo /nix/store/11ciq72n4fdv8rw6wgjgasfv4mjs1jrw-bash-5.2p37/bin/bash ./libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddTable.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddTable.Tpo -c -o cudd/libcudd_la-cuddTable.lo `test -f 'cudd/cuddTable.c' || echo './'`cudd/cuddTable.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddTable.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddTable.Tpo -c cudd/cuddTable.c -o cudd/libcudd_la-cuddTable.o mv -f cudd/.deps/libcudd_la-cuddTable.Tpo cudd/.deps/libcudd_la-cuddTable.Plo /nix/store/11ciq72n4fdv8rw6wgjgasfv4mjs1jrw-bash-5.2p37/bin/bash ./libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddUtil.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddUtil.Tpo -c -o cudd/libcudd_la-cuddUtil.lo `test -f 'cudd/cuddUtil.c' || echo './'`cudd/cuddUtil.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddUtil.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddUtil.Tpo -c cudd/cuddUtil.c -o cudd/libcudd_la-cuddUtil.o mv -f cudd/.deps/libcudd_la-cuddUtil.Tpo cudd/.deps/libcudd_la-cuddUtil.Plo /nix/store/11ciq72n4fdv8rw6wgjgasfv4mjs1jrw-bash-5.2p37/bin/bash ./libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddWindow.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddWindow.Tpo -c -o cudd/libcudd_la-cuddWindow.lo `test -f 'cudd/cuddWindow.c' || echo './'`cudd/cuddWindow.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddWindow.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddWindow.Tpo -c cudd/cuddWindow.c -o cudd/libcudd_la-cuddWindow.o mv -f cudd/.deps/libcudd_la-cuddWindow.Tpo cudd/.deps/libcudd_la-cuddWindow.Plo /nix/store/11ciq72n4fdv8rw6wgjgasfv4mjs1jrw-bash-5.2p37/bin/bash ./libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddZddCount.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddZddCount.Tpo -c -o cudd/libcudd_la-cuddZddCount.lo `test -f 'cudd/cuddZddCount.c' || echo './'`cudd/cuddZddCount.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddZddCount.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddZddCount.Tpo -c cudd/cuddZddCount.c -o cudd/libcudd_la-cuddZddCount.o mv -f cudd/.deps/libcudd_la-cuddZddCount.Tpo cudd/.deps/libcudd_la-cuddZddCount.Plo /nix/store/11ciq72n4fdv8rw6wgjgasfv4mjs1jrw-bash-5.2p37/bin/bash ./libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddZddFuncs.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddZddFuncs.Tpo -c -o cudd/libcudd_la-cuddZddFuncs.lo `test -f 'cudd/cuddZddFuncs.c' || echo './'`cudd/cuddZddFuncs.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddZddFuncs.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddZddFuncs.Tpo -c cudd/cuddZddFuncs.c -o cudd/libcudd_la-cuddZddFuncs.o mv -f cudd/.deps/libcudd_la-cuddZddFuncs.Tpo cudd/.deps/libcudd_la-cuddZddFuncs.Plo /nix/store/11ciq72n4fdv8rw6wgjgasfv4mjs1jrw-bash-5.2p37/bin/bash ./libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddZddGroup.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddZddGroup.Tpo -c -o cudd/libcudd_la-cuddZddGroup.lo `test -f 'cudd/cuddZddGroup.c' || echo './'`cudd/cuddZddGroup.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddZddGroup.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddZddGroup.Tpo -c cudd/cuddZddGroup.c -o cudd/libcudd_la-cuddZddGroup.o mv -f cudd/.deps/libcudd_la-cuddZddGroup.Tpo cudd/.deps/libcudd_la-cuddZddGroup.Plo /nix/store/11ciq72n4fdv8rw6wgjgasfv4mjs1jrw-bash-5.2p37/bin/bash ./libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddZddIsop.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddZddIsop.Tpo -c -o cudd/libcudd_la-cuddZddIsop.lo `test -f 'cudd/cuddZddIsop.c' || echo './'`cudd/cuddZddIsop.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddZddIsop.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddZddIsop.Tpo -c cudd/cuddZddIsop.c -o cudd/libcudd_la-cuddZddIsop.o mv -f cudd/.deps/libcudd_la-cuddZddIsop.Tpo cudd/.deps/libcudd_la-cuddZddIsop.Plo /nix/store/11ciq72n4fdv8rw6wgjgasfv4mjs1jrw-bash-5.2p37/bin/bash ./libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddZddLin.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddZddLin.Tpo -c -o cudd/libcudd_la-cuddZddLin.lo `test -f 'cudd/cuddZddLin.c' || echo './'`cudd/cuddZddLin.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddZddLin.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddZddLin.Tpo -c cudd/cuddZddLin.c -o cudd/libcudd_la-cuddZddLin.o mv -f cudd/.deps/libcudd_la-cuddZddLin.Tpo cudd/.deps/libcudd_la-cuddZddLin.Plo /nix/store/11ciq72n4fdv8rw6wgjgasfv4mjs1jrw-bash-5.2p37/bin/bash ./libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddZddMisc.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddZddMisc.Tpo -c -o cudd/libcudd_la-cuddZddMisc.lo `test -f 'cudd/cuddZddMisc.c' || echo './'`cudd/cuddZddMisc.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddZddMisc.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddZddMisc.Tpo -c cudd/cuddZddMisc.c -o cudd/libcudd_la-cuddZddMisc.o mv -f cudd/.deps/libcudd_la-cuddZddMisc.Tpo cudd/.deps/libcudd_la-cuddZddMisc.Plo /nix/store/11ciq72n4fdv8rw6wgjgasfv4mjs1jrw-bash-5.2p37/bin/bash ./libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddZddPort.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddZddPort.Tpo -c -o cudd/libcudd_la-cuddZddPort.lo `test -f 'cudd/cuddZddPort.c' || echo './'`cudd/cuddZddPort.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddZddPort.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddZddPort.Tpo -c cudd/cuddZddPort.c -o cudd/libcudd_la-cuddZddPort.o mv -f cudd/.deps/libcudd_la-cuddZddPort.Tpo cudd/.deps/libcudd_la-cuddZddPort.Plo /nix/store/11ciq72n4fdv8rw6wgjgasfv4mjs1jrw-bash-5.2p37/bin/bash ./libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddZddReord.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddZddReord.Tpo -c -o cudd/libcudd_la-cuddZddReord.lo `test -f 'cudd/cuddZddReord.c' || echo './'`cudd/cuddZddReord.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddZddReord.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddZddReord.Tpo -c cudd/cuddZddReord.c -o cudd/libcudd_la-cuddZddReord.o mv -f cudd/.deps/libcudd_la-cuddZddReord.Tpo cudd/.deps/libcudd_la-cuddZddReord.Plo /nix/store/11ciq72n4fdv8rw6wgjgasfv4mjs1jrw-bash-5.2p37/bin/bash ./libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddZddSetop.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddZddSetop.Tpo -c -o cudd/libcudd_la-cuddZddSetop.lo `test -f 'cudd/cuddZddSetop.c' || echo './'`cudd/cuddZddSetop.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddZddSetop.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddZddSetop.Tpo -c cudd/cuddZddSetop.c -o cudd/libcudd_la-cuddZddSetop.o mv -f cudd/.deps/libcudd_la-cuddZddSetop.Tpo cudd/.deps/libcudd_la-cuddZddSetop.Plo /nix/store/11ciq72n4fdv8rw6wgjgasfv4mjs1jrw-bash-5.2p37/bin/bash ./libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddZddSymm.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddZddSymm.Tpo -c -o cudd/libcudd_la-cuddZddSymm.lo `test -f 'cudd/cuddZddSymm.c' || echo './'`cudd/cuddZddSymm.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddZddSymm.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddZddSymm.Tpo -c cudd/cuddZddSymm.c -o cudd/libcudd_la-cuddZddSymm.o mv -f cudd/.deps/libcudd_la-cuddZddSymm.Tpo cudd/.deps/libcudd_la-cuddZddSymm.Plo /nix/store/11ciq72n4fdv8rw6wgjgasfv4mjs1jrw-bash-5.2p37/bin/bash ./libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddZddUtil.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddZddUtil.Tpo -c -o cudd/libcudd_la-cuddZddUtil.lo `test -f 'cudd/cuddZddUtil.c' || echo './'`cudd/cuddZddUtil.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -MT cudd/libcudd_la-cuddZddUtil.lo -MD -MP -MF cudd/.deps/libcudd_la-cuddZddUtil.Tpo -c cudd/cuddZddUtil.c -o cudd/libcudd_la-cuddZddUtil.o mv -f cudd/.deps/libcudd_la-cuddZddUtil.Tpo cudd/.deps/libcudd_la-cuddZddUtil.Plo /nix/store/11ciq72n4fdv8rw6wgjgasfv4mjs1jrw-bash-5.2p37/bin/bash ./libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -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: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -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 In file included from /nix/store/1ycjq6h047qqwp3fm9sbl805xnrxlh2h-glibc-2.40-66-dev/include/assert.h:35, from util/util.h:70, from util/cpu_stats.c:66: /nix/store/1ycjq6h047qqwp3fm9sbl805xnrxlh2h-glibc-2.40-66-dev/include/features.h:197:3: warning: #warning "_BSD_SOURCE and _SVID_SOURCE are deprecated, use _DEFAULT_SOURCE" [8;;https://gcc.gnu.org/onlinedocs/gcc-14.2.0/gcc/Warning-Options.html#index-Wcpp-Wcpp8;;] 197 | # warning "_BSD_SOURCE and _SVID_SOURCE are deprecated, use _DEFAULT_SOURCE" | ^~~~~~~ mv -f util/.deps/cudd_libcudd_la-cpu_stats.Tpo util/.deps/cudd_libcudd_la-cpu_stats.Plo /nix/store/11ciq72n4fdv8rw6wgjgasfv4mjs1jrw-bash-5.2p37/bin/bash ./libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -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: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -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 mv -f util/.deps/cudd_libcudd_la-cpu_time.Tpo util/.deps/cudd_libcudd_la-cpu_time.Plo /nix/store/11ciq72n4fdv8rw6wgjgasfv4mjs1jrw-bash-5.2p37/bin/bash ./libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -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: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -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 mv -f util/.deps/cudd_libcudd_la-cstringstream.Tpo util/.deps/cudd_libcudd_la-cstringstream.Plo /nix/store/11ciq72n4fdv8rw6wgjgasfv4mjs1jrw-bash-5.2p37/bin/bash ./libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -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: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -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 mv -f util/.deps/cudd_libcudd_la-datalimit.Tpo util/.deps/cudd_libcudd_la-datalimit.Plo /nix/store/11ciq72n4fdv8rw6wgjgasfv4mjs1jrw-bash-5.2p37/bin/bash ./libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -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: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -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 mv -f util/.deps/cudd_libcudd_la-pathsearch.Tpo util/.deps/cudd_libcudd_la-pathsearch.Plo /nix/store/11ciq72n4fdv8rw6wgjgasfv4mjs1jrw-bash-5.2p37/bin/bash ./libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -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: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -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 mv -f util/.deps/cudd_libcudd_la-pipefork.Tpo util/.deps/cudd_libcudd_la-pipefork.Plo /nix/store/11ciq72n4fdv8rw6wgjgasfv4mjs1jrw-bash-5.2p37/bin/bash ./libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -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: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -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 mv -f util/.deps/cudd_libcudd_la-prtime.Tpo util/.deps/cudd_libcudd_la-prtime.Plo /nix/store/11ciq72n4fdv8rw6wgjgasfv4mjs1jrw-bash-5.2p37/bin/bash ./libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -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: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -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 mv -f util/.deps/cudd_libcudd_la-safe_mem.Tpo util/.deps/cudd_libcudd_la-safe_mem.Plo /nix/store/11ciq72n4fdv8rw6wgjgasfv4mjs1jrw-bash-5.2p37/bin/bash ./libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -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: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -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 mv -f util/.deps/cudd_libcudd_la-strsav.Tpo util/.deps/cudd_libcudd_la-strsav.Plo /nix/store/11ciq72n4fdv8rw6wgjgasfv4mjs1jrw-bash-5.2p37/bin/bash ./libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -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: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -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 mv -f util/.deps/cudd_libcudd_la-texpand.Tpo util/.deps/cudd_libcudd_la-texpand.Plo /nix/store/11ciq72n4fdv8rw6wgjgasfv4mjs1jrw-bash-5.2p37/bin/bash ./libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -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: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -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 mv -f util/.deps/cudd_libcudd_la-ucbqsort.Tpo util/.deps/cudd_libcudd_la-ucbqsort.Plo /nix/store/11ciq72n4fdv8rw6wgjgasfv4mjs1jrw-bash-5.2p37/bin/bash ./libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -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: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -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 mv -f st/.deps/cudd_libcudd_la-st.Tpo st/.deps/cudd_libcudd_la-st.Plo /nix/store/11ciq72n4fdv8rw6wgjgasfv4mjs1jrw-bash-5.2p37/bin/bash ./libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -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: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -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 mv -f epd/.deps/cudd_libcudd_la-epd.Tpo epd/.deps/cudd_libcudd_la-epd.Plo /nix/store/11ciq72n4fdv8rw6wgjgasfv4mjs1jrw-bash-5.2p37/bin/bash ./libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -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: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -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 mv -f mtr/.deps/cudd_libcudd_la-mtrBasic.Tpo mtr/.deps/cudd_libcudd_la-mtrBasic.Plo /nix/store/11ciq72n4fdv8rw6wgjgasfv4mjs1jrw-bash-5.2p37/bin/bash ./libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -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: gcc -DHAVE_CONFIG_H -I. -I./cudd -I./st -I./epd -I./mtr -I./util -m64 -fPIC -DPIC -O3 -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 mv -f mtr/.deps/cudd_libcudd_la-mtrGroup.Tpo mtr/.deps/cudd_libcudd_la-mtrGroup.Plo /nix/store/11ciq72n4fdv8rw6wgjgasfv4mjs1jrw-bash-5.2p37/bin/bash ./libtool --tag=CXX --mode=link g++ --std=c++11 -m64 -fPIC -DPIC -O3 -release 3.0.0 -version-info 0:0:0 -no-undefined -o cudd/libcudd.la -rpath /build/source/cudd/lib cudd/libcudd_la-cuddAddAbs.lo cudd/libcudd_la-cuddAddApply.lo cudd/libcudd_la-cuddAddFind.lo cudd/libcudd_la-cuddAddInv.lo cudd/libcudd_la-cuddAddIte.lo cudd/libcudd_la-cuddAddNeg.lo cudd/libcudd_la-cuddAddWalsh.lo cudd/libcudd_la-cuddAndAbs.lo cudd/libcudd_la-cuddAnneal.lo cudd/libcudd_la-cuddApa.lo cudd/libcudd_la-cuddAPI.lo cudd/libcudd_la-cuddApprox.lo cudd/libcudd_la-cuddBddAbs.lo cudd/libcudd_la-cuddBddCorr.lo cudd/libcudd_la-cuddBddIte.lo cudd/libcudd_la-cuddBridge.lo cudd/libcudd_la-cuddCache.lo cudd/libcudd_la-cuddCheck.lo cudd/libcudd_la-cuddClip.lo cudd/libcudd_la-cuddCof.lo cudd/libcudd_la-cuddCompose.lo cudd/libcudd_la-cuddDecomp.lo cudd/libcudd_la-cuddEssent.lo cudd/libcudd_la-cuddExact.lo cudd/libcudd_la-cuddExport.lo cudd/libcudd_la-cuddGenCof.lo cudd/libcudd_la-cuddGenetic.lo cudd/libcudd_la-cuddGroup.lo cudd/libcudd_la-cuddHarwell.lo cudd/libcudd_la-cuddInit.lo cudd/libcudd_la-cuddInteract.lo cudd/libcudd_la-cuddLCache.lo cudd/libcudd_la-cuddLevelQ.lo cudd/libcudd_la-cuddLinear.lo cudd/libcudd_la-cuddLiteral.lo cudd/libcudd_la-cuddMatMult.lo cudd/libcudd_la-cuddPriority.lo cudd/libcudd_la-cuddRead.lo cudd/libcudd_la-cuddRef.lo cudd/libcudd_la-cuddReorder.lo cudd/libcudd_la-cuddSat.lo cudd/libcudd_la-cuddSign.lo cudd/libcudd_la-cuddSolve.lo cudd/libcudd_la-cuddSplit.lo cudd/libcudd_la-cuddSubsetHB.lo cudd/libcudd_la-cuddSubsetSP.lo cudd/libcudd_la-cuddSymmetry.lo cudd/libcudd_la-cuddTable.lo cudd/libcudd_la-cuddUtil.lo cudd/libcudd_la-cuddWindow.lo cudd/libcudd_la-cuddZddCount.lo cudd/libcudd_la-cuddZddFuncs.lo cudd/libcudd_la-cuddZddGroup.lo cudd/libcudd_la-cuddZddIsop.lo cudd/libcudd_la-cuddZddLin.lo cudd/libcudd_la-cuddZddMisc.lo cudd/libcudd_la-cuddZddPort.lo cudd/libcudd_la-cuddZddReord.lo cudd/libcudd_la-cuddZddSetop.lo cudd/libcudd_la-cuddZddSymm.lo 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: ar cru cudd/.libs/libcudd.a cudd/libcudd_la-cuddAddAbs.o cudd/libcudd_la-cuddAddApply.o cudd/libcudd_la-cuddAddFind.o cudd/libcudd_la-cuddAddInv.o cudd/libcudd_la-cuddAddIte.o cudd/libcudd_la-cuddAddNeg.o cudd/libcudd_la-cuddAddWalsh.o cudd/libcudd_la-cuddAndAbs.o cudd/libcudd_la-cuddAnneal.o cudd/libcudd_la-cuddApa.o cudd/libcudd_la-cuddAPI.o cudd/libcudd_la-cuddApprox.o cudd/libcudd_la-cuddBddAbs.o cudd/libcudd_la-cuddBddCorr.o cudd/libcudd_la-cuddBddIte.o cudd/libcudd_la-cuddBridge.o cudd/libcudd_la-cuddCache.o cudd/libcudd_la-cuddCheck.o cudd/libcudd_la-cuddClip.o cudd/libcudd_la-cuddCof.o cudd/libcudd_la-cuddCompose.o cudd/libcudd_la-cuddDecomp.o cudd/libcudd_la-cuddEssent.o cudd/libcudd_la-cuddExact.o cudd/libcudd_la-cuddExport.o cudd/libcudd_la-cuddGenCof.o cudd/libcudd_la-cuddGenetic.o cudd/libcudd_la-cuddGroup.o cudd/libcudd_la-cuddHarwell.o cudd/libcudd_la-cuddInit.o cudd/libcudd_la-cuddInteract.o cudd/libcudd_la-cuddLCache.o cudd/libcudd_la-cuddLevelQ.o cudd/libcudd_la-cuddLinear.o cudd/libcudd_la-cuddLiteral.o cudd/libcudd_la-cuddMatMult.o cudd/libcudd_la-cuddPriority.o cudd/libcudd_la-cuddRead.o cudd/libcudd_la-cuddRef.o cudd/libcudd_la-cuddReorder.o cudd/libcudd_la-cuddSat.o cudd/libcudd_la-cuddSign.o cudd/libcudd_la-cuddSolve.o cudd/libcudd_la-cuddSplit.o cudd/libcudd_la-cuddSubsetHB.o cudd/libcudd_la-cuddSubsetSP.o cudd/libcudd_la-cuddSymmetry.o cudd/libcudd_la-cuddTable.o cudd/libcudd_la-cuddUtil.o cudd/libcudd_la-cuddWindow.o cudd/libcudd_la-cuddZddCount.o cudd/libcudd_la-cuddZddFuncs.o cudd/libcudd_la-cuddZddGroup.o cudd/libcudd_la-cuddZddIsop.o cudd/libcudd_la-cuddZddLin.o cudd/libcudd_la-cuddZddMisc.o cudd/libcudd_la-cuddZddPort.o cudd/libcudd_la-cuddZddReord.o cudd/libcudd_la-cuddZddSetop.o cudd/libcudd_la-cuddZddSymm.o 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 ar: `u' modifier ignored since `D' is the default (see `U') libtool: link: ranlib cudd/.libs/libcudd.a libtool: link: ( cd "cudd/.libs" && rm -f "libcudd.la" && ln -s "../libcudd.la" "libcudd.la" ) /nix/store/11ciq72n4fdv8rw6wgjgasfv4mjs1jrw-bash-5.2p37/bin/bash ./libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -m64 -fPIC -DPIC -O3 -MT dddmp/libdddmp_la-dddmpBinary.lo -MD -MP -MF dddmp/.deps/libdddmp_la-dddmpBinary.Tpo -c -o dddmp/libdddmp_la-dddmpBinary.lo `test -f 'dddmp/dddmpBinary.c' || echo './'`dddmp/dddmpBinary.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -m64 -fPIC -DPIC -O3 -MT dddmp/libdddmp_la-dddmpBinary.lo -MD -MP -MF dddmp/.deps/libdddmp_la-dddmpBinary.Tpo -c dddmp/dddmpBinary.c -o dddmp/libdddmp_la-dddmpBinary.o mv -f dddmp/.deps/libdddmp_la-dddmpBinary.Tpo dddmp/.deps/libdddmp_la-dddmpBinary.Plo /nix/store/11ciq72n4fdv8rw6wgjgasfv4mjs1jrw-bash-5.2p37/bin/bash ./libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -m64 -fPIC -DPIC -O3 -MT dddmp/libdddmp_la-dddmpConvert.lo -MD -MP -MF dddmp/.deps/libdddmp_la-dddmpConvert.Tpo -c -o dddmp/libdddmp_la-dddmpConvert.lo `test -f 'dddmp/dddmpConvert.c' || echo './'`dddmp/dddmpConvert.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -m64 -fPIC -DPIC -O3 -MT dddmp/libdddmp_la-dddmpConvert.lo -MD -MP -MF dddmp/.deps/libdddmp_la-dddmpConvert.Tpo -c dddmp/dddmpConvert.c -o dddmp/libdddmp_la-dddmpConvert.o mv -f dddmp/.deps/libdddmp_la-dddmpConvert.Tpo dddmp/.deps/libdddmp_la-dddmpConvert.Plo /nix/store/11ciq72n4fdv8rw6wgjgasfv4mjs1jrw-bash-5.2p37/bin/bash ./libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -m64 -fPIC -DPIC -O3 -MT dddmp/libdddmp_la-dddmpDbg.lo -MD -MP -MF dddmp/.deps/libdddmp_la-dddmpDbg.Tpo -c -o dddmp/libdddmp_la-dddmpDbg.lo `test -f 'dddmp/dddmpDbg.c' || echo './'`dddmp/dddmpDbg.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -m64 -fPIC -DPIC -O3 -MT dddmp/libdddmp_la-dddmpDbg.lo -MD -MP -MF dddmp/.deps/libdddmp_la-dddmpDbg.Tpo -c dddmp/dddmpDbg.c -o dddmp/libdddmp_la-dddmpDbg.o mv -f dddmp/.deps/libdddmp_la-dddmpDbg.Tpo dddmp/.deps/libdddmp_la-dddmpDbg.Plo /nix/store/11ciq72n4fdv8rw6wgjgasfv4mjs1jrw-bash-5.2p37/bin/bash ./libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -m64 -fPIC -DPIC -O3 -MT dddmp/libdddmp_la-dddmpLoad.lo -MD -MP -MF dddmp/.deps/libdddmp_la-dddmpLoad.Tpo -c -o dddmp/libdddmp_la-dddmpLoad.lo `test -f 'dddmp/dddmpLoad.c' || echo './'`dddmp/dddmpLoad.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -m64 -fPIC -DPIC -O3 -MT dddmp/libdddmp_la-dddmpLoad.lo -MD -MP -MF dddmp/.deps/libdddmp_la-dddmpLoad.Tpo -c dddmp/dddmpLoad.c -o dddmp/libdddmp_la-dddmpLoad.o mv -f dddmp/.deps/libdddmp_la-dddmpLoad.Tpo dddmp/.deps/libdddmp_la-dddmpLoad.Plo /nix/store/11ciq72n4fdv8rw6wgjgasfv4mjs1jrw-bash-5.2p37/bin/bash ./libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -m64 -fPIC -DPIC -O3 -MT dddmp/libdddmp_la-dddmpLoadCnf.lo -MD -MP -MF dddmp/.deps/libdddmp_la-dddmpLoadCnf.Tpo -c -o dddmp/libdddmp_la-dddmpLoadCnf.lo `test -f 'dddmp/dddmpLoadCnf.c' || echo './'`dddmp/dddmpLoadCnf.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -m64 -fPIC -DPIC -O3 -MT dddmp/libdddmp_la-dddmpLoadCnf.lo -MD -MP -MF dddmp/.deps/libdddmp_la-dddmpLoadCnf.Tpo -c dddmp/dddmpLoadCnf.c -o dddmp/libdddmp_la-dddmpLoadCnf.o mv -f dddmp/.deps/libdddmp_la-dddmpLoadCnf.Tpo dddmp/.deps/libdddmp_la-dddmpLoadCnf.Plo /nix/store/11ciq72n4fdv8rw6wgjgasfv4mjs1jrw-bash-5.2p37/bin/bash ./libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -m64 -fPIC -DPIC -O3 -MT dddmp/libdddmp_la-dddmpNodeAdd.lo -MD -MP -MF dddmp/.deps/libdddmp_la-dddmpNodeAdd.Tpo -c -o dddmp/libdddmp_la-dddmpNodeAdd.lo `test -f 'dddmp/dddmpNodeAdd.c' || echo './'`dddmp/dddmpNodeAdd.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -m64 -fPIC -DPIC -O3 -MT dddmp/libdddmp_la-dddmpNodeAdd.lo -MD -MP -MF dddmp/.deps/libdddmp_la-dddmpNodeAdd.Tpo -c dddmp/dddmpNodeAdd.c -o dddmp/libdddmp_la-dddmpNodeAdd.o mv -f dddmp/.deps/libdddmp_la-dddmpNodeAdd.Tpo dddmp/.deps/libdddmp_la-dddmpNodeAdd.Plo /nix/store/11ciq72n4fdv8rw6wgjgasfv4mjs1jrw-bash-5.2p37/bin/bash ./libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -m64 -fPIC -DPIC -O3 -MT dddmp/libdddmp_la-dddmpNodeBdd.lo -MD -MP -MF dddmp/.deps/libdddmp_la-dddmpNodeBdd.Tpo -c -o dddmp/libdddmp_la-dddmpNodeBdd.lo `test -f 'dddmp/dddmpNodeBdd.c' || echo './'`dddmp/dddmpNodeBdd.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -m64 -fPIC -DPIC -O3 -MT dddmp/libdddmp_la-dddmpNodeBdd.lo -MD -MP -MF dddmp/.deps/libdddmp_la-dddmpNodeBdd.Tpo -c dddmp/dddmpNodeBdd.c -o dddmp/libdddmp_la-dddmpNodeBdd.o mv -f dddmp/.deps/libdddmp_la-dddmpNodeBdd.Tpo dddmp/.deps/libdddmp_la-dddmpNodeBdd.Plo /nix/store/11ciq72n4fdv8rw6wgjgasfv4mjs1jrw-bash-5.2p37/bin/bash ./libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -m64 -fPIC -DPIC -O3 -MT dddmp/libdddmp_la-dddmpNodeCnf.lo -MD -MP -MF dddmp/.deps/libdddmp_la-dddmpNodeCnf.Tpo -c -o dddmp/libdddmp_la-dddmpNodeCnf.lo `test -f 'dddmp/dddmpNodeCnf.c' || echo './'`dddmp/dddmpNodeCnf.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -m64 -fPIC -DPIC -O3 -MT dddmp/libdddmp_la-dddmpNodeCnf.lo -MD -MP -MF dddmp/.deps/libdddmp_la-dddmpNodeCnf.Tpo -c dddmp/dddmpNodeCnf.c -o dddmp/libdddmp_la-dddmpNodeCnf.o mv -f dddmp/.deps/libdddmp_la-dddmpNodeCnf.Tpo dddmp/.deps/libdddmp_la-dddmpNodeCnf.Plo /nix/store/11ciq72n4fdv8rw6wgjgasfv4mjs1jrw-bash-5.2p37/bin/bash ./libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -m64 -fPIC -DPIC -O3 -MT dddmp/libdddmp_la-dddmpStoreAdd.lo -MD -MP -MF dddmp/.deps/libdddmp_la-dddmpStoreAdd.Tpo -c -o dddmp/libdddmp_la-dddmpStoreAdd.lo `test -f 'dddmp/dddmpStoreAdd.c' || echo './'`dddmp/dddmpStoreAdd.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -m64 -fPIC -DPIC -O3 -MT dddmp/libdddmp_la-dddmpStoreAdd.lo -MD -MP -MF dddmp/.deps/libdddmp_la-dddmpStoreAdd.Tpo -c dddmp/dddmpStoreAdd.c -o dddmp/libdddmp_la-dddmpStoreAdd.o mv -f dddmp/.deps/libdddmp_la-dddmpStoreAdd.Tpo dddmp/.deps/libdddmp_la-dddmpStoreAdd.Plo /nix/store/11ciq72n4fdv8rw6wgjgasfv4mjs1jrw-bash-5.2p37/bin/bash ./libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -m64 -fPIC -DPIC -O3 -MT dddmp/libdddmp_la-dddmpStoreBdd.lo -MD -MP -MF dddmp/.deps/libdddmp_la-dddmpStoreBdd.Tpo -c -o dddmp/libdddmp_la-dddmpStoreBdd.lo `test -f 'dddmp/dddmpStoreBdd.c' || echo './'`dddmp/dddmpStoreBdd.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -m64 -fPIC -DPIC -O3 -MT dddmp/libdddmp_la-dddmpStoreBdd.lo -MD -MP -MF dddmp/.deps/libdddmp_la-dddmpStoreBdd.Tpo -c dddmp/dddmpStoreBdd.c -o dddmp/libdddmp_la-dddmpStoreBdd.o mv -f dddmp/.deps/libdddmp_la-dddmpStoreBdd.Tpo dddmp/.deps/libdddmp_la-dddmpStoreBdd.Plo /nix/store/11ciq72n4fdv8rw6wgjgasfv4mjs1jrw-bash-5.2p37/bin/bash ./libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -m64 -fPIC -DPIC -O3 -MT dddmp/libdddmp_la-dddmpStoreCnf.lo -MD -MP -MF dddmp/.deps/libdddmp_la-dddmpStoreCnf.Tpo -c -o dddmp/libdddmp_la-dddmpStoreCnf.lo `test -f 'dddmp/dddmpStoreCnf.c' || echo './'`dddmp/dddmpStoreCnf.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -m64 -fPIC -DPIC -O3 -MT dddmp/libdddmp_la-dddmpStoreCnf.lo -MD -MP -MF dddmp/.deps/libdddmp_la-dddmpStoreCnf.Tpo -c dddmp/dddmpStoreCnf.c -o dddmp/libdddmp_la-dddmpStoreCnf.o mv -f dddmp/.deps/libdddmp_la-dddmpStoreCnf.Tpo dddmp/.deps/libdddmp_la-dddmpStoreCnf.Plo /nix/store/11ciq72n4fdv8rw6wgjgasfv4mjs1jrw-bash-5.2p37/bin/bash ./libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -m64 -fPIC -DPIC -O3 -MT dddmp/libdddmp_la-dddmpStoreMisc.lo -MD -MP -MF dddmp/.deps/libdddmp_la-dddmpStoreMisc.Tpo -c -o dddmp/libdddmp_la-dddmpStoreMisc.lo `test -f 'dddmp/dddmpStoreMisc.c' || echo './'`dddmp/dddmpStoreMisc.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -m64 -fPIC -DPIC -O3 -MT dddmp/libdddmp_la-dddmpStoreMisc.lo -MD -MP -MF dddmp/.deps/libdddmp_la-dddmpStoreMisc.Tpo -c dddmp/dddmpStoreMisc.c -o dddmp/libdddmp_la-dddmpStoreMisc.o mv -f dddmp/.deps/libdddmp_la-dddmpStoreMisc.Tpo dddmp/.deps/libdddmp_la-dddmpStoreMisc.Plo /nix/store/11ciq72n4fdv8rw6wgjgasfv4mjs1jrw-bash-5.2p37/bin/bash ./libtool --tag=CC --mode=compile gcc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -m64 -fPIC -DPIC -O3 -MT dddmp/libdddmp_la-dddmpUtil.lo -MD -MP -MF dddmp/.deps/libdddmp_la-dddmpUtil.Tpo -c -o dddmp/libdddmp_la-dddmpUtil.lo `test -f 'dddmp/dddmpUtil.c' || echo './'`dddmp/dddmpUtil.c libtool: compile: gcc -DHAVE_CONFIG_H -I. -I./util -I./mtr -I./epd -I./cudd -I./st -m64 -fPIC -DPIC -O3 -MT dddmp/libdddmp_la-dddmpUtil.lo -MD -MP -MF dddmp/.deps/libdddmp_la-dddmpUtil.Tpo -c dddmp/dddmpUtil.c -o dddmp/libdddmp_la-dddmpUtil.o mv -f dddmp/.deps/libdddmp_la-dddmpUtil.Tpo dddmp/.deps/libdddmp_la-dddmpUtil.Plo /nix/store/11ciq72n4fdv8rw6wgjgasfv4mjs1jrw-bash-5.2p37/bin/bash ./libtool --tag=CC --mode=link gcc -m64 -fPIC -DPIC -O3 -o dddmp/libdddmp.la dddmp/libdddmp_la-dddmpBinary.lo dddmp/libdddmp_la-dddmpConvert.lo dddmp/libdddmp_la-dddmpDbg.lo dddmp/libdddmp_la-dddmpLoad.lo dddmp/libdddmp_la-dddmpLoadCnf.lo dddmp/libdddmp_la-dddmpNodeAdd.lo dddmp/libdddmp_la-dddmpNodeBdd.lo dddmp/libdddmp_la-dddmpNodeCnf.lo dddmp/libdddmp_la-dddmpStoreAdd.lo dddmp/libdddmp_la-dddmpStoreBdd.lo dddmp/libdddmp_la-dddmpStoreCnf.lo dddmp/libdddmp_la-dddmpStoreMisc.lo dddmp/libdddmp_la-dddmpUtil.lo -lm libtool: link: ar cru dddmp/.libs/libdddmp.a dddmp/libdddmp_la-dddmpBinary.o dddmp/libdddmp_la-dddmpConvert.o dddmp/libdddmp_la-dddmpDbg.o dddmp/libdddmp_la-dddmpLoad.o dddmp/libdddmp_la-dddmpLoadCnf.o dddmp/libdddmp_la-dddmpNodeAdd.o dddmp/libdddmp_la-dddmpNodeBdd.o dddmp/libdddmp_la-dddmpNodeCnf.o dddmp/libdddmp_la-dddmpStoreAdd.o dddmp/libdddmp_la-dddmpStoreBdd.o dddmp/libdddmp_la-dddmpStoreCnf.o dddmp/libdddmp_la-dddmpStoreMisc.o dddmp/libdddmp_la-dddmpUtil.o ar: `u' modifier ignored since `D' is the default (see `U') libtool: link: ranlib dddmp/.libs/libdddmp.a libtool: link: ( cd "dddmp/.libs" && rm -f "libdddmp.la" && ln -s "../libdddmp.la" "libdddmp.la" ) /nix/store/11ciq72n4fdv8rw6wgjgasfv4mjs1jrw-bash-5.2p37/bin/bash ./libtool --tag=CXX --mode=compile g++ -DHAVE_CONFIG_H -I. -I./cudd -I./mtr -I./epd -I./st --std=c++11 -m64 -fPIC -DPIC -O3 -MT cplusplus/libobj_la-cuddObj.lo -MD -MP -MF cplusplus/.deps/libobj_la-cuddObj.Tpo -c -o cplusplus/libobj_la-cuddObj.lo `test -f 'cplusplus/cuddObj.cc' || echo './'`cplusplus/cuddObj.cc libtool: compile: g++ -DHAVE_CONFIG_H -I. -I./cudd -I./mtr -I./epd -I./st --std=c++11 -m64 -fPIC -DPIC -O3 -MT cplusplus/libobj_la-cuddObj.lo -MD -MP -MF cplusplus/.deps/libobj_la-cuddObj.Tpo -c cplusplus/cuddObj.cc -o cplusplus/libobj_la-cuddObj.o mv -f cplusplus/.deps/libobj_la-cuddObj.Tpo cplusplus/.deps/libobj_la-cuddObj.Plo /nix/store/11ciq72n4fdv8rw6wgjgasfv4mjs1jrw-bash-5.2p37/bin/bash ./libtool --tag=CXX --mode=link g++ --std=c++11 -m64 -fPIC -DPIC -O3 -o cplusplus/libobj.la cplusplus/libobj_la-cuddObj.lo -lm libtool: link: ar cru cplusplus/.libs/libobj.a cplusplus/libobj_la-cuddObj.o ar: `u' modifier ignored since `D' is the default (see `U') libtool: link: ranlib cplusplus/.libs/libobj.a libtool: link: ( cd "cplusplus/.libs" && rm -f "libobj.la" && ln -s "../libobj.la" "libobj.la" ) make[2]: Leaving directory '/build/source/cudd' make[1]: Leaving directory '/build/source/cudd' make[1]: Entering directory '/build/source/cudd' make[2]: Entering directory '/build/source/cudd' /nix/store/fr9yr63a1267cr0r86w18c77mh3xavcc-coreutils-9.6/bin/mkdir -p '/build/source/cudd/lib' /nix/store/11ciq72n4fdv8rw6wgjgasfv4mjs1jrw-bash-5.2p37/bin/bash ./libtool --mode=install /nix/store/fr9yr63a1267cr0r86w18c77mh3xavcc-coreutils-9.6/bin/install -c cudd/libcudd.la '/build/source/cudd/lib' libtool: install: /nix/store/fr9yr63a1267cr0r86w18c77mh3xavcc-coreutils-9.6/bin/install -c cudd/.libs/libcudd.lai /build/source/cudd/lib/libcudd.la libtool: install: /nix/store/fr9yr63a1267cr0r86w18c77mh3xavcc-coreutils-9.6/bin/install -c cudd/.libs/libcudd.a /build/source/cudd/lib/libcudd.a libtool: install: chmod 644 /build/source/cudd/lib/libcudd.a libtool: install: ranlib /build/source/cudd/lib/libcudd.a libtool: finish: PATH="/nix/store/0gyj3kkkj7hbh3bb57gabsp97f6f3x2w-openjdk-21.0.5+11/bin:/nix/store/zsc85w8i8fd0sfqr7jiglmw106sxjx6b-patchelf-0.15.0/bin:/nix/store/ii75mhh7sxl11167m1b86p0qrjsjyjmd-gcc-wrapper-14-20241116/bin:/nix/store/dih8vf5naf93c0wcfxqa9pll3k7iv9bm-gcc-14-20241116/bin:/nix/store/4q7kqnnr018yr54dsqdc5gvfqkwm6xa5-glibc-2.40-66-bin/bin:/nix/store/fr9yr63a1267cr0r86w18c77mh3xavcc-coreutils-9.6/bin:/nix/store/fjk8dwvzclmrwavmbmdj4p04v4dhw6bn-binutils-wrapper-2.43.1/bin:/nix/store/9g4gsby96w4cx1i338kplaap0x37apdf-binutils-2.43.1/bin:/nix/store/fr9yr63a1267cr0r86w18c77mh3xavcc-coreutils-9.6/bin:/nix/store/lk2sg2yq5jqs9dlx5ini46kvjwk7ffsf-findutils-4.10.0/bin:/nix/store/lvj768zc0vqkzal5frxhc1yk6kp851bk-diffutils-3.10/bin:/nix/store/fcny04vmfnkqc4ym5m9znckswlq9pglg-gnused-4.9/bin:/nix/store/yz6nq9v29l3g990w8zlqsnzlzbicd3b3-gnugrep-3.11/bin:/nix/store/87igisss92h96n689797k2rzlikzdpqm-gawk-5.3.1/bin:/nix/store/ya52zl80q1dk64kfbv8512g19bib5svf-gnutar-1.35/bin:/nix/store/lyy4lg0f566qwmjzf2fgl4zfiz3yp046-gzip-1.13/bin:/nix/store/8n4p2v4kqy97qjfwg4hdrcjl9qjailqy-bzip2-1.0.8-bin/bin:/nix/store/62ks0dh3k59im6jqmxcxyd19w9rfjcry-gnumake-4.4.1/bin:/nix/store/11ciq72n4fdv8rw6wgjgasfv4mjs1jrw-bash-5.2p37/bin:/nix/store/rz7sygmhwy9msd1803m2w0qvrvxnflwd-patch-2.7.6/bin:/nix/store/41y9rj41ni0j5x3diw5cv8f9nya2rj67-xz-5.6.4-bin/bin:/nix/store/h0z0z043akpaf5nmxq3lf84laah832rw-file-5.46/bin:/sbin" ldconfig -n /build/source/cudd/lib ---------------------------------------------------------------------- Libraries have been installed in: /build/source/cudd/lib If you ever happen to want to link against installed libraries in a given directory, LIBDIR, you must either use libtool, and specify the full pathname of the library, or use the '-LLIBDIR' flag during linking and do at least one of the following: - add LIBDIR to the 'LD_LIBRARY_PATH' environment variable during execution - add LIBDIR to the 'LD_RUN_PATH' environment variable during linking - use the '-Wl,-rpath -Wl,LIBDIR' linker flag See any operating system documentation about shared libraries for more information, such as the ld(1) and ld.so(8) manual pages. ---------------------------------------------------------------------- /nix/store/fr9yr63a1267cr0r86w18c77mh3xavcc-coreutils-9.6/bin/mkdir -p '/build/source/cudd/include' /nix/store/fr9yr63a1267cr0r86w18c77mh3xavcc-coreutils-9.6/bin/install -c -m 644 cudd/cudd.h '/build/source/cudd/include' make[2]: Leaving directory '/build/source/cudd' make[1]: Leaving directory '/build/source/cudd' Making lpsolve55 ... make[1]: Entering directory '/build/source/prism/ext/lpsolve55' mkdir -p lib + : + src='../lp_MDO.c ../shared/commonlib.c ../shared/mmio.c ../shared/myblas.c ../ini.c ../fortify.c ../colamd/colamd.c ../lp_rlp.c ../lp_crash.c ../bfp/bfp_LUSOL/lp_LUSOL.c ../bfp/bfp_LUSOL/LUSOL/lusol.c ../lp_Hash.c ../lp_lib.c ../lp_wlp.c ../lp_matrix.c ../lp_mipbb.c ../lp_MPS.c ../lp_params.c ../lp_presolve.c ../lp_price.c ../lp_pricePSE.c ../lp_report.c ../lp_scale.c ../lp_simplex.c ../lp_SOS.c ../lp_utils.c ../yacc_read.c' + '[' amd64 = '' ']' + '[' amd64 = amd64 ']' + CFLAGS='-m64 -fPIC -DPIC' + '[' amd64 = ia64 ']' + '[' amd64 = aarch64 ']' + echo '#include ' + echo '#include ' + echo 'main(){printf("ux%d", (int) (sizeof(void *)*8));}' + gcc -m64 -fPIC -DPIC /tmp/platform.c -o /tmp/platform /tmp/platform.c:3:1: error: return type defaults to 'int' [8;;https://gcc.gnu.org/onlinedocs/gcc-14.2.0/gcc/Warning-Options.html#index-Wimplicit-int-Wimplicit-int8;;] 3 | main(){printf("ux%d", (int) (sizeof(void *)*8));} | ^~~~ ++ /tmp/platform ccc: line 24: /tmp/platform: No such file or directory + PLATFORM= + rm /tmp/platform /tmp/platform.c + mkdir bin bin/ + echo '#include ' + echo '#include ' + echo '#include ' + echo 'main(){isnan(0.0);}' + gcc -m64 -fPIC -DPIC /tmp/isnan.c -o /tmp/isnan + '[' 1 = 0 ']' + NOISNAN=-DNOISNAN + rm /tmp/isnan.c /tmp/isnan + def= + so= + '[' '' = SCO_UNIX ']' + dl=-ldl + so=y + opts=-O3 + gcc -m64 -fPIC -DPIC -s -c -I.. -I../shared -I../bfp -I../bfp/bfp_LUSOL -I../bfp/bfp_LUSOL/LUSOL -I../colamd -O3 -DNOISNAN -DYY_NEVER_INTERACTIVE -DPARSER_LP -DINVERSE_ACTIVE=INVERSE_LUSOL -DRoleIsExternalInvEngine ../lp_MDO.c ../shared/commonlib.c ../shared/mmio.c ../shared/myblas.c ../ini.c ../fortify.c ../colamd/colamd.c ../lp_rlp.c ../lp_crash.c ../bfp/bfp_LUSOL/lp_LUSOL.c ../bfp/bfp_LUSOL/LUSOL/lusol.c ../lp_Hash.c ../lp_lib.c ../lp_wlp.c ../lp_matrix.c ../lp_mipbb.c ../lp_MPS.c ../lp_params.c ../lp_presolve.c ../lp_price.c ../lp_pricePSE.c ../lp_report.c ../lp_scale.c ../lp_simplex.c ../lp_SOS.c ../lp_utils.c ../yacc_read.c In file included from ../lp_MDO.c:22: ../shared/commonlib.h:88:24: error: expected identifier or '(' before numeric constant 88 | #define FALSE 0 | ^ ../shared/commonlib.c: In function 'timeNow': ../shared/commonlib.c:849:3: warning: 'ftime' is deprecated: Use gettimeofday or clock_gettime instead [8;;https://gcc.gnu.org/onlinedocs/gcc-14.2.0/gcc/Warning-Options.html#index-Wdeprecated-declarations-Wdeprecated-declarations8;;] 849 | ftime(&buf); | ^~~~~ In file included from ../shared/commonlib.c:9: /nix/store/1ycjq6h047qqwp3fm9sbl805xnrxlh2h-glibc-2.40-66-dev/include/sys/timeb.h:29:12: note: declared here 29 | extern int ftime (struct timeb *__timebuf) | ^~~~~ In file included from ../lp_crash.c:21: ../shared/commonlib.h:88:24: error: expected identifier or '(' before numeric constant 88 | #define FALSE 0 | ^ In file included from ../lp_lib.c:41: ../lp_lib.h:63:10: warning: "isnan" redefined 63 | # define isnan(x) FALSE | ^~~~~ In file included from ../lp_lib.c:27: /nix/store/1ycjq6h047qqwp3fm9sbl805xnrxlh2h-glibc-2.40-66-dev/include/math.h:1011:11: note: this is the location of the previous definition 1011 | # define isnan(x) __builtin_isnan (x) | ^~~~~ In file included from ../lp_wlp.c:6: ../shared/commonlib.h:88:24: error: expected identifier or '(' before numeric constant 88 | #define FALSE 0 | ^ In file included from ../lp_matrix.c:3: ../shared/commonlib.h:88:24: error: expected identifier or '(' before numeric constant 88 | #define FALSE 0 | ^ In file included from ../lp_mipbb.c:30: ../shared/commonlib.h:88:24: error: expected identifier or '(' before numeric constant 88 | #define FALSE 0 | ^ In file included from ../lp_MPS.c:5: ../shared/commonlib.h:88:24: error: expected identifier or '(' before numeric constant 88 | #define FALSE 0 | ^ In file included from ../lp_params.c:6: ../shared/commonlib.h:88:24: error: expected identifier or '(' before numeric constant 88 | #define FALSE 0 | ^ In file included from ../lp_presolve.c:36: ../shared/commonlib.h:88:24: error: expected identifier or '(' before numeric constant 88 | #define FALSE 0 | ^ In file included from ../lp_price.c:3: ../shared/commonlib.h:88:24: error: expected identifier or '(' before numeric constant 88 | #define FALSE 0 | ^ In file included from ../lp_pricePSE.c:3: ../shared/commonlib.h:88:24: error: expected identifier or '(' before numeric constant 88 | #define FALSE 0 | ^ In file included from ../lp_scale.c:3: ../shared/commonlib.h:88:24: error: expected identifier or '(' before numeric constant 88 | #define FALSE 0 | ^ In file included from ../lp_simplex.c:27: ../shared/commonlib.h:88:24: error: expected identifier or '(' before numeric constant 88 | #define FALSE 0 | ^ In file included from ../lp_SOS.c:3: ../shared/commonlib.h:88:24: error: expected identifier or '(' before numeric constant 88 | #define FALSE 0 | ^ In file included from ../lp_utils.c:4: ../shared/commonlib.h:88:24: error: expected identifier or '(' before numeric constant 88 | #define FALSE 0 | ^ ++ echo ../lp_MDO.c ../shared/commonlib.c ../shared/mmio.c ../shared/myblas.c ../ini.c ../fortify.c ../colamd/colamd.c ../lp_rlp.c ../lp_crash.c ../bfp/bfp_LUSOL/lp_LUSOL.c ../bfp/bfp_LUSOL/LUSOL/lusol.c ../lp_Hash.c ../lp_lib.c ../lp_wlp.c ../lp_matrix.c ../lp_mipbb.c ../lp_MPS.c ../lp_params.c ../lp_presolve.c ../lp_price.c ../lp_pricePSE.c ../lp_report.c ../lp_scale.c ../lp_simplex.c ../lp_SOS.c ../lp_utils.c ../yacc_read.c ++ sed 's/[.]c/.o/g' ++ sed 's/[^ ]*\///g' + ar rv bin//liblpsolve55.a lp_MDO.o commonlib.o mmio.o myblas.o ini.o fortify.o colamd.o lp_rlp.o lp_crash.o lp_LUSOL.o lusol.o lp_Hash.o lp_lib.o lp_wlp.o lp_matrix.o lp_mipbb.o lp_MPS.o lp_params.o lp_presolve.o lp_price.o lp_pricePSE.o lp_report.o lp_scale.o lp_simplex.o lp_SOS.o lp_utils.o yacc_read.o ar: creating bin//liblpsolve55.a ar: lp_MDO.o: No such file or directory + ranlib bin//liblpsolve55.a ranlib: 'bin//liblpsolve55.a': No such file + '[' y '!=' '' ']' + gcc -m64 -fPIC -DPIC -s -c -I.. -I../shared -I../bfp -I../bfp/bfp_LUSOL -I../bfp/bfp_LUSOL/LUSOL -I../colamd -I. -O3 -DNOISNAN -DYY_NEVER_INTERACTIVE -DPARSER_LP -DINVERSE_ACTIVE=INVERSE_LUSOL -DRoleIsExternalInvEngine ../lp_MDO.c ../shared/commonlib.c ../shared/mmio.c ../shared/myblas.c ../ini.c ../fortify.c ../colamd/colamd.c ../lp_rlp.c ../lp_crash.c ../bfp/bfp_LUSOL/lp_LUSOL.c ../bfp/bfp_LUSOL/LUSOL/lusol.c ../lp_Hash.c ../lp_lib.c ../lp_wlp.c ../lp_matrix.c ../lp_mipbb.c ../lp_MPS.c ../lp_params.c ../lp_presolve.c ../lp_price.c ../lp_pricePSE.c ../lp_report.c ../lp_scale.c ../lp_simplex.c ../lp_SOS.c ../lp_utils.c ../yacc_read.c In file included from ../lp_MDO.c:22: ../shared/commonlib.h:88:24: error: expected identifier or '(' before numeric constant 88 | #define FALSE 0 | ^ ../shared/commonlib.c: In function 'timeNow': ../shared/commonlib.c:849:3: warning: 'ftime' is deprecated: Use gettimeofday or clock_gettime instead [8;;https://gcc.gnu.org/onlinedocs/gcc-14.2.0/gcc/Warning-Options.html#index-Wdeprecated-declarations-Wdeprecated-declarations8;;] 849 | ftime(&buf); | ^~~~~ In file included from ../shared/commonlib.c:9: /nix/store/1ycjq6h047qqwp3fm9sbl805xnrxlh2h-glibc-2.40-66-dev/include/sys/timeb.h:29:12: note: declared here 29 | extern int ftime (struct timeb *__timebuf) | ^~~~~ In file included from ../lp_crash.c:21: ../shared/commonlib.h:88:24: error: expected identifier or '(' before numeric constant 88 | #define FALSE 0 | ^ In file included from ../lp_lib.c:41: ../lp_lib.h:63:10: warning: "isnan" redefined 63 | # define isnan(x) FALSE | ^~~~~ In file included from ../lp_lib.c:27: /nix/store/1ycjq6h047qqwp3fm9sbl805xnrxlh2h-glibc-2.40-66-dev/include/math.h:1011:11: note: this is the location of the previous definition 1011 | # define isnan(x) __builtin_isnan (x) | ^~~~~ In file included from ../lp_wlp.c:6: ../shared/commonlib.h:88:24: error: expected identifier or '(' before numeric constant 88 | #define FALSE 0 | ^ In file included from ../lp_matrix.c:3: ../shared/commonlib.h:88:24: error: expected identifier or '(' before numeric constant 88 | #define FALSE 0 | ^ In file included from ../lp_mipbb.c:30: ../shared/commonlib.h:88:24: error: expected identifier or '(' before numeric constant 88 | #define FALSE 0 | ^ In file included from ../lp_MPS.c:5: ../shared/commonlib.h:88:24: error: expected identifier or '(' before numeric constant 88 | #define FALSE 0 | ^ In file included from ../lp_params.c:6: ../shared/commonlib.h:88:24: error: expected identifier or '(' before numeric constant 88 | #define FALSE 0 | ^ In file included from ../lp_presolve.c:36: ../shared/commonlib.h:88:24: error: expected identifier or '(' before numeric constant 88 | #define FALSE 0 | ^ In file included from ../lp_price.c:3: ../shared/commonlib.h:88:24: error: expected identifier or '(' before numeric constant 88 | #define FALSE 0 | ^ In file included from ../lp_pricePSE.c:3: ../shared/commonlib.h:88:24: error: expected identifier or '(' before numeric constant 88 | #define FALSE 0 | ^ In file included from ../lp_scale.c:3: ../shared/commonlib.h:88:24: error: expected identifier or '(' before numeric constant 88 | #define FALSE 0 | ^ In file included from ../lp_simplex.c:27: ../shared/commonlib.h:88:24: error: expected identifier or '(' before numeric constant 88 | #define FALSE 0 | ^ In file included from ../lp_SOS.c:3: ../shared/commonlib.h:88:24: error: expected identifier or '(' before numeric constant 88 | #define FALSE 0 | ^ In file included from ../lp_utils.c:4: ../shared/commonlib.h:88:24: error: expected identifier or '(' before numeric constant 88 | #define FALSE 0 | ^ ++ echo ../lp_MDO.c ../shared/commonlib.c ../shared/mmio.c ../shared/myblas.c ../ini.c ../fortify.c ../colamd/colamd.c ../lp_rlp.c ../lp_crash.c ../bfp/bfp_LUSOL/lp_LUSOL.c ../bfp/bfp_LUSOL/LUSOL/lusol.c ../lp_Hash.c ../lp_lib.c ../lp_wlp.c ../lp_matrix.c ../lp_mipbb.c ../lp_MPS.c ../lp_params.c ../lp_presolve.c ../lp_price.c ../lp_pricePSE.c ../lp_report.c ../lp_scale.c ../lp_simplex.c ../lp_SOS.c ../lp_utils.c ../yacc_read.c ++ sed 's/[^ ]*\///g' ++ sed 's/[.]c/.o/g' + gcc -m64 -fPIC -DPIC -shared -Wl,-Bsymbolic -Wl,-soname,liblpsolve55.so -o bin//liblpsolve55.so lp_MDO.o commonlib.o mmio.o myblas.o ini.o fortify.o colamd.o lp_rlp.o lp_crash.o lp_LUSOL.o lusol.o lp_Hash.o lp_lib.o lp_wlp.o lp_matrix.o lp_mipbb.o lp_MPS.o lp_params.o lp_presolve.o lp_price.o lp_pricePSE.o lp_report.o lp_scale.o lp_simplex.o lp_SOS.o lp_utils.o yacc_read.o -lc -lm -ldl /nix/store/9g4gsby96w4cx1i338kplaap0x37apdf-binutils-2.43.1/bin/ld: cannot find lp_MDO.o: No such file or directory /nix/store/9g4gsby96w4cx1i338kplaap0x37apdf-binutils-2.43.1/bin/ld: cannot find lp_crash.o: No such file or directory /nix/store/9g4gsby96w4cx1i338kplaap0x37apdf-binutils-2.43.1/bin/ld: cannot find lp_wlp.o: No such file or directory /nix/store/9g4gsby96w4cx1i338kplaap0x37apdf-binutils-2.43.1/bin/ld: cannot find lp_matrix.o: No such file or directory /nix/store/9g4gsby96w4cx1i338kplaap0x37apdf-binutils-2.43.1/bin/ld: cannot find lp_mipbb.o: No such file or directory /nix/store/9g4gsby96w4cx1i338kplaap0x37apdf-binutils-2.43.1/bin/ld: cannot find lp_MPS.o: No such file or directory /nix/store/9g4gsby96w4cx1i338kplaap0x37apdf-binutils-2.43.1/bin/ld: cannot find lp_params.o: No such file or directory /nix/store/9g4gsby96w4cx1i338kplaap0x37apdf-binutils-2.43.1/bin/ld: cannot find lp_presolve.o: No such file or directory /nix/store/9g4gsby96w4cx1i338kplaap0x37apdf-binutils-2.43.1/bin/ld: cannot find lp_price.o: No such file or directory /nix/store/9g4gsby96w4cx1i338kplaap0x37apdf-binutils-2.43.1/bin/ld: cannot find lp_pricePSE.o: No such file or directory /nix/store/9g4gsby96w4cx1i338kplaap0x37apdf-binutils-2.43.1/bin/ld: cannot find lp_scale.o: No such file or directory /nix/store/9g4gsby96w4cx1i338kplaap0x37apdf-binutils-2.43.1/bin/ld: cannot find lp_simplex.o: No such file or directory /nix/store/9g4gsby96w4cx1i338kplaap0x37apdf-binutils-2.43.1/bin/ld: cannot find lp_SOS.o: No such file or directory /nix/store/9g4gsby96w4cx1i338kplaap0x37apdf-binutils-2.43.1/bin/ld: cannot find lp_utils.o: No such file or directory collect2: error: ld returned 1 exit status + mv bin//liblpsolve55.so ../../../lib mv: cannot stat 'bin//liblpsolve55.so': No such file or directory + rm colamd.o commonlib.o fortify.o ini.o lp_Hash.o lp_LUSOL.o lp_lib.o lp_report.o lp_rlp.o lusol.o mmio.o myblas.o yacc_read.o mv: cannot stat 'lib/liblpsolve55.so': No such file or directory make[1]: *** [Makefile:41: ../../lib/liblpsolve55.so] Error 1 make[1]: Leaving directory '/build/source/prism/ext/lpsolve55' make: *** [Makefile:376: extpackages] Error 1