On Thu, Feb 17, 2022 at 03:12:13PM +0100, Marc Espie wrote: > Spot is very specific, it's a C++17 library for verification software > (mostly involved with infinite automata and their property, the HOMEPAGE > would be much better at providing examples than me) > > It's developed in the lab next to my work place, and I was curious into > porting it. > > Turned out to be fairly clean software, the only hiccup was due to third > party flex. > > I'd like test results on non amd64, possibly ports-gcc based stuff. > > (some tests with jupyter fail, but I strongly suspect it's an ordering > issue with dot generation, and that the tests should pass)
Fails to configure on sparc64: ===> Configuring for spot-2.10.4 Using /usr/ports/pobj/spot-2.10.4/config.site (generated) configure: loading site script /usr/ports/pobj/spot-2.10.4/config.site checking for a BSD-compatible install... /usr/ports/pobj/spot-2.10.4/bin/install -c checking whether build environment is sane... yes checking for a thread-safe mkdir -p... mkdir -p checking for gawk... (cached) awk checking whether make sets $(MAKE)... (cached) yes checking whether make supports nested variables... yes checking whether UID '55' is supported by ustar format... yes checking whether GID '55' 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... (cached) o checking whether we are using the GNU C compiler... (cached) yes checking whether cc accepts -g... (cached) yes checking for cc option to enable C11 features... unsupported checking for cc option to enable C99 features... -std=gnu99 checking whether the compiler is clang... no checking for compiler option needed when checking for declarations... none checking whether make supports the include directive... yes (GNU style) checking dependency style of cc -std=gnu99... gcc3 checking how to run the C preprocessor... cc -std=gnu99 -E 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 wchar.h... (cached) yes checking for minix/config.h... no 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 threads.h... no checking for limits.h... (cached) yes checking for stdint.h... (cached) yes checking for inttypes.h... (cached) yes checking for xlocale.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 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 it is safe to define __EXTENSIONS__... yes checking whether _XOPEN_SOURCE should be defined... no checking build system type... sparc64-unknown-openbsd7.0 checking host system type... sparc64-unknown-openbsd7.0 checking for Minix Amsterdam compiler... no checking for ar... (cached) ar checking for ranlib... (cached) ranlib checking for special C compiler options needed for large files... no checking for _FILE_OFFSET_BITS value needed for large files... no checking whether we are using the GNU C++ compiler... (cached) yes checking whether c++ accepts -g... (cached) yes checking for c++ option to enable C++11 features... unsupported checking for c++ option to enable C++98 features... none needed checking dependency style of c++... gcc3 checking for flex... (cached) flex checking lex output file root... (cached) lex.yy checking lex library... -lfl checking whether yytext is a pointer... (cached) yes checking for bison... no checking whether make supports nested variables... (cached) yes checking whether C compiler accepts -std=c11... no checking for size_t... (cached) yes checking for working alloca.h... (cached) no checking for alloca... (cached) yes checking for inline... inline checking for C/C++ restrict keyword... (cached) __restrict__ checking whether clearerr_unlocked is declared... no checking whether feof_unlocked is declared... no checking whether ferror_unlocked is declared... no 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... yes checking whether getchar_unlocked is declared... yes checking whether putc_unlocked is declared... yes checking whether putchar_unlocked is declared... yes checking for flockfile... (cached) yes checking for funlockfile... (cached) 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... yes checking for vasnprintf... no checking for snprintf... (cached) yes checking for iswcntrl... (cached) yes checking whether strerror_r is declared... 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... yes checking whether system header files limit the line length... no checking for complete errno.h... no checking for EMULTIHOP value... no checking for ENOLINK value... no checking for EOVERFLOW value... 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... yes checking whether getopt is POSIX compatible... yes checking for working GNU getopt function... yes checking for working GNU getopt_long function... yes checking for struct timeval... yes checking for wide-enough struct timeval.tv_sec member... yes checking for pthread.h... (cached) yes checking whether POSIX threads API is available... yes checking whether setlocale (LC_ALL, NULL) is multithread-safe... no checking whether setlocale (category, NULL) is multithread-safe... no checking whether imported symbols can be declared weak... yes checking whether limits.h has LLONG_MAX, WORD_BIT, ULLONG_WIDTH etc.... no checking for wint_t... 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 for nl_langinfo and CODESET... yes checking for wchar_t... yes checking for good max_align_t... yes checking whether NULL can be used in arbitrary expressions... yes checking whether locale.h defines locale_t... yes checking whether lstat correctly handles trailing slash... yes checking whether malloc, realloc, calloc are POSIX compliant... yes checking for GNU libc compatible malloc... yes checking for mbstate_t... yes checking for a traditional japanese locale... none checking for a french Unicode locale... none checking for a transitional chinese locale... none checking for mmap... (cached) yes checking for MAP_ANONYMOUS... yes checking whether memchr works... yes checking whether <limits.h> defines MIN and MAX... no checking whether <sys/param.h> defines MIN and MAX... yes checking whether stat file-mode macros are broken... no checking for nlink_t... yes checking for stdbool.h that conforms to C99... yes checking for _Bool... yes checking whether strerror(0) succeeds... no checking whether strndup is declared... yes checking whether strnlen is declared... yes checking for struct timespec in <time.h>... yes checking for inttypes.h... yes checking for stdint.h... yes checking for intmax_t... yes checking where to find the exponent in a 'double'... word 0 bit 20 checking whether snprintf returns a byte count as in C99... yes checking for snprintf... (cached) yes checking for strnlen... yes checking for wcslen... yes checking for wcsnlen... no checking for mbrtowc... (cached) yes checking for wcrtomb... (cached) yes checking whether _snprintf is declared... no checking whether vsnprintf is declared... yes checking whether <wchar.h> uses 'inline' correctly... 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... no 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 whether locale.h conforms to POSIX:2001... yes checking whether struct lconv is properly defined... yes checking for GNU libc compatible malloc... (cached) yes checking whether mbrtowc handles incomplete characters... guessing yes checking whether mbrtowc works as well as mbtowc... guessing yes checking whether mbrtowc handles a NULL pwc argument... guessing yes checking whether mbrtowc handles a NULL string argument... guessing yes checking whether mbrtowc has a correct return value... guessing yes checking whether mbrtowc returns 0 when parsing a NUL character... guessing yes checking whether mbrtowc stores incomplete characters... guessing no 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) guessing yes checking whether mbrtowc works as well as mbtowc... (cached) guessing yes checking for mempcpy... no 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... no checking for __secure_getenv... no checking for issetugid... (cached) yes checking whether setlocale (LC_ALL, NULL) is multithread-safe... (cached) no checking whether setlocale (category, NULL) is multithread-safe... (cached) no checking whether imported symbols can be declared weak... (cached) yes checking whether the -Werror option is usable... yes checking for simple visibility declarations... yes checking for stdint.h... (cached) yes checking for SIZE_MAX... yes checking whether sleep is declared... yes checking for working sleep... yes checking for ssize_t... yes checking whether stat handles trailing slashes on files... 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... no checking for good max_align_t... (cached) yes checking whether NULL can be used in arbitrary expressions... (cached) 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... no checking for working strndup... yes checking for working strnlen... yes checking for strverscmp... no checking for nlink_t... (cached) yes checking for ptrdiff_t... yes checking for vsnprintf... (cached) yes checking whether snprintf respects a size of 1... yes checking whether printf supports POSIX/XSI format strings with positions... yes checking whether iswcntrl works... yes checking for towlower... yes checking for wctype_t... yes checking for wctrans_t... 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++17... no checking whether C++ compiler accepts -std=c++17 -stdlib=libc++... no checking whether C++ compiler accepts -std=c++1z... no configure: error: unable to turn on C++17 mode with this compiler
