fixing libtool script ./ptable-support/ltmain.sh fixing libtool script ./relation-stores/ltmain.sh fixing libtool script ./toolbuslib/ltmain.sh fixing libtool script ./asc-support/ltmain.sh fixing libtool script ./tide-support/ltmain.sh fixing libtool script ./sglr/ltmain.sh fixing libtool script ./config-support/ltmain.sh fixing libtool script ./pt-support/ltmain.sh fixing libtool script ./sdf-support/ltmain.sh fixing libtool script ./error-support/ltmain.sh fixing libtool script ./c-library/ltmain.sh fixing libtool script ./pgen/ltmain.sh fixing libtool script ./asf-support/ltmain.sh configure flags: --prefix=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle checking for a BSD-compatible install... /nix/store/d8imsim3zs87dskyvmgdd24dn9ak4nbp-coreutils-6.12/bin/install -c checking whether build environment is sane... yes checking for gawk... gawk checking whether make sets $(MAKE)... yes checking whether to enable maintainer-specific portions of Makefiles... no cp: cannot create regular file `/home/nix': Permission denied checking whether location of aterm is explicitly set... no checking for pkg-config... /nix/store/0if64djzkfnk1hyy96b4lcgnj5cdy7sl-pkg-config-0.22/bin/pkg-config checking pkg-config is at least version 0.9.0... yes checking for ATERM... yes checking prefix of package aterm... /nix/store/k08p7r9bhxpkj5zbpkg26qsgdz9vcx96-aterm-2.6pre24721-bw562845 configure: creating ./config.status config.status: creating sdf2-bundle.pc config.status: creating sdf2-bundle.spec config.status: creating Makefile === configuring in c-library (/tmp/nix-11010-0/sdf2-bundle-2.6/c-library) configure: running /bin/sh ./configure '--prefix=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-bundled-packages=c-library toolbuslib config-support error-support pt-support asf-support sdf-support ptable-support sglr tide-support relation-stores asc-support pgen sdf-library' '--with-aterm=/nix/store/k08p7r9bhxpkj5zbpkg26qsgdz9vcx96-aterm-2.6pre24721-bw562845' '--with-c-library=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-toolbuslib=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-config-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-error-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-pt-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-asf-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-sdf-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-ptable-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-sglr=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-tide-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-relation-stores=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-asc-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-pgen=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-sdf-library=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' --cache-file=/dev/null --srcdir=. checking for a BSD-compatible install... /nix/store/d8imsim3zs87dskyvmgdd24dn9ak4nbp-coreutils-6.12/bin/install -c checking whether build environment is sane... yes checking for gawk... gawk checking whether make sets $(MAKE)... yes checking for pkg-config... /nix/store/0if64djzkfnk1hyy96b4lcgnj5cdy7sl-pkg-config-0.22/bin/pkg-config checking pkg-config is at least version 0.9.0... yes checking whether to enable maintainer-specific portions of Makefiles... no checking whether CFLAGS is set... no checking if PKG_CONFIG_PATH needs to be extended for bundled packages... yes checking whether location of aterm is explicitly set using --with-aterm... yes checking for ATERM... yes checking prefix of package aterm... explicitly set: /nix/store/k08p7r9bhxpkj5zbpkg26qsgdz9vcx96-aterm-2.6pre24721-bw562845 checking if package aterm at this prefix equals the explicitly set package... skipped (bundle) checking the transitive closure of dependencies of aterm... aterm checking if aterm provides jars... no checking if aterm provides ToolBus flags... no checking for style of include used by make... GNU checking for gcc... gcc checking for C compiler default output file name... a.out checking whether the C compiler works... yes checking whether we are cross compiling... no checking for suffix of executables... checking for suffix of object files... o checking whether we are using the GNU C compiler... yes checking whether gcc accepts -g... yes checking for gcc option to accept ISO C89... none needed checking dependency style of gcc... gcc3 checking how to run the C preprocessor... gcc -E checking for grep that handles long lines and -e... /nix/store/iial4mb06c6lxqf0qd4m2yq5317phnh2-gnugrep-2.5.3/bin/grep checking for egrep... /nix/store/iial4mb06c6lxqf0qd4m2yq5317phnh2-gnugrep-2.5.3/bin/grep -E checking build system type... x86_64-unknown-linux-gnu checking host system type... x86_64-unknown-linux-gnu checking for a sed that does not truncate output... /nix/store/9vcbxmwmf7yvlpipkb5za2svacw1q6sv-gnused-4.1.5/bin/sed checking for ld used by gcc... /nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld checking if the linker (/nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld) is GNU ld... yes checking for /nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld option to reload object files... -r checking for BSD-compatible nm... /nix/store/7w2acjgalb0cm7b3bg8yswza4l7iil9y-binutils-2.18/bin/nm -B checking whether ln -s works... yes checking how to recognize dependent libraries... pass_all ./configure: line 5263: /usr/bin/file: No such file or directory checking for ANSI C header files... yes checking for sys/types.h... yes checking for sys/stat.h... yes checking for stdlib.h... yes checking for string.h... yes checking for memory.h... yes checking for strings.h... yes checking for inttypes.h... yes checking for stdint.h... yes checking for unistd.h... yes checking dlfcn.h usability... yes checking dlfcn.h presence... yes checking for dlfcn.h... yes checking for g++... g++ checking whether we are using the GNU C++ compiler... yes checking whether g++ accepts -g... yes checking dependency style of g++... gcc3 checking how to run the C++ preprocessor... g++ -E checking for g77... no checking for xlf... no checking for f77... no checking for frt... no checking for pgf77... no checking for cf77... no checking for fort77... no checking for fl32... no checking for af77... no checking for xlf90... no checking for f90... no checking for pgf90... no checking for pghpf... no checking for epcf90... no checking for gfortran... no checking for g95... no checking for xlf95... no checking for f95... no checking for fort... no checking for ifort... no checking for ifc... no checking for efc... no checking for pgf95... no checking for lf95... no checking for ftn... no checking whether we are using the GNU Fortran 77 compiler... no checking whether accepts -g... no checking the maximum length of command line arguments... 98304 checking command to parse /nix/store/7w2acjgalb0cm7b3bg8yswza4l7iil9y-binutils-2.18/bin/nm -B output from gcc object... ok checking for objdir... .libs checking for ar... ar checking for ranlib... ranlib checking for strip... strip checking if gcc supports -fno-rtti -fno-exceptions... no checking for gcc option to produce PIC... -fPIC checking if gcc PIC flag -fPIC works... yes checking if gcc static flag -static works... yes checking if gcc supports -c -o file.o... yes checking whether the gcc linker (/nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld) supports shared libraries... yes checking whether -lc should be explicitly linked in... no checking dynamic linker characteristics... GNU/Linux ld.so checking how to hardcode library paths into programs... immediate checking whether stripping libraries is possible... yes checking if libtool supports shared libraries... yes checking whether to build shared libraries... yes checking whether to build static libraries... yes configure: creating libtool appending configuration tag "CXX" to libtool checking for ld used by g++... /nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld checking if the linker (/nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld) is GNU ld... yes checking whether the g++ linker (/nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld) supports shared libraries... yes checking for g++ option to produce PIC... -fPIC checking if g++ PIC flag -fPIC works... yes checking if g++ static flag -static works... yes checking if g++ supports -c -o file.o... yes checking whether the g++ linker (/nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld) supports shared libraries... yes checking dynamic linker characteristics... GNU/Linux ld.so (cached) (cached) checking how to hardcode library paths into programs... immediate appending configuration tag "F77" to libtool checking for AIX... no checking for gcc... (cached) gcc checking whether we are using the GNU C compiler... (cached) yes checking whether gcc accepts -g... (cached) yes checking for gcc option to accept ISO C89... (cached) none needed checking dependency style of gcc... (cached) gcc3 checking whether make sets $(MAKE)... (cached) yes checking for void *... yes checking alignment of void *... 8 checking for void *... (cached) yes checking size of void *... 8 checking for int... yes checking size of int... 4 checking for long... yes checking size of long... 8 checking for double... yes checking size of double... 8 configure: creating ./config.status config.status: creating c-library.pc config.status: creating ./statistics/Makefile config.status: creating ./Makefile config.status: creating ./logging/Makefile config.status: executing depfiles commands === configuring in toolbuslib (/tmp/nix-11010-0/sdf2-bundle-2.6/toolbuslib) configure: running /bin/sh ./configure '--prefix=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-bundled-packages=c-library toolbuslib config-support error-support pt-support asf-support sdf-support ptable-support sglr tide-support relation-stores asc-support pgen sdf-library' '--with-aterm=/nix/store/k08p7r9bhxpkj5zbpkg26qsgdz9vcx96-aterm-2.6pre24721-bw562845' '--with-c-library=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-toolbuslib=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-config-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-error-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-pt-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-asf-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-sdf-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-ptable-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-sglr=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-tide-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-relation-stores=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-asc-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-pgen=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-sdf-library=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' --cache-file=/dev/null --srcdir=. checking for a BSD-compatible install... /nix/store/d8imsim3zs87dskyvmgdd24dn9ak4nbp-coreutils-6.12/bin/install -c checking whether build environment is sane... yes checking for gawk... gawk checking whether make sets $(MAKE)... yes checking for pkg-config... /nix/store/0if64djzkfnk1hyy96b4lcgnj5cdy7sl-pkg-config-0.22/bin/pkg-config checking pkg-config is at least version 0.9.0... yes checking whether to enable maintainer-specific portions of Makefiles... no checking whether CFLAGS is set... no checking if PKG_CONFIG_PATH needs to be extended for bundled packages... yes checking whether location of aterm is explicitly set using --with-aterm... yes checking for ATERM... yes checking prefix of package aterm... explicitly set: /nix/store/k08p7r9bhxpkj5zbpkg26qsgdz9vcx96-aterm-2.6pre24721-bw562845 checking if package aterm at this prefix equals the explicitly set package... skipped (bundle) checking the transitive closure of dependencies of aterm... aterm checking if aterm provides jars... no checking if aterm provides ToolBus flags... no checking for style of include used by make... GNU checking for gcc... gcc checking for C compiler default output file name... a.out checking whether the C compiler works... yes checking whether we are cross compiling... no checking for suffix of executables... checking for suffix of object files... o checking whether we are using the GNU C compiler... yes checking whether gcc accepts -g... yes checking for gcc option to accept ISO C89... none needed checking dependency style of gcc... gcc3 checking how to run the C preprocessor... gcc -E checking for grep that handles long lines and -e... /nix/store/iial4mb06c6lxqf0qd4m2yq5317phnh2-gnugrep-2.5.3/bin/grep checking for egrep... /nix/store/iial4mb06c6lxqf0qd4m2yq5317phnh2-gnugrep-2.5.3/bin/grep -E checking build system type... x86_64-unknown-linux-gnu checking host system type... x86_64-unknown-linux-gnu checking for a sed that does not truncate output... /nix/store/9vcbxmwmf7yvlpipkb5za2svacw1q6sv-gnused-4.1.5/bin/sed checking for ld used by gcc... /nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld checking if the linker (/nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld) is GNU ld... yes checking for /nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld option to reload object files... -r checking for BSD-compatible nm... /nix/store/7w2acjgalb0cm7b3bg8yswza4l7iil9y-binutils-2.18/bin/nm -B checking whether ln -s works... yes checking how to recognize dependent libraries... pass_all ./configure: line 5264: /usr/bin/file: No such file or directory checking for ANSI C header files... yes checking for sys/types.h... yes checking for sys/stat.h... yes checking for stdlib.h... yes checking for string.h... yes checking for memory.h... yes checking for strings.h... yes checking for inttypes.h... yes checking for stdint.h... yes checking for unistd.h... yes checking dlfcn.h usability... yes checking dlfcn.h presence... yes checking for dlfcn.h... yes checking for g++... g++ checking whether we are using the GNU C++ compiler... yes checking whether g++ accepts -g... yes checking dependency style of g++... gcc3 checking how to run the C++ preprocessor... g++ -E checking for g77... no checking for xlf... no checking for f77... no checking for frt... no checking for pgf77... no checking for cf77... no checking for fort77... no checking for fl32... no checking for af77... no checking for xlf90... no checking for f90... no checking for pgf90... no checking for pghpf... no checking for epcf90... no checking for gfortran... no checking for g95... no checking for xlf95... no checking for f95... no checking for fort... no checking for ifort... no checking for ifc... no checking for efc... no checking for pgf95... no checking for lf95... no checking for ftn... no checking whether we are using the GNU Fortran 77 compiler... no checking whether accepts -g... no checking the maximum length of command line arguments... 98304 checking command to parse /nix/store/7w2acjgalb0cm7b3bg8yswza4l7iil9y-binutils-2.18/bin/nm -B output from gcc object... ok checking for objdir... .libs checking for ar... ar checking for ranlib... ranlib checking for strip... strip checking if gcc supports -fno-rtti -fno-exceptions... no checking for gcc option to produce PIC... -fPIC checking if gcc PIC flag -fPIC works... yes checking if gcc static flag -static works... yes checking if gcc supports -c -o file.o... yes checking whether the gcc linker (/nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld) supports shared libraries... yes checking whether -lc should be explicitly linked in... no checking dynamic linker characteristics... GNU/Linux ld.so checking how to hardcode library paths into programs... immediate checking whether stripping libraries is possible... yes checking if libtool supports shared libraries... yes checking whether to build shared libraries... yes checking whether to build static libraries... yes configure: creating libtool appending configuration tag "CXX" to libtool checking for ld used by g++... /nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld checking if the linker (/nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld) is GNU ld... yes checking whether the g++ linker (/nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld) supports shared libraries... yes checking for g++ option to produce PIC... -fPIC checking if g++ PIC flag -fPIC works... yes checking if g++ static flag -static works... yes checking if g++ supports -c -o file.o... yes checking whether the g++ linker (/nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld) supports shared libraries... yes checking dynamic linker characteristics... GNU/Linux ld.so (cached) (cached) checking how to hardcode library paths into programs... immediate appending configuration tag "F77" to libtool checking for AIX... no checking for gcc... (cached) gcc checking whether we are using the GNU C compiler... (cached) yes checking whether gcc accepts -g... (cached) yes checking for gcc option to accept ISO C89... (cached) none needed checking dependency style of gcc... (cached) gcc3 checking whether make sets $(MAKE)... (cached) yes checking for void *... yes checking alignment of void *... 8 checking for void *... (cached) yes checking size of void *... 8 checking for int... yes checking size of int... 4 checking for long... yes checking size of long... 8 checking for double... yes checking size of double... 8 checking assert.h usability... yes checking assert.h presence... yes checking for assert.h... yes checking errno.h usability... yes checking errno.h presence... yes checking for errno.h... yes checking netdb.h usability... yes checking netdb.h presence... yes checking for netdb.h... yes checking netinet/in.h usability... yes checking netinet/in.h presence... yes checking for netinet/in.h... yes checking netinet/tcp.h usability... yes checking netinet/tcp.h presence... yes checking for netinet/tcp.h... yes checking sys/param.h usability... yes checking sys/param.h presence... yes checking for sys/param.h... yes checking sys/socket.h usability... yes checking sys/socket.h presence... yes checking for sys/socket.h... yes checking sys/time.h usability... yes checking sys/time.h presence... yes checking for sys/time.h... yes checking sys/un.h usability... yes checking sys/un.h presence... yes checking for sys/un.h... yes checking for unistd.h... (cached) yes checking for strerror... yes checking for strdup... yes checking for socket in -lsun... no checking for socket in -lsocket... no checking for socket in -lbsd... no checking for gethostname in -lsun... no checking for gethostname in -lnsl... yes configure: creating ./config.status config.status: creating toolbuslib.pc config.status: creating ./Makefile config.status: creating ./tifstoc/Makefile config.status: creating ./tifstoc/src/Makefile config.status: creating ./src/Makefile config.status: executing depfiles commands === configuring in config-support (/tmp/nix-11010-0/sdf2-bundle-2.6/config-support) configure: running /bin/sh ./configure '--prefix=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-bundled-packages=c-library toolbuslib config-support error-support pt-support asf-support sdf-support ptable-support sglr tide-support relation-stores asc-support pgen sdf-library' '--with-aterm=/nix/store/k08p7r9bhxpkj5zbpkg26qsgdz9vcx96-aterm-2.6pre24721-bw562845' '--with-c-library=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-toolbuslib=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-config-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-error-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-pt-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-asf-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-sdf-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-ptable-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-sglr=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-tide-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-relation-stores=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-asc-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-pgen=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-sdf-library=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' --cache-file=/dev/null --srcdir=. checking for a BSD-compatible install... /nix/store/d8imsim3zs87dskyvmgdd24dn9ak4nbp-coreutils-6.12/bin/install -c checking whether build environment is sane... yes checking for gawk... gawk checking whether make sets $(MAKE)... yes checking for pkg-config... /nix/store/0if64djzkfnk1hyy96b4lcgnj5cdy7sl-pkg-config-0.22/bin/pkg-config checking pkg-config is at least version 0.9.0... yes checking whether to enable maintainer-specific portions of Makefiles... no checking whether CFLAGS is set... no checking if PKG_CONFIG_PATH needs to be extended for bundled packages... yes checking whether location of aterm is explicitly set using --with-aterm... yes checking for ATERM... yes checking prefix of package aterm... explicitly set: /nix/store/k08p7r9bhxpkj5zbpkg26qsgdz9vcx96-aterm-2.6pre24721-bw562845 checking if package aterm at this prefix equals the explicitly set package... skipped (bundle) checking the transitive closure of dependencies of aterm... aterm checking if aterm provides jars... no checking if aterm provides ToolBus flags... no checking for style of include used by make... GNU checking for gcc... gcc checking for C compiler default output file name... a.out checking whether the C compiler works... yes checking whether we are cross compiling... no checking for suffix of executables... checking for suffix of object files... o checking whether we are using the GNU C compiler... yes checking whether gcc accepts -g... yes checking for gcc option to accept ISO C89... none needed checking dependency style of gcc... gcc3 checking how to run the C preprocessor... gcc -E checking for grep that handles long lines and -e... /nix/store/iial4mb06c6lxqf0qd4m2yq5317phnh2-gnugrep-2.5.3/bin/grep checking for egrep... /nix/store/iial4mb06c6lxqf0qd4m2yq5317phnh2-gnugrep-2.5.3/bin/grep -E checking build system type... x86_64-unknown-linux-gnu checking host system type... x86_64-unknown-linux-gnu checking for a sed that does not truncate output... /nix/store/9vcbxmwmf7yvlpipkb5za2svacw1q6sv-gnused-4.1.5/bin/sed checking for ld used by gcc... /nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld checking if the linker (/nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld) is GNU ld... yes checking for /nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld option to reload object files... -r checking for BSD-compatible nm... /nix/store/7w2acjgalb0cm7b3bg8yswza4l7iil9y-binutils-2.18/bin/nm -B checking whether ln -s works... yes checking how to recognize dependent libraries... pass_all ./configure: line 5263: /usr/bin/file: No such file or directory checking for ANSI C header files... yes checking for sys/types.h... yes checking for sys/stat.h... yes checking for stdlib.h... yes checking for string.h... yes checking for memory.h... yes checking for strings.h... yes checking for inttypes.h... yes checking for stdint.h... yes checking for unistd.h... yes checking dlfcn.h usability... yes checking dlfcn.h presence... yes checking for dlfcn.h... yes checking for g++... g++ checking whether we are using the GNU C++ compiler... yes checking whether g++ accepts -g... yes checking dependency style of g++... gcc3 checking how to run the C++ preprocessor... g++ -E checking for g77... no checking for xlf... no checking for f77... no checking for frt... no checking for pgf77... no checking for cf77... no checking for fort77... no checking for fl32... no checking for af77... no checking for xlf90... no checking for f90... no checking for pgf90... no checking for pghpf... no checking for epcf90... no checking for gfortran... no checking for g95... no checking for xlf95... no checking for f95... no checking for fort... no checking for ifort... no checking for ifc... no checking for efc... no checking for pgf95... no checking for lf95... no checking for ftn... no checking whether we are using the GNU Fortran 77 compiler... no checking whether accepts -g... no checking the maximum length of command line arguments... 98304 checking command to parse /nix/store/7w2acjgalb0cm7b3bg8yswza4l7iil9y-binutils-2.18/bin/nm -B output from gcc object... ok checking for objdir... .libs checking for ar... ar checking for ranlib... ranlib checking for strip... strip checking if gcc supports -fno-rtti -fno-exceptions... no checking for gcc option to produce PIC... -fPIC checking if gcc PIC flag -fPIC works... yes checking if gcc static flag -static works... yes checking if gcc supports -c -o file.o... yes checking whether the gcc linker (/nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld) supports shared libraries... yes checking whether -lc should be explicitly linked in... no checking dynamic linker characteristics... GNU/Linux ld.so checking how to hardcode library paths into programs... immediate checking whether stripping libraries is possible... yes checking if libtool supports shared libraries... yes checking whether to build shared libraries... yes checking whether to build static libraries... yes configure: creating libtool appending configuration tag "CXX" to libtool checking for ld used by g++... /nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld checking if the linker (/nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld) is GNU ld... yes checking whether the g++ linker (/nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld) supports shared libraries... yes checking for g++ option to produce PIC... -fPIC checking if g++ PIC flag -fPIC works... yes checking if g++ static flag -static works... yes checking if g++ supports -c -o file.o... yes checking whether the g++ linker (/nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld) supports shared libraries... yes checking dynamic linker characteristics... GNU/Linux ld.so (cached) (cached) checking how to hardcode library paths into programs... immediate appending configuration tag "F77" to libtool checking for AIX... no checking for gcc... (cached) gcc checking whether we are using the GNU C compiler... (cached) yes checking whether gcc accepts -g... (cached) yes checking for gcc option to accept ISO C89... (cached) none needed checking dependency style of gcc... (cached) gcc3 checking whether make sets $(MAKE)... (cached) yes checking for void *... yes checking alignment of void *... 8 checking for void *... (cached) yes checking size of void *... 8 checking for int... yes checking size of int... 4 checking for long... yes checking size of long... 8 checking for double... yes checking size of double... 8 configure: creating ./config.status config.status: creating config-support.pc config.status: creating ./Makefile config.status: creating ./lib/Makefile config.status: executing depfiles commands === configuring in error-support (/tmp/nix-11010-0/sdf2-bundle-2.6/error-support) configure: running /bin/sh ./configure '--prefix=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-bundled-packages=c-library toolbuslib config-support error-support pt-support asf-support sdf-support ptable-support sglr tide-support relation-stores asc-support pgen sdf-library' '--with-aterm=/nix/store/k08p7r9bhxpkj5zbpkg26qsgdz9vcx96-aterm-2.6pre24721-bw562845' '--with-c-library=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-toolbuslib=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-config-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-error-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-pt-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-asf-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-sdf-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-ptable-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-sglr=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-tide-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-relation-stores=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-asc-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-pgen=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-sdf-library=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' --cache-file=/dev/null --srcdir=. checking for a BSD-compatible install... /nix/store/d8imsim3zs87dskyvmgdd24dn9ak4nbp-coreutils-6.12/bin/install -c checking whether build environment is sane... yes checking for gawk... gawk checking whether make sets $(MAKE)... yes checking for pkg-config... /nix/store/0if64djzkfnk1hyy96b4lcgnj5cdy7sl-pkg-config-0.22/bin/pkg-config checking pkg-config is at least version 0.9.0... yes checking whether to enable maintainer-specific portions of Makefiles... no checking whether CFLAGS is set... no checking if PKG_CONFIG_PATH needs to be extended for bundled packages... yes checking whether location of aterm is explicitly set using --with-aterm... yes checking whether location of toolbuslib is explicitly set using --with-toolbuslib... yes grep: /nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle/lib/pkgconfig/toolbuslib.pc: No such file or directory checking for ATERM... yes checking for TOOLBUSLIB... yes checking prefix of package aterm... explicitly set: /nix/store/k08p7r9bhxpkj5zbpkg26qsgdz9vcx96-aterm-2.6pre24721-bw562845 checking if package aterm at this prefix equals the explicitly set package... skipped (bundle) checking the transitive closure of dependencies of aterm... aterm checking if aterm provides jars... no checking if aterm provides ToolBus flags... no checking prefix of package toolbuslib... explicitly set: /nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle checking if package toolbuslib at this prefix equals the explicitly set package... skipped (bundle) checking the transitive closure of dependencies of toolbuslib... toolbuslib aterm checking if toolbuslib provides jars... no checking if toolbuslib provides ToolBus flags... no checking for style of include used by make... GNU checking for gcc... gcc checking for C compiler default output file name... a.out checking whether the C compiler works... yes checking whether we are cross compiling... no checking for suffix of executables... checking for suffix of object files... o checking whether we are using the GNU C compiler... yes checking whether gcc accepts -g... yes checking for gcc option to accept ISO C89... none needed checking dependency style of gcc... gcc3 checking how to run the C preprocessor... gcc -E checking for grep that handles long lines and -e... /nix/store/iial4mb06c6lxqf0qd4m2yq5317phnh2-gnugrep-2.5.3/bin/grep checking for egrep... /nix/store/iial4mb06c6lxqf0qd4m2yq5317phnh2-gnugrep-2.5.3/bin/grep -E checking build system type... x86_64-unknown-linux-gnu checking host system type... x86_64-unknown-linux-gnu checking for a sed that does not truncate output... /nix/store/9vcbxmwmf7yvlpipkb5za2svacw1q6sv-gnused-4.1.5/bin/sed checking for ld used by gcc... /nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld checking if the linker (/nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld) is GNU ld... yes checking for /nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld option to reload object files... -r checking for BSD-compatible nm... /nix/store/7w2acjgalb0cm7b3bg8yswza4l7iil9y-binutils-2.18/bin/nm -B checking whether ln -s works... yes checking how to recognize dependent libraries... pass_all ./configure: line 5611: /usr/bin/file: No such file or directory checking for ANSI C header files... yes checking for sys/types.h... yes checking for sys/stat.h... yes checking for stdlib.h... yes checking for string.h... yes checking for memory.h... yes checking for strings.h... yes checking for inttypes.h... yes checking for stdint.h... yes checking for unistd.h... yes checking dlfcn.h usability... yes checking dlfcn.h presence... yes checking for dlfcn.h... yes checking for g++... g++ checking whether we are using the GNU C++ compiler... yes checking whether g++ accepts -g... yes checking dependency style of g++... gcc3 checking how to run the C++ preprocessor... g++ -E checking for g77... no checking for xlf... no checking for f77... no checking for frt... no checking for pgf77... no checking for cf77... no checking for fort77... no checking for fl32... no checking for af77... no checking for xlf90... no checking for f90... no checking for pgf90... no checking for pghpf... no checking for epcf90... no checking for gfortran... no checking for g95... no checking for xlf95... no checking for f95... no checking for fort... no checking for ifort... no checking for ifc... no checking for efc... no checking for pgf95... no checking for lf95... no checking for ftn... no checking whether we are using the GNU Fortran 77 compiler... no checking whether accepts -g... no checking the maximum length of command line arguments... 98304 checking command to parse /nix/store/7w2acjgalb0cm7b3bg8yswza4l7iil9y-binutils-2.18/bin/nm -B output from gcc object... ok checking for objdir... .libs checking for ar... ar checking for ranlib... ranlib checking for strip... strip checking if gcc supports -fno-rtti -fno-exceptions... no checking for gcc option to produce PIC... -fPIC checking if gcc PIC flag -fPIC works... yes checking if gcc static flag -static works... yes checking if gcc supports -c -o file.o... yes checking whether the gcc linker (/nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld) supports shared libraries... yes checking whether -lc should be explicitly linked in... no checking dynamic linker characteristics... GNU/Linux ld.so checking how to hardcode library paths into programs... immediate checking whether stripping libraries is possible... yes checking if libtool supports shared libraries... yes checking whether to build shared libraries... yes checking whether to build static libraries... yes configure: creating libtool appending configuration tag "CXX" to libtool checking for ld used by g++... /nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld checking if the linker (/nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld) is GNU ld... yes checking whether the g++ linker (/nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld) supports shared libraries... yes checking for g++ option to produce PIC... -fPIC checking if g++ PIC flag -fPIC works... yes checking if g++ static flag -static works... yes checking if g++ supports -c -o file.o... yes checking whether the g++ linker (/nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld) supports shared libraries... yes checking dynamic linker characteristics... GNU/Linux ld.so (cached) (cached) checking how to hardcode library paths into programs... immediate appending configuration tag "F77" to libtool checking for AIX... no checking for gcc... (cached) gcc checking whether we are using the GNU C compiler... (cached) yes checking whether gcc accepts -g... (cached) yes checking for gcc option to accept ISO C89... (cached) none needed checking dependency style of gcc... (cached) gcc3 checking whether make sets $(MAKE)... (cached) yes checking for void *... yes checking alignment of void *... 8 checking for void *... (cached) yes checking size of void *... 8 checking for int... yes checking size of int... 4 checking for long... yes checking size of long... 8 checking for double... yes checking size of double... 8 configure: creating ./config.status config.status: creating error-support.pc config.status: creating ./Makefile config.status: creating ./utils/Makefile config.status: creating ./utils/lower-error/Makefile config.status: creating ./utils/error-diff/Makefile config.status: creating ./utils/lift-error/Makefile config.status: creating ./doc/Makefile config.status: creating ./lib/Makefile config.status: executing depfiles commands === configuring in pt-support (/tmp/nix-11010-0/sdf2-bundle-2.6/pt-support) configure: running /bin/sh ./configure '--prefix=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-bundled-packages=c-library toolbuslib config-support error-support pt-support asf-support sdf-support ptable-support sglr tide-support relation-stores asc-support pgen sdf-library' '--with-aterm=/nix/store/k08p7r9bhxpkj5zbpkg26qsgdz9vcx96-aterm-2.6pre24721-bw562845' '--with-c-library=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-toolbuslib=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-config-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-error-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-pt-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-asf-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-sdf-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-ptable-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-sglr=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-tide-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-relation-stores=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-asc-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-pgen=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-sdf-library=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' --cache-file=/dev/null --srcdir=. checking for a BSD-compatible install... /nix/store/d8imsim3zs87dskyvmgdd24dn9ak4nbp-coreutils-6.12/bin/install -c checking whether build environment is sane... yes checking for gawk... gawk checking whether make sets $(MAKE)... yes checking for pkg-config... /nix/store/0if64djzkfnk1hyy96b4lcgnj5cdy7sl-pkg-config-0.22/bin/pkg-config checking pkg-config is at least version 0.9.0... yes checking whether to enable maintainer-specific portions of Makefiles... no checking whether CFLAGS is set... no checking if PKG_CONFIG_PATH needs to be extended for bundled packages... yes checking whether location of aterm is explicitly set using --with-aterm... yes checking whether location of error-support is explicitly set using --with-error-support... yes grep: /nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle/lib/pkgconfig/error-support.pc: No such file or directory checking whether location of toolbuslib is explicitly set using --with-toolbuslib... yes grep: /nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle/lib/pkgconfig/toolbuslib.pc: No such file or directory checking for ATERM... yes checking for ERROR_SUPPORT... yes checking for TOOLBUSLIB... yes checking prefix of package aterm... explicitly set: /nix/store/k08p7r9bhxpkj5zbpkg26qsgdz9vcx96-aterm-2.6pre24721-bw562845 checking if package aterm at this prefix equals the explicitly set package... skipped (bundle) checking the transitive closure of dependencies of aterm... aterm checking if aterm provides jars... no checking if aterm provides ToolBus flags... no checking prefix of package error-support... explicitly set: /nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle checking if package error-support at this prefix equals the explicitly set package... skipped (bundle) checking the transitive closure of dependencies of error-support... error-support aterm toolbuslib checking if error-support provides jars... :/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle/share/error-support/errorapi.jar:/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle/share/error-support/locationapi.jar checking if error-support provides ToolBus flags... yes checking prefix of package toolbuslib... explicitly set: /nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle checking if package toolbuslib at this prefix equals the explicitly set package... skipped (bundle) checking the transitive closure of dependencies of toolbuslib... toolbuslib aterm checking if toolbuslib provides jars... no checking if toolbuslib provides ToolBus flags... no checking for style of include used by make... GNU checking for gcc... gcc checking for C compiler default output file name... a.out checking whether the C compiler works... yes checking whether we are cross compiling... no checking for suffix of executables... checking for suffix of object files... o checking whether we are using the GNU C compiler... yes checking whether gcc accepts -g... yes checking for gcc option to accept ISO C89... none needed checking dependency style of gcc... gcc3 checking how to run the C preprocessor... gcc -E checking for grep that handles long lines and -e... /nix/store/iial4mb06c6lxqf0qd4m2yq5317phnh2-gnugrep-2.5.3/bin/grep checking for egrep... /nix/store/iial4mb06c6lxqf0qd4m2yq5317phnh2-gnugrep-2.5.3/bin/grep -E checking build system type... x86_64-unknown-linux-gnu checking host system type... x86_64-unknown-linux-gnu checking for a sed that does not truncate output... /nix/store/9vcbxmwmf7yvlpipkb5za2svacw1q6sv-gnused-4.1.5/bin/sed checking for ld used by gcc... /nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld checking if the linker (/nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld) is GNU ld... yes checking for /nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld option to reload object files... -r checking for BSD-compatible nm... /nix/store/7w2acjgalb0cm7b3bg8yswza4l7iil9y-binutils-2.18/bin/nm -B checking whether ln -s works... yes checking how to recognize dependent libraries... pass_all ./configure: line 5960: /usr/bin/file: No such file or directory checking for ANSI C header files... yes checking for sys/types.h... yes checking for sys/stat.h... yes checking for stdlib.h... yes checking for string.h... yes checking for memory.h... yes checking for strings.h... yes checking for inttypes.h... yes checking for stdint.h... yes checking for unistd.h... yes checking dlfcn.h usability... yes checking dlfcn.h presence... yes checking for dlfcn.h... yes checking for g++... g++ checking whether we are using the GNU C++ compiler... yes checking whether g++ accepts -g... yes checking dependency style of g++... gcc3 checking how to run the C++ preprocessor... g++ -E checking for g77... no checking for xlf... no checking for f77... no checking for frt... no checking for pgf77... no checking for cf77... no checking for fort77... no checking for fl32... no checking for af77... no checking for xlf90... no checking for f90... no checking for pgf90... no checking for pghpf... no checking for epcf90... no checking for gfortran... no checking for g95... no checking for xlf95... no checking for f95... no checking for fort... no checking for ifort... no checking for ifc... no checking for efc... no checking for pgf95... no checking for lf95... no checking for ftn... no checking whether we are using the GNU Fortran 77 compiler... no checking whether accepts -g... no checking the maximum length of command line arguments... 98304 checking command to parse /nix/store/7w2acjgalb0cm7b3bg8yswza4l7iil9y-binutils-2.18/bin/nm -B output from gcc object... ok checking for objdir... .libs checking for ar... ar checking for ranlib... ranlib checking for strip... strip checking if gcc supports -fno-rtti -fno-exceptions... no checking for gcc option to produce PIC... -fPIC checking if gcc PIC flag -fPIC works... yes checking if gcc static flag -static works... yes checking if gcc supports -c -o file.o... yes checking whether the gcc linker (/nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld) supports shared libraries... yes checking whether -lc should be explicitly linked in... no checking dynamic linker characteristics... GNU/Linux ld.so checking how to hardcode library paths into programs... immediate checking whether stripping libraries is possible... yes checking if libtool supports shared libraries... yes checking whether to build shared libraries... yes checking whether to build static libraries... yes configure: creating libtool appending configuration tag "CXX" to libtool checking for ld used by g++... /nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld checking if the linker (/nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld) is GNU ld... yes checking whether the g++ linker (/nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld) supports shared libraries... yes checking for g++ option to produce PIC... -fPIC checking if g++ PIC flag -fPIC works... yes checking if g++ static flag -static works... yes checking if g++ supports -c -o file.o... yes checking whether the g++ linker (/nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld) supports shared libraries... yes checking dynamic linker characteristics... GNU/Linux ld.so (cached) (cached) checking how to hardcode library paths into programs... immediate appending configuration tag "F77" to libtool checking for AIX... no checking for gcc... (cached) gcc checking whether we are using the GNU C compiler... (cached) yes checking whether gcc accepts -g... (cached) yes checking for gcc option to accept ISO C89... (cached) none needed checking dependency style of gcc... (cached) gcc3 checking whether make sets $(MAKE)... (cached) yes checking for void *... yes checking alignment of void *... 8 checking for void *... (cached) yes checking size of void *... 8 checking for int... yes checking size of int... 4 checking for long... yes checking size of long... 8 checking for double... yes checking size of double... 8 configure: creating ./config.status config.status: creating pt-support.pc config.status: creating ./Makefile config.status: creating ./libptmept/Makefile config.status: creating ./libmept/Makefile config.status: creating ./test/Makefile config.status: creating ./test/terms/Makefile config.status: creating ./utils/Makefile config.status: creating ./utils/filterPT/Makefile config.status: creating ./utils/filterPT/test/Makefile config.status: creating ./utils/filterPT/test/terms/Makefile config.status: creating ./utils/filterPT/test/out/Makefile config.status: creating ./utils/filterPT/test/sdf/Makefile config.status: creating ./utils/filterPT/test/in/Makefile config.status: creating ./utils/implodePT/Makefile config.status: creating ./utils/implodePT/test/grammar/Makefile config.status: creating ./utils/implodePT/test/Makefile config.status: creating ./utils/implodePT/test/terms/Makefile config.status: creating ./utils/implodePT/test/out/Makefile config.status: creating ./utils/implodePT/test/in/Makefile config.status: executing depfiles commands === configuring in asf-support (/tmp/nix-11010-0/sdf2-bundle-2.6/asf-support) configure: running /bin/sh ./configure '--prefix=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-bundled-packages=c-library toolbuslib config-support error-support pt-support asf-support sdf-support ptable-support sglr tide-support relation-stores asc-support pgen sdf-library' '--with-aterm=/nix/store/k08p7r9bhxpkj5zbpkg26qsgdz9vcx96-aterm-2.6pre24721-bw562845' '--with-c-library=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-toolbuslib=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-config-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-error-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-pt-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-asf-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-sdf-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-ptable-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-sglr=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-tide-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-relation-stores=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-asc-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-pgen=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-sdf-library=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' --cache-file=/dev/null --srcdir=. checking for a BSD-compatible install... /nix/store/d8imsim3zs87dskyvmgdd24dn9ak4nbp-coreutils-6.12/bin/install -c checking whether build environment is sane... yes checking for gawk... gawk checking whether make sets $(MAKE)... yes checking for pkg-config... /nix/store/0if64djzkfnk1hyy96b4lcgnj5cdy7sl-pkg-config-0.22/bin/pkg-config checking pkg-config is at least version 0.9.0... yes checking whether to enable maintainer-specific portions of Makefiles... no checking whether CFLAGS is set... no checking if PKG_CONFIG_PATH needs to be extended for bundled packages... yes checking whether location of aterm is explicitly set using --with-aterm... yes checking whether location of error-support is explicitly set using --with-error-support... yes grep: /nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle/lib/pkgconfig/error-support.pc: No such file or directory checking whether location of pt-support is explicitly set using --with-pt-support... yes grep: /nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle/lib/pkgconfig/pt-support.pc: No such file or directory checking for ATERM... yes checking for ERROR_SUPPORT... yes checking for PT_SUPPORT... yes checking prefix of package aterm... explicitly set: /nix/store/k08p7r9bhxpkj5zbpkg26qsgdz9vcx96-aterm-2.6pre24721-bw562845 checking if package aterm at this prefix equals the explicitly set package... skipped (bundle) checking the transitive closure of dependencies of aterm... aterm checking if aterm provides jars... no checking if aterm provides ToolBus flags... no checking prefix of package error-support... explicitly set: /nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle checking if package error-support at this prefix equals the explicitly set package... skipped (bundle) checking the transitive closure of dependencies of error-support... error-support aterm toolbuslib checking if error-support provides jars... :/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle/share/error-support/errorapi.jar:/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle/share/error-support/locationapi.jar checking if error-support provides ToolBus flags... yes checking prefix of package pt-support... explicitly set: /nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle checking if package pt-support at this prefix equals the explicitly set package... skipped (bundle) checking the transitive closure of dependencies of pt-support... pt-support aterm error-support toolbuslib toolbuslib checking if pt-support provides jars... :/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle/share/error-support/errorapi.jar:/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle/share/error-support/locationapi.jar checking if pt-support provides ToolBus flags... yes checking for style of include used by make... GNU checking for gcc... gcc checking for C compiler default output file name... a.out checking whether the C compiler works... yes checking whether we are cross compiling... no checking for suffix of executables... checking for suffix of object files... o checking whether we are using the GNU C compiler... yes checking whether gcc accepts -g... yes checking for gcc option to accept ISO C89... none needed checking dependency style of gcc... gcc3 checking how to run the C preprocessor... gcc -E checking for grep that handles long lines and -e... /nix/store/iial4mb06c6lxqf0qd4m2yq5317phnh2-gnugrep-2.5.3/bin/grep checking for egrep... /nix/store/iial4mb06c6lxqf0qd4m2yq5317phnh2-gnugrep-2.5.3/bin/grep -E checking build system type... x86_64-unknown-linux-gnu checking host system type... x86_64-unknown-linux-gnu checking for a sed that does not truncate output... /nix/store/9vcbxmwmf7yvlpipkb5za2svacw1q6sv-gnused-4.1.5/bin/sed checking for ld used by gcc... /nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld checking if the linker (/nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld) is GNU ld... yes checking for /nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld option to reload object files... -r checking for BSD-compatible nm... /nix/store/7w2acjgalb0cm7b3bg8yswza4l7iil9y-binutils-2.18/bin/nm -B checking whether ln -s works... yes checking how to recognize dependent libraries... pass_all ./configure: line 5960: /usr/bin/file: No such file or directory checking for ANSI C header files... yes checking for sys/types.h... yes checking for sys/stat.h... yes checking for stdlib.h... yes checking for string.h... yes checking for memory.h... yes checking for strings.h... yes checking for inttypes.h... yes checking for stdint.h... yes checking for unistd.h... yes checking dlfcn.h usability... yes checking dlfcn.h presence... yes checking for dlfcn.h... yes checking for g++... g++ checking whether we are using the GNU C++ compiler... yes checking whether g++ accepts -g... yes checking dependency style of g++... gcc3 checking how to run the C++ preprocessor... g++ -E checking for g77... no checking for xlf... no checking for f77... no checking for frt... no checking for pgf77... no checking for cf77... no checking for fort77... no checking for fl32... no checking for af77... no checking for xlf90... no checking for f90... no checking for pgf90... no checking for pghpf... no checking for epcf90... no checking for gfortran... no checking for g95... no checking for xlf95... no checking for f95... no checking for fort... no checking for ifort... no checking for ifc... no checking for efc... no checking for pgf95... no checking for lf95... no checking for ftn... no checking whether we are using the GNU Fortran 77 compiler... no checking whether accepts -g... no checking the maximum length of command line arguments... 98304 checking command to parse /nix/store/7w2acjgalb0cm7b3bg8yswza4l7iil9y-binutils-2.18/bin/nm -B output from gcc object... ok checking for objdir... .libs checking for ar... ar checking for ranlib... ranlib checking for strip... strip checking if gcc supports -fno-rtti -fno-exceptions... no checking for gcc option to produce PIC... -fPIC checking if gcc PIC flag -fPIC works... yes checking if gcc static flag -static works... yes checking if gcc supports -c -o file.o... yes checking whether the gcc linker (/nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld) supports shared libraries... yes checking whether -lc should be explicitly linked in... no checking dynamic linker characteristics... GNU/Linux ld.so checking how to hardcode library paths into programs... immediate checking whether stripping libraries is possible... yes checking if libtool supports shared libraries... yes checking whether to build shared libraries... yes checking whether to build static libraries... yes configure: creating libtool appending configuration tag "CXX" to libtool checking for ld used by g++... /nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld checking if the linker (/nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld) is GNU ld... yes checking whether the g++ linker (/nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld) supports shared libraries... yes checking for g++ option to produce PIC... -fPIC checking if g++ PIC flag -fPIC works... yes checking if g++ static flag -static works... yes checking if g++ supports -c -o file.o... yes checking whether the g++ linker (/nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld) supports shared libraries... yes checking dynamic linker characteristics... GNU/Linux ld.so (cached) (cached) checking how to hardcode library paths into programs... immediate appending configuration tag "F77" to libtool checking for AIX... no checking for gcc... (cached) gcc checking whether we are using the GNU C compiler... (cached) yes checking whether gcc accepts -g... (cached) yes checking for gcc option to accept ISO C89... (cached) none needed checking dependency style of gcc... (cached) gcc3 checking whether make sets $(MAKE)... (cached) yes checking for void *... yes checking alignment of void *... 8 checking for void *... (cached) yes checking size of void *... 8 checking for int... yes checking size of int... 4 checking for long... yes checking size of long... 8 checking for double... yes checking size of double... 8 configure: creating ./config.status config.status: creating asf-support.pc config.status: creating ./Makefile config.status: creating ./lib/Makefile config.status: executing depfiles commands === configuring in sdf-support (/tmp/nix-11010-0/sdf2-bundle-2.6/sdf-support) configure: running /bin/sh ./configure '--prefix=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-bundled-packages=c-library toolbuslib config-support error-support pt-support asf-support sdf-support ptable-support sglr tide-support relation-stores asc-support pgen sdf-library' '--with-aterm=/nix/store/k08p7r9bhxpkj5zbpkg26qsgdz9vcx96-aterm-2.6pre24721-bw562845' '--with-c-library=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-toolbuslib=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-config-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-error-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-pt-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-asf-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-sdf-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-ptable-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-sglr=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-tide-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-relation-stores=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-asc-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-pgen=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-sdf-library=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' --cache-file=/dev/null --srcdir=. checking for a BSD-compatible install... /nix/store/d8imsim3zs87dskyvmgdd24dn9ak4nbp-coreutils-6.12/bin/install -c checking whether build environment is sane... yes checking for gawk... gawk checking whether make sets $(MAKE)... yes checking for pkg-config... /nix/store/0if64djzkfnk1hyy96b4lcgnj5cdy7sl-pkg-config-0.22/bin/pkg-config checking pkg-config is at least version 0.9.0... yes checking whether to enable maintainer-specific portions of Makefiles... no checking whether CFLAGS is set... no checking if PKG_CONFIG_PATH needs to be extended for bundled packages... yes checking whether location of aterm is explicitly set using --with-aterm... yes checking whether location of error-support is explicitly set using --with-error-support... yes grep: /nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle/lib/pkgconfig/error-support.pc: No such file or directory checking whether location of pt-support is explicitly set using --with-pt-support... yes grep: /nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle/lib/pkgconfig/pt-support.pc: No such file or directory checking whether location of toolbuslib is explicitly set using --with-toolbuslib... yes grep: /nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle/lib/pkgconfig/toolbuslib.pc: No such file or directory checking for ATERM... yes checking for ERROR_SUPPORT... yes checking for PT_SUPPORT... yes checking for TOOLBUSLIB... yes checking prefix of package aterm... explicitly set: /nix/store/k08p7r9bhxpkj5zbpkg26qsgdz9vcx96-aterm-2.6pre24721-bw562845 checking if package aterm at this prefix equals the explicitly set package... skipped (bundle) checking the transitive closure of dependencies of aterm... aterm checking if aterm provides jars... no checking if aterm provides ToolBus flags... no checking prefix of package error-support... explicitly set: /nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle checking if package error-support at this prefix equals the explicitly set package... skipped (bundle) checking the transitive closure of dependencies of error-support... error-support aterm toolbuslib checking if error-support provides jars... :/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle/share/error-support/errorapi.jar:/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle/share/error-support/locationapi.jar checking if error-support provides ToolBus flags... yes checking prefix of package pt-support... explicitly set: /nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle checking if package pt-support at this prefix equals the explicitly set package... skipped (bundle) checking the transitive closure of dependencies of pt-support... pt-support aterm error-support toolbuslib toolbuslib checking if pt-support provides jars... :/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle/share/error-support/errorapi.jar:/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle/share/error-support/locationapi.jar checking if pt-support provides ToolBus flags... yes checking prefix of package toolbuslib... explicitly set: /nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle checking if package toolbuslib at this prefix equals the explicitly set package... skipped (bundle) checking the transitive closure of dependencies of toolbuslib... toolbuslib aterm checking if toolbuslib provides jars... no checking if toolbuslib provides ToolBus flags... no checking for style of include used by make... GNU checking for gcc... gcc checking for C compiler default output file name... a.out checking whether the C compiler works... yes checking whether we are cross compiling... no checking for suffix of executables... checking for suffix of object files... o checking whether we are using the GNU C compiler... yes checking whether gcc accepts -g... yes checking for gcc option to accept ISO C89... none needed checking dependency style of gcc... gcc3 checking how to run the C preprocessor... gcc -E checking for grep that handles long lines and -e... /nix/store/iial4mb06c6lxqf0qd4m2yq5317phnh2-gnugrep-2.5.3/bin/grep checking for egrep... /nix/store/iial4mb06c6lxqf0qd4m2yq5317phnh2-gnugrep-2.5.3/bin/grep -E checking build system type... x86_64-unknown-linux-gnu checking host system type... x86_64-unknown-linux-gnu checking for a sed that does not truncate output... /nix/store/9vcbxmwmf7yvlpipkb5za2svacw1q6sv-gnused-4.1.5/bin/sed checking for ld used by gcc... /nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld checking if the linker (/nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld) is GNU ld... yes checking for /nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld option to reload object files... -r checking for BSD-compatible nm... /nix/store/7w2acjgalb0cm7b3bg8yswza4l7iil9y-binutils-2.18/bin/nm -B checking whether ln -s works... yes checking how to recognize dependent libraries... pass_all ./configure: line 6308: /usr/bin/file: No such file or directory checking for ANSI C header files... yes checking for sys/types.h... yes checking for sys/stat.h... yes checking for stdlib.h... yes checking for string.h... yes checking for memory.h... yes checking for strings.h... yes checking for inttypes.h... yes checking for stdint.h... yes checking for unistd.h... yes checking dlfcn.h usability... yes checking dlfcn.h presence... yes checking for dlfcn.h... yes checking for g++... g++ checking whether we are using the GNU C++ compiler... yes checking whether g++ accepts -g... yes checking dependency style of g++... gcc3 checking how to run the C++ preprocessor... g++ -E checking for g77... no checking for xlf... no checking for f77... no checking for frt... no checking for pgf77... no checking for cf77... no checking for fort77... no checking for fl32... no checking for af77... no checking for xlf90... no checking for f90... no checking for pgf90... no checking for pghpf... no checking for epcf90... no checking for gfortran... no checking for g95... no checking for xlf95... no checking for f95... no checking for fort... no checking for ifort... no checking for ifc... no checking for efc... no checking for pgf95... no checking for lf95... no checking for ftn... no checking whether we are using the GNU Fortran 77 compiler... no checking whether accepts -g... no checking the maximum length of command line arguments... 98304 checking command to parse /nix/store/7w2acjgalb0cm7b3bg8yswza4l7iil9y-binutils-2.18/bin/nm -B output from gcc object... ok checking for objdir... .libs checking for ar... ar checking for ranlib... ranlib checking for strip... strip checking if gcc supports -fno-rtti -fno-exceptions... no checking for gcc option to produce PIC... -fPIC checking if gcc PIC flag -fPIC works... yes checking if gcc static flag -static works... yes checking if gcc supports -c -o file.o... yes checking whether the gcc linker (/nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld) supports shared libraries... yes checking whether -lc should be explicitly linked in... no checking dynamic linker characteristics... GNU/Linux ld.so checking how to hardcode library paths into programs... immediate checking whether stripping libraries is possible... yes checking if libtool supports shared libraries... yes checking whether to build shared libraries... yes checking whether to build static libraries... yes configure: creating libtool appending configuration tag "CXX" to libtool checking for ld used by g++... /nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld checking if the linker (/nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld) is GNU ld... yes checking whether the g++ linker (/nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld) supports shared libraries... yes checking for g++ option to produce PIC... -fPIC checking if g++ PIC flag -fPIC works... yes checking if g++ static flag -static works... yes checking if g++ supports -c -o file.o... yes checking whether the g++ linker (/nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld) supports shared libraries... yes checking dynamic linker characteristics... GNU/Linux ld.so (cached) (cached) checking how to hardcode library paths into programs... immediate appending configuration tag "F77" to libtool checking for AIX... no checking for gcc... (cached) gcc checking whether we are using the GNU C compiler... (cached) yes checking whether gcc accepts -g... (cached) yes checking for gcc option to accept ISO C89... (cached) none needed checking dependency style of gcc... (cached) gcc3 checking whether make sets $(MAKE)... (cached) yes checking for void *... yes checking alignment of void *... 8 checking for void *... (cached) yes checking size of void *... 8 checking for int... yes checking size of int... 4 checking for long... yes checking size of long... 8 checking for double... yes checking size of double... 8 configure: creating ./config.status config.status: creating sdf-support.pc config.status: creating ./Makefile config.status: creating ./test/Makefile config.status: creating ./utils/sdf-modules/Makefile config.status: creating ./utils/sdf-modules/src/Makefile config.status: creating ./utils/Makefile config.status: creating ./utils/sdf-renaming/Makefile config.status: creating ./utils/sdf-renaming/src/Makefile config.status: creating ./lib/Makefile config.status: executing depfiles commands === configuring in ptable-support (/tmp/nix-11010-0/sdf2-bundle-2.6/ptable-support) configure: running /bin/sh ./configure '--prefix=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-bundled-packages=c-library toolbuslib config-support error-support pt-support asf-support sdf-support ptable-support sglr tide-support relation-stores asc-support pgen sdf-library' '--with-aterm=/nix/store/k08p7r9bhxpkj5zbpkg26qsgdz9vcx96-aterm-2.6pre24721-bw562845' '--with-c-library=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-toolbuslib=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-config-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-error-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-pt-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-asf-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-sdf-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-ptable-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-sglr=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-tide-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-relation-stores=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-asc-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-pgen=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-sdf-library=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' --cache-file=/dev/null --srcdir=. checking for a BSD-compatible install... /nix/store/d8imsim3zs87dskyvmgdd24dn9ak4nbp-coreutils-6.12/bin/install -c checking whether build environment is sane... yes checking for gawk... gawk checking whether make sets $(MAKE)... yes checking for pkg-config... /nix/store/0if64djzkfnk1hyy96b4lcgnj5cdy7sl-pkg-config-0.22/bin/pkg-config checking pkg-config is at least version 0.9.0... yes checking whether to enable maintainer-specific portions of Makefiles... no checking whether CFLAGS is set... no checking if PKG_CONFIG_PATH needs to be extended for bundled packages... yes checking whether location of aterm is explicitly set using --with-aterm... yes checking whether location of pt-support is explicitly set using --with-pt-support... yes grep: /nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle/lib/pkgconfig/pt-support.pc: No such file or directory checking for ATERM... yes checking for PT_SUPPORT... yes checking prefix of package aterm... explicitly set: /nix/store/k08p7r9bhxpkj5zbpkg26qsgdz9vcx96-aterm-2.6pre24721-bw562845 checking if package aterm at this prefix equals the explicitly set package... skipped (bundle) checking the transitive closure of dependencies of aterm... aterm checking if aterm provides jars... no checking if aterm provides ToolBus flags... no checking prefix of package pt-support... explicitly set: /nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle checking if package pt-support at this prefix equals the explicitly set package... skipped (bundle) checking the transitive closure of dependencies of pt-support... pt-support aterm error-support toolbuslib toolbuslib checking if pt-support provides jars... :/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle/share/error-support/errorapi.jar:/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle/share/error-support/locationapi.jar checking if pt-support provides ToolBus flags... yes checking for style of include used by make... GNU checking for gcc... gcc checking for C compiler default output file name... a.out checking whether the C compiler works... yes checking whether we are cross compiling... no checking for suffix of executables... checking for suffix of object files... o checking whether we are using the GNU C compiler... yes checking whether gcc accepts -g... yes checking for gcc option to accept ISO C89... none needed checking dependency style of gcc... gcc3 checking how to run the C preprocessor... gcc -E checking for grep that handles long lines and -e... /nix/store/iial4mb06c6lxqf0qd4m2yq5317phnh2-gnugrep-2.5.3/bin/grep checking for egrep... /nix/store/iial4mb06c6lxqf0qd4m2yq5317phnh2-gnugrep-2.5.3/bin/grep -E checking build system type... x86_64-unknown-linux-gnu checking host system type... x86_64-unknown-linux-gnu checking for a sed that does not truncate output... /nix/store/9vcbxmwmf7yvlpipkb5za2svacw1q6sv-gnused-4.1.5/bin/sed checking for ld used by gcc... /nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld checking if the linker (/nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld) is GNU ld... yes checking for /nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld option to reload object files... -r checking for BSD-compatible nm... /nix/store/7w2acjgalb0cm7b3bg8yswza4l7iil9y-binutils-2.18/bin/nm -B checking whether ln -s works... yes checking how to recognize dependent libraries... pass_all ./configure: line 5611: /usr/bin/file: No such file or directory checking for ANSI C header files... yes checking for sys/types.h... yes checking for sys/stat.h... yes checking for stdlib.h... yes checking for string.h... yes checking for memory.h... yes checking for strings.h... yes checking for inttypes.h... yes checking for stdint.h... yes checking for unistd.h... yes checking dlfcn.h usability... yes checking dlfcn.h presence... yes checking for dlfcn.h... yes checking for g++... g++ checking whether we are using the GNU C++ compiler... yes checking whether g++ accepts -g... yes checking dependency style of g++... gcc3 checking how to run the C++ preprocessor... g++ -E checking for g77... no checking for xlf... no checking for f77... no checking for frt... no checking for pgf77... no checking for cf77... no checking for fort77... no checking for fl32... no checking for af77... no checking for xlf90... no checking for f90... no checking for pgf90... no checking for pghpf... no checking for epcf90... no checking for gfortran... no checking for g95... no checking for xlf95... no checking for f95... no checking for fort... no checking for ifort... no checking for ifc... no checking for efc... no checking for pgf95... no checking for lf95... no checking for ftn... no checking whether we are using the GNU Fortran 77 compiler... no checking whether accepts -g... no checking the maximum length of command line arguments... 98304 checking command to parse /nix/store/7w2acjgalb0cm7b3bg8yswza4l7iil9y-binutils-2.18/bin/nm -B output from gcc object... ok checking for objdir... .libs checking for ar... ar checking for ranlib... ranlib checking for strip... strip checking if gcc supports -fno-rtti -fno-exceptions... no checking for gcc option to produce PIC... -fPIC checking if gcc PIC flag -fPIC works... yes checking if gcc static flag -static works... yes checking if gcc supports -c -o file.o... yes checking whether the gcc linker (/nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld) supports shared libraries... yes checking whether -lc should be explicitly linked in... no checking dynamic linker characteristics... GNU/Linux ld.so checking how to hardcode library paths into programs... immediate checking whether stripping libraries is possible... yes checking if libtool supports shared libraries... yes checking whether to build shared libraries... yes checking whether to build static libraries... yes configure: creating libtool appending configuration tag "CXX" to libtool checking for ld used by g++... /nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld checking if the linker (/nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld) is GNU ld... yes checking whether the g++ linker (/nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld) supports shared libraries... yes checking for g++ option to produce PIC... -fPIC checking if g++ PIC flag -fPIC works... yes checking if g++ static flag -static works... yes checking if g++ supports -c -o file.o... yes checking whether the g++ linker (/nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld) supports shared libraries... yes checking dynamic linker characteristics... GNU/Linux ld.so (cached) (cached) checking how to hardcode library paths into programs... immediate appending configuration tag "F77" to libtool checking for AIX... no checking for gcc... (cached) gcc checking whether we are using the GNU C compiler... (cached) yes checking whether gcc accepts -g... (cached) yes checking for gcc option to accept ISO C89... (cached) none needed checking dependency style of gcc... (cached) gcc3 checking whether make sets $(MAKE)... (cached) yes checking for void *... yes checking alignment of void *... 8 checking for void *... (cached) yes checking size of void *... 8 checking for int... yes checking size of int... 4 checking for long... yes checking size of long... 8 checking for double... yes checking size of double... 8 configure: creating ./config.status config.status: creating ptable-support.pc config.status: creating ./Makefile config.status: creating ./lib/Makefile config.status: executing depfiles commands === configuring in sglr (/tmp/nix-11010-0/sdf2-bundle-2.6/sglr) configure: running /bin/sh ./configure '--prefix=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-bundled-packages=c-library toolbuslib config-support error-support pt-support asf-support sdf-support ptable-support sglr tide-support relation-stores asc-support pgen sdf-library' '--with-aterm=/nix/store/k08p7r9bhxpkj5zbpkg26qsgdz9vcx96-aterm-2.6pre24721-bw562845' '--with-c-library=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-toolbuslib=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-config-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-error-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-pt-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-asf-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-sdf-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-ptable-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-sglr=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-tide-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-relation-stores=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-asc-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-pgen=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-sdf-library=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' --cache-file=/dev/null --srcdir=. checking for a BSD-compatible install... /nix/store/d8imsim3zs87dskyvmgdd24dn9ak4nbp-coreutils-6.12/bin/install -c checking whether build environment is sane... yes checking for gawk... gawk checking whether make sets $(MAKE)... yes checking for pkg-config... /nix/store/0if64djzkfnk1hyy96b4lcgnj5cdy7sl-pkg-config-0.22/bin/pkg-config checking pkg-config is at least version 0.9.0... yes checking whether to enable maintainer-specific portions of Makefiles... no checking whether CFLAGS is set... no checking if PKG_CONFIG_PATH needs to be extended for bundled packages... yes checking whether location of aterm is explicitly set using --with-aterm... yes checking whether location of c-library is explicitly set using --with-c-library... yes grep: /nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle/lib/pkgconfig/c-library.pc: No such file or directory checking whether location of config-support is explicitly set using --with-config-support... yes grep: /nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle/lib/pkgconfig/config-support.pc: No such file or directory checking whether location of error-support is explicitly set using --with-error-support... yes grep: /nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle/lib/pkgconfig/error-support.pc: No such file or directory checking whether location of ptable-support is explicitly set using --with-ptable-support... yes grep: /nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle/lib/pkgconfig/ptable-support.pc: No such file or directory checking whether location of pt-support is explicitly set using --with-pt-support... yes grep: /nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle/lib/pkgconfig/pt-support.pc: No such file or directory checking whether location of toolbuslib is explicitly set using --with-toolbuslib... yes grep: /nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle/lib/pkgconfig/toolbuslib.pc: No such file or directory checking for ATERM... yes checking for C_LIBRARY... yes checking for CONFIG_SUPPORT... yes checking for ERROR_SUPPORT... yes checking for PTABLE_SUPPORT... yes checking for PT_SUPPORT... yes checking for TOOLBUSLIB... yes checking prefix of package aterm... explicitly set: /nix/store/k08p7r9bhxpkj5zbpkg26qsgdz9vcx96-aterm-2.6pre24721-bw562845 checking if package aterm at this prefix equals the explicitly set package... skipped (bundle) checking the transitive closure of dependencies of aterm... aterm checking if aterm provides jars... no checking if aterm provides ToolBus flags... no checking prefix of package c-library... explicitly set: /nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle checking if package c-library at this prefix equals the explicitly set package... skipped (bundle) checking the transitive closure of dependencies of c-library... c-library aterm checking if c-library provides jars... no checking if c-library provides ToolBus flags... no checking prefix of package config-support... explicitly set: /nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle checking if package config-support at this prefix equals the explicitly set package... skipped (bundle) checking the transitive closure of dependencies of config-support... config-support aterm checking if config-support provides jars... :/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle/share/configapi.jar checking if config-support provides ToolBus flags... no checking prefix of package error-support... explicitly set: /nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle checking if package error-support at this prefix equals the explicitly set package... skipped (bundle) checking the transitive closure of dependencies of error-support... error-support aterm toolbuslib checking if error-support provides jars... :/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle/share/error-support/errorapi.jar:/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle/share/error-support/locationapi.jar checking if error-support provides ToolBus flags... yes checking prefix of package ptable-support... explicitly set: /nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle checking if package ptable-support at this prefix equals the explicitly set package... skipped (bundle) checking the transitive closure of dependencies of ptable-support... ptable-support aterm pt-support error-support toolbuslib toolbuslib checking if ptable-support provides jars... :/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle/share/error-support/errorapi.jar:/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle/share/error-support/locationapi.jar checking if ptable-support provides ToolBus flags... yes checking prefix of package pt-support... explicitly set: /nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle checking if package pt-support at this prefix equals the explicitly set package... skipped (bundle) checking the transitive closure of dependencies of pt-support... pt-support aterm error-support toolbuslib toolbuslib checking if pt-support provides jars... :/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle/share/error-support/errorapi.jar:/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle/share/error-support/locationapi.jar checking if pt-support provides ToolBus flags... yes checking prefix of package toolbuslib... explicitly set: /nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle checking if package toolbuslib at this prefix equals the explicitly set package... skipped (bundle) checking the transitive closure of dependencies of toolbuslib... toolbuslib aterm checking if toolbuslib provides jars... no checking if toolbuslib provides ToolBus flags... no checking for style of include used by make... GNU checking for gcc... gcc checking for C compiler default output file name... a.out checking whether the C compiler works... yes checking whether we are cross compiling... no checking for suffix of executables... checking for suffix of object files... o checking whether we are using the GNU C compiler... yes checking whether gcc accepts -g... yes checking for gcc option to accept ISO C89... none needed checking dependency style of gcc... gcc3 checking how to run the C preprocessor... gcc -E checking for grep that handles long lines and -e... /nix/store/iial4mb06c6lxqf0qd4m2yq5317phnh2-gnugrep-2.5.3/bin/grep checking for egrep... /nix/store/iial4mb06c6lxqf0qd4m2yq5317phnh2-gnugrep-2.5.3/bin/grep -E checking build system type... x86_64-unknown-linux-gnu checking host system type... x86_64-unknown-linux-gnu checking for a sed that does not truncate output... /nix/store/9vcbxmwmf7yvlpipkb5za2svacw1q6sv-gnused-4.1.5/bin/sed checking for ld used by gcc... /nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld checking if the linker (/nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld) is GNU ld... yes checking for /nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld option to reload object files... -r checking for BSD-compatible nm... /nix/store/7w2acjgalb0cm7b3bg8yswza4l7iil9y-binutils-2.18/bin/nm -B checking whether ln -s works... yes checking how to recognize dependent libraries... pass_all ./configure: line 7354: /usr/bin/file: No such file or directory checking for ANSI C header files... yes checking for sys/types.h... yes checking for sys/stat.h... yes checking for stdlib.h... yes checking for string.h... yes checking for memory.h... yes checking for strings.h... yes checking for inttypes.h... yes checking for stdint.h... yes checking for unistd.h... yes checking dlfcn.h usability... yes checking dlfcn.h presence... yes checking for dlfcn.h... yes checking for g++... g++ checking whether we are using the GNU C++ compiler... yes checking whether g++ accepts -g... yes checking dependency style of g++... gcc3 checking how to run the C++ preprocessor... g++ -E checking for g77... no checking for xlf... no checking for f77... no checking for frt... no checking for pgf77... no checking for cf77... no checking for fort77... no checking for fl32... no checking for af77... no checking for xlf90... no checking for f90... no checking for pgf90... no checking for pghpf... no checking for epcf90... no checking for gfortran... no checking for g95... no checking for xlf95... no checking for f95... no checking for fort... no checking for ifort... no checking for ifc... no checking for efc... no checking for pgf95... no checking for lf95... no checking for ftn... no checking whether we are using the GNU Fortran 77 compiler... no checking whether accepts -g... no checking the maximum length of command line arguments... 98304 checking command to parse /nix/store/7w2acjgalb0cm7b3bg8yswza4l7iil9y-binutils-2.18/bin/nm -B output from gcc object... ok checking for objdir... .libs checking for ar... ar checking for ranlib... ranlib checking for strip... strip checking if gcc supports -fno-rtti -fno-exceptions... no checking for gcc option to produce PIC... -fPIC checking if gcc PIC flag -fPIC works... yes checking if gcc static flag -static works... yes checking if gcc supports -c -o file.o... yes checking whether the gcc linker (/nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld) supports shared libraries... yes checking whether -lc should be explicitly linked in... no checking dynamic linker characteristics... GNU/Linux ld.so checking how to hardcode library paths into programs... immediate checking whether stripping libraries is possible... yes checking if libtool supports shared libraries... yes checking whether to build shared libraries... yes checking whether to build static libraries... yes configure: creating libtool appending configuration tag "CXX" to libtool checking for ld used by g++... /nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld checking if the linker (/nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld) is GNU ld... yes checking whether the g++ linker (/nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld) supports shared libraries... yes checking for g++ option to produce PIC... -fPIC checking if g++ PIC flag -fPIC works... yes checking if g++ static flag -static works... yes checking if g++ supports -c -o file.o... yes checking whether the g++ linker (/nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld) supports shared libraries... yes checking dynamic linker characteristics... GNU/Linux ld.so (cached) (cached) checking how to hardcode library paths into programs... immediate appending configuration tag "F77" to libtool checking for AIX... no checking for gcc... (cached) gcc checking whether we are using the GNU C compiler... (cached) yes checking whether gcc accepts -g... (cached) yes checking for gcc option to accept ISO C89... (cached) none needed checking dependency style of gcc... (cached) gcc3 checking whether make sets $(MAKE)... (cached) yes checking for void *... yes checking alignment of void *... 8 checking for void *... (cached) yes checking size of void *... 8 checking for int... yes checking size of int... 4 checking for long... yes checking size of long... 8 checking for double... yes checking size of double... 8 configure: creating ./config.status config.status: creating sglr.pc config.status: creating ./restorebrackets/Makefile config.status: creating ./restorebrackets/src/Makefile config.status: creating ./Makefile config.status: creating ./test/erroneous/Makefile config.status: creating ./test/Makefile config.status: creating ./test/terms/Makefile config.status: creating ./test/tables/Makefile config.status: creating ./src/Makefile config.status: creating ./doc/Makefile config.status: executing depfiles commands === configuring in tide-support (/tmp/nix-11010-0/sdf2-bundle-2.6/tide-support) configure: running /bin/sh ./configure '--prefix=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-bundled-packages=c-library toolbuslib config-support error-support pt-support asf-support sdf-support ptable-support sglr tide-support relation-stores asc-support pgen sdf-library' '--with-aterm=/nix/store/k08p7r9bhxpkj5zbpkg26qsgdz9vcx96-aterm-2.6pre24721-bw562845' '--with-c-library=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-toolbuslib=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-config-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-error-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-pt-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-asf-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-sdf-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-ptable-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-sglr=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-tide-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-relation-stores=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-asc-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-pgen=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-sdf-library=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' --cache-file=/dev/null --srcdir=. checking for a BSD-compatible install... /nix/store/d8imsim3zs87dskyvmgdd24dn9ak4nbp-coreutils-6.12/bin/install -c checking whether build environment is sane... yes checking for gawk... gawk checking whether make sets $(MAKE)... yes checking for pkg-config... /nix/store/0if64djzkfnk1hyy96b4lcgnj5cdy7sl-pkg-config-0.22/bin/pkg-config checking pkg-config is at least version 0.9.0... yes checking whether to enable maintainer-specific portions of Makefiles... no checking whether CFLAGS is set... no checking if PKG_CONFIG_PATH needs to be extended for bundled packages... yes checking whether location of aterm is explicitly set using --with-aterm... yes checking whether location of toolbuslib is explicitly set using --with-toolbuslib... yes grep: /nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle/lib/pkgconfig/toolbuslib.pc: No such file or directory checking for ATERM... yes checking for TOOLBUSLIB... yes checking prefix of package aterm... explicitly set: /nix/store/k08p7r9bhxpkj5zbpkg26qsgdz9vcx96-aterm-2.6pre24721-bw562845 checking if package aterm at this prefix equals the explicitly set package... skipped (bundle) checking the transitive closure of dependencies of aterm... aterm checking if aterm provides jars... no checking if aterm provides ToolBus flags... no checking prefix of package toolbuslib... explicitly set: /nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle checking if package toolbuslib at this prefix equals the explicitly set package... skipped (bundle) checking the transitive closure of dependencies of toolbuslib... toolbuslib aterm checking if toolbuslib provides jars... no checking if toolbuslib provides ToolBus flags... no checking for style of include used by make... GNU checking for gcc... gcc checking for C compiler default output file name... a.out checking whether the C compiler works... yes checking whether we are cross compiling... no checking for suffix of executables... checking for suffix of object files... o checking whether we are using the GNU C compiler... yes checking whether gcc accepts -g... yes checking for gcc option to accept ISO C89... none needed checking dependency style of gcc... gcc3 checking how to run the C preprocessor... gcc -E checking for grep that handles long lines and -e... /nix/store/iial4mb06c6lxqf0qd4m2yq5317phnh2-gnugrep-2.5.3/bin/grep checking for egrep... /nix/store/iial4mb06c6lxqf0qd4m2yq5317phnh2-gnugrep-2.5.3/bin/grep -E checking build system type... x86_64-unknown-linux-gnu checking host system type... x86_64-unknown-linux-gnu checking for a sed that does not truncate output... /nix/store/9vcbxmwmf7yvlpipkb5za2svacw1q6sv-gnused-4.1.5/bin/sed checking for ld used by gcc... /nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld checking if the linker (/nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld) is GNU ld... yes checking for /nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld option to reload object files... -r checking for BSD-compatible nm... /nix/store/7w2acjgalb0cm7b3bg8yswza4l7iil9y-binutils-2.18/bin/nm -B checking whether ln -s works... yes checking how to recognize dependent libraries... pass_all ./configure: line 5611: /usr/bin/file: No such file or directory checking for ANSI C header files... yes checking for sys/types.h... yes checking for sys/stat.h... yes checking for stdlib.h... yes checking for string.h... yes checking for memory.h... yes checking for strings.h... yes checking for inttypes.h... yes checking for stdint.h... yes checking for unistd.h... yes checking dlfcn.h usability... yes checking dlfcn.h presence... yes checking for dlfcn.h... yes checking for g++... g++ checking whether we are using the GNU C++ compiler... yes checking whether g++ accepts -g... yes checking dependency style of g++... gcc3 checking how to run the C++ preprocessor... g++ -E checking for g77... no checking for xlf... no checking for f77... no checking for frt... no checking for pgf77... no checking for cf77... no checking for fort77... no checking for fl32... no checking for af77... no checking for xlf90... no checking for f90... no checking for pgf90... no checking for pghpf... no checking for epcf90... no checking for gfortran... no checking for g95... no checking for xlf95... no checking for f95... no checking for fort... no checking for ifort... no checking for ifc... no checking for efc... no checking for pgf95... no checking for lf95... no checking for ftn... no checking whether we are using the GNU Fortran 77 compiler... no checking whether accepts -g... no checking the maximum length of command line arguments... 98304 checking command to parse /nix/store/7w2acjgalb0cm7b3bg8yswza4l7iil9y-binutils-2.18/bin/nm -B output from gcc object... ok checking for objdir... .libs checking for ar... ar checking for ranlib... ranlib checking for strip... strip checking if gcc supports -fno-rtti -fno-exceptions... no checking for gcc option to produce PIC... -fPIC checking if gcc PIC flag -fPIC works... yes checking if gcc static flag -static works... yes checking if gcc supports -c -o file.o... yes checking whether the gcc linker (/nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld) supports shared libraries... yes checking whether -lc should be explicitly linked in... no checking dynamic linker characteristics... GNU/Linux ld.so checking how to hardcode library paths into programs... immediate checking whether stripping libraries is possible... yes checking if libtool supports shared libraries... yes checking whether to build shared libraries... yes checking whether to build static libraries... yes configure: creating libtool appending configuration tag "CXX" to libtool checking for ld used by g++... /nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld checking if the linker (/nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld) is GNU ld... yes checking whether the g++ linker (/nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld) supports shared libraries... yes checking for g++ option to produce PIC... -fPIC checking if g++ PIC flag -fPIC works... yes checking if g++ static flag -static works... yes checking if g++ supports -c -o file.o... yes checking whether the g++ linker (/nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld) supports shared libraries... yes checking dynamic linker characteristics... GNU/Linux ld.so (cached) (cached) checking how to hardcode library paths into programs... immediate appending configuration tag "F77" to libtool checking for AIX... no checking for gcc... (cached) gcc checking whether we are using the GNU C compiler... (cached) yes checking whether gcc accepts -g... (cached) yes checking for gcc option to accept ISO C89... (cached) none needed checking dependency style of gcc... (cached) gcc3 checking whether make sets $(MAKE)... (cached) yes checking for void *... yes checking alignment of void *... 8 checking for void *... (cached) yes checking size of void *... 8 checking for int... yes checking size of int... 4 checking for long... yes checking size of long... 8 checking for double... yes checking size of double... 8 configure: creating ./config.status config.status: creating tide-support.pc config.status: creating ./Makefile config.status: creating ./lib/Makefile config.status: executing depfiles commands === configuring in relation-stores (/tmp/nix-11010-0/sdf2-bundle-2.6/relation-stores) configure: running /bin/sh ./configure '--prefix=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-bundled-packages=c-library toolbuslib config-support error-support pt-support asf-support sdf-support ptable-support sglr tide-support relation-stores asc-support pgen sdf-library' '--with-aterm=/nix/store/k08p7r9bhxpkj5zbpkg26qsgdz9vcx96-aterm-2.6pre24721-bw562845' '--with-c-library=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-toolbuslib=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-config-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-error-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-pt-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-asf-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-sdf-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-ptable-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-sglr=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-tide-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-relation-stores=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-asc-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-pgen=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-sdf-library=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' --cache-file=/dev/null --srcdir=. checking for a BSD-compatible install... /nix/store/d8imsim3zs87dskyvmgdd24dn9ak4nbp-coreutils-6.12/bin/install -c checking whether build environment is sane... yes checking for gawk... gawk checking whether make sets $(MAKE)... yes checking for pkg-config... /nix/store/0if64djzkfnk1hyy96b4lcgnj5cdy7sl-pkg-config-0.22/bin/pkg-config checking pkg-config is at least version 0.9.0... yes checking whether to enable maintainer-specific portions of Makefiles... no checking whether CFLAGS is set... no checking if PKG_CONFIG_PATH needs to be extended for bundled packages... yes checking whether location of aterm is explicitly set using --with-aterm... yes checking whether location of toolbuslib is explicitly set using --with-toolbuslib... yes grep: /nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle/lib/pkgconfig/toolbuslib.pc: No such file or directory checking for ATERM... yes checking for TOOLBUSLIB... yes checking prefix of package aterm... explicitly set: /nix/store/k08p7r9bhxpkj5zbpkg26qsgdz9vcx96-aterm-2.6pre24721-bw562845 checking if package aterm at this prefix equals the explicitly set package... skipped (bundle) checking the transitive closure of dependencies of aterm... aterm checking if aterm provides jars... no checking if aterm provides ToolBus flags... no checking prefix of package toolbuslib... explicitly set: /nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle checking if package toolbuslib at this prefix equals the explicitly set package... skipped (bundle) checking the transitive closure of dependencies of toolbuslib... toolbuslib aterm checking if toolbuslib provides jars... no checking if toolbuslib provides ToolBus flags... no checking for style of include used by make... GNU checking for gcc... gcc checking for C compiler default output file name... a.out checking whether the C compiler works... yes checking whether we are cross compiling... no checking for suffix of executables... checking for suffix of object files... o checking whether we are using the GNU C compiler... yes checking whether gcc accepts -g... yes checking for gcc option to accept ISO C89... none needed checking dependency style of gcc... gcc3 checking how to run the C preprocessor... gcc -E checking for grep that handles long lines and -e... /nix/store/iial4mb06c6lxqf0qd4m2yq5317phnh2-gnugrep-2.5.3/bin/grep checking for egrep... /nix/store/iial4mb06c6lxqf0qd4m2yq5317phnh2-gnugrep-2.5.3/bin/grep -E checking build system type... x86_64-unknown-linux-gnu checking host system type... x86_64-unknown-linux-gnu checking for a sed that does not truncate output... /nix/store/9vcbxmwmf7yvlpipkb5za2svacw1q6sv-gnused-4.1.5/bin/sed checking for ld used by gcc... /nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld checking if the linker (/nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld) is GNU ld... yes checking for /nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld option to reload object files... -r checking for BSD-compatible nm... /nix/store/7w2acjgalb0cm7b3bg8yswza4l7iil9y-binutils-2.18/bin/nm -B checking whether ln -s works... yes checking how to recognize dependent libraries... pass_all ./configure: line 5554: /usr/bin/file: No such file or directory checking for ANSI C header files... yes checking for sys/types.h... yes checking for sys/stat.h... yes checking for stdlib.h... yes checking for string.h... yes checking for memory.h... yes checking for strings.h... yes checking for inttypes.h... yes checking for stdint.h... yes checking for unistd.h... yes checking dlfcn.h usability... yes checking dlfcn.h presence... yes checking for dlfcn.h... yes checking for g++... g++ checking whether we are using the GNU C++ compiler... yes checking whether g++ accepts -g... yes checking dependency style of g++... gcc3 checking how to run the C++ preprocessor... g++ -E checking for g77... no checking for xlf... no checking for f77... no checking for frt... no checking for pgf77... no checking for cf77... no checking for fort77... no checking for fl32... no checking for af77... no checking for xlf90... no checking for f90... no checking for pgf90... no checking for pghpf... no checking for epcf90... no checking for gfortran... no checking for g95... no checking for xlf95... no checking for f95... no checking for fort... no checking for ifort... no checking for ifc... no checking for efc... no checking for pgf95... no checking for lf95... no checking for ftn... no checking whether we are using the GNU Fortran 77 compiler... no checking whether accepts -g... no checking the maximum length of command line arguments... 98304 checking command to parse /nix/store/7w2acjgalb0cm7b3bg8yswza4l7iil9y-binutils-2.18/bin/nm -B output from gcc object... ok checking for objdir... .libs checking for ar... ar checking for ranlib... ranlib checking for strip... strip checking if gcc supports -fno-rtti -fno-exceptions... no checking for gcc option to produce PIC... -fPIC checking if gcc PIC flag -fPIC works... yes checking if gcc static flag -static works... yes checking if gcc supports -c -o file.o... yes checking whether the gcc linker (/nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld) supports shared libraries... yes checking whether -lc should be explicitly linked in... no checking dynamic linker characteristics... GNU/Linux ld.so checking how to hardcode library paths into programs... immediate checking whether stripping libraries is possible... yes checking if libtool supports shared libraries... yes checking whether to build shared libraries... yes checking whether to build static libraries... yes configure: creating libtool appending configuration tag "CXX" to libtool checking for ld used by g++... /nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld checking if the linker (/nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld) is GNU ld... yes checking whether the g++ linker (/nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld) supports shared libraries... yes checking for g++ option to produce PIC... -fPIC checking if g++ PIC flag -fPIC works... yes checking if g++ static flag -static works... yes checking if g++ supports -c -o file.o... yes checking whether the g++ linker (/nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld) supports shared libraries... yes checking dynamic linker characteristics... GNU/Linux ld.so (cached) (cached) checking how to hardcode library paths into programs... immediate appending configuration tag "F77" to libtool checking for AIX... no checking for gcc... (cached) gcc checking whether we are using the GNU C compiler... (cached) yes checking whether gcc accepts -g... (cached) yes checking for gcc option to accept ISO C89... (cached) none needed checking dependency style of gcc... (cached) gcc3 checking whether make sets $(MAKE)... (cached) yes checking for void *... yes checking alignment of void *... 8 checking for void *... (cached) yes checking size of void *... 8 checking for int... yes checking size of int... 4 checking for long... yes checking size of long... 8 checking for double... yes checking size of double... 8 checking whether make sets $(MAKE)... (cached) yes configure: creating ./config.status config.status: creating relation-stores.pc config.status: creating ./Makefile config.status: creating ./lib/Makefile config.status: creating ./utils/Makefile config.status: creating ./utils/lift-rstore/Makefile config.status: creating ./utils/lower-rstore/Makefile config.status: executing depfiles commands === configuring in asc-support (/tmp/nix-11010-0/sdf2-bundle-2.6/asc-support) configure: running /bin/sh ./configure '--prefix=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-bundled-packages=c-library toolbuslib config-support error-support pt-support asf-support sdf-support ptable-support sglr tide-support relation-stores asc-support pgen sdf-library' '--with-aterm=/nix/store/k08p7r9bhxpkj5zbpkg26qsgdz9vcx96-aterm-2.6pre24721-bw562845' '--with-c-library=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-toolbuslib=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-config-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-error-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-pt-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-asf-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-sdf-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-ptable-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-sglr=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-tide-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-relation-stores=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-asc-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-pgen=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-sdf-library=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' --cache-file=/dev/null --srcdir=. checking for a BSD-compatible install... /nix/store/d8imsim3zs87dskyvmgdd24dn9ak4nbp-coreutils-6.12/bin/install -c checking whether build environment is sane... yes checking for gawk... gawk checking whether make sets $(MAKE)... yes checking for pkg-config... /nix/store/0if64djzkfnk1hyy96b4lcgnj5cdy7sl-pkg-config-0.22/bin/pkg-config checking pkg-config is at least version 0.9.0... yes checking whether to enable maintainer-specific portions of Makefiles... no checking whether CFLAGS is set... no checking if PKG_CONFIG_PATH needs to be extended for bundled packages... yes checking whether location of asf-support is explicitly set using --with-asf-support... yes grep: /nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle/lib/pkgconfig/asf-support.pc: No such file or directory checking whether location of aterm is explicitly set using --with-aterm... yes checking whether location of error-support is explicitly set using --with-error-support... yes grep: /nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle/lib/pkgconfig/error-support.pc: No such file or directory checking whether location of pt-support is explicitly set using --with-pt-support... yes grep: /nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle/lib/pkgconfig/pt-support.pc: No such file or directory checking whether location of sglr is explicitly set using --with-sglr... yes grep: /nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle/lib/pkgconfig/sglr.pc: No such file or directory checking whether location of tide-support is explicitly set using --with-tide-support... yes grep: /nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle/lib/pkgconfig/tide-support.pc: No such file or directory checking whether location of toolbuslib is explicitly set using --with-toolbuslib... yes grep: /nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle/lib/pkgconfig/toolbuslib.pc: No such file or directory checking whether location of c-library is explicitly set using --with-c-library... yes grep: /nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle/lib/pkgconfig/c-library.pc: No such file or directory checking whether location of config-support is explicitly set using --with-config-support... yes grep: /nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle/lib/pkgconfig/config-support.pc: No such file or directory checking whether location of ptable-support is explicitly set using --with-ptable-support... yes grep: /nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle/lib/pkgconfig/ptable-support.pc: No such file or directory checking whether location of relation-stores is explicitly set using --with-relation-stores... yes grep: /nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle/lib/pkgconfig/relation-stores.pc: No such file or directory checking for ASF_SUPPORT... yes checking for ATERM... yes checking for ERROR_SUPPORT... yes checking for PT_SUPPORT... yes checking for SGLR... yes checking for TIDE_SUPPORT... yes checking for TOOLBUSLIB... yes checking for C_LIBRARY... yes checking for CONFIG_SUPPORT... yes checking for PTABLE_SUPPORT... yes checking for RELATION_STORES... yes checking prefix of package asf-support... explicitly set: /nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle checking if package asf-support at this prefix equals the explicitly set package... skipped (bundle) checking the transitive closure of dependencies of asf-support... asf-support aterm error-support toolbuslib pt-support checking if asf-support provides jars... :/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle/share/error-support/errorapi.jar:/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle/share/error-support/locationapi.jar checking if asf-support provides ToolBus flags... yes checking prefix of package aterm... explicitly set: /nix/store/k08p7r9bhxpkj5zbpkg26qsgdz9vcx96-aterm-2.6pre24721-bw562845 checking if package aterm at this prefix equals the explicitly set package... skipped (bundle) checking the transitive closure of dependencies of aterm... aterm checking if aterm provides jars... no checking if aterm provides ToolBus flags... no checking prefix of package error-support... explicitly set: /nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle checking if package error-support at this prefix equals the explicitly set package... skipped (bundle) checking the transitive closure of dependencies of error-support... error-support aterm toolbuslib checking if error-support provides jars... :/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle/share/error-support/errorapi.jar:/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle/share/error-support/locationapi.jar checking if error-support provides ToolBus flags... yes checking prefix of package pt-support... explicitly set: /nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle checking if package pt-support at this prefix equals the explicitly set package... skipped (bundle) checking the transitive closure of dependencies of pt-support... pt-support aterm error-support toolbuslib toolbuslib checking if pt-support provides jars... :/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle/share/error-support/errorapi.jar:/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle/share/error-support/locationapi.jar checking if pt-support provides ToolBus flags... yes checking prefix of package sglr... explicitly set: /nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle checking if package sglr at this prefix equals the explicitly set package... skipped (bundle) checking the transitive closure of dependencies of sglr... sglr aterm c-library config-support error-support toolbuslib ptable-support pt-support pt-support checking if sglr provides jars... :/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle/share/configapi.jar:/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle/share/error-support/errorapi.jar:/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle/share/error-support/locationapi.jar checking if sglr provides ToolBus flags... yes checking prefix of package tide-support... explicitly set: /nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle checking if package tide-support at this prefix equals the explicitly set package... skipped (bundle) checking the transitive closure of dependencies of tide-support... tide-support aterm toolbuslib checking if tide-support provides jars... no checking if tide-support provides ToolBus flags... yes checking prefix of package toolbuslib... explicitly set: /nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle checking if package toolbuslib at this prefix equals the explicitly set package... skipped (bundle) checking the transitive closure of dependencies of toolbuslib... toolbuslib aterm checking if toolbuslib provides jars... no checking if toolbuslib provides ToolBus flags... no checking prefix of package c-library... explicitly set: /nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle checking if package c-library at this prefix equals the explicitly set package... skipped (bundle) checking the transitive closure of dependencies of c-library... c-library aterm checking if c-library provides jars... no checking if c-library provides ToolBus flags... no checking prefix of package config-support... explicitly set: /nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle checking if package config-support at this prefix equals the explicitly set package... skipped (bundle) checking the transitive closure of dependencies of config-support... config-support aterm checking if config-support provides jars... :/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle/share/configapi.jar checking if config-support provides ToolBus flags... no checking prefix of package ptable-support... explicitly set: /nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle checking if package ptable-support at this prefix equals the explicitly set package... skipped (bundle) checking the transitive closure of dependencies of ptable-support... ptable-support aterm pt-support error-support toolbuslib toolbuslib checking if ptable-support provides jars... :/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle/share/error-support/errorapi.jar:/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle/share/error-support/locationapi.jar checking if ptable-support provides ToolBus flags... yes checking prefix of package relation-stores... explicitly set: /nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle checking if package relation-stores at this prefix equals the explicitly set package... skipped (bundle) checking the transitive closure of dependencies of relation-stores... relation-stores aterm toolbuslib checking if relation-stores provides jars... :/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle/share/relationstores.jar checking if relation-stores provides ToolBus flags... yes checking for style of include used by make... GNU checking for gcc... gcc checking for C compiler default output file name... a.out checking whether the C compiler works... yes checking whether we are cross compiling... no checking for suffix of executables... checking for suffix of object files... o checking whether we are using the GNU C compiler... yes checking whether gcc accepts -g... yes checking for gcc option to accept ISO C89... none needed checking dependency style of gcc... gcc3 checking how to run the C preprocessor... gcc -E checking for grep that handles long lines and -e... /nix/store/iial4mb06c6lxqf0qd4m2yq5317phnh2-gnugrep-2.5.3/bin/grep checking for egrep... /nix/store/iial4mb06c6lxqf0qd4m2yq5317phnh2-gnugrep-2.5.3/bin/grep -E checking build system type... x86_64-unknown-linux-gnu checking host system type... x86_64-unknown-linux-gnu checking for a sed that does not truncate output... /nix/store/9vcbxmwmf7yvlpipkb5za2svacw1q6sv-gnused-4.1.5/bin/sed checking for ld used by gcc... /nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld checking if the linker (/nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld) is GNU ld... yes checking for /nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld option to reload object files... -r checking for BSD-compatible nm... /nix/store/7w2acjgalb0cm7b3bg8yswza4l7iil9y-binutils-2.18/bin/nm -B checking whether ln -s works... yes checking how to recognize dependent libraries... pass_all ./configure: line 8687: /usr/bin/file: No such file or directory checking for ANSI C header files... yes checking for sys/types.h... yes checking for sys/stat.h... yes checking for stdlib.h... yes checking for string.h... yes checking for memory.h... yes checking for strings.h... yes checking for inttypes.h... yes checking for stdint.h... yes checking for unistd.h... yes checking dlfcn.h usability... yes checking dlfcn.h presence... yes checking for dlfcn.h... yes checking for g++... g++ checking whether we are using the GNU C++ compiler... yes checking whether g++ accepts -g... yes checking dependency style of g++... gcc3 checking how to run the C++ preprocessor... g++ -E checking for g77... no checking for xlf... no checking for f77... no checking for frt... no checking for pgf77... no checking for cf77... no checking for fort77... no checking for fl32... no checking for af77... no checking for xlf90... no checking for f90... no checking for pgf90... no checking for pghpf... no checking for epcf90... no checking for gfortran... no checking for g95... no checking for xlf95... no checking for f95... no checking for fort... no checking for ifort... no checking for ifc... no checking for efc... no checking for pgf95... no checking for lf95... no checking for ftn... no checking whether we are using the GNU Fortran 77 compiler... no checking whether accepts -g... no checking the maximum length of command line arguments... 98304 checking command to parse /nix/store/7w2acjgalb0cm7b3bg8yswza4l7iil9y-binutils-2.18/bin/nm -B output from gcc object... ok checking for objdir... .libs checking for ar... ar checking for ranlib... ranlib checking for strip... strip checking if gcc supports -fno-rtti -fno-exceptions... no checking for gcc option to produce PIC... -fPIC checking if gcc PIC flag -fPIC works... yes checking if gcc static flag -static works... yes checking if gcc supports -c -o file.o... yes checking whether the gcc linker (/nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld) supports shared libraries... yes checking whether -lc should be explicitly linked in... no checking dynamic linker characteristics... GNU/Linux ld.so checking how to hardcode library paths into programs... immediate checking whether stripping libraries is possible... yes checking if libtool supports shared libraries... yes checking whether to build shared libraries... yes checking whether to build static libraries... yes configure: creating libtool appending configuration tag "CXX" to libtool checking for ld used by g++... /nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld checking if the linker (/nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld) is GNU ld... yes checking whether the g++ linker (/nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld) supports shared libraries... yes checking for g++ option to produce PIC... -fPIC checking if g++ PIC flag -fPIC works... yes checking if g++ static flag -static works... yes checking if g++ supports -c -o file.o... yes checking whether the g++ linker (/nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld) supports shared libraries... yes checking dynamic linker characteristics... GNU/Linux ld.so (cached) (cached) checking how to hardcode library paths into programs... immediate appending configuration tag "F77" to libtool checking for AIX... no checking for gcc... (cached) gcc checking whether we are using the GNU C compiler... (cached) yes checking whether gcc accepts -g... (cached) yes checking for gcc option to accept ISO C89... (cached) none needed checking dependency style of gcc... (cached) gcc3 checking whether make sets $(MAKE)... (cached) yes checking for void *... yes checking alignment of void *... 8 checking for void *... (cached) yes checking size of void *... 8 checking for int... yes checking size of int... 4 checking for long... yes checking size of long... 8 checking for double... yes checking size of double... 8 configure: creating ./config.status config.status: creating asc-support.pc config.status: creating ./Makefile config.status: creating ./lib/Makefile config.status: creating ./utils/Makefile config.status: executing depfiles commands === configuring in pgen (/tmp/nix-11010-0/sdf2-bundle-2.6/pgen) configure: running /bin/sh ./configure '--prefix=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-bundled-packages=c-library toolbuslib config-support error-support pt-support asf-support sdf-support ptable-support sglr tide-support relation-stores asc-support pgen sdf-library' '--with-aterm=/nix/store/k08p7r9bhxpkj5zbpkg26qsgdz9vcx96-aterm-2.6pre24721-bw562845' '--with-c-library=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-toolbuslib=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-config-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-error-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-pt-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-asf-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-sdf-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-ptable-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-sglr=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-tide-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-relation-stores=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-asc-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-pgen=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-sdf-library=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' --cache-file=/dev/null --srcdir=. checking for a BSD-compatible install... /nix/store/d8imsim3zs87dskyvmgdd24dn9ak4nbp-coreutils-6.12/bin/install -c checking whether build environment is sane... yes checking for gawk... gawk checking whether make sets $(MAKE)... yes checking for pkg-config... /nix/store/0if64djzkfnk1hyy96b4lcgnj5cdy7sl-pkg-config-0.22/bin/pkg-config checking pkg-config is at least version 0.9.0... yes checking whether to enable maintainer-specific portions of Makefiles... no checking whether CFLAGS is set... no checking if PKG_CONFIG_PATH needs to be extended for bundled packages... yes checking whether location of asc-support is explicitly set using --with-asc-support... yes grep: /nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle/lib/pkgconfig/asc-support.pc: No such file or directory checking whether location of aterm is explicitly set using --with-aterm... yes checking whether location of error-support is explicitly set using --with-error-support... yes grep: /nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle/lib/pkgconfig/error-support.pc: No such file or directory checking whether location of pt-support is explicitly set using --with-pt-support... yes grep: /nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle/lib/pkgconfig/pt-support.pc: No such file or directory checking whether location of sdf-support is explicitly set using --with-sdf-support... yes grep: /nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle/lib/pkgconfig/sdf-support.pc: No such file or directory checking whether location of sglr is explicitly set using --with-sglr... yes grep: /nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle/lib/pkgconfig/sglr.pc: No such file or directory checking whether location of toolbuslib is explicitly set using --with-toolbuslib... yes grep: /nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle/lib/pkgconfig/toolbuslib.pc: No such file or directory checking whether location of ptable-support is explicitly set using --with-ptable-support... yes grep: /nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle/lib/pkgconfig/ptable-support.pc: No such file or directory checking whether location of config-support is explicitly set using --with-config-support... yes grep: /nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle/lib/pkgconfig/config-support.pc: No such file or directory checking whether location of c-library is explicitly set using --with-c-library... yes grep: /nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle/lib/pkgconfig/c-library.pc: No such file or directory checking for ASC_SUPPORT... yes checking for ATERM... yes checking for ERROR_SUPPORT... yes checking for PT_SUPPORT... yes checking for SDF_SUPPORT... yes checking for SGLR... yes checking for TOOLBUSLIB... yes checking for PTABLE_SUPPORT... yes checking for CONFIG_SUPPORT... yes checking for C_LIBRARY... yes checking prefix of package asc-support... explicitly set: /nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle checking if package asc-support at this prefix equals the explicitly set package... skipped (bundle) checking the transitive closure of dependencies of asc-support... asc-support asf-support aterm error-support toolbuslib pt-support pt-support sglr c-library config-support ptable-support tide-support relation-stores checking if asc-support provides jars... :/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle/share/error-support/errorapi.jar:/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle/share/error-support/locationapi.jar:/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle/share/configapi.jar:/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle/share/relationstores.jar checking if asc-support provides ToolBus flags... yes checking prefix of package aterm... explicitly set: /nix/store/k08p7r9bhxpkj5zbpkg26qsgdz9vcx96-aterm-2.6pre24721-bw562845 checking if package aterm at this prefix equals the explicitly set package... skipped (bundle) checking the transitive closure of dependencies of aterm... aterm checking if aterm provides jars... no checking if aterm provides ToolBus flags... no checking prefix of package error-support... explicitly set: /nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle checking if package error-support at this prefix equals the explicitly set package... skipped (bundle) checking the transitive closure of dependencies of error-support... error-support aterm toolbuslib checking if error-support provides jars... :/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle/share/error-support/errorapi.jar:/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle/share/error-support/locationapi.jar checking if error-support provides ToolBus flags... yes checking prefix of package pt-support... explicitly set: /nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle checking if package pt-support at this prefix equals the explicitly set package... skipped (bundle) checking the transitive closure of dependencies of pt-support... pt-support aterm error-support toolbuslib toolbuslib checking if pt-support provides jars... :/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle/share/error-support/errorapi.jar:/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle/share/error-support/locationapi.jar checking if pt-support provides ToolBus flags... yes checking prefix of package sdf-support... explicitly set: /nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle checking if package sdf-support at this prefix equals the explicitly set package... skipped (bundle) checking the transitive closure of dependencies of sdf-support... sdf-support aterm error-support toolbuslib pt-support checking if sdf-support provides jars... :/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle/share/error-support/errorapi.jar:/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle/share/error-support/locationapi.jar checking if sdf-support provides ToolBus flags... yes checking prefix of package sglr... explicitly set: /nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle checking if package sglr at this prefix equals the explicitly set package... skipped (bundle) checking the transitive closure of dependencies of sglr... sglr aterm c-library config-support error-support toolbuslib ptable-support pt-support pt-support checking if sglr provides jars... :/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle/share/configapi.jar:/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle/share/error-support/errorapi.jar:/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle/share/error-support/locationapi.jar checking if sglr provides ToolBus flags... yes checking prefix of package toolbuslib... explicitly set: /nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle checking if package toolbuslib at this prefix equals the explicitly set package... skipped (bundle) checking the transitive closure of dependencies of toolbuslib... toolbuslib aterm checking if toolbuslib provides jars... no checking if toolbuslib provides ToolBus flags... no checking prefix of package ptable-support... explicitly set: /nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle checking if package ptable-support at this prefix equals the explicitly set package... skipped (bundle) checking the transitive closure of dependencies of ptable-support... ptable-support aterm pt-support error-support toolbuslib toolbuslib checking if ptable-support provides jars... :/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle/share/error-support/errorapi.jar:/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle/share/error-support/locationapi.jar checking if ptable-support provides ToolBus flags... yes checking prefix of package config-support... explicitly set: /nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle checking if package config-support at this prefix equals the explicitly set package... skipped (bundle) checking the transitive closure of dependencies of config-support... config-support aterm checking if config-support provides jars... :/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle/share/configapi.jar checking if config-support provides ToolBus flags... no checking prefix of package c-library... explicitly set: /nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle checking if package c-library at this prefix equals the explicitly set package... skipped (bundle) checking the transitive closure of dependencies of c-library... c-library aterm checking if c-library provides jars... no checking if c-library provides ToolBus flags... no checking for style of include used by make... GNU checking for gcc... gcc checking for C compiler default output file name... a.out checking whether the C compiler works... yes checking whether we are cross compiling... no checking for suffix of executables... checking for suffix of object files... o checking whether we are using the GNU C compiler... yes checking whether gcc accepts -g... yes checking for gcc option to accept ISO C89... none needed checking dependency style of gcc... gcc3 checking how to run the C preprocessor... gcc -E checking for grep that handles long lines and -e... /nix/store/iial4mb06c6lxqf0qd4m2yq5317phnh2-gnugrep-2.5.3/bin/grep checking for egrep... /nix/store/iial4mb06c6lxqf0qd4m2yq5317phnh2-gnugrep-2.5.3/bin/grep -E checking build system type... x86_64-unknown-linux-gnu checking host system type... x86_64-unknown-linux-gnu checking for a sed that does not truncate output... /nix/store/9vcbxmwmf7yvlpipkb5za2svacw1q6sv-gnused-4.1.5/bin/sed checking for ld used by gcc... /nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld checking if the linker (/nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld) is GNU ld... yes checking for /nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld option to reload object files... -r checking for BSD-compatible nm... /nix/store/7w2acjgalb0cm7b3bg8yswza4l7iil9y-binutils-2.18/bin/nm -B checking whether ln -s works... yes checking how to recognize dependent libraries... pass_all ./configure: line 8395: /usr/bin/file: No such file or directory checking for ANSI C header files... yes checking for sys/types.h... yes checking for sys/stat.h... yes checking for stdlib.h... yes checking for string.h... yes checking for memory.h... yes checking for strings.h... yes checking for inttypes.h... yes checking for stdint.h... yes checking for unistd.h... yes checking dlfcn.h usability... yes checking dlfcn.h presence... yes checking for dlfcn.h... yes checking for g++... g++ checking whether we are using the GNU C++ compiler... yes checking whether g++ accepts -g... yes checking dependency style of g++... gcc3 checking how to run the C++ preprocessor... g++ -E checking for g77... no checking for xlf... no checking for f77... no checking for frt... no checking for pgf77... no checking for cf77... no checking for fort77... no checking for fl32... no checking for af77... no checking for xlf90... no checking for f90... no checking for pgf90... no checking for pghpf... no checking for epcf90... no checking for gfortran... no checking for g95... no checking for xlf95... no checking for f95... no checking for fort... no checking for ifort... no checking for ifc... no checking for efc... no checking for pgf95... no checking for lf95... no checking for ftn... no checking whether we are using the GNU Fortran 77 compiler... no checking whether accepts -g... no checking the maximum length of command line arguments... 98304 checking command to parse /nix/store/7w2acjgalb0cm7b3bg8yswza4l7iil9y-binutils-2.18/bin/nm -B output from gcc object... ok checking for objdir... .libs checking for ar... ar checking for ranlib... ranlib checking for strip... strip checking if gcc supports -fno-rtti -fno-exceptions... no checking for gcc option to produce PIC... -fPIC checking if gcc PIC flag -fPIC works... yes checking if gcc static flag -static works... yes checking if gcc supports -c -o file.o... yes checking whether the gcc linker (/nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld) supports shared libraries... yes checking whether -lc should be explicitly linked in... no checking dynamic linker characteristics... GNU/Linux ld.so checking how to hardcode library paths into programs... immediate checking whether stripping libraries is possible... yes checking if libtool supports shared libraries... yes checking whether to build shared libraries... yes checking whether to build static libraries... yes configure: creating libtool appending configuration tag "CXX" to libtool checking for ld used by g++... /nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld checking if the linker (/nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld) is GNU ld... yes checking whether the g++ linker (/nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld) supports shared libraries... yes checking for g++ option to produce PIC... -fPIC checking if g++ PIC flag -fPIC works... yes checking if g++ static flag -static works... yes checking if g++ supports -c -o file.o... yes checking whether the g++ linker (/nix/store/50mfv4v14ka1mg9k86mkppminsj4lx51-gcc-4.2.4/bin/ld) supports shared libraries... yes checking dynamic linker characteristics... GNU/Linux ld.so (cached) (cached) checking how to hardcode library paths into programs... immediate appending configuration tag "F77" to libtool checking for AIX... no checking for gcc... (cached) gcc checking whether we are using the GNU C compiler... (cached) yes checking whether gcc accepts -g... (cached) yes checking for gcc option to accept ISO C89... (cached) none needed checking dependency style of gcc... (cached) gcc3 checking whether make sets $(MAKE)... (cached) yes checking for void *... yes checking alignment of void *... 8 checking for void *... (cached) yes checking size of void *... 8 checking for int... yes checking size of int... 4 checking for long... yes checking size of long... 8 checking for double... yes checking size of double... 8 configure: creating ./config.status config.status: creating pgen.pc config.status: creating ./removevarsyntax/Makefile config.status: creating ./removevarsyntax/src/Makefile config.status: creating ./grammar/Makefile config.status: creating ./Makefile config.status: creating ./test/erroneous/Makefile config.status: creating ./test/Makefile config.status: creating ./test/terms/Makefile config.status: creating ./test/tables/Makefile config.status: creating ./test/grammars/Makefile config.status: creating ./src/Makefile config.status: creating ./sdf-checker/Makefile config.status: creating ./sdf-checker/src/Makefile config.status: executing depfiles commands === configuring in sdf-library (/tmp/nix-11010-0/sdf2-bundle-2.6/sdf-library) configure: running /bin/sh ./configure '--prefix=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-bundled-packages=c-library toolbuslib config-support error-support pt-support asf-support sdf-support ptable-support sglr tide-support relation-stores asc-support pgen sdf-library' '--with-aterm=/nix/store/k08p7r9bhxpkj5zbpkg26qsgdz9vcx96-aterm-2.6pre24721-bw562845' '--with-c-library=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-toolbuslib=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-config-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-error-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-pt-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-asf-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-sdf-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-ptable-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-sglr=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-tide-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-relation-stores=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-asc-support=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-pgen=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' '--with-sdf-library=/nix/store/h881plq6bxsqsqhhiy9x7qgmj0i1dwgv-sdf2-bundle' --cache-file=/dev/null --srcdir=. checking for a BSD-compatible install... /nix/store/d8imsim3zs87dskyvmgdd24dn9ak4nbp-coreutils-6.12/bin/install -c checking whether build environment is sane... yes checking for gawk... gawk checking whether make sets $(MAKE)... yes checking whether to enable maintainer-specific portions of Makefiles... no checking whether CFLAGS is set... no checking if PKG_CONFIG_PATH needs to be extended for bundled packages... yes configure: creating ./config.status config.status: creating sdf-library.pc config.status: creating ./Makefile config.status: creating ./library/Makefile config.status: creating ./library/basic/Makefile config.status: creating ./library/languages/yacc/syntax/Makefile config.status: creating ./library/languages/yacc/Makefile config.status: creating ./library/languages/box/syntax/Makefile config.status: creating ./library/languages/box/Makefile config.status: creating ./library/languages/Makefile config.status: creating ./library/languages/generic-cpp/syntax/Makefile config.status: creating ./library/languages/generic-cpp/Makefile config.status: creating ./library/languages/casl/syntax/Makefile config.status: creating ./library/languages/casl/Makefile config.status: creating ./library/languages/pico/syntax/Makefile config.status: creating ./library/languages/pico/Makefile config.status: creating ./library/languages/pico/examples/Makefile config.status: creating ./library/languages/fortran/syntax/Makefile config.status: creating ./library/languages/fortran/Makefile config.status: creating ./library/languages/java/syntax/Makefile config.status: creating ./library/languages/java/Makefile config.status: creating ./library/languages/logo/syntax/Makefile config.status: creating ./library/languages/logo/Makefile config.status: creating ./library/languages/aterm/syntax/Makefile config.status: creating ./library/languages/aterm/Makefile config.status: creating ./library/languages/fdl/syntax/Makefile config.status: creating ./library/languages/fdl/Makefile config.status: creating ./library/languages/cpp/syntax/Makefile config.status: creating ./library/languages/cpp/Makefile config.status: creating ./library/languages/xml/syntax/Makefile config.status: creating ./library/languages/xml/Makefile config.status: creating ./library/languages/asfix/syntax/Makefile config.status: creating ./library/languages/asfix/Makefile config.status: creating ./library/languages/graph/syntax/Makefile config.status: creating ./library/languages/graph/Makefile config.status: creating ./library/languages/asf/syntax/Makefile config.status: creating ./library/languages/asf/Makefile config.status: creating ./library/languages/sdf2/syntax/Makefile config.status: creating ./library/languages/sdf2/Makefile config.status: creating ./library/languages/sdf2/idioms/Makefile config.status: creating ./library/languages/ebnf/syntax/Makefile config.status: creating ./library/languages/ebnf/Makefile config.status: creating ./library/languages/ansi-c/syntax/Makefile config.status: creating ./library/languages/ansi-c/Makefile config.status: creating ./library/languages/bnf/syntax/Makefile config.status: creating ./library/languages/bnf/Makefile