------------------------------------------------------------------------------- -- Phase: setup ------------------------------------------------------------------------------- Installing /packages/All/indexinfo-0.3.1.txz Installing /packages/All/gettext-runtime-0.20.1.txz pkg: Cannot runscript POST-INSTALL:Bad file descriptor Installing /packages/All/gmake-4.2.1_3.txz pkg: Cannot runscript POST-INSTALL:Bad file descriptor Installing /packages/All/expat-2.2.8.txz pkg: Cannot runscript POST-INSTALL:Bad file descriptor Installing /packages/All/libffi-3.2.1_3.txz pkg: Cannot runscript POST-INSTALL:Bad file descriptor Installing /packages/All/ncurses-6.1.20190525.txz pkg: Cannot runscript POST-INSTALL:Bad file descriptor Installing /packages/All/readline-8.0.4.txz pkg: Cannot runscript POST-INSTALL:Bad file descriptor Installing /packages/All/openssl-1.1.1d,1.txz pkg: Cannot runscript POST-INSTALL:Bad file descriptor Installing /packages/All/python37-3.7.6.txz pkg: Cannot runscript POST-INSTALL:Bad file descriptor ===== Message from python37-3.7.6: -- Note that some standard Python modules are provided as separate ports as they require additional dependencies. They are available as: py37-gdbm databases/py-gdbm@py37 py37-sqlite3 databases/py-sqlite3@py37 py37-tkinter x11-toolkits/py-tkinter@py37 Installing /packages/All/spot-2.8.6.txz pkg: Cannot runscript POST-INSTALL:Bad file descriptor SUCCEEDED 00:00:08 ------------------------------------------------------------------------------- -- Phase: check-sanity ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: pkg-depends ------------------------------------------------------------------------------- ===> py37-spot-2.8.6 depends on file: /usr/local/sbin/pkg - found SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: fetch-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:01 ------------------------------------------------------------------------------- -- Phase: fetch ------------------------------------------------------------------------------- ===> py37-spot-2.8.6 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by py37-spot-2.8.6 for building SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: checksum ------------------------------------------------------------------------------- ===> py37-spot-2.8.6 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by py37-spot-2.8.6 for building => SHA256 Checksum OK for spot-2.8.6.tar.gz. SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: extract-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: extract ------------------------------------------------------------------------------- ===> py37-spot-2.8.6 depends on file: /usr/local/sbin/pkg - found ===> Fetching all distfiles required by py37-spot-2.8.6 for building ===> Extracting for py37-spot-2.8.6 => SHA256 Checksum OK for spot-2.8.6.tar.gz. Extracted Memory Use: 43.96M SUCCEEDED 00:00:02 ------------------------------------------------------------------------------- -- Phase: patch-depends ------------------------------------------------------------------------------- SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: patch ------------------------------------------------------------------------------- ===> Patching for py37-spot-2.8.6 ===> Applying ports patches for py37-spot-2.8.6 SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: build-depends ------------------------------------------------------------------------------- ===> py37-spot-2.8.6 depends on executable: gmake - found ===> py37-spot-2.8.6 depends on file: /usr/local/bin/python3.7 - found SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: lib-depends ------------------------------------------------------------------------------- ===> py37-spot-2.8.6 depends on shared library: libspot.so - found (/usr/local/lib/libspot.so) SUCCEEDED 00:00:00 ------------------------------------------------------------------------------- -- Phase: configure ------------------------------------------------------------------------------- ===> py37-spot-2.8.6 depends on executable: gmake - found ===> py37-spot-2.8.6 depends on file: /usr/local/bin/python3.7 - found ===> py37-spot-2.8.6 depends on shared library: libspot.so - found (/usr/local/lib/libspot.so) ===> Configuring for py37-spot-2.8.6 configure: loading site script /xports/Templates/config.site checking for a BSD-compatible install... /usr/bin/install -c checking whether build environment is sane... yes checking for a thread-safe mkdir -p... (cached) /bin/mkdir -p checking for gawk... (cached) /usr/bin/awk checking whether gmake sets $(MAKE)... yes checking whether gmake supports nested variables... yes checking whether UID '0' is supported by ustar format... yes checking whether GID '0' is supported by ustar format... yes checking how to create a ustar tar archive... (cached) /usr/bin/tar checking for gcc... cc checking whether the C compiler works... yes checking for C compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix of object files... o checking whether we are using the GNU C compiler... yes checking whether cc accepts -g... yes checking for cc option to enable C11 features... none needed checking whether gmake supports the include directive... yes (GNU style) checking dependency style of cc... gcc3 checking how to run the C preprocessor... cpp checking for grep that handles long lines and -e... (cached) /usr/bin/grep checking for egrep... (cached) /usr/bin/egrep checking for ANSI C header files... (cached) yes checking for sys/types.h... (cached) yes checking for sys/stat.h... (cached) yes checking for stdlib.h... (cached) yes checking for string.h... (cached) yes checking for memory.h... (cached) yes checking for strings.h... (cached) yes checking for inttypes.h... (cached) yes checking for stdint.h... (cached) yes checking for unistd.h... (cached) yes checking for minix/config.h... (cached) no checking whether it is safe to define __EXTENSIONS__... yes checking whether _XOPEN_SOURCE should be defined... no checking for Minix Amsterdam compiler... no checking for ar... ar checking for ranlib... ranlib checking for special C compiler options needed for large files... no checking for _FILE_OFFSET_BITS value needed for large files... no checking build system type... x86_64-portbld-dragonfly5.9 checking host system type... x86_64-portbld-dragonfly5.9 checking whether we are using the GNU C++ compiler... yes checking whether c++ accepts -g... yes checking for c++ option to enable C++11 features... none needed checking dependency style of c++... gcc3 checking for flex... flex checking lex output file root... lex.yy checking lex library... -lfl checking whether yytext is a pointer... yes checking for bison... no checking whether gmake supports nested variables... (cached) yes checking whether C compiler accepts -std=c11... yes checking for size_t... (cached) yes checking for working alloca.h... yes checking for alloca... yes checking for inline... inline checking for C/C++ restrict keyword... __restrict checking whether clearerr_unlocked is declared... (cached) yes checking whether feof_unlocked is declared... (cached) yes checking whether ferror_unlocked is declared... (cached) yes checking whether fflush_unlocked is declared... no checking whether fgets_unlocked is declared... no checking whether fputc_unlocked is declared... no checking whether fputs_unlocked is declared... no checking whether fread_unlocked is declared... no checking whether fwrite_unlocked is declared... no checking whether getc_unlocked is declared... (cached) yes checking whether getchar_unlocked is declared... (cached) yes checking whether putc_unlocked is declared... (cached) yes checking whether putchar_unlocked is declared... (cached) yes checking for flockfile... yes checking for funlockfile... yes checking for symlink... (cached) yes checking for getprogname... yes checking for getexecname... no checking for gettimeofday... (cached) yes checking for lstat... (cached) yes checking for mbsinit... (cached) yes checking for mbrtowc... (cached) yes checking for mprotect... (cached) yes checking for mkstemp... (cached) yes checking for mkstemps... (cached) yes checking for _set_invalid_parameter_handler... no checking for secure_getenv... no checking for getuid... (cached) yes checking for geteuid... (cached) yes checking for getgid... (cached) yes checking for getegid... (cached) yes checking for sleep... (cached) yes checking for strndup... (cached) yes checking for vasnprintf... no checking for snprintf... (cached) yes checking for iswcntrl... (cached) yes checking for features.h... no checking for linewrap.h... no checking for unistd.h... (cached) yes checking for stdio_ext.h... no checking for getopt.h... (cached) yes checking for sys/cdefs.h... (cached) yes checking for sys/time.h... (cached) yes checking for sys/socket.h... (cached) yes checking for limits.h... (cached) yes checking for threads.h... no checking for sys/mman.h... (cached) yes checking for sys/param.h... (cached) yes checking for sys/stat.h... (cached) yes checking for wchar.h... (cached) yes checking for stdint.h... (cached) yes checking for strings.h... (cached) yes checking for sys/wait.h... (cached) yes checking for sysexits.h... yes checking for crtdefs.h... no checking for wctype.h... (cached) yes checking whether strerror_r is declared... (cached) yes checking for strerror_r... (cached) yes checking whether strerror_r returns char *... no checking whether // is distinct from /... no checking whether the preprocessor supports include_next... (cached) yes checking whether system header files limit the line length... no checking for complete errno.h... (cached) yes checking for working fcntl.h... no (bad O_NOATIME) checking for pid_t... (cached) yes checking for mode_t... (cached) yes checking for getopt.h... (cached) yes checking for getopt_long_only... (cached) yes checking whether getopt is POSIX compatible... (cached) yes checking for working GNU getopt function... no checking for struct timeval... (cached) yes checking for wide-enough struct timeval.tv_sec member... yes checking whether limits.h has LLONG_MAX, WORD_BIT, ULLONG_WIDTH etc.... no checking for nl_langinfo and CODESET... yes checking whether imported symbols can be declared weak... yes checking for pthread.h... (cached) yes checking for pthread_kill in -lpthread... yes checking for multithread API to use... posix checking whether lstat correctly handles trailing slash... (cached) yes checking whether malloc, realloc, calloc are POSIX compliant... (cached) yes checking for stdlib.h... (cached) yes checking for GNU libc compatible malloc... (cached) yes checking for unsigned long long int... (cached) yes checking for long long int... (cached) yes checking for mbstate_t... (cached) yes checking for a traditional japanese locale... ja_JP.eucJP checking for a transitional chinese locale... none checking for a french Unicode locale... fr_FR.UTF-8 checking for mmap... (cached) yes checking for MAP_ANONYMOUS... yes checking whether memchr works... yes checking whether defines MIN and MAX... no checking whether defines MIN and MAX... yes checking whether stat file-mode macros are broken... no checking for nlink_t... (cached) yes checking for stdbool.h that conforms to C99... (cached) yes checking for _Bool... (cached) yes checking for wchar_t... (cached) yes checking for wint_t... (cached) yes checking whether wint_t is too small... no checking whether stdint.h conforms to C99... yes checking whether stdint.h predates C++11... no checking whether stdint.h has UINTMAX_WIDTH etc.... no checking whether strerror(0) succeeds... no checking whether strndup is declared... (cached) yes checking whether strnlen is declared... (cached) yes checking for struct timespec in ... (cached) yes checking for inttypes.h... (cached) yes checking for stdint.h... (cached) yes checking for intmax_t... (cached) yes checking where to find the exponent in a 'double'... word 1 bit 20 checking whether snprintf returns a byte count as in C99... (cached) yes checking for snprintf... (cached) yes checking for strnlen... (cached) yes checking for wcslen... (cached) yes checking for wcsnlen... (cached) yes checking for mbrtowc... (cached) yes checking for wcrtomb... (cached) yes checking whether _snprintf is declared... no checking whether vsnprintf is declared... (cached) yes checking whether uses 'inline' correctly... (cached) yes checking for alloca as a compiler built-in... yes checking whether program_invocation_name is declared... no checking whether program_invocation_short_name is declared... no checking whether program_invocation_name is defined... no checking whether program_invocation_short_name is defined... no checking whether // is distinct from /... (cached) no checking for error_at_line... no checking whether conversion from 'int' to 'long double' works... yes checking for __fpending... yes checking whether __fpending is declared... yes checking whether program_invocation_name is declared... (cached) no checking whether program_invocation_short_name is declared... (cached) no checking whether __argv is declared... no checking whether __progname is defined in default libraries... yes checking whether gettimeofday clobbers localtime buffer... no checking for gettimeofday with POSIX signature... almost checking whether the compiler supports the __inline keyword... yes checking for pthread_rwlock_t... yes checking whether pthread_rwlock_rdlock prefers a writer to a reader... yes checking for stdlib.h... (cached) yes checking for GNU libc compatible malloc... (cached) yes checking whether mbrtowc handles incomplete characters... (cached) yes checking whether mbrtowc works as well as mbtowc... (cached) yes checking whether mbrtowc handles a NULL pwc argument... (cached) yes checking whether mbrtowc handles a NULL string argument... (cached) yes checking whether mbrtowc has a correct return value... (cached) yes checking whether mbrtowc returns 0 when parsing a NUL character... (cached) yes checking whether mbrtowc works on empty input... yes checking whether the C locale is free of encoding errors... yes checking whether mbrtowc handles incomplete characters... (cached) yes checking whether mbrtowc works as well as mbtowc... (cached) yes checking for mempcpy... yes checking whether mkdir handles trailing slash... yes checking whether mkdir handles trailing dot... yes checking for working mkstemp... yes checking whether program_invocation_name is declared... (cached) no checking whether program_invocation_short_name is declared... (cached) no checking for rawmemchr... (cached) no checking for __secure_getenv... no checking for issetugid... (cached) yes checking for stdint.h... (cached) yes checking for SIZE_MAX... (cached) yes checking whether sleep is declared... (cached) yes checking for working sleep... yes checking for ssize_t... (cached) yes checking whether stat handles trailing slashes on files... (cached) yes checking for struct stat.st_atim.tv_nsec... yes checking whether struct stat.st_atim is of type struct timespec... yes checking for struct stat.st_birthtimespec.tv_nsec... no checking for struct stat.st_birthtimensec... no checking for struct stat.st_birthtim.tv_nsec... no checking for working stdalign.h... yes checking for good max_align_t... yes checking whether NULL can be used in arbitrary expressions... yes checking which flavor of printf attribute matches inttypes macros... system checking for stpcpy... (cached) yes checking for strcasecmp... (cached) yes checking for strncasecmp... (cached) yes checking whether strncasecmp is declared... yes checking for strchrnul... yes checking whether strchrnul works... yes checking for working strndup... yes checking for working strnlen... (cached) yes checking for strverscmp... no checking for nlink_t... (cached) yes checking for ptrdiff_t... (cached) yes checking for vsnprintf... (cached) yes checking whether snprintf respects a size of 1... (cached) yes checking whether printf supports POSIX/XSI format strings with positions... (cached) yes checking whether iswcntrl works... yes checking for towlower... (cached) yes checking for wctype_t... (cached) yes checking for wctrans_t... (cached) yes checking for stdint.h... (cached) yes checking whether C compiler accepts -Werror -fvisibility=hidden... yes checking whether C++ compiler accepts -Werror -fvisibility=hidden... yes checking whether C++ compiler accepts -fvisibility-inlines-hidden... yes checking whether C++ compiler accepts -std=c++14... yes checking how to run the C++ preprocessor... c++ -E checking for sys/times.h... (cached) yes checking valgrind/memcheck.h usability... no checking valgrind/memcheck.h presence... no checking for valgrind/memcheck.h... no checking for spawn.h... (cached) yes checking for times... (cached) yes checking for kill... (cached) yes checking for alarm... (cached) yes checking for sigaction... (cached) yes checking how to print strings... printf checking for a sed that does not truncate output... (cached) /usr/bin/sed checking for fgrep... (cached) /usr/bin/fgrep checking for ld used by cc... /usr/bin/ld checking if the linker (/usr/bin/ld) is GNU ld... yes checking for BSD- or MS-compatible name lister (nm)... /usr/bin/nm -B checking the name lister (/usr/bin/nm -B) interface... BSD nm checking whether ln -s works... yes checking the maximum length of command line arguments... (cached) 262144 checking how to convert x86_64-portbld-dragonfly5.9 file names to x86_64-portbld-dragonfly5.9 format... func_convert_file_noop checking how to convert x86_64-portbld-dragonfly5.9 file names to toolchain format... func_convert_file_noop checking for /usr/bin/ld option to reload object files... -r checking for objdump... objdump checking how to recognize dependent libraries... pass_all checking for dlltool... no checking how to associate runtime and link libraries... printf %s\n checking for archiver @FILE support... @ checking for strip... strip checking for ranlib... (cached) ranlib checking command to parse /usr/bin/nm -B output from cc object... ok checking for sysroot... no checking for a working dd... /bin/dd checking how to truncate binary pipes... /bin/dd bs=4096 count=1 checking for mt... mt checking if mt is a manifest tool... no checking for dlfcn.h... (cached) yes checking for objdir... .libs checking if cc supports -fno-rtti -fno-exceptions... no checking for cc option to produce PIC... -fPIC -DPIC checking if cc PIC flag -fPIC -DPIC works... yes checking if cc static flag -static works... no checking if cc supports -c -o file.o... yes checking if cc supports -c -o file.o... (cached) yes checking whether the cc linker (/usr/bin/ld) supports shared libraries... yes checking whether -lc should be explicitly linked in... no checking dynamic linker characteristics... dragonfly5.9 ld.so checking how to hardcode library paths into programs... immediate checking whether stripping libraries is possible... yes checking if libtool supports shared libraries... yes checking whether to build shared libraries... yes checking whether to build static libraries... no checking how to run the C++ preprocessor... c++ -E checking for ld used by c++... /usr/bin/ld checking if the linker (/usr/bin/ld) is GNU ld... yes checking whether the c++ linker (/usr/bin/ld) supports shared libraries... yes checking for c++ option to produce PIC... -fPIC -DPIC checking if c++ PIC flag -fPIC -DPIC works... yes checking if c++ static flag -static works... no checking if c++ supports -c -o file.o... yes checking if c++ supports -c -o file.o... (cached) yes checking whether the c++ linker (/usr/bin/ld) supports shared libraries... yes checking dynamic linker characteristics... dragonfly5.9 ld.so checking how to hardcode library paths into programs... immediate checking what extension is used for runtime loadable modules... .so checking what variable specifies run-time module search path... LD_LIBRARY_PATH checking for the default library search path... /lib /usr/lib checking for library containing dlopen... none required checking for dlerror... yes checking for shl_load... no checking for shl_load in -ldld... no checking for dld_link in -ldld... no checking for _ prefix in compiled symbols... no checking whether deplibs are loaded by dlopen... yes checking for argz.h... (cached) no checking for error_t... no checking for argz_add... no checking for argz_append... no checking for argz_count... (cached) no checking for argz_create_sep... no checking for argz_insert... no checking for argz_next... (cached) no checking for argz_stringify... (cached) no checking whether libtool supports -dlopen/-dlpreopen... yes checking for ltdl.h... no checking where to find libltdl headers... -I$(top_srcdir)/ltdl checking where to find libltdl library... $(top_build_prefix)ltdl/libltdlc.la checking for unistd.h... (cached) yes checking for dl.h... (cached) no checking for sys/dl.h... no checking for dld.h... no checking for mach-o/dyld.h... no checking for dirent.h... (cached) yes checking for closedir... (cached) yes checking for opendir... (cached) yes checking for readdir... (cached) yes checking for strlcat... (cached) yes checking for strlcpy... (cached) yes checking if the GNU linker (/usr/bin/ld) supports -Bsymbolic-functions... yes configure: You may configure with --disable-python if you do not need Python bindings. checking whether /usr/local/bin/python3.7 version is >= 3.3... yes checking for /usr/local/bin/python3.7 version... 3.7 checking for /usr/local/bin/python3.7 platform... dragonfly5 checking for /usr/local/bin/python3.7 script directory... ${prefix}/lib/python3.7/site-packages checking for /usr/local/bin/python3.7 extension module directory... ${exec_prefix}/lib/python3.7/site-packages checking for /usr/local/bin/python3.7 includes directory... /usr/local/include/python3.7m checking Python.h usability... yes checking Python.h presence... yes checking for Python.h... yes checking for gcc optimization options... -O3 checking for g++ optimization options... -O3 -ffast-math -fstrict-aliasing -fomit-frame-pointer checking whether we are using the INTEL C++ compiler... no checking to add extra CXXFLAGS for the INTEL C++ compiler... checking for dot... no checking for ltl2ba... no checking for ltl3ba... no checking for perl... no checking for spin... no checking for lbtt... no checking for emacs... no checking for ipython3... no checking for ipython... no checking for lbtt-translate... no checking for valgrind... no checking for swig3.0... no checking for swig... no checking that generated files are newer than configure... done configure: creating ./config.status config.status: creating Makefile config.status: creating bin/Makefile config.status: creating bin/man/Makefile config.status: creating bench/Makefile config.status: creating bench/dtgbasat/Makefile config.status: creating bench/emptchk/Makefile config.status: creating bench/emptchk/defs config.status: creating bench/ltlcounter/Makefile config.status: creating bench/ltlclasses/Makefile config.status: creating bench/ltl2tgba/Makefile config.status: creating bench/ltl2tgba/defs config.status: creating bench/spin13/Makefile config.status: creating bench/wdba/Makefile config.status: creating bench/stutter/Makefile config.status: creating doc/Doxyfile config.status: creating doc/Makefile config.status: creating doc/tl/Makefile config.status: creating doc/org/.dir-locals.el config.status: creating doc/org/init.el config.status: creating elisp/Makefile config.status: creating lib/Makefile config.status: creating picosat/Makefile config.status: creating spot/graph/Makefile config.status: creating spot/kripke/Makefile config.status: creating spot/ltsmin/Makefile config.status: creating spot/Makefile config.status: creating spot/misc/Makefile config.status: creating spot/parseaut/Makefile config.status: creating spot/parsetl/Makefile config.status: creating spot/priv/Makefile config.status: creating spot/taalgos/Makefile config.status: creating spot/ta/Makefile config.status: creating spot/tl/Makefile config.status: creating spot/twaalgos/gtec/Makefile config.status: creating spot/twaalgos/Makefile config.status: creating spot/twa/Makefile config.status: creating spot/gen/Makefile config.status: creating python/Makefile config.status: creating tests/core/defs config.status: creating tests/ltsmin/defs config.status: creating tests/Makefile config.status: creating tools/x-to-1 config.status: creating doc/org/g++wrap config.status: creating tests/run config.status: creating config.h config.status: executing spot/misc/_config.h commands config.status: creating spot/misc/_config.h - prefix SPOT for config.h defines config.status: executing depfiles commands config.status: executing libtool commands === configuring in buddy (/construction/math/py-spot/spot-2.8.6/buddy) configure: running /bin/sh ./configure --disable-option-checking '--prefix=/usr/local' '--enable-python' '--disable-static' '--localstatedir=/var' '--mandir=/usr/local/man' '--disable-silent-rules' '--infodir=/usr/local/share/info/' '--build=x86_64-portbld-dragonfly5.9' 'build_alias=x86_64-portbld-dragonfly5.9' 'CC=cc' 'CFLAGS=-pipe -O2 -fno-strict-aliasing ' 'LDFLAGS= -L/usr/local/lib -lspot -lbddx -lspotgen -lspotltsmin ' 'LIBS=' 'CPPFLAGS=' 'CPP=cpp' 'CXX=c++' 'CXXFLAGS= -pipe -O2 -fno-strict-aliasing ' 'PYTHON=/usr/local/bin/python3.7' '--disable-devel' '--enable-ltdl-convenience' --cache-file=/dev/null --srcdir=. configure: loading site script /xports/Templates/config.site checking for a BSD-compatible install... /usr/bin/install -c checking whether build environment is sane... yes checking for a thread-safe mkdir -p... (cached) /bin/mkdir -p checking for gawk... (cached) /usr/bin/awk checking whether gmake sets $(MAKE)... yes checking whether gmake supports nested variables... yes checking for gcc... cc checking whether the C compiler works... yes checking for C compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix of object files... o checking whether we are using the GNU C compiler... yes checking whether cc accepts -g... yes checking for cc option to accept ISO C89... none needed checking whether cc understands -c and -o together... yes checking whether gmake supports the include directive... yes (GNU style) checking dependency style of cc... gcc3 checking for flex... flex checking lex output file root... lex.yy checking lex library... -lfl checking whether yytext is a pointer... yes checking for bison... no checking for byacc... byacc checking whether we are using the GNU C++ compiler... yes checking whether c++ accepts -g... yes checking dependency style of c++... gcc3 checking build system type... x86_64-portbld-dragonfly5.9 checking host system type... x86_64-portbld-dragonfly5.9 checking how to print strings... printf checking for a sed that does not truncate output... (cached) /usr/bin/sed checking for grep that handles long lines and -e... (cached) /usr/bin/grep checking for egrep... (cached) /usr/bin/egrep checking for fgrep... (cached) /usr/bin/fgrep checking for ld used by cc... /usr/bin/ld checking if the linker (/usr/bin/ld) is GNU ld... yes checking for BSD- or MS-compatible name lister (nm)... /usr/bin/nm -B checking the name lister (/usr/bin/nm -B) interface... BSD nm checking whether ln -s works... yes checking the maximum length of command line arguments... (cached) 262144 checking how to convert x86_64-portbld-dragonfly5.9 file names to x86_64-portbld-dragonfly5.9 format... func_convert_file_noop checking how to convert x86_64-portbld-dragonfly5.9 file names to toolchain format... func_convert_file_noop checking for /usr/bin/ld option to reload object files... -r checking for objdump... objdump checking how to recognize dependent libraries... pass_all checking for dlltool... no checking how to associate runtime and link libraries... printf %s\n checking for ar... ar checking for archiver @FILE support... @ checking for strip... strip checking for ranlib... ranlib checking command to parse /usr/bin/nm -B output from cc object... ok checking for sysroot... no checking for a working dd... /bin/dd checking how to truncate binary pipes... /bin/dd bs=4096 count=1 checking for mt... mt checking if mt is a manifest tool... no checking how to run the C preprocessor... cpp checking for ANSI C header files... (cached) yes checking for sys/types.h... (cached) yes checking for sys/stat.h... (cached) yes checking for stdlib.h... (cached) yes checking for string.h... (cached) yes checking for memory.h... (cached) yes checking for strings.h... (cached) yes checking for inttypes.h... (cached) yes checking for stdint.h... (cached) yes checking for unistd.h... (cached) yes checking for dlfcn.h... (cached) yes checking for objdir... .libs checking if cc supports -fno-rtti -fno-exceptions... no checking for cc option to produce PIC... -fPIC -DPIC checking if cc PIC flag -fPIC -DPIC works... yes checking if cc static flag -static works... no checking if cc supports -c -o file.o... yes checking if cc supports -c -o file.o... (cached) yes checking whether the cc linker (/usr/bin/ld) supports shared libraries... yes checking whether -lc should be explicitly linked in... no checking dynamic linker characteristics... dragonfly5.9 ld.so checking how to hardcode library paths into programs... immediate checking whether stripping libraries is possible... yes checking if libtool supports shared libraries... yes checking whether to build shared libraries... yes checking whether to build static libraries... no checking how to run the C++ preprocessor... c++ -E checking for ld used by c++... /usr/bin/ld checking if the linker (/usr/bin/ld) is GNU ld... yes checking whether the c++ linker (/usr/bin/ld) supports shared libraries... yes checking for c++ option to produce PIC... -fPIC -DPIC checking if c++ PIC flag -fPIC -DPIC works... yes checking if c++ static flag -static works... no checking if c++ supports -c -o file.o... yes checking if c++ supports -c -o file.o... (cached) yes checking whether the c++ linker (/usr/bin/ld) supports shared libraries... yes checking dynamic linker characteristics... dragonfly5.9 ld.so checking how to hardcode library paths into programs... immediate checking if the GNU linker (/usr/bin/ld) supports -Bsymbolic-functions... yes checking whether C compiler accepts -Werror -fvisibility=hidden... yes checking whether C++ compiler accepts -Werror -fvisibility=hidden... yes checking whether C++ compiler accepts -fvisibility-inlines-hidden... yes checking for gcc optimization options... -O3 -ffast-math -fstrict-aliasing -fomit-frame-pointer checking for g++ optimization options... -O3 checking whether we are using the INTEL C compiler... no checking to add extra CFLAGS for the INTEL C compiler... checking whether C++ compiler accepts -std=c++14... yes checking that generated files are newer than configure... done configure: creating ./config.status config.status: creating Makefile config.status: creating src/Makefile config.status: creating doc/Makefile config.status: creating examples/Makefile config.status: creating examples/adder/Makefile config.status: creating examples/bddcalc/Makefile config.status: creating examples/bddtest/Makefile config.status: creating examples/cmilner/Makefile config.status: creating examples/fdd/Makefile config.status: creating examples/milner/Makefile config.status: creating examples/money/Makefile config.status: creating examples/queen/Makefile config.status: creating examples/solitare/Makefile config.status: creating config.h config.status: executing depfiles commands config.status: executing libtool commands === configuring in ltdl (/construction/math/py-spot/spot-2.8.6/ltdl) configure: running /bin/sh ./configure --disable-option-checking '--prefix=/usr/local' '--enable-python' '--disable-static' '--localstatedir=/var' '--mandir=/usr/local/man' '--disable-silent-rules' '--infodir=/usr/local/share/info/' '--build=x86_64-portbld-dragonfly5.9' 'build_alias=x86_64-portbld-dragonfly5.9' 'CC=cc' 'CFLAGS=-pipe -O2 -fno-strict-aliasing ' 'LDFLAGS= -L/usr/local/lib -lspot -lbddx -lspotgen -lspotltsmin ' 'LIBS=' 'CPPFLAGS=' 'CPP=cpp' 'CXX=c++' 'CXXFLAGS= -pipe -O2 -fno-strict-aliasing ' 'PYTHON=/usr/local/bin/python3.7' '--disable-devel' '--enable-ltdl-convenience' --cache-file=/dev/null --srcdir=. configure: loading site script /xports/Templates/config.site checking for a BSD-compatible install... /usr/bin/install -c checking whether build environment is sane... yes checking for a thread-safe mkdir -p... (cached) /bin/mkdir -p checking for gawk... (cached) /usr/bin/awk checking whether gmake sets $(MAKE)... yes checking whether gmake supports nested variables... yes checking whether gmake supports nested variables... (cached) yes checking build system type... x86_64-portbld-dragonfly5.9 checking host system type... x86_64-portbld-dragonfly5.9 checking how to print strings... printf checking whether gmake supports the include directive... yes (GNU style) checking for gcc... cc checking whether the C compiler works... yes checking for C compiler default output file name... a.out checking for suffix of executables... checking whether we are cross compiling... no checking for suffix of object files... o checking whether we are using the GNU C compiler... yes checking whether cc accepts -g... yes checking for cc option to accept ISO C89... none needed checking whether cc understands -c and -o together... yes checking dependency style of cc... gcc3 checking for a sed that does not truncate output... (cached) /usr/bin/sed checking for grep that handles long lines and -e... (cached) /usr/bin/grep checking for egrep... (cached) /usr/bin/egrep checking for fgrep... (cached) /usr/bin/fgrep checking for ld used by cc... /usr/bin/ld checking if the linker (/usr/bin/ld) is GNU ld... yes checking for BSD- or MS-compatible name lister (nm)... /usr/bin/nm -B checking the name lister (/usr/bin/nm -B) interface... BSD nm checking whether ln -s works... yes checking the maximum length of command line arguments... (cached) 262144 checking how to convert x86_64-portbld-dragonfly5.9 file names to x86_64-portbld-dragonfly5.9 format... func_convert_file_noop checking how to convert x86_64-portbld-dragonfly5.9 file names to toolchain format... func_convert_file_noop checking for /usr/bin/ld option to reload object files... -r checking for objdump... objdump checking how to recognize dependent libraries... pass_all checking for dlltool... no checking how to associate runtime and link libraries... printf %s\n checking for ar... ar checking for archiver @FILE support... @ checking for strip... strip checking for ranlib... ranlib checking command to parse /usr/bin/nm -B output from cc object... ok checking for sysroot... no checking for a working dd... /bin/dd checking how to truncate binary pipes... /bin/dd bs=4096 count=1 checking for mt... mt checking if mt is a manifest tool... no checking how to run the C preprocessor... cpp checking for ANSI C header files... (cached) yes checking for sys/types.h... (cached) yes checking for sys/stat.h... (cached) yes checking for stdlib.h... (cached) yes checking for string.h... (cached) yes checking for memory.h... (cached) yes checking for strings.h... (cached) yes checking for inttypes.h... (cached) yes checking for stdint.h... (cached) yes checking for unistd.h... (cached) yes checking for dlfcn.h... (cached) yes checking for objdir... .libs checking if cc supports -fno-rtti -fno-exceptions... no checking for cc option to produce PIC... -fPIC -DPIC checking if cc PIC flag -fPIC -DPIC works... yes checking if cc static flag -static works... no checking if cc supports -c -o file.o... yes checking if cc supports -c -o file.o... (cached) yes checking whether the cc linker (/usr/bin/ld) supports shared libraries... yes checking whether -lc should be explicitly linked in... no checking dynamic linker characteristics... dragonfly5.9 ld.so checking how to hardcode library paths into programs... immediate checking for shl_load... no checking for shl_load in -ldld... no checking for dlopen... (cached) yes checking whether a program can dlopen itself... yes checking whether a statically linked program can dlopen itself... yes checking whether stripping libraries is possible... yes checking if libtool supports shared libraries... yes checking whether to build shared libraries... yes checking whether to build static libraries... no checking what extension is used for runtime loadable modules... .so checking what variable specifies run-time module search path... LD_LIBRARY_PATH checking for the default library search path... /lib /usr/lib checking for library containing dlopen... none required checking for dlerror... yes checking for shl_load... (cached) no checking for shl_load in -ldld... (cached) no checking for dld_link in -ldld... no checking for _ prefix in compiled symbols... no checking whether deplibs are loaded by dlopen... yes checking for argz.h... (cached) no checking for error_t... no checking for argz_add... no checking for argz_append... no checking for argz_count... (cached) no checking for argz_create_sep... no checking for argz_insert... no checking for argz_next... (cached) no checking for argz_stringify... (cached) no checking whether libtool supports -dlopen/-dlpreopen... yes checking for unistd.h... (cached) yes checking for dl.h... (cached) no checking for sys/dl.h... no checking for dld.h... no checking for mach-o/dyld.h... no checking for dirent.h... (cached) yes checking for closedir... (cached) yes checking for opendir... (cached) yes checking for readdir... (cached) yes checking for strlcat... (cached) yes checking for strlcpy... (cached) yes checking that generated files are newer than configure... done configure: creating ./config.status config.status: creating Makefile config.status: creating config.h config.status: executing depfiles commands config.status: executing libtool commands SUCCEEDED 00:00:57 ------------------------------------------------------------------------------- -- Phase: build ------------------------------------------------------------------------------- ===> Building for py37-spot-2.8.6 gmake[1]: Entering directory '/construction/math/py-spot/spot-2.8.6' gmake all-recursive gmake[2]: Entering directory '/construction/math/py-spot/spot-2.8.6' Making all in python gmake[3]: Entering directory '/construction/math/py-spot/spot-2.8.6/python' depbase=`echo buddy_wrap.lo | sed 's|[^/]*$|.deps/&|;s|\.lo$||'`;\ /bin/sh ../libtool --tag=CXX --mode=compile c++ -DHAVE_CONFIG_H -I. -I.. -I/usr/local/include/python3.7m -I.. -I.. -I../buddy/src -DSWIG_TYPE_TABLE=spot -DNDEBUG -pipe -O2 -fno-strict-aliasing -fvisibility=hidden -fvisibility-inlines-hidden -DSPOT_BUILD -std=c++14 -g -O3 -ffast-math -fstrict-aliasing -fomit-frame-pointer -MT buddy_wrap.lo -MD -MP -MF $depbase.Tpo -c -o buddy_wrap.lo buddy_wrap.cxx &&\ mv -f $depbase.Tpo $depbase.Plo depbase=`echo spot/impl_wrap.lo | sed 's|[^/]*$|.deps/&|;s|\.lo$||'`;\ /bin/sh ../libtool --tag=CXX --mode=compile c++ -DHAVE_CONFIG_H -I. -I.. -I/usr/local/include/python3.7m -I.. -I.. -I../buddy/src -DSWIG_TYPE_TABLE=spot -DNDEBUG -pipe -O2 -fno-strict-aliasing -fvisibility=hidden -fvisibility-inlines-hidden -DSPOT_BUILD -std=c++14 -g -O3 -ffast-math -fstrict-aliasing -fomit-frame-pointer -MT spot/impl_wrap.lo -MD -MP -MF $depbase.Tpo -c -o spot/impl_wrap.lo spot/impl_wrap.cxx &&\ mv -f $depbase.Tpo $depbase.Plo depbase=`echo spot/ltsmin_wrap.lo | sed 's|[^/]*$|.deps/&|;s|\.lo$||'`;\ /bin/sh ../libtool --tag=CXX --mode=compile c++ -DHAVE_CONFIG_H -I. -I.. -I/usr/local/include/python3.7m -I.. -I.. -I../buddy/src -DSWIG_TYPE_TABLE=spot -DNDEBUG -pipe -O2 -fno-strict-aliasing -fvisibility=hidden -fvisibility-inlines-hidden -DSPOT_BUILD -std=c++14 -g -O3 -ffast-math -fstrict-aliasing -fomit-frame-pointer -MT spot/ltsmin_wrap.lo -MD -MP -MF $depbase.Tpo -c -o spot/ltsmin_wrap.lo spot/ltsmin_wrap.cxx &&\ mv -f $depbase.Tpo $depbase.Plo depbase=`echo spot/gen_wrap.lo | sed 's|[^/]*$|.deps/&|;s|\.lo$||'`;\ /bin/sh ../libtool --tag=CXX --mode=compile c++ -DHAVE_CONFIG_H -I. -I.. -I/usr/local/include/python3.7m -I.. -I.. -I../buddy/src -DSWIG_TYPE_TABLE=spot -DNDEBUG -pipe -O2 -fno-strict-aliasing -fvisibility=hidden -fvisibility-inlines-hidden -DSPOT_BUILD -std=c++14 -g -O3 -ffast-math -fstrict-aliasing -fomit-frame-pointer -MT spot/gen_wrap.lo -MD -MP -MF $depbase.Tpo -c -o spot/gen_wrap.lo spot/gen_wrap.cxx &&\ mv -f $depbase.Tpo $depbase.Plo libtool: compile: c++ -DHAVE_CONFIG_H -I. -I.. -I/usr/local/include/python3.7m -I.. -I.. -I../buddy/src -DSWIG_TYPE_TABLE=spot -DNDEBUG -pipe -O2 -fno-strict-aliasing -fvisibility=hidden -fvisibility-inlines-hidden -DSPOT_BUILD -std=c++14 -g -O3 -ffast-math -fstrict-aliasing -fomit-frame-pointer -MT buddy_wrap.lo -MD -MP -MF .deps/buddy_wrap.Tpo -c buddy_wrap.cxx -fPIC -DPIC -o .libs/buddy_wrap.o libtool: compile: c++ -DHAVE_CONFIG_H -I. -I.. -I/usr/local/include/python3.7m -I.. -I.. -I../buddy/src -DSWIG_TYPE_TABLE=spot -DNDEBUG -pipe -O2 -fno-strict-aliasing -fvisibility=hidden -fvisibility-inlines-hidden -DSPOT_BUILD -std=c++14 -g -O3 -ffast-math -fstrict-aliasing -fomit-frame-pointer -MT spot/gen_wrap.lo -MD -MP -MF spot/.deps/gen_wrap.Tpo -c spot/gen_wrap.cxx -fPIC -DPIC -o spot/.libs/gen_wrap.o libtool: compile: c++ -DHAVE_CONFIG_H -I. -I.. -I/usr/local/include/python3.7m -I.. -I.. -I../buddy/src -DSWIG_TYPE_TABLE=spot -DNDEBUG -pipe -O2 -fno-strict-aliasing -fvisibility=hidden -fvisibility-inlines-hidden -DSPOT_BUILD -std=c++14 -g -O3 -ffast-math -fstrict-aliasing -fomit-frame-pointer -MT spot/ltsmin_wrap.lo -MD -MP -MF spot/.deps/ltsmin_wrap.Tpo -c spot/ltsmin_wrap.cxx -fPIC -DPIC -o spot/.libs/ltsmin_wrap.o libtool: compile: c++ -DHAVE_CONFIG_H -I. -I.. -I/usr/local/include/python3.7m -I.. -I.. -I../buddy/src -DSWIG_TYPE_TABLE=spot -DNDEBUG -pipe -O2 -fno-strict-aliasing -fvisibility=hidden -fvisibility-inlines-hidden -DSPOT_BUILD -std=c++14 -g -O3 -ffast-math -fstrict-aliasing -fomit-frame-pointer -MT spot/impl_wrap.lo -MD -MP -MF spot/.deps/impl_wrap.Tpo -c spot/impl_wrap.cxx -fPIC -DPIC -o spot/.libs/impl_wrap.o /bin/sh ../libtool --tag=CXX --mode=link c++ -pipe -O2 -fno-strict-aliasing -fvisibility=hidden -fvisibility-inlines-hidden -DSPOT_BUILD -std=c++14 -g -O3 -ffast-math -fstrict-aliasing -fomit-frame-pointer -avoid-version -module -Wl,-Bsymbolic-functions -L/usr/local/lib -lspot -lbddx -lspotgen -lspotltsmin -o spot/_gen.la -rpath /usr/local/lib/python3.7/site-packages/spot spot/gen_wrap.lo /usr/local/lib/libspot.so /usr/local/lib/libspotgen.so libtool: link: c++ -fPIC -DPIC -shared -nostdlib /usr/lib/crti.o /usr/lib/gcc80/crtbeginS.o spot/.libs/gen_wrap.o -L/usr/local/lib -lspot -lbddx -lspotgen -lspotltsmin -L/usr/lib/gcc80 -lstdc++ -lm -lc -lgcc -lgcc_pic /usr/lib/gcc80/crtendS.o /usr/lib/crtn.o -O2 -g -O3 -Wl,-Bsymbolic-functions -Wl,-soname -Wl,_gen.so -o spot/.libs/_gen.so libtool: link: ( cd "spot/.libs" && rm -f "_gen.la" && ln -s "../_gen.la" "_gen.la" ) /bin/sh ../libtool --tag=CXX --mode=link c++ -pipe -O2 -fno-strict-aliasing -fvisibility=hidden -fvisibility-inlines-hidden -DSPOT_BUILD -std=c++14 -g -O3 -ffast-math -fstrict-aliasing -fomit-frame-pointer -avoid-version -module -Wl,-Bsymbolic-functions -L/usr/local/lib -lspot -lbddx -lspotgen -lspotltsmin -o spot/_ltsmin.la -rpath /usr/local/lib/python3.7/site-packages/spot spot/ltsmin_wrap.lo /usr/local/lib/libspot.so /usr/local/lib/libspotltsmin.so libtool: link: c++ -fPIC -DPIC -shared -nostdlib /usr/lib/crti.o /usr/lib/gcc80/crtbeginS.o spot/.libs/ltsmin_wrap.o -L/usr/local/lib -lspot -lbddx -lspotgen -lspotltsmin -L/usr/lib/gcc80 -lstdc++ -lm -lc -lgcc -lgcc_pic /usr/lib/gcc80/crtendS.o /usr/lib/crtn.o -O2 -g -O3 -Wl,-Bsymbolic-functions -Wl,-soname -Wl,_ltsmin.so -o spot/.libs/_ltsmin.so libtool: link: ( cd "spot/.libs" && rm -f "_ltsmin.la" && ln -s "../_ltsmin.la" "_ltsmin.la" ) spot/impl_wrap.cxx: In function 'PyObject* _wrap_acc_cond_format__SWIG_0(PyObject*, int, PyObject**)': spot/impl_wrap.cxx:46054:83: warning: 'std::ostream& spot::acc_cond::format(std::ostream&, spot::acc_cond::mark_t) const' is deprecated: Use operator<< instead. [-Wdeprecated-declarations] result = (std::ostream *) &((spot::acc_cond const *)arg1)->format(*arg2,arg3); ^ In file included from ../spot/twa/twa.hh:27, from ../spot/twa/twagraph.hh:25, from ../spot/twaalgos/ltl2tgba_fm.hh:26, from ../spot/tl/contain.hh:26, from spot/impl_wrap.cxx:4023: ../spot/twa/acc.hh:1857:19: note: declared here std::ostream& format(std::ostream& os, mark_t m) const ^~~~~~ spot/impl_wrap.cxx: In function 'PyObject* _wrap_acc_cond_format__SWIG_1(PyObject*, int, PyObject**)': spot/impl_wrap.cxx:46099:59: warning: 'std::__cxx11::string spot::acc_cond::format(spot::acc_cond::mark_t) const' is deprecated: Use operator<< or mark_t::as_string() instead. [-Wdeprecated-declarations] result = ((spot::acc_cond const *)arg1)->format(arg2); ^ In file included from ../spot/twa/twa.hh:27, from ../spot/twa/twagraph.hh:25, from ../spot/twaalgos/ltl2tgba_fm.hh:26, from ../spot/tl/contain.hh:26, from spot/impl_wrap.cxx:4023: ../spot/twa/acc.hh:1866:17: note: declared here std::string format(mark_t m) const ^~~~~~ spot/impl_wrap.cxx: In function 'PyObject* _wrap_mark_t___eq____SWIG_0(PyObject*, int, PyObject**)': spot/impl_wrap.cxx:46775:78: warning: 'bool spot::acc_cond::mark_t::operator==(unsigned int) const' is deprecated: compare mark_t to mark_t, not to unsigned [-Wdeprecated-declarations] result = (bool)((spot::acc_cond::mark_t const *)arg1)->operator ==(arg2); ^ In file included from ../spot/twa/twa.hh:27, from ../spot/twa/twagraph.hh:25, from ../spot/twaalgos/ltl2tgba_fm.hh:26, from ../spot/tl/contain.hh:26, from spot/impl_wrap.cxx:4023: ../spot/twa/acc.hh:158:12: note: declared here bool operator==(unsigned o) const ^~~~~~~~ spot/impl_wrap.cxx: In function 'PyObject* _wrap_mark_t___ne____SWIG_0(PyObject*, int, PyObject**)': spot/impl_wrap.cxx:46812:78: warning: 'bool spot::acc_cond::mark_t::operator!=(unsigned int) const' is deprecated: compare mark_t to mark_t, not to unsigned [-Wdeprecated-declarations] result = (bool)((spot::acc_cond::mark_t const *)arg1)->operator !=(arg2); ^ In file included from ../spot/twa/twa.hh:27, from ../spot/twa/twagraph.hh:25, from ../spot/twaalgos/ltl2tgba_fm.hh:26, from ../spot/tl/contain.hh:26, from spot/impl_wrap.cxx:4023: ../spot/twa/acc.hh:166:12: note: declared here bool operator!=(unsigned o) const ^~~~~~~~ spot/impl_wrap.cxx: In function 'PyObject* _wrap_twa_intersecting_run__SWIG_1(PyObject*, int, PyObject**)': spot/impl_wrap.cxx:55329:69: warning: 'spot::twa_run_ptr spot::twa::intersecting_run(spot::const_twa_ptr, bool) const' is deprecated: replace a->intersecting_run(b, true) by b->intersecting_run(a). [-Wdeprecated-declarations] result = ((spot::twa const *)arg1)->intersecting_run(arg2,arg3); ^ In file included from ../spot/twa/twagraph.hh:25, from ../spot/twaalgos/ltl2tgba_fm.hh:26, from ../spot/tl/contain.hh:26, from spot/impl_wrap.cxx:4023: ../spot/twa/twa.hh:903:17: note: declared here twa_run_ptr intersecting_run(const_twa_ptr other, ^~~~~~~~~~~~~~~~ spot/impl_wrap.cxx: In function 'PyObject* _wrap_twa_prop_deterministic__SWIG_0(PyObject*, int, PyObject**)': spot/impl_wrap.cxx:57039:38: warning: 'void spot::twa::prop_deterministic(spot::trival)' is deprecated: use prop_universal() instead [-Wdeprecated-declarations] (arg1)->prop_deterministic(arg2); ^ In file included from ../spot/twa/twagraph.hh:25, from ../spot/twaalgos/ltl2tgba_fm.hh:26, from ../spot/tl/contain.hh:26, from spot/impl_wrap.cxx:4023: ../spot/twa/twa.hh:1429:10: note: declared here void prop_deterministic(trival val) ^~~~~~~~~~~~~~~~~~ spot/impl_wrap.cxx: In function 'PyObject* _wrap_twa_prop_deterministic__SWIG_1(PyObject*, int, PyObject**)': spot/impl_wrap.cxx:57080:62: warning: 'spot::trival spot::twa::prop_deterministic() const' is deprecated: use prop_universal() instead [-Wdeprecated-declarations] result = ((spot::twa const *)arg1)->prop_deterministic(); ^ In file included from ../spot/twa/twagraph.hh:25, from ../spot/twaalgos/ltl2tgba_fm.hh:26, from ../spot/tl/contain.hh:26, from spot/impl_wrap.cxx:4023: ../spot/twa/twa.hh:1435:12: note: declared here trival prop_deterministic() const ^~~~~~~~~~~~~~~~~~ spot/impl_wrap.cxx: In function 'PyObject* _wrap_copy__SWIG_0(PyObject*, int, PyObject**)': spot/impl_wrap.cxx:77053:22: warning: 'spot::twa_graph_ptr spot::copy(const const_twa_ptr&, spot::twa::prop_set, bool, unsigned int)' is deprecated: use make_twa_graph() instead [-Wdeprecated-declarations] result = spot::copy((std::shared_ptr< spot::twa const > const &)*arg1,arg2,arg3,arg4); ^~~~ In file included from spot/impl_wrap.cxx:4050: ../spot/twaalgos/copy.hh:37:10: note: declared here inline copy(const const_twa_ptr& aut, twa::prop_set p, ^~~~ spot/impl_wrap.cxx:77053:91: warning: 'spot::twa_graph_ptr spot::copy(const const_twa_ptr&, spot::twa::prop_set, bool, unsigned int)' is deprecated: use make_twa_graph() instead [-Wdeprecated-declarations] result = spot::copy((std::shared_ptr< spot::twa const > const &)*arg1,arg2,arg3,arg4); ^ In file included from spot/impl_wrap.cxx:4050: ../spot/twaalgos/copy.hh:37:10: note: declared here inline copy(const const_twa_ptr& aut, twa::prop_set p, ^~~~ spot/impl_wrap.cxx:77053:91: warning: 'spot::twa_graph_ptr spot::copy(const const_twa_ptr&, spot::twa::prop_set, bool, unsigned int)' is deprecated: use make_twa_graph() instead [-Wdeprecated-declarations] result = spot::copy((std::shared_ptr< spot::twa const > const &)*arg1,arg2,arg3,arg4); ^ In file included from spot/impl_wrap.cxx:4050: ../spot/twaalgos/copy.hh:37:10: note: declared here inline copy(const const_twa_ptr& aut, twa::prop_set p, ^~~~ spot/impl_wrap.cxx: In function 'PyObject* _wrap_copy__SWIG_1(PyObject*, int, PyObject**)': spot/impl_wrap.cxx:77119:22: warning: 'spot::twa_graph_ptr spot::copy(const const_twa_ptr&, spot::twa::prop_set, bool, unsigned int)' is deprecated: use make_twa_graph() instead [-Wdeprecated-declarations] result = spot::copy((std::shared_ptr< spot::twa const > const &)*arg1,arg2,arg3); ^~~~ In file included from spot/impl_wrap.cxx:4050: ../spot/twaalgos/copy.hh:37:10: note: declared here inline copy(const const_twa_ptr& aut, twa::prop_set p, ^~~~ spot/impl_wrap.cxx:77119:86: warning: 'spot::twa_graph_ptr spot::copy(const const_twa_ptr&, spot::twa::prop_set, bool, unsigned int)' is deprecated: use make_twa_graph() instead [-Wdeprecated-declarations] result = spot::copy((std::shared_ptr< spot::twa const > const &)*arg1,arg2,arg3); ^ In file included from spot/impl_wrap.cxx:4050: ../spot/twaalgos/copy.hh:37:10: note: declared here inline copy(const const_twa_ptr& aut, twa::prop_set p, ^~~~ spot/impl_wrap.cxx:77119:86: warning: 'spot::twa_graph_ptr spot::copy(const const_twa_ptr&, spot::twa::prop_set, bool, unsigned int)' is deprecated: use make_twa_graph() instead [-Wdeprecated-declarations] result = spot::copy((std::shared_ptr< spot::twa const > const &)*arg1,arg2,arg3); ^ In file included from spot/impl_wrap.cxx:4050: ../spot/twaalgos/copy.hh:37:10: note: declared here inline copy(const const_twa_ptr& aut, twa::prop_set p, ^~~~ spot/impl_wrap.cxx: In function 'PyObject* _wrap_copy__SWIG_2(PyObject*, int, PyObject**)': spot/impl_wrap.cxx:77177:22: warning: 'spot::twa_graph_ptr spot::copy(const const_twa_ptr&, spot::twa::prop_set, bool, unsigned int)' is deprecated: use make_twa_graph() instead [-Wdeprecated-declarations] result = spot::copy((std::shared_ptr< spot::twa const > const &)*arg1,arg2); ^~~~ In file included from spot/impl_wrap.cxx:4050: ../spot/twaalgos/copy.hh:37:10: note: declared here inline copy(const const_twa_ptr& aut, twa::prop_set p, ^~~~ spot/impl_wrap.cxx:77177:81: warning: 'spot::twa_graph_ptr spot::copy(const const_twa_ptr&, spot::twa::prop_set, bool, unsigned int)' is deprecated: use make_twa_graph() instead [-Wdeprecated-declarations] result = spot::copy((std::shared_ptr< spot::twa const > const &)*arg1,arg2); ^ In file included from spot/impl_wrap.cxx:4050: ../spot/twaalgos/copy.hh:37:10: note: declared here inline copy(const const_twa_ptr& aut, twa::prop_set p, ^~~~ spot/impl_wrap.cxx:77177:81: warning: 'spot::twa_graph_ptr spot::copy(const const_twa_ptr&, spot::twa::prop_set, bool, unsigned int)' is deprecated: use make_twa_graph() instead [-Wdeprecated-declarations] result = spot::copy((std::shared_ptr< spot::twa const > const &)*arg1,arg2); ^ In file included from spot/impl_wrap.cxx:4050: ../spot/twaalgos/copy.hh:37:10: note: declared here inline copy(const const_twa_ptr& aut, twa::prop_set p, ^~~~ spot/impl_wrap.cxx: In function 'PyObject* _wrap_scc_info_acc(PyObject*, PyObject*)': spot/impl_wrap.cxx:89488:56: warning: 'spot::acc_cond::mark_t spot::scc_info::acc(unsigned int) const' is deprecated: use acc_sets_of() instead [-Wdeprecated-declarations] result = ((spot::scc_info const *)arg1)->acc(arg2); ^ In file included from ../spot/twaalgos/genem.hh:23, from spot/impl_wrap.cxx:4055: ../spot/twaalgos/sccinfo.hh:601:22: note: declared here acc_cond::mark_t acc(unsigned scc) const ^~~ spot/impl_wrap.cxx: In function 'PyObject* _wrap_scc_info_used_acc(PyObject*, PyObject*)': spot/impl_wrap.cxx:89857:57: warning: 'std::vector > spot::scc_info::used_acc() const' is deprecated: use marks() instead [-Wdeprecated-declarations] result = ((spot::scc_info const *)arg1)->used_acc(); ^ In file included from ../spot/twaalgos/genem.hh:23, from spot/impl_wrap.cxx:4055: ../spot/twaalgos/sccinfo.hh:658:45: note: declared here std::vector> used_acc() const ^~~~~~~~ spot/impl_wrap.cxx: In function 'PyObject* _wrap_scc_info_used_acc_of(PyObject*, PyObject*)': spot/impl_wrap.cxx:89895:64: warning: 'std::set spot::scc_info::used_acc_of(unsigned int) const' is deprecated: use marks_of() instead [-Wdeprecated-declarations] result = ((spot::scc_info const *)arg1)->used_acc_of(arg2); ^ In file included from ../spot/twaalgos/genem.hh:23, from spot/impl_wrap.cxx:4055: ../spot/twaalgos/sccinfo.hh:663:32: note: declared here std::set used_acc_of(unsigned scc) const ^~~~~~~~~~~ spot/impl_wrap.cxx: In function 'PyObject* _wrap_decompose_strength(PyObject*, PyObject*)': spot/impl_wrap.cxx:94205:22: warning: 'spot::twa_graph_ptr spot::decompose_strength(const const_twa_graph_ptr&, const char*)' is deprecated: use decompose_scc() instead [-Wdeprecated-declarations] result = spot::decompose_strength((std::shared_ptr< spot::twa_graph const > const &)*arg1,(char const *)arg2); ^~~~~~~~~~~~~~~~~~ In file included from spot/impl_wrap.cxx:4072: ../spot/twaalgos/strength.hh:181:3: note: declared here decompose_strength(const const_twa_graph_ptr& aut, const char* keep); ^~~~~~~~~~~~~~~~~~ spot/impl_wrap.cxx:94205:115: warning: 'spot::twa_graph_ptr spot::decompose_strength(const const_twa_graph_ptr&, const char*)' is deprecated: use decompose_scc() instead [-Wdeprecated-declarations] result = spot::decompose_strength((std::shared_ptr< spot::twa_graph const > const &)*arg1,(char const *)arg2); ^ In file included from spot/impl_wrap.cxx:4072: ../spot/twaalgos/strength.hh:181:3: note: declared here decompose_strength(const const_twa_graph_ptr& aut, const char* keep); ^~~~~~~~~~~~~~~~~~ spot/impl_wrap.cxx:94205:115: warning: 'spot::twa_graph_ptr spot::decompose_strength(const const_twa_graph_ptr&, const char*)' is deprecated: use decompose_scc() instead [-Wdeprecated-declarations] result = spot::decompose_strength((std::shared_ptr< spot::twa_graph const > const &)*arg1,(char const *)arg2); ^ In file included from spot/impl_wrap.cxx:4072: ../spot/twaalgos/strength.hh:181:3: note: declared here decompose_strength(const const_twa_graph_ptr& aut, const char* keep); ^~~~~~~~~~~~~~~~~~ spot/impl_wrap.cxx: In function 'PyObject* _wrap_dtwa_complement(PyObject*, PyObject*)': spot/impl_wrap.cxx:108111:22: warning: 'spot::twa_graph_ptr spot::dtwa_complement(const const_twa_graph_ptr&)' is deprecated: use spot::dualize() instead [-Wdeprecated-declarations] result = spot::dtwa_complement((std::shared_ptr< spot::twa_graph const > const &)*arg1); ^~~~~~~~~~~~~~~ In file included from spot/impl_wrap.cxx:4052: ../spot/twaalgos/complement.hh:46:3: note: declared here dtwa_complement(const const_twa_graph_ptr& aut); ^~~~~~~~~~~~~~~ spot/impl_wrap.cxx:108111:93: warning: 'spot::twa_graph_ptr spot::dtwa_complement(const const_twa_graph_ptr&)' is deprecated: use spot::dualize() instead [-Wdeprecated-declarations] result = spot::dtwa_complement((std::shared_ptr< spot::twa_graph const > const &)*arg1); ^ In file included from spot/impl_wrap.cxx:4052: ../spot/twaalgos/complement.hh:46:3: note: declared here dtwa_complement(const const_twa_graph_ptr& aut); ^~~~~~~~~~~~~~~ spot/impl_wrap.cxx:108111:93: warning: 'spot::twa_graph_ptr spot::dtwa_complement(const const_twa_graph_ptr&)' is deprecated: use spot::dualize() instead [-Wdeprecated-declarations] result = spot::dtwa_complement((std::shared_ptr< spot::twa_graph const > const &)*arg1); ^ In file included from spot/impl_wrap.cxx:4052: ../spot/twaalgos/complement.hh:46:3: note: declared here dtwa_complement(const const_twa_graph_ptr& aut); ^~~~~~~~~~~~~~~ /bin/sh ../libtool --tag=CXX --mode=link c++ -pipe -O2 -fno-strict-aliasing -fvisibility=hidden -fvisibility-inlines-hidden -DSPOT_BUILD -std=c++14 -g -O3 -ffast-math -fstrict-aliasing -fomit-frame-pointer -avoid-version -module /usr/local/lib/libbddx.so -Wl,-Bsymbolic-functions -L/usr/local/lib -lspot -lbddx -lspotgen -lspotltsmin -o _buddy.la -rpath /usr/local/lib/python3.7/site-packages/. buddy_wrap.lo libtool: link: c++ -fPIC -DPIC -shared -nostdlib /usr/lib/crti.o /usr/lib/gcc80/crtbeginS.o .libs/buddy_wrap.o -L/usr/local/lib -lspot -lbddx -lspotgen -lspotltsmin -L/usr/lib/gcc80 -lstdc++ -lm -lc -lgcc -lgcc_pic /usr/lib/gcc80/crtendS.o /usr/lib/crtn.o -O2 -g -O3 -Wl,-Bsymbolic-functions -Wl,-soname -Wl,_buddy.so -o .libs/_buddy.so libtool: link: ( cd ".libs" && rm -f "_buddy.la" && ln -s "../_buddy.la" "_buddy.la" ) /bin/sh ../libtool --tag=CXX --mode=link c++ -pipe -O2 -fno-strict-aliasing -fvisibility=hidden -fvisibility-inlines-hidden -DSPOT_BUILD -std=c++14 -g -O3 -ffast-math -fstrict-aliasing -fomit-frame-pointer -avoid-version -module -Wl,-Bsymbolic-functions -L/usr/local/lib -lspot -lbddx -lspotgen -lspotltsmin -o spot/_impl.la -rpath /usr/local/lib/python3.7/site-packages/spot spot/impl_wrap.lo /usr/local/lib/libspot.so libtool: link: c++ -fPIC -DPIC -shared -nostdlib /usr/lib/crti.o /usr/lib/gcc80/crtbeginS.o spot/.libs/impl_wrap.o -L/usr/local/lib -lspot -lbddx -lspotgen -lspotltsmin -L/usr/lib/gcc80 -lstdc++ -lm -lc -lgcc -lgcc_pic /usr/lib/gcc80/crtendS.o /usr/lib/crtn.o -O2 -g -O3 -Wl,-Bsymbolic-functions -Wl,-soname -Wl,_impl.so -o spot/.libs/_impl.so libtool: link: ( cd "spot/.libs" && rm -f "_impl.la" && ln -s "../_impl.la" "_impl.la" ) gmake[3]: Leaving directory '/construction/math/py-spot/spot-2.8.6/python' gmake[3]: Entering directory '/construction/math/py-spot/spot-2.8.6' gmake[3]: Leaving directory '/construction/math/py-spot/spot-2.8.6' gmake[2]: Leaving directory '/construction/math/py-spot/spot-2.8.6' gmake[1]: Leaving directory '/construction/math/py-spot/spot-2.8.6' SUCCEEDED 00:02:55 ------------------------------------------------------------------------------- -- Phase: run-depends ------------------------------------------------------------------------------- ===> py37-spot-2.8.6 depends on file: /usr/local/bin/python3.7 - found SUCCEEDED 00:00:01 ------------------------------------------------------------------------------- -- Phase: stage ------------------------------------------------------------------------------- ===> Staging for py37-spot-2.8.6 ===> py37-spot-2.8.6 depends on file: /usr/local/bin/python3.7 - found ===> Generating temporary packing list gmake[1]: Entering directory '/construction/math/py-spot/spot-2.8.6' Making install in python gmake[2]: Entering directory '/construction/math/py-spot/spot-2.8.6/python' gmake[3]: Entering directory '/construction/math/py-spot/spot-2.8.6/python' /bin/mkdir -p '/construction/math/py-spot/stage/usr/local/lib/python3.7/site-packages' /bin/sh ../libtool --mode=install /usr/bin/install -c _buddy.la '/construction/math/py-spot/stage/usr/local/lib/python3.7/site-packages/.' libtool: install: /usr/bin/install -c .libs/_buddy.so /construction/math/py-spot/stage/usr/local/lib/python3.7/site-packages/./_buddy.so libtool: install: /usr/bin/install -c .libs/_buddy.lai /construction/math/py-spot/stage/usr/local/lib/python3.7/site-packages/./_buddy.la libtool: warning: remember to run 'libtool --finish /usr/local/lib/python3.7/site-packages/.' /bin/mkdir -p '/construction/math/py-spot/stage/usr/local/lib/python3.7/site-packages/spot' /bin/sh ../libtool --mode=install /usr/bin/install -c spot/_impl.la spot/_ltsmin.la spot/_gen.la '/construction/math/py-spot/stage/usr/local/lib/python3.7/site-packages/spot' libtool: install: /usr/bin/install -c spot/.libs/_impl.so /construction/math/py-spot/stage/usr/local/lib/python3.7/site-packages/spot/_impl.so libtool: install: /usr/bin/install -c spot/.libs/_impl.lai /construction/math/py-spot/stage/usr/local/lib/python3.7/site-packages/spot/_impl.la libtool: install: /usr/bin/install -c spot/.libs/_ltsmin.so /construction/math/py-spot/stage/usr/local/lib/python3.7/site-packages/spot/_ltsmin.so libtool: install: /usr/bin/install -c spot/.libs/_ltsmin.lai /construction/math/py-spot/stage/usr/local/lib/python3.7/site-packages/spot/_ltsmin.la libtool: install: /usr/bin/install -c spot/.libs/_gen.so /construction/math/py-spot/stage/usr/local/lib/python3.7/site-packages/spot/_gen.so libtool: install: /usr/bin/install -c spot/.libs/_gen.lai /construction/math/py-spot/stage/usr/local/lib/python3.7/site-packages/spot/_gen.la libtool: warning: remember to run 'libtool --finish /usr/local/lib/python3.7/site-packages/spot' /bin/mkdir -p '/construction/math/py-spot/stage/usr/local/lib/python3.7/site-packages' /bin/mkdir -p '/construction/math/py-spot/stage/usr/local/lib/python3.7/site-packages/spot' install -m 0644 spot/__init__.py spot/aux.py spot/impl.py spot/ltsmin.py spot/gen.py spot/jupyter.py '/construction/math/py-spot/stage/usr/local/lib/python3.7/site-packages/spot' install -m 0644 buddy.py '/construction/math/py-spot/stage/usr/local/lib/python3.7/site-packages/.' -c:2: DeprecationWarning: the imp module is deprecated in favour of importlib; see the module's documentation for alternative uses Byte-compiling python modules... spot/__init__.pyspot/aux.pyspot/impl.pyspot/ltsmin.pyspot/gen.pyspot/jupyter.pybuddy.py Byte-compiling python modules (optimized versions) ... spot/__init__.pyspot/aux.pyspot/impl.pyspot/ltsmin.pyspot/gen.pyspot/jupyter.pybuddy.py gmake[3]: Nothing to be done for 'install-data-am'. gmake[3]: Leaving directory '/construction/math/py-spot/spot-2.8.6/python' gmake[2]: Leaving directory '/construction/math/py-spot/spot-2.8.6/python' gmake[2]: Entering directory '/construction/math/py-spot/spot-2.8.6' gmake[3]: Entering directory '/construction/math/py-spot/spot-2.8.6' gmake[3]: Nothing to be done for 'install-exec-am'. gmake[3]: Nothing to be done for 'install-data-am'. gmake[3]: Leaving directory '/construction/math/py-spot/spot-2.8.6' gmake[2]: Leaving directory '/construction/math/py-spot/spot-2.8.6' gmake[1]: Leaving directory '/construction/math/py-spot/spot-2.8.6' ====> Compressing man pages (compress-man) ====> Running Q/A tests (stage-qa) Warning: You have disabled the licenses framework with DISABLE_LICENSES, unable to run checks SUCCEEDED 00:00:02 ------------------------------------------------------------------------------- -- Phase: package ------------------------------------------------------------------------------- ===> Building package for py37-spot-2.8.6 file sizes/checksums [25]: 0% file sizes/checksums [25]: 100% packing files [25]: 0% packing files [25]: 100% packing directories [0]: 0% packing directories [0]: 100% SUCCEEDED 00:00:03 TOTAL TIME 00:04:09