/nix/store/zibh7x71pk6jw4fri62qgxs7gawwlkiz-polyml-for-isabelle-2022.drv

Running phase: unpackPhase
unpacking source archive /nix/store/yvknr6msf0y9gzlngiv8ywywym40474v-source
source root is source
Running phase: patchPhase
Running phase: autoreconfPhase
autoreconf: export WARNINGS=
autoreconf: Entering directory '.'
autoreconf: configure.ac: not using Gettext
autoreconf: running: aclocal --force -I m4 --install
aclocal: overwriting 'm4/libtool.m4' with '/nix/store/m0bjf3b9zyr7vw00pws4f2k72pxvjcrs-libtool-2.4.7/share/aclocal/libtool.m4'
aclocal: overwriting 'm4/ltdl.m4' with '/nix/store/m0bjf3b9zyr7vw00pws4f2k72pxvjcrs-libtool-2.4.7/share/aclocal/ltdl.m4'
aclocal: overwriting 'm4/ltversion.m4' with '/nix/store/m0bjf3b9zyr7vw00pws4f2k72pxvjcrs-libtool-2.4.7/share/aclocal/ltversion.m4'
autoreconf: configure.ac: tracing
autoreconf: running: libtoolize --copy --force
libtoolize: putting auxiliary files in '.'.
libtoolize: copying file './ltmain.sh'
libtoolize: putting macros in AC_CONFIG_MACRO_DIRS, 'm4'.
libtoolize: copying file 'm4/libtool.m4'
libtoolize: copying file 'm4/ltoptions.m4'
libtoolize: copying file 'm4/ltsugar.m4'
libtoolize: copying file 'm4/ltversion.m4'
libtoolize: copying file 'm4/lt~obsolete.m4'
autoreconf: configure.ac: not using Intltool
autoreconf: configure.ac: not using Gtkdoc
autoreconf: running: aclocal --force -I m4 --install
aclocal: installing 'm4/ltdl.m4' from '/nix/store/m0bjf3b9zyr7vw00pws4f2k72pxvjcrs-libtool-2.4.7/share/aclocal/ltdl.m4'
autoreconf: running: /nix/store/di7ivggs4fanbd2xn3m9bwmj74vr1jdv-autoconf-2.71/bin/autoconf --force
configure.ac:63: warning: The macro `AC_CONFIG_HEADER' is obsolete.
configure.ac:63: You should run autoupdate.
./lib/autoconf/status.m4:719: AC_CONFIG_HEADER is expanded from...
configure.ac:63: the top level
configure.ac:103: warning: The macro `AC_HEADER_STDC' is obsolete.
configure.ac:103: You should run autoupdate.
./lib/autoconf/headers.m4:704: AC_HEADER_STDC is expanded from...
configure.ac:103: the top level
configure.ac:288: warning: The macro `AC_HEADER_TIME' is obsolete.
configure.ac:288: You should run autoupdate.
./lib/autoconf/headers.m4:743: AC_HEADER_TIME is expanded from...
configure.ac:288: the top level
autoreconf: running: /nix/store/di7ivggs4fanbd2xn3m9bwmj74vr1jdv-autoconf-2.71/bin/autoheader --force
autoreconf: running: automake --add-missing --copy --force-missing
configure.ac:34: installing './compile'
configure.ac:5: installing './missing'
Makefile.am: installing './depcomp'
autoreconf: Leaving directory '.'
Running phase: updateAutotoolsGnuConfigScriptsPhase
Updating Autotools / GNU config script to a newer upstream version: ./config.sub
Updating Autotools / GNU config script to a newer upstream version: ./config.guess
Running phase: configurePhase
fixing libtool script ./ltmain.sh
./configure
configure flags: --disable-static --disable-dependency-tracking --prefix=/nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022 --enable-intinf-as-int --with-gmp --disable-shared
checking for a BSD-compatible install... /nix/store/m9criay4y4p0n2j6r6am2jpwmvv492kj-coreutils-9.3/bin/install -c
checking whether build environment is sane... yes
checking for a race-free mkdir -p... /nix/store/m9criay4y4p0n2j6r6am2jpwmvv492kj-coreutils-9.3/bin/mkdir -p
checking for gawk... gawk
checking whether make sets $(MAKE)... yes
checking whether make supports nested variables... yes
checking build system type... aarch64-apple-darwin23.4.0
checking host system type... aarch64-apple-darwin23.4.0
checking whether make supports the include directive... yes (GNU style)
checking for gcc... clang
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 the compiler supports GNU C... yes
checking whether clang accepts -g... yes
checking for clang option to enable C11 features... none needed
checking whether clang understands -c and -o together... yes
checking dependency style of clang... none
checking for clang options needed to detect all undeclared functions... none needed
checking for stdio.h... yes
checking for stdlib.h... yes
checking for string.h... yes
checking for inttypes.h... yes
checking for stdint.h... yes
checking for strings.h... yes
checking for sys/stat.h... yes
checking for sys/types.h... yes
checking for unistd.h... yes
checking for sys/time.h... yes
checking for sys/select.h... yes
checking for sys/socket.h... yes
checking whether _WIN32 is declared... no
checking how to print strings... printf
checking for a sed that does not truncate output... /nix/store/axgxc0kzpilpri20jg2ad15g2x68az86-gnused-4.9/bin/sed
checking for grep that handles long lines and -e... /nix/store/n49n4wiij8661am0jcx3fc8q4zwz35iv-gnugrep-3.11/bin/grep
checking for egrep... /nix/store/n49n4wiij8661am0jcx3fc8q4zwz35iv-gnugrep-3.11/bin/grep -E
checking for fgrep... /nix/store/n49n4wiij8661am0jcx3fc8q4zwz35iv-gnugrep-3.11/bin/grep -F
checking for ld used by clang... ld
checking if the linker (ld) is GNU ld... no
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... 786432
checking how to convert aarch64-apple-darwin23.4.0 file names to aarch64-apple-darwin23.4.0 format... func_convert_file_noop
checking how to convert aarch64-apple-darwin23.4.0 file names to toolchain format... func_convert_file_noop
checking for ld option to reload object files... -r
checking for file... file
checking for objdump... no
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 clang object... ok
checking for sysroot... no
checking for a working dd... /nix/store/m9criay4y4p0n2j6r6am2jpwmvv492kj-coreutils-9.3/bin/dd
checking how to truncate binary pipes... /nix/store/m9criay4y4p0n2j6r6am2jpwmvv492kj-coreutils-9.3/bin/dd bs=4096 count=1
checking for mt... no
checking if : is a manifest tool... no
checking for dsymutil... dsymutil
checking for nmedit... no
checking for lipo... lipo
checking for otool... otool
checking for otool64... no
checking for -single_module linker flag... yes
checking for -exported_symbols_list linker flag... yes
checking for -force_load linker flag... yes
checking for dlfcn.h... yes
checking for objdir... .libs
checking if clang supports -fno-rtti -fno-exceptions... yes
checking for clang option to produce PIC... -fno-common -DPIC
checking if clang PIC flag -fno-common -DPIC works... yes
checking if clang static flag -static works... no
checking if clang supports -c -o file.o... yes
checking if clang supports -c -o file.o... (cached) yes
checking whether the clang linker (ld) supports shared libraries... yes
checking dynamic linker characteristics... darwin23.4.0 dyld
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 whether to enable maintainer-specific portions of Makefiles... no
checking whether the compiler supports GNU C++... yes
checking whether clang++ accepts -g... yes
checking for clang++ option to enable C++11 features... none needed
checking dependency style of clang++... none
checking how to run the C++ preprocessor... clang++ -E
checking for ld used by clang++... ld
checking if the linker (ld) is GNU ld... no
checking whether the clang++ linker (ld) supports shared libraries... yes
checking for clang++ option to produce PIC... -fno-common -DPIC
checking if clang++ PIC flag -fno-common -DPIC works... yes
checking if clang++ static flag -static works... no
checking if clang++ supports -c -o file.o... yes
checking if clang++ supports -c -o file.o... (cached) yes
checking whether the clang++ linker (ld) supports shared libraries... yes
checking dynamic linker characteristics... darwin23.4.0 dyld
checking how to hardcode library paths into programs... immediate
checking for gcc... (cached) clang
checking whether the compiler supports GNU C... (cached) yes
checking whether clang accepts -g... (cached) yes
checking for clang option to enable C11 features... (cached) none needed
checking whether clang understands -c and -o together... (cached) yes
checking dependency style of clang... (cached) none
checking whether make sets $(MAKE)... (cached) yes
checking how to run the C preprocessor... clang -E
checking dependency style of clang... none
checking for special C compiler options needed for large files... no
checking for _FILE_OFFSET_BITS value needed for large files... no
checking for main in -lc++... yes
checking for library containing dlopen... none required
checking for library containing floor... none required
checking for _ prefix in compiled symbols... yes
checking for size_t... yes
checking for working alloca.h... yes
checking for alloca... yes
checking for dirent.h that defines DIR... yes
checking for library containing opendir... none required
checking for egrep... (cached) /nix/store/n49n4wiij8661am0jcx3fc8q4zwz35iv-gnugrep-3.11/bin/grep -E
checking for sys/wait.h that is POSIX.1 compatible... yes
checking for stdio.h... (cached) yes
checking for time.h... yes
checking for fcntl.h... yes
checking for float.h... yes
checking for limits.h... yes
checking for locale.h... yes
checking for malloc.h... no
checking for netdb.h... yes
checking for netinet/in.h... yes
checking for stddef.h... yes
checking for stdlib.h... (cached) yes
checking for string.h... (cached) yes
checking for sys/file.h... yes
checking for sys/ioctl.h... yes
checking for sys/param.h... yes
checking for sys/socket.h... (cached) yes
checking for sys/systeminfo.h... no
checking for sys/time.h... (cached) yes
checking for unistd.h... (cached) yes
checking for values.h... no
checking for dlfcn.h... (cached) yes
checking for signal.h... yes
checking for ucontext.h... no
checking for assert.h... yes
checking for ctype.h... yes
checking for direct.h... no
checking for errno.h... yes
checking for excpt.h... no
checking for fenv.h... yes
checking for fpu_control.h... no
checking for grp.h... yes
checking for ieeefp.h... no
checking for io.h... no
checking for math.h... yes
checking for memory.h... yes
checking for netinet/tcp.h... yes
checking for arpa/inet.h... yes
checking for poll.h... yes
checking for pwd.h... yes
checking for siginfo.h... no
checking for stdarg.h... yes
checking for sys/errno.h... yes
checking for sys/filio.h... yes
checking for sys/mman.h... yes
checking for sys/resource.h... yes
checking for sys/sockio.h... yes
checking for sys/stat.h... (cached) yes
checking for termios.h... yes
checking for sys/times.h... yes
checking for sys/types.h... (cached) yes
checking for sys/uio.h... yes
checking for sys/un.h... yes
checking for sys/utsname.h... yes
checking for sys/select.h... (cached) yes
checking for sys/sysctl.h... yes
checking for sys/elf_SPARC.h... no
checking for sys/elf_386.h... no
checking for sys/elf_amd64.h... no
checking for asm/elf.h... no
checking for machine/reloc.h... no
checking for i386/elf_machdep.h... no
checking for mach-o/x86_64/reloc.h... yes
checking for mach-o/arm64/reloc.h... yes
checking for windows.h... no
checking for tchar.h... no
checking for semaphore.h... yes
checking for stdint.h... (cached) yes
checking for inttypes.h... (cached) yes
checking for pkg-config... no
checking for __gmpn_tdiv_qr in -lgmp... yes
checking for gmp.h... yes
checking for library containing pthread_create... none required
checking for pthread.h... yes
checking for library containing gethostbyname... none required
checking for library containing getsockopt... none required
checking for library containing sem_wait... none required
checking for X... no
checking for IMAGE_FILE_HEADER... no
checking for elf.h... no
checking for mach-o/reloc.h... yes
checking for _Bool... yes
checking for stdbool.h that conforms to C99... yes
checking for an ANSI C-conforming const... yes
checking for int16_t... yes
checking for uint16_t... yes
checking for int32_t... yes
checking for uint32_t... yes
checking for int64_t... yes
checking for uint64_t... yes
checking for intptr_t... yes
checking for uintptr_t... yes
checking for uid_t in sys/types.h... yes
checking for mode_t... yes
checking for off_t... yes
checking for pid_t... yes
checking for size_t... (cached) yes
checking for ssize_t... yes
checking whether struct tm is in sys/time.h or time.h... time.h
checking for struct stat.st_atim... no
checking for struct stat.st_atimespec... yes
checking for struct stat.st_atimensec... no
checking for struct stat.st_atime_n... no
checking for struct stat.st_uatime... no
checking for ucontext_t... no
checking for struct sigcontext... no
checking for stack_t... yes
checking for sighandler_t... no
checking for sig_t... yes
checking for socklen_t... yes
checking for SYSTEM_LOGICAL_PROCESSOR_INFORMATION... no
checking for long long... yes
checking for ssize_t... (cached) yes
checking for ptrdiff_t... yes
checking size of void*... 8
checking size of long... 8
checking size of int... 4
checking size of long long... 8
checking size of double... 8
checking size of float... 4
checking whether byte ordering is bigendian... no
checking for error_at_line... no
checking type of array argument to getgroups... gid_t
checking for getgroups... yes
checking for working getgroups... yes
checking whether getpgrp requires zero arguments... yes
checking whether clang needs -traditional... no
checking types of arguments for select... int,fd_set *,struct timeval *
checking whether lstat correctly handles trailing slash... no
checking whether stat accepts an empty string... no
checking for working strtod... yes
checking for dlopen... yes
checking for strtod... (cached) yes
checking for dtoa... no
checking for getpagesize... yes
checking for sigaltstack... yes
checking for mmap... yes
checking for mkstemp... yes
checking whether fpsetmask is declared... no
checking for sysctl... yes
checking for sysctlbyname... yes
checking for localtime_r... yes
checking for gmtime_r... yes
checking for ctermid... yes
checking for tcdrain... yes
checking for _ftelli64... no
checking for pthread_jit_write_protect_np... yes
checking for mcontext_t.gregs... no
checking for mcontext_t.regs... no
checking for mcontext_t.mc_esp... no
checking for struct mcontext.ss... no
checking for struct __darwin_mcontext.ss... no
checking for struct __darwin_mcontext.__ss... no
checking for struct __darwin_mcontext32.ss... no
checking for struct __darwin_mcontext32.__ss... no
checking for struct __darwin_mcontext64.ss... no
checking for struct __darwin_mcontext64.__ss... no
checking for struct sockaddr_un.sun_len... yes
checking for git... no
checking that generated files are newer than configure... done
configure: creating ./config.status
config.status: creating Makefile
config.status: creating libpolyml/Makefile
config.status: creating libpolyml/polyml.pc
config.status: creating libpolymain/Makefile
config.status: creating modules/Makefile
config.status: creating modules/IntInfAsInt/Makefile
config.status: creating polyc
config.status: creating config.h
config.status: executing depfiles commands
config.status: executing libtool commands
config.status: executing basis commands
config.status: executing mlsource commands
configurePhase completed in 42 seconds
Running phase: buildPhase
build flags: SHELL=/nix/store/r66mmvxg0jm1kfdj1ycpiph0xwa2lrp9-bash-5.2-p15/bin/bash compiler
make  all-recursive
make[1]: Entering directory '/private/tmp/nix-build-polyml-for-isabelle-2022.drv-0/source'
Making all in libpolyml
make[2]: Entering directory '/private/tmp/nix-build-polyml-for-isabelle-2022.drv-0/source/libpolyml'
/nix/store/r66mmvxg0jm1kfdj1ycpiph0xwa2lrp9-bash-5.2-p15/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -DHAVE_CONFIG_H -I. -I..  -O3 -DMACOSX  -Wall -DMODULEDIR=\"/nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022/lib/polyml/modules\"    -O3 -c -o arb.lo arb.cpp
libtool: compile:  clang++ -DHAVE_CONFIG_H -I. -I.. -O3 -DMACOSX -Wall -DMODULEDIR=\"/nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022/lib/polyml/modules\" -O3 -c arb.cpp -o arb.o
/nix/store/r66mmvxg0jm1kfdj1ycpiph0xwa2lrp9-bash-5.2-p15/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -DHAVE_CONFIG_H -I. -I..  -O3 -DMACOSX  -Wall -DMODULEDIR=\"/nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022/lib/polyml/modules\"    -O3 -c -o bitmap.lo bitmap.cpp
libtool: compile:  clang++ -DHAVE_CONFIG_H -I. -I.. -O3 -DMACOSX -Wall -DMODULEDIR=\"/nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022/lib/polyml/modules\" -O3 -c bitmap.cpp -o bitmap.o
/nix/store/r66mmvxg0jm1kfdj1ycpiph0xwa2lrp9-bash-5.2-p15/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -DHAVE_CONFIG_H -I. -I..  -O3 -DMACOSX  -Wall -DMODULEDIR=\"/nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022/lib/polyml/modules\"    -O3 -c -o bytecode.lo bytecode.cpp
libtool: compile:  clang++ -DHAVE_CONFIG_H -I. -I.. -O3 -DMACOSX -Wall -DMODULEDIR=\"/nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022/lib/polyml/modules\" -O3 -c bytecode.cpp -o bytecode.o
/nix/store/r66mmvxg0jm1kfdj1ycpiph0xwa2lrp9-bash-5.2-p15/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -DHAVE_CONFIG_H -I. -I..  -O3 -DMACOSX  -Wall -DMODULEDIR=\"/nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022/lib/polyml/modules\"    -O3 -c -o check_objects.lo check_objects.cpp
libtool: compile:  clang++ -DHAVE_CONFIG_H -I. -I.. -O3 -DMACOSX -Wall -DMODULEDIR=\"/nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022/lib/polyml/modules\" -O3 -c check_objects.cpp -o check_objects.o
/nix/store/r66mmvxg0jm1kfdj1ycpiph0xwa2lrp9-bash-5.2-p15/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -DHAVE_CONFIG_H -I. -I..  -O3 -DMACOSX  -Wall -DMODULEDIR=\"/nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022/lib/polyml/modules\"    -O3 -c -o diagnostics.lo diagnostics.cpp
libtool: compile:  clang++ -DHAVE_CONFIG_H -I. -I.. -O3 -DMACOSX -Wall -DMODULEDIR=\"/nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022/lib/polyml/modules\" -O3 -c diagnostics.cpp -o diagnostics.o
/nix/store/r66mmvxg0jm1kfdj1ycpiph0xwa2lrp9-bash-5.2-p15/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -DHAVE_CONFIG_H -I. -I..  -O3 -DMACOSX  -Wall -DMODULEDIR=\"/nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022/lib/polyml/modules\"    -O3 -c -o errors.lo errors.cpp
libtool: compile:  clang++ -DHAVE_CONFIG_H -I. -I.. -O3 -DMACOSX -Wall -DMODULEDIR=\"/nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022/lib/polyml/modules\" -O3 -c errors.cpp -o errors.o
/nix/store/r66mmvxg0jm1kfdj1ycpiph0xwa2lrp9-bash-5.2-p15/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -DHAVE_CONFIG_H -I. -I..  -O3 -DMACOSX  -Wall -DMODULEDIR=\"/nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022/lib/polyml/modules\"    -O3 -c -o exporter.lo exporter.cpp
libtool: compile:  clang++ -DHAVE_CONFIG_H -I. -I.. -O3 -DMACOSX -Wall -DMODULEDIR=\"/nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022/lib/polyml/modules\" -O3 -c exporter.cpp -o exporter.o
/nix/store/r66mmvxg0jm1kfdj1ycpiph0xwa2lrp9-bash-5.2-p15/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -DHAVE_CONFIG_H -I. -I..  -O3 -DMACOSX  -Wall -DMODULEDIR=\"/nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022/lib/polyml/modules\"    -O3 -c -o gc.lo gc.cpp
libtool: compile:  clang++ -DHAVE_CONFIG_H -I. -I.. -O3 -DMACOSX -Wall -DMODULEDIR=\"/nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022/lib/polyml/modules\" -O3 -c gc.cpp -o gc.o
/nix/store/r66mmvxg0jm1kfdj1ycpiph0xwa2lrp9-bash-5.2-p15/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -DHAVE_CONFIG_H -I. -I..  -O3 -DMACOSX  -Wall -DMODULEDIR=\"/nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022/lib/polyml/modules\"    -O3 -c -o gc_check_weak_ref.lo gc_check_weak_ref.cpp
libtool: compile:  clang++ -DHAVE_CONFIG_H -I. -I.. -O3 -DMACOSX -Wall -DMODULEDIR=\"/nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022/lib/polyml/modules\" -O3 -c gc_check_weak_ref.cpp -o gc_check_weak_ref.o
/nix/store/r66mmvxg0jm1kfdj1ycpiph0xwa2lrp9-bash-5.2-p15/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -DHAVE_CONFIG_H -I. -I..  -O3 -DMACOSX  -Wall -DMODULEDIR=\"/nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022/lib/polyml/modules\"    -O3 -c -o gc_copy_phase.lo gc_copy_phase.cpp
libtool: compile:  clang++ -DHAVE_CONFIG_H -I. -I.. -O3 -DMACOSX -Wall -DMODULEDIR=\"/nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022/lib/polyml/modules\" -O3 -c gc_copy_phase.cpp -o gc_copy_phase.o
/nix/store/r66mmvxg0jm1kfdj1ycpiph0xwa2lrp9-bash-5.2-p15/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -DHAVE_CONFIG_H -I. -I..  -O3 -DMACOSX  -Wall -DMODULEDIR=\"/nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022/lib/polyml/modules\"    -O3 -c -o gc_mark_phase.lo gc_mark_phase.cpp
libtool: compile:  clang++ -DHAVE_CONFIG_H -I. -I.. -O3 -DMACOSX -Wall -DMODULEDIR=\"/nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022/lib/polyml/modules\" -O3 -c gc_mark_phase.cpp -o gc_mark_phase.o
/nix/store/r66mmvxg0jm1kfdj1ycpiph0xwa2lrp9-bash-5.2-p15/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -DHAVE_CONFIG_H -I. -I..  -O3 -DMACOSX  -Wall -DMODULEDIR=\"/nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022/lib/polyml/modules\"    -O3 -c -o gc_progress.lo gc_progress.cpp
libtool: compile:  clang++ -DHAVE_CONFIG_H -I. -I.. -O3 -DMACOSX -Wall -DMODULEDIR=\"/nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022/lib/polyml/modules\" -O3 -c gc_progress.cpp -o gc_progress.o
/nix/store/r66mmvxg0jm1kfdj1ycpiph0xwa2lrp9-bash-5.2-p15/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -DHAVE_CONFIG_H -I. -I..  -O3 -DMACOSX  -Wall -DMODULEDIR=\"/nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022/lib/polyml/modules\"    -O3 -c -o gc_share_phase.lo gc_share_phase.cpp
libtool: compile:  clang++ -DHAVE_CONFIG_H -I. -I.. -O3 -DMACOSX -Wall -DMODULEDIR=\"/nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022/lib/polyml/modules\" -O3 -c gc_share_phase.cpp -o gc_share_phase.o
/nix/store/r66mmvxg0jm1kfdj1ycpiph0xwa2lrp9-bash-5.2-p15/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -DHAVE_CONFIG_H -I. -I..  -O3 -DMACOSX  -Wall -DMODULEDIR=\"/nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022/lib/polyml/modules\"    -O3 -c -o gc_update_phase.lo gc_update_phase.cpp
libtool: compile:  clang++ -DHAVE_CONFIG_H -I. -I.. -O3 -DMACOSX -Wall -DMODULEDIR=\"/nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022/lib/polyml/modules\" -O3 -c gc_update_phase.cpp -o gc_update_phase.o
/nix/store/r66mmvxg0jm1kfdj1ycpiph0xwa2lrp9-bash-5.2-p15/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -DHAVE_CONFIG_H -I. -I..  -O3 -DMACOSX  -Wall -DMODULEDIR=\"/nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022/lib/polyml/modules\"    -O3 -c -o gctaskfarm.lo gctaskfarm.cpp
libtool: compile:  clang++ -DHAVE_CONFIG_H -I. -I.. -O3 -DMACOSX -Wall -DMODULEDIR=\"/nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022/lib/polyml/modules\" -O3 -c gctaskfarm.cpp -o gctaskfarm.o
/nix/store/r66mmvxg0jm1kfdj1ycpiph0xwa2lrp9-bash-5.2-p15/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -DHAVE_CONFIG_H -I. -I..  -O3 -DMACOSX  -Wall -DMODULEDIR=\"/nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022/lib/polyml/modules\"    -O3 -c -o heapsizing.lo heapsizing.cpp
libtool: compile:  clang++ -DHAVE_CONFIG_H -I. -I.. -O3 -DMACOSX -Wall -DMODULEDIR=\"/nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022/lib/polyml/modules\" -O3 -c heapsizing.cpp -o heapsizing.o
/nix/store/r66mmvxg0jm1kfdj1ycpiph0xwa2lrp9-bash-5.2-p15/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -DHAVE_CONFIG_H -I. -I..  -O3 -DMACOSX  -Wall -DMODULEDIR=\"/nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022/lib/polyml/modules\"    -O3 -c -o locking.lo locking.cpp
libtool: compile:  clang++ -DHAVE_CONFIG_H -I. -I.. -O3 -DMACOSX -Wall -DMODULEDIR=\"/nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022/lib/polyml/modules\" -O3 -c locking.cpp -o locking.o
/nix/store/r66mmvxg0jm1kfdj1ycpiph0xwa2lrp9-bash-5.2-p15/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -DHAVE_CONFIG_H -I. -I..  -O3 -DMACOSX  -Wall -DMODULEDIR=\"/nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022/lib/polyml/modules\"    -O3 -c -o memmgr.lo memmgr.cpp
libtool: compile:  clang++ -DHAVE_CONFIG_H -I. -I.. -O3 -DMACOSX -Wall -DMODULEDIR=\"/nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022/lib/polyml/modules\" -O3 -c memmgr.cpp -o memmgr.o
/nix/store/r66mmvxg0jm1kfdj1ycpiph0xwa2lrp9-bash-5.2-p15/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -DHAVE_CONFIG_H -I. -I..  -O3 -DMACOSX  -Wall -DMODULEDIR=\"/nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022/lib/polyml/modules\"    -O3 -c -o mpoly.lo mpoly.cpp
libtool: compile:  clang++ -DHAVE_CONFIG_H -I. -I.. -O3 -DMACOSX -Wall -DMODULEDIR=\"/nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022/lib/polyml/modules\" -O3 -c mpoly.cpp -o mpoly.o
/nix/store/r66mmvxg0jm1kfdj1ycpiph0xwa2lrp9-bash-5.2-p15/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -DHAVE_CONFIG_H -I. -I..  -O3 -DMACOSX  -Wall -DMODULEDIR=\"/nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022/lib/polyml/modules\"    -O3 -c -o network.lo network.cpp
libtool: compile:  clang++ -DHAVE_CONFIG_H -I. -I.. -O3 -DMACOSX -Wall -DMODULEDIR=\"/nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022/lib/polyml/modules\" -O3 -c network.cpp -o network.o
/nix/store/r66mmvxg0jm1kfdj1ycpiph0xwa2lrp9-bash-5.2-p15/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -DHAVE_CONFIG_H -I. -I..  -O3 -DMACOSX  -Wall -DMODULEDIR=\"/nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022/lib/polyml/modules\"    -O3 -c -o objsize.lo objsize.cpp
libtool: compile:  clang++ -DHAVE_CONFIG_H -I. -I.. -O3 -DMACOSX -Wall -DMODULEDIR=\"/nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022/lib/polyml/modules\" -O3 -c objsize.cpp -o objsize.o
/nix/store/r66mmvxg0jm1kfdj1ycpiph0xwa2lrp9-bash-5.2-p15/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -DHAVE_CONFIG_H -I. -I..  -O3 -DMACOSX  -Wall -DMODULEDIR=\"/nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022/lib/polyml/modules\"    -O3 -c -o pexport.lo pexport.cpp
libtool: compile:  clang++ -DHAVE_CONFIG_H -I. -I.. -O3 -DMACOSX -Wall -DMODULEDIR=\"/nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022/lib/polyml/modules\" -O3 -c pexport.cpp -o pexport.o
/nix/store/r66mmvxg0jm1kfdj1ycpiph0xwa2lrp9-bash-5.2-p15/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -DHAVE_CONFIG_H -I. -I..  -O3 -DMACOSX  -Wall -DMODULEDIR=\"/nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022/lib/polyml/modules\"    -O3 -c -o poly_specific.lo poly_specific.cpp
libtool: compile:  clang++ -DHAVE_CONFIG_H -I. -I.. -O3 -DMACOSX -Wall -DMODULEDIR=\"/nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022/lib/polyml/modules\" -O3 -c poly_specific.cpp -o poly_specific.o
/nix/store/r66mmvxg0jm1kfdj1ycpiph0xwa2lrp9-bash-5.2-p15/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -DHAVE_CONFIG_H -I. -I..  -O3 -DMACOSX  -Wall -DMODULEDIR=\"/nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022/lib/polyml/modules\"    -O3 -c -o polyffi.lo polyffi.cpp
libtool: compile:  clang++ -DHAVE_CONFIG_H -I. -I.. -O3 -DMACOSX -Wall -DMODULEDIR=\"/nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022/lib/polyml/modules\" -O3 -c polyffi.cpp -o polyffi.o
/nix/store/r66mmvxg0jm1kfdj1ycpiph0xwa2lrp9-bash-5.2-p15/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -DHAVE_CONFIG_H -I. -I..  -O3 -DMACOSX  -Wall -DMODULEDIR=\"/nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022/lib/polyml/modules\"    -O3 -c -o polystring.lo polystring.cpp
libtool: compile:  clang++ -DHAVE_CONFIG_H -I. -I.. -O3 -DMACOSX -Wall -DMODULEDIR=\"/nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022/lib/polyml/modules\" -O3 -c polystring.cpp -o polystring.o
/nix/store/r66mmvxg0jm1kfdj1ycpiph0xwa2lrp9-bash-5.2-p15/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -DHAVE_CONFIG_H -I. -I..  -O3 -DMACOSX  -Wall -DMODULEDIR=\"/nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022/lib/polyml/modules\"    -O3 -c -o process_env.lo process_env.cpp
libtool: compile:  clang++ -DHAVE_CONFIG_H -I. -I.. -O3 -DMACOSX -Wall -DMODULEDIR=\"/nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022/lib/polyml/modules\" -O3 -c process_env.cpp -o process_env.o
/nix/store/r66mmvxg0jm1kfdj1ycpiph0xwa2lrp9-bash-5.2-p15/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -DHAVE_CONFIG_H -I. -I..  -O3 -DMACOSX  -Wall -DMODULEDIR=\"/nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022/lib/polyml/modules\"    -O3 -c -o processes.lo processes.cpp
libtool: compile:  clang++ -DHAVE_CONFIG_H -I. -I.. -O3 -DMACOSX -Wall -DMODULEDIR=\"/nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022/lib/polyml/modules\" -O3 -c processes.cpp -o processes.o
/nix/store/r66mmvxg0jm1kfdj1ycpiph0xwa2lrp9-bash-5.2-p15/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -DHAVE_CONFIG_H -I. -I..  -O3 -DMACOSX  -Wall -DMODULEDIR=\"/nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022/lib/polyml/modules\"    -O3 -c -o profiling.lo profiling.cpp
libtool: compile:  clang++ -DHAVE_CONFIG_H -I. -I.. -O3 -DMACOSX -Wall -DMODULEDIR=\"/nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022/lib/polyml/modules\" -O3 -c profiling.cpp -o profiling.o
/nix/store/r66mmvxg0jm1kfdj1ycpiph0xwa2lrp9-bash-5.2-p15/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -DHAVE_CONFIG_H -I. -I..  -O3 -DMACOSX  -Wall -DMODULEDIR=\"/nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022/lib/polyml/modules\"    -O3 -c -o quick_gc.lo quick_gc.cpp
libtool: compile:  clang++ -DHAVE_CONFIG_H -I. -I.. -O3 -DMACOSX -Wall -DMODULEDIR=\"/nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022/lib/polyml/modules\" -O3 -c quick_gc.cpp -o quick_gc.o
/nix/store/r66mmvxg0jm1kfdj1ycpiph0xwa2lrp9-bash-5.2-p15/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -DHAVE_CONFIG_H -I. -I..  -O3 -DMACOSX  -Wall -DMODULEDIR=\"/nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022/lib/polyml/modules\"    -O3 -c -o realconv.lo realconv.cpp
libtool: compile:  clang++ -DHAVE_CONFIG_H -I. -I.. -O3 -DMACOSX -Wall -DMODULEDIR=\"/nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022/lib/polyml/modules\" -O3 -c realconv.cpp -o realconv.o
realconv.cpp:1510:21: warning: unused variable 'tinytens' [-Wunused-const-variable]
static CONST double tinytens[] = { 1e-16, 1e-32, 1e-64, 1e-128,
                    ^
1 warning generated.
/nix/store/r66mmvxg0jm1kfdj1ycpiph0xwa2lrp9-bash-5.2-p15/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -DHAVE_CONFIG_H -I. -I..  -O3 -DMACOSX  -Wall -DMODULEDIR=\"/nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022/lib/polyml/modules\"    -O3 -c -o reals.lo reals.cpp
libtool: compile:  clang++ -DHAVE_CONFIG_H -I. -I.. -O3 -DMACOSX -Wall -DMODULEDIR=\"/nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022/lib/polyml/modules\" -O3 -c reals.cpp -o reals.o
/nix/store/r66mmvxg0jm1kfdj1ycpiph0xwa2lrp9-bash-5.2-p15/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -DHAVE_CONFIG_H -I. -I..  -O3 -DMACOSX  -Wall -DMODULEDIR=\"/nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022/lib/polyml/modules\"    -O3 -c -o rts_module.lo rts_module.cpp
libtool: compile:  clang++ -DHAVE_CONFIG_H -I. -I.. -O3 -DMACOSX -Wall -DMODULEDIR=\"/nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022/lib/polyml/modules\" -O3 -c rts_module.cpp -o rts_module.o
/nix/store/r66mmvxg0jm1kfdj1ycpiph0xwa2lrp9-bash-5.2-p15/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -DHAVE_CONFIG_H -I. -I..  -O3 -DMACOSX  -Wall -DMODULEDIR=\"/nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022/lib/polyml/modules\"    -O3 -c -o rtsentry.lo rtsentry.cpp
libtool: compile:  clang++ -DHAVE_CONFIG_H -I. -I.. -O3 -DMACOSX -Wall -DMODULEDIR=\"/nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022/lib/polyml/modules\" -O3 -c rtsentry.cpp -o rtsentry.o
/nix/store/r66mmvxg0jm1kfdj1ycpiph0xwa2lrp9-bash-5.2-p15/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -DHAVE_CONFIG_H -I. -I..  -O3 -DMACOSX  -Wall -DMODULEDIR=\"/nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022/lib/polyml/modules\"    -O3 -c -o run_time.lo run_time.cpp
libtool: compile:  clang++ -DHAVE_CONFIG_H -I. -I.. -O3 -DMACOSX -Wall -DMODULEDIR=\"/nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022/lib/polyml/modules\" -O3 -c run_time.cpp -o run_time.o
/nix/store/r66mmvxg0jm1kfdj1ycpiph0xwa2lrp9-bash-5.2-p15/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -DHAVE_CONFIG_H -I. -I..  -O3 -DMACOSX  -Wall -DMODULEDIR=\"/nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022/lib/polyml/modules\"    -O3 -c -o save_vec.lo save_vec.cpp
libtool: compile:  clang++ -DHAVE_CONFIG_H -I. -I.. -O3 -DMACOSX -Wall -DMODULEDIR=\"/nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022/lib/polyml/modules\" -O3 -c save_vec.cpp -o save_vec.o
/nix/store/r66mmvxg0jm1kfdj1ycpiph0xwa2lrp9-bash-5.2-p15/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -DHAVE_CONFIG_H -I. -I..  -O3 -DMACOSX  -Wall -DMODULEDIR=\"/nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022/lib/polyml/modules\"    -O3 -c -o savestate.lo savestate.cpp
libtool: compile:  clang++ -DHAVE_CONFIG_H -I. -I.. -O3 -DMACOSX -Wall -DMODULEDIR=\"/nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022/lib/polyml/modules\" -O3 -c savestate.cpp -o savestate.o
/nix/store/r66mmvxg0jm1kfdj1ycpiph0xwa2lrp9-bash-5.2-p15/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -DHAVE_CONFIG_H -I. -I..  -O3 -DMACOSX  -Wall -DMODULEDIR=\"/nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022/lib/polyml/modules\"    -O3 -c -o scanaddrs.lo scanaddrs.cpp
libtool: compile:  clang++ -DHAVE_CONFIG_H -I. -I.. -O3 -DMACOSX -Wall -DMODULEDIR=\"/nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022/lib/polyml/modules\" -O3 -c scanaddrs.cpp -o scanaddrs.o
/nix/store/r66mmvxg0jm1kfdj1ycpiph0xwa2lrp9-bash-5.2-p15/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -DHAVE_CONFIG_H -I. -I..  -O3 -DMACOSX  -Wall -DMODULEDIR=\"/nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022/lib/polyml/modules\"    -O3 -c -o sharedata.lo sharedata.cpp
libtool: compile:  clang++ -DHAVE_CONFIG_H -I. -I.. -O3 -DMACOSX -Wall -DMODULEDIR=\"/nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022/lib/polyml/modules\" -O3 -c sharedata.cpp -o sharedata.o
/nix/store/r66mmvxg0jm1kfdj1ycpiph0xwa2lrp9-bash-5.2-p15/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -DHAVE_CONFIG_H -I. -I..  -O3 -DMACOSX  -Wall -DMODULEDIR=\"/nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022/lib/polyml/modules\"    -O3 -c -o sighandler.lo sighandler.cpp
libtool: compile:  clang++ -DHAVE_CONFIG_H -I. -I.. -O3 -DMACOSX -Wall -DMODULEDIR=\"/nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022/lib/polyml/modules\" -O3 -c sighandler.cpp -o sighandler.o
/nix/store/r66mmvxg0jm1kfdj1ycpiph0xwa2lrp9-bash-5.2-p15/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -DHAVE_CONFIG_H -I. -I..  -O3 -DMACOSX  -Wall -DMODULEDIR=\"/nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022/lib/polyml/modules\"    -O3 -c -o statistics.lo statistics.cpp
libtool: compile:  clang++ -DHAVE_CONFIG_H -I. -I.. -O3 -DMACOSX -Wall -DMODULEDIR=\"/nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022/lib/polyml/modules\" -O3 -c statistics.cpp -o statistics.o
/nix/store/r66mmvxg0jm1kfdj1ycpiph0xwa2lrp9-bash-5.2-p15/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -DHAVE_CONFIG_H -I. -I..  -O3 -DMACOSX  -Wall -DMODULEDIR=\"/nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022/lib/polyml/modules\"    -O3 -c -o timing.lo timing.cpp
libtool: compile:  clang++ -DHAVE_CONFIG_H -I. -I.. -O3 -DMACOSX -Wall -DMODULEDIR=\"/nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022/lib/polyml/modules\" -O3 -c timing.cpp -o timing.o
/nix/store/r66mmvxg0jm1kfdj1ycpiph0xwa2lrp9-bash-5.2-p15/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -DHAVE_CONFIG_H -I. -I..  -O3 -DMACOSX  -Wall -DMODULEDIR=\"/nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022/lib/polyml/modules\"    -O3 -c -o xwindows.lo xwindows.cpp
libtool: compile:  clang++ -DHAVE_CONFIG_H -I. -I.. -O3 -DMACOSX -Wall -DMODULEDIR=\"/nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022/lib/polyml/modules\" -O3 -c xwindows.cpp -o xwindows.o
/nix/store/r66mmvxg0jm1kfdj1ycpiph0xwa2lrp9-bash-5.2-p15/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -DHAVE_CONFIG_H -I. -I..  -O3 -DMACOSX  -Wall -DMODULEDIR=\"/nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022/lib/polyml/modules\"    -O3 -c -o arm64.lo arm64.cpp
libtool: compile:  clang++ -DHAVE_CONFIG_H -I. -I.. -O3 -DMACOSX -Wall -DMODULEDIR=\"/nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022/lib/polyml/modules\" -O3 -c arm64.cpp -o arm64.o
arm64.cpp:300:55: warning: field 'assemblyInterface' is uninitialized when used here [-Wuninitialized]
Arm64TaskData::Arm64TaskData() : ByteCodeInterpreter(&assemblyInterface.stackPtr, &assemblyInterface.stackLimit),
                                                      ^
arm64.cpp:300:84: warning: field 'assemblyInterface' is uninitialized when used here [-Wuninitialized]
Arm64TaskData::Arm64TaskData() : ByteCodeInterpreter(&assemblyInterface.stackPtr, &assemblyInterface.stackLimit),
                                                                                   ^
2 warnings generated.
/nix/store/r66mmvxg0jm1kfdj1ycpiph0xwa2lrp9-bash-5.2-p15/bin/bash ../libtool  --tag=CC   --mode=compile clang -DHAVE_CONFIG_H -I. -I..  -O3 -DMACOSX  -Wall -DMODULEDIR=\"/nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022/lib/polyml/modules\"   -DMACOSX  -c -o arm64assembly.lo arm64assembly.S
libtool: compile:  clang -DHAVE_CONFIG_H -I. -I.. -O3 -DMACOSX -Wall -DMODULEDIR=\"/nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022/lib/polyml/modules\" -DMACOSX -c arm64assembly.S -o arm64assembly.o
/nix/store/r66mmvxg0jm1kfdj1ycpiph0xwa2lrp9-bash-5.2-p15/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -DHAVE_CONFIG_H -I. -I..  -O3 -DMACOSX  -Wall -DMODULEDIR=\"/nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022/lib/polyml/modules\"    -O3 -c -o machoexport.lo machoexport.cpp
libtool: compile:  clang++ -DHAVE_CONFIG_H -I. -I.. -O3 -DMACOSX -Wall -DMODULEDIR=\"/nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022/lib/polyml/modules\" -O3 -c machoexport.cpp -o machoexport.o
/nix/store/r66mmvxg0jm1kfdj1ycpiph0xwa2lrp9-bash-5.2-p15/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -DHAVE_CONFIG_H -I. -I..  -O3 -DMACOSX  -Wall -DMODULEDIR=\"/nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022/lib/polyml/modules\"    -O3 -c -o basicio.lo basicio.cpp
libtool: compile:  clang++ -DHAVE_CONFIG_H -I. -I.. -O3 -DMACOSX -Wall -DMODULEDIR=\"/nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022/lib/polyml/modules\" -O3 -c basicio.cpp -o basicio.o
/nix/store/r66mmvxg0jm1kfdj1ycpiph0xwa2lrp9-bash-5.2-p15/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -DHAVE_CONFIG_H -I. -I..  -O3 -DMACOSX  -Wall -DMODULEDIR=\"/nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022/lib/polyml/modules\"    -O3 -c -o unix_specific.lo unix_specific.cpp
libtool: compile:  clang++ -DHAVE_CONFIG_H -I. -I.. -O3 -DMACOSX -Wall -DMODULEDIR=\"/nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022/lib/polyml/modules\" -O3 -c unix_specific.cpp -o unix_specific.o
/nix/store/r66mmvxg0jm1kfdj1ycpiph0xwa2lrp9-bash-5.2-p15/bin/bash ../libtool  --tag=CXX   --mode=compile clang++ -DHAVE_CONFIG_H -I. -I..  -O3 -DMACOSX  -Wall -DMODULEDIR=\"/nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022/lib/polyml/modules\"    -O3 -c -o osmemunix.lo osmemunix.cpp
libtool: compile:  clang++ -DHAVE_CONFIG_H -I. -I.. -O3 -DMACOSX -Wall -DMODULEDIR=\"/nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022/lib/polyml/modules\" -O3 -c osmemunix.cpp -o osmemunix.o
/nix/store/r66mmvxg0jm1kfdj1ycpiph0xwa2lrp9-bash-5.2-p15/bin/bash ../libtool  --tag=CXX   --mode=link clang++  -O3 -version-info 13:0:0   -o libpolyml.la -rpath /nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022/lib arb.lo bitmap.lo bytecode.lo check_objects.lo diagnostics.lo errors.lo exporter.lo gc.lo gc_check_weak_ref.lo gc_copy_phase.lo gc_mark_phase.lo gc_progress.lo gc_share_phase.lo gc_update_phase.lo gctaskfarm.lo heapsizing.lo locking.lo memmgr.lo mpoly.lo network.lo objsize.lo pexport.lo poly_specific.lo polyffi.lo polystring.lo process_env.lo processes.lo profiling.lo quick_gc.lo realconv.lo reals.lo rts_module.lo rtsentry.lo run_time.lo save_vec.lo savestate.lo scanaddrs.lo sharedata.lo sighandler.lo statistics.lo timing.lo xwindows.lo arm64.lo arm64assembly.lo machoexport.lo basicio.lo unix_specific.lo osmemunix.lo  -lgmp -lc++ 
libtool: link: ar cr .libs/libpolyml.a  arb.o bitmap.o bytecode.o check_objects.o diagnostics.o errors.o exporter.o gc.o gc_check_weak_ref.o gc_copy_phase.o gc_mark_phase.o gc_progress.o gc_share_phase.o gc_update_phase.o gctaskfarm.o heapsizing.o locking.o memmgr.o mpoly.o network.o objsize.o pexport.o poly_specific.o polyffi.o polystring.o process_env.o processes.o profiling.o quick_gc.o realconv.o reals.o rts_module.o rtsentry.o run_time.o save_vec.o savestate.o scanaddrs.o sharedata.o sighandler.o statistics.o timing.o xwindows.o arm64.o arm64assembly.o machoexport.o basicio.o unix_specific.o osmemunix.o
libtool: link: ranlib .libs/libpolyml.a
libtool: link: ( cd ".libs" && rm -f "libpolyml.la" && ln -s "../libpolyml.la" "libpolyml.la" )
make[2]: Leaving directory '/private/tmp/nix-build-polyml-for-isabelle-2022.drv-0/source/libpolyml'
Making all in libpolymain
make[2]: Entering directory '/private/tmp/nix-build-polyml-for-isabelle-2022.drv-0/source/libpolymain'
/nix/store/r66mmvxg0jm1kfdj1ycpiph0xwa2lrp9-bash-5.2-p15/bin/bash ../libtool  --tag=CC   --mode=compile clang -DHAVE_CONFIG_H -I. -I..   -DMACOSX -Wall   -DMACOSX -Wall -fno-strict-aliasing -O3 -c -o polystub.lo polystub.c
libtool: compile:  clang -DHAVE_CONFIG_H -I. -I.. -DMACOSX -Wall -DMACOSX -Wall -fno-strict-aliasing -O3 -c polystub.c -o polystub.o
/nix/store/r66mmvxg0jm1kfdj1ycpiph0xwa2lrp9-bash-5.2-p15/bin/bash ../libtool  --tag=CC   --mode=link clang  -DMACOSX -Wall -fno-strict-aliasing -O3 -static -version-info 0:0  -o libpolymain.la -rpath /nix/store/2ndb98xv8p3d4zcxhcin4j07gayi73v2-polyml-for-isabelle-2022/lib polystub.lo  -lgmp -lc++ 
libtool: link: ar cr .libs/libpolymain.a  polystub.o
libtool: link: ranlib .libs/libpolymain.a
libtool: link: ( cd ".libs" && rm -f "libpolymain.la" && ln -s "../libpolymain.la" "libpolymain.la" )
make[2]: Leaving directory '/private/tmp/nix-build-polyml-for-isabelle-2022.drv-0/source/libpolymain'
Making all in .
make[2]: Entering directory '/private/tmp/nix-build-polyml-for-isabelle-2022.drv-0/source'
clang -DHAVE_CONFIG_H -I.     -O3 -c -o polyimport.o polyimport.c
/nix/store/r66mmvxg0jm1kfdj1ycpiph0xwa2lrp9-bash-5.2-p15/bin/bash ./libtool  --tag=CC   --mode=link clang  -O3    -o polyimport polyimport.o  libpolyml/libpolyml.la -lgmp -lc++ 
libtool: link: clang -O3 -o polyimport polyimport.o  libpolyml/.libs/libpolyml.a /nix/store/cj6zqs6ia79m12jl6yz04vn1fp2py9zg-gmp-with-cxx-6.3.0/lib/libgmp.dylib -lc++
Undefined symbols for architecture arm64:
  "operator delete[](void*)", referenced from:
      SaveRequest::Perform() in libpolyml.a(savestate.o)
      StateLoader::LoadFile(bool, long, PolyWord) in libpolyml.a(savestate.o)
      LoadRelocate::~LoadRelocate() in libpolyml.a(savestate.o)
      LoadRelocate::~LoadRelocate() in libpolyml.a(savestate.o)
      LoadRelocate::~LoadRelocate() in libpolyml.a(savestate.o)
      ModuleExport::exportStore() in libpolyml.a(savestate.o)
      ModuleLoader::Perform() in libpolyml.a(savestate.o)
      ...
  "operator delete(void*)", referenced from:
      GarbageCollectModule::~GarbageCollectModule() in libpolyml.a(gc.o)
      FullGCRequest::~FullGCRequest() in libpolyml.a(gc.o)
      QuickGCRequest::~QuickGCRequest() in libpolyml.a(gc.o)
      RtsModule::~RtsModule() in libpolyml.a(gc.o)
      PExport::~PExport() in libpolyml.a(pexport.o)
      PExport::~PExport() in libpolyml.a(pexport.o)
      non-virtual thunk to PExport::~PExport() in libpolyml.a(pexport.o)
      ...
  "operator new[](unsigned long)", referenced from:
      SaveRequest::Perform() in libpolyml.a(savestate.o)
      StateLoader::LoadFile(bool, long, PolyWord) in libpolyml.a(savestate.o)
      ModuleExport::exportStore() in libpolyml.a(savestate.o)
      ModuleLoader::Perform() in libpolyml.a(savestate.o)
      initialiseMarkerTables() in libpolyml.a(gc_mark_phase.o)
      SaveVec::SaveVec() in libpolyml.a(save_vec.o)
      SaveVec::SaveVec() in libpolyml.a(save_vec.o)
      ...
  "operator new(unsigned long)", referenced from:
      PExport::exportStore() in libpolyml.a(pexport.o)
      std::__1::vector<unsigned long, std::__1::allocator<unsigned long>>::insert(std::__1::__wrap_iter<unsigned long const*>, unsigned long const&) in libpolyml.a(pexport.o)
      Processes::ForkThread(TaskData*, SaveVecEntry*, PolyWord, PolyWord) in libpolyml.a(processes.o)
      Processes::CreateNewTaskData() in libpolyml.a(processes.o)
      Processes::BeginRootThread(PolyObject*) in libpolyml.a(processes.o)
      SaveRequest::Perform() in libpolyml.a(savestate.o)
      AddHierarchyEntry(char const*, long) in libpolyml.a(savestate.o)
      ...
  "___cxa_allocate_exception", referenced from:
      std::__1::__throw_length_error[abi:v160006](char const*) in libpolyml.a(pexport.o)
      std::__throw_bad_array_new_length[abi:v160006]() in libpolyml.a(pexport.o)
      _PolyThreadTestInterrupt in libpolyml.a(processes.o)
      Processes::TestSynchronousRequests(TaskData*) in libpolyml.a(processes.o)
      Processes::ProcessAsynchRequests(TaskData*) in libpolyml.a(processes.o)
      Processes::CreateNewTaskData() in libpolyml.a(processes.o)
      Processes::TestAnyEvents(TaskData*) in libpolyml.a(processes.o)
      ...
  "___cxa_begin_catch", referenced from:
      _PolyThreadMutexBlock in libpolyml.a(processes.o)
      _PolyThreadMutexUnlock in libpolyml.a(processes.o)
      _PolyThreadCondVarWait in libpolyml.a(processes.o)
      _PolyThreadCondVarWaitUntil in libpolyml.a(processes.o)
      _PolyThreadForkThread in libpolyml.a(processes.o)
      _PolyThreadTestInterrupt in libpolyml.a(processes.o)
      _PolyThreadMaxStackSize in libpolyml.a(processes.o)
      ...
  "___cxa_end_catch", referenced from:
      _PolyThreadMutexBlock in libpolyml.a(processes.o)
      _PolyThreadMutexUnlock in libpolyml.a(processes.o)
      _PolyThreadCondVarWait in libpolyml.a(processes.o)
      _PolyThreadCondVarWaitUntil in libpolyml.a(processes.o)
      _PolyThreadForkThread in libpolyml.a(processes.o)
      _PolyThreadTestInterrupt in libpolyml.a(processes.o)
      _PolyThreadMaxStackSize in libpolyml.a(processes.o)
      ...
  "___cxa_free_exception", referenced from:
      std::__1::__throw_length_error[abi:v160006](char const*) in libpolyml.a(pexport.o)
      std::__1::__throw_length_error[abi:v160006](char const*) in libpolyml.a(processes.o)
      std::__1::__throw_length_error[abi:v160006](char const*) in libpolyml.a(memmgr.o)
      std::__1::__throw_length_error[abi:v160006](char const*) in libpolyml.a(sharedata.o)
  "___cxa_rethrow", referenced from:
      _PolyProcessEnvSystem in libpolyml.a(process_env.o)
  "___cxa_throw", referenced from:
      std::__1::__throw_length_error[abi:v160006](char const*) in libpolyml.a(pexport.o)
      std::__throw_bad_array_new_length[abi:v160006]() in libpolyml.a(pexport.o)
      _PolyThreadTestInterrupt in libpolyml.a(processes.o)
      Processes::TestSynchronousRequests(TaskData*) in libpolyml.a(processes.o)
      Processes::ProcessAsynchRequests(TaskData*) in libpolyml.a(processes.o)
      Processes::CreateNewTaskData() in libpolyml.a(processes.o)
      Processes::TestAnyEvents(TaskData*) in libpolyml.a(processes.o)
      ...
  "___gxx_personality_v0", referenced from:
      PExport::exportStore() in libpolyml.a(pexport.o)
      std::__1::vector<unsigned long, std::__1::allocator<unsigned long>>::insert(std::__1::__wrap_iter<unsigned long const*>, unsigned long const&) in libpolyml.a(pexport.o)
      ImportPortable(char const*) in libpolyml.a(pexport.o)
      std::__1::__throw_length_error[abi:v160006](char const*) in libpolyml.a(pexport.o)
      _PolyThreadMutexBlock in libpolyml.a(processes.o)
      _PolyThreadMutexUnlock in libpolyml.a(processes.o)
      _PolyThreadCondVarWait in libpolyml.a(processes.o)
      ...
ld: symbol(s) not found for architecture arm64
clang-16: error: linker command failed with exit code 1 (use -v to see invocation)
make[2]: *** [Makefile:580: polyimport] Error 1
make[2]: Leaving directory '/private/tmp/nix-build-polyml-for-isabelle-2022.drv-0/source'
make[1]: *** [Makefile:711: all-recursive] Error 1
make[1]: Leaving directory '/private/tmp/nix-build-polyml-for-isabelle-2022.drv-0/source'
make: *** [Makefile:470: all] Error 2