• 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/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/...-sdf2-bundle
  • checking for a BSD-compatible install... /nix/store/68afga4khv0ws37n00qy06m11srx1lhj-coreutils-6.12/bin/install/...-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/wfprqxicd5vci9giyhzy0q57sdbj183p-pkg-config-0.22/bin/pkg-config/...-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/ww15pb7408mxdg8qkgl8r1m8i917cgwl-aterm-2.6pre24721-bw562845/...-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-13138-0/sdf2-bundle-2.6/c-library)
  • configure: running /bin/sh ./configure '--prefix=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-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/ww15pb7408mxdg8qkgl8r1m8i917cgwl-aterm-2.6pre24721-bw562845'/...-aterm-2.6pre24721-bw562845' '--with-c-library=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-toolbuslib=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-config-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-error-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-pt-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-asf-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-sdf-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-ptable-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-sglr=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-tide-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-relation-stores=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-asc-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-pgen=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-sdf-library=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' --cache-file=/dev/null --srcdir=.
  • checking for a BSD-compatible install... /nix/store/68afga4khv0ws37n00qy06m11srx1lhj-coreutils-6.12/bin/install/...-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/wfprqxicd5vci9giyhzy0q57sdbj183p-pkg-config-0.22/bin/pkg-config/...-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/ww15pb7408mxdg8qkgl8r1m8i917cgwl-aterm-2.6pre24721-bw562845/...-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/mjzv772s5y2v89mgv1d4vifrbwvh9x1f-gnugrep-2.5.3/bin/grep/...-gnugrep-2.5.3/bin/grep
  • checking for egrep... /nix/store/mjzv772s5y2v89mgv1d4vifrbwvh9x1f-gnugrep-2.5.3/bin/grep/...-gnugrep-2.5.3/bin/grep -E
  • checking build system type... i686-pc-linux-gnu
  • checking host system type... i686-pc-linux-gnu
  • checking for a sed that does not truncate output... /nix/store/5x9yj9ypb0s9mc2b5za1mbydp8ax62jz-gnused-4.1.5/bin/sed/...-gnused-4.1.5/bin/sed
  • checking for ld used by gcc... /nix/store/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-gcc-4.2.4/bin/ld
  • checking if the linker (/nix/store/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-gcc-4.2.4/bin/ld) is GNU ld... yes
  • checking for /nix/store/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-gcc-4.2.4/bin/ld option to reload object files... -r
  • checking for BSD-compatible nm... /nix/store/7a32kkwjdqmy09hwpl4f7pa0rii91ksl-binutils-2.18/bin/nm/...-binutils-2.18/bin/nm -B
  • checking whether ln -s works... yes
  • checking how to recognize dependent libraries... pass_all
  • 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/7a32kkwjdqmy09hwpl4f7pa0rii91ksl-binutils-2.18/bin/nm/...-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/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-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/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-gcc-4.2.4/bin/ld
  • checking if the linker (/nix/store/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-gcc-4.2.4/bin/ld) is GNU ld... yes
  • checking whether the g++ linker (/nix/store/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-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/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-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 *... 4
  • checking for void *... (cached) yes
  • checking size of void *... 4
  • checking for int... yes
  • checking size of int... 4
  • checking for long... yes
  • checking size of long... 4
  • 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-13138-0/sdf2-bundle-2.6/toolbuslib)
  • configure: running /bin/sh ./configure '--prefix=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-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/ww15pb7408mxdg8qkgl8r1m8i917cgwl-aterm-2.6pre24721-bw562845'/...-aterm-2.6pre24721-bw562845' '--with-c-library=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-toolbuslib=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-config-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-error-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-pt-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-asf-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-sdf-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-ptable-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-sglr=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-tide-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-relation-stores=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-asc-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-pgen=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-sdf-library=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' --cache-file=/dev/null --srcdir=.
  • checking for a BSD-compatible install... /nix/store/68afga4khv0ws37n00qy06m11srx1lhj-coreutils-6.12/bin/install/...-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/wfprqxicd5vci9giyhzy0q57sdbj183p-pkg-config-0.22/bin/pkg-config/...-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/ww15pb7408mxdg8qkgl8r1m8i917cgwl-aterm-2.6pre24721-bw562845/...-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/mjzv772s5y2v89mgv1d4vifrbwvh9x1f-gnugrep-2.5.3/bin/grep/...-gnugrep-2.5.3/bin/grep
  • checking for egrep... /nix/store/mjzv772s5y2v89mgv1d4vifrbwvh9x1f-gnugrep-2.5.3/bin/grep/...-gnugrep-2.5.3/bin/grep -E
  • checking build system type... i686-pc-linux-gnu
  • checking host system type... i686-pc-linux-gnu
  • checking for a sed that does not truncate output... /nix/store/5x9yj9ypb0s9mc2b5za1mbydp8ax62jz-gnused-4.1.5/bin/sed/...-gnused-4.1.5/bin/sed
  • checking for ld used by gcc... /nix/store/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-gcc-4.2.4/bin/ld
  • checking if the linker (/nix/store/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-gcc-4.2.4/bin/ld) is GNU ld... yes
  • checking for /nix/store/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-gcc-4.2.4/bin/ld option to reload object files... -r
  • checking for BSD-compatible nm... /nix/store/7a32kkwjdqmy09hwpl4f7pa0rii91ksl-binutils-2.18/bin/nm/...-binutils-2.18/bin/nm -B
  • checking whether ln -s works... yes
  • checking how to recognize dependent libraries... pass_all
  • 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/7a32kkwjdqmy09hwpl4f7pa0rii91ksl-binutils-2.18/bin/nm/...-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/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-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/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-gcc-4.2.4/bin/ld
  • checking if the linker (/nix/store/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-gcc-4.2.4/bin/ld) is GNU ld... yes
  • checking whether the g++ linker (/nix/store/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-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/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-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 *... 4
  • checking for void *... (cached) yes
  • checking size of void *... 4
  • checking for int... yes
  • checking size of int... 4
  • checking for long... yes
  • checking size of long... 4
  • 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-13138-0/sdf2-bundle-2.6/config-support)
  • configure: running /bin/sh ./configure '--prefix=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-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/ww15pb7408mxdg8qkgl8r1m8i917cgwl-aterm-2.6pre24721-bw562845'/...-aterm-2.6pre24721-bw562845' '--with-c-library=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-toolbuslib=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-config-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-error-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-pt-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-asf-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-sdf-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-ptable-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-sglr=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-tide-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-relation-stores=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-asc-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-pgen=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-sdf-library=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' --cache-file=/dev/null --srcdir=.
  • checking for a BSD-compatible install... /nix/store/68afga4khv0ws37n00qy06m11srx1lhj-coreutils-6.12/bin/install/...-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/wfprqxicd5vci9giyhzy0q57sdbj183p-pkg-config-0.22/bin/pkg-config/...-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/ww15pb7408mxdg8qkgl8r1m8i917cgwl-aterm-2.6pre24721-bw562845/...-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/mjzv772s5y2v89mgv1d4vifrbwvh9x1f-gnugrep-2.5.3/bin/grep/...-gnugrep-2.5.3/bin/grep
  • checking for egrep... /nix/store/mjzv772s5y2v89mgv1d4vifrbwvh9x1f-gnugrep-2.5.3/bin/grep/...-gnugrep-2.5.3/bin/grep -E
  • checking build system type... i686-pc-linux-gnu
  • checking host system type... i686-pc-linux-gnu
  • checking for a sed that does not truncate output... /nix/store/5x9yj9ypb0s9mc2b5za1mbydp8ax62jz-gnused-4.1.5/bin/sed/...-gnused-4.1.5/bin/sed
  • checking for ld used by gcc... /nix/store/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-gcc-4.2.4/bin/ld
  • checking if the linker (/nix/store/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-gcc-4.2.4/bin/ld) is GNU ld... yes
  • checking for /nix/store/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-gcc-4.2.4/bin/ld option to reload object files... -r
  • checking for BSD-compatible nm... /nix/store/7a32kkwjdqmy09hwpl4f7pa0rii91ksl-binutils-2.18/bin/nm/...-binutils-2.18/bin/nm -B
  • checking whether ln -s works... yes
  • checking how to recognize dependent libraries... pass_all
  • 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/7a32kkwjdqmy09hwpl4f7pa0rii91ksl-binutils-2.18/bin/nm/...-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/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-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/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-gcc-4.2.4/bin/ld
  • checking if the linker (/nix/store/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-gcc-4.2.4/bin/ld) is GNU ld... yes
  • checking whether the g++ linker (/nix/store/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-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/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-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 *... 4
  • checking for void *... (cached) yes
  • checking size of void *... 4
  • checking for int... yes
  • checking size of int... 4
  • checking for long... yes
  • checking size of long... 4
  • 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-13138-0/sdf2-bundle-2.6/error-support)
  • configure: running /bin/sh ./configure '--prefix=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-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/ww15pb7408mxdg8qkgl8r1m8i917cgwl-aterm-2.6pre24721-bw562845'/...-aterm-2.6pre24721-bw562845' '--with-c-library=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-toolbuslib=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-config-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-error-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-pt-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-asf-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-sdf-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-ptable-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-sglr=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-tide-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-relation-stores=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-asc-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-pgen=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-sdf-library=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' --cache-file=/dev/null --srcdir=.
  • checking for a BSD-compatible install... /nix/store/68afga4khv0ws37n00qy06m11srx1lhj-coreutils-6.12/bin/install/...-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/wfprqxicd5vci9giyhzy0q57sdbj183p-pkg-config-0.22/bin/pkg-config/...-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/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/lib/pkgconfig/toolbuslib.pc/...-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/ww15pb7408mxdg8qkgl8r1m8i917cgwl-aterm-2.6pre24721-bw562845/...-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/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/...-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/mjzv772s5y2v89mgv1d4vifrbwvh9x1f-gnugrep-2.5.3/bin/grep/...-gnugrep-2.5.3/bin/grep
  • checking for egrep... /nix/store/mjzv772s5y2v89mgv1d4vifrbwvh9x1f-gnugrep-2.5.3/bin/grep/...-gnugrep-2.5.3/bin/grep -E
  • checking build system type... i686-pc-linux-gnu
  • checking host system type... i686-pc-linux-gnu
  • checking for a sed that does not truncate output... /nix/store/5x9yj9ypb0s9mc2b5za1mbydp8ax62jz-gnused-4.1.5/bin/sed/...-gnused-4.1.5/bin/sed
  • checking for ld used by gcc... /nix/store/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-gcc-4.2.4/bin/ld
  • checking if the linker (/nix/store/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-gcc-4.2.4/bin/ld) is GNU ld... yes
  • checking for /nix/store/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-gcc-4.2.4/bin/ld option to reload object files... -r
  • checking for BSD-compatible nm... /nix/store/7a32kkwjdqmy09hwpl4f7pa0rii91ksl-binutils-2.18/bin/nm/...-binutils-2.18/bin/nm -B
  • checking whether ln -s works... yes
  • checking how to recognize dependent libraries... pass_all
  • 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/7a32kkwjdqmy09hwpl4f7pa0rii91ksl-binutils-2.18/bin/nm/...-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/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-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/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-gcc-4.2.4/bin/ld
  • checking if the linker (/nix/store/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-gcc-4.2.4/bin/ld) is GNU ld... yes
  • checking whether the g++ linker (/nix/store/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-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/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-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 *... 4
  • checking for void *... (cached) yes
  • checking size of void *... 4
  • checking for int... yes
  • checking size of int... 4
  • checking for long... yes
  • checking size of long... 4
  • 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-13138-0/sdf2-bundle-2.6/pt-support)
  • configure: running /bin/sh ./configure '--prefix=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-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/ww15pb7408mxdg8qkgl8r1m8i917cgwl-aterm-2.6pre24721-bw562845'/...-aterm-2.6pre24721-bw562845' '--with-c-library=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-toolbuslib=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-config-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-error-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-pt-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-asf-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-sdf-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-ptable-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-sglr=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-tide-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-relation-stores=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-asc-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-pgen=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-sdf-library=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' --cache-file=/dev/null --srcdir=.
  • checking for a BSD-compatible install... /nix/store/68afga4khv0ws37n00qy06m11srx1lhj-coreutils-6.12/bin/install/...-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/wfprqxicd5vci9giyhzy0q57sdbj183p-pkg-config-0.22/bin/pkg-config/...-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/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/lib/pkgconfig/error-support.pc/...-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/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/lib/pkgconfig/toolbuslib.pc/...-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/ww15pb7408mxdg8qkgl8r1m8i917cgwl-aterm-2.6pre24721-bw562845/...-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/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/...-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/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/share/error-support/errorapi.jar/...-sdf2-bundle/share/error-support/errorapi.jar:/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/share/error-support/locationapi.jar/...-sdf2-bundle/share/error-support/locationapi.jar
  • checking if error-support provides ToolBus flags... yes
  • checking prefix of package toolbuslib... explicitly set: /nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/...-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/mjzv772s5y2v89mgv1d4vifrbwvh9x1f-gnugrep-2.5.3/bin/grep/...-gnugrep-2.5.3/bin/grep
  • checking for egrep... /nix/store/mjzv772s5y2v89mgv1d4vifrbwvh9x1f-gnugrep-2.5.3/bin/grep/...-gnugrep-2.5.3/bin/grep -E
  • checking build system type... i686-pc-linux-gnu
  • checking host system type... i686-pc-linux-gnu
  • checking for a sed that does not truncate output... /nix/store/5x9yj9ypb0s9mc2b5za1mbydp8ax62jz-gnused-4.1.5/bin/sed/...-gnused-4.1.5/bin/sed
  • checking for ld used by gcc... /nix/store/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-gcc-4.2.4/bin/ld
  • checking if the linker (/nix/store/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-gcc-4.2.4/bin/ld) is GNU ld... yes
  • checking for /nix/store/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-gcc-4.2.4/bin/ld option to reload object files... -r
  • checking for BSD-compatible nm... /nix/store/7a32kkwjdqmy09hwpl4f7pa0rii91ksl-binutils-2.18/bin/nm/...-binutils-2.18/bin/nm -B
  • checking whether ln -s works... yes
  • checking how to recognize dependent libraries... pass_all
  • 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/7a32kkwjdqmy09hwpl4f7pa0rii91ksl-binutils-2.18/bin/nm/...-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/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-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/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-gcc-4.2.4/bin/ld
  • checking if the linker (/nix/store/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-gcc-4.2.4/bin/ld) is GNU ld... yes
  • checking whether the g++ linker (/nix/store/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-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/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-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 *... 4
  • checking for void *... (cached) yes
  • checking size of void *... 4
  • checking for int... yes
  • checking size of int... 4
  • checking for long... yes
  • checking size of long... 4
  • 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-13138-0/sdf2-bundle-2.6/asf-support)
  • configure: running /bin/sh ./configure '--prefix=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-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/ww15pb7408mxdg8qkgl8r1m8i917cgwl-aterm-2.6pre24721-bw562845'/...-aterm-2.6pre24721-bw562845' '--with-c-library=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-toolbuslib=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-config-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-error-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-pt-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-asf-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-sdf-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-ptable-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-sglr=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-tide-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-relation-stores=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-asc-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-pgen=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-sdf-library=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' --cache-file=/dev/null --srcdir=.
  • checking for a BSD-compatible install... /nix/store/68afga4khv0ws37n00qy06m11srx1lhj-coreutils-6.12/bin/install/...-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/wfprqxicd5vci9giyhzy0q57sdbj183p-pkg-config-0.22/bin/pkg-config/...-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/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/lib/pkgconfig/error-support.pc/...-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/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/lib/pkgconfig/pt-support.pc/...-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/ww15pb7408mxdg8qkgl8r1m8i917cgwl-aterm-2.6pre24721-bw562845/...-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/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/...-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/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/share/error-support/errorapi.jar/...-sdf2-bundle/share/error-support/errorapi.jar:/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/share/error-support/locationapi.jar/...-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/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/...-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/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/share/error-support/errorapi.jar/...-sdf2-bundle/share/error-support/errorapi.jar:/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/share/error-support/locationapi.jar/...-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/mjzv772s5y2v89mgv1d4vifrbwvh9x1f-gnugrep-2.5.3/bin/grep/...-gnugrep-2.5.3/bin/grep
  • checking for egrep... /nix/store/mjzv772s5y2v89mgv1d4vifrbwvh9x1f-gnugrep-2.5.3/bin/grep/...-gnugrep-2.5.3/bin/grep -E
  • checking build system type... i686-pc-linux-gnu
  • checking host system type... i686-pc-linux-gnu
  • checking for a sed that does not truncate output... /nix/store/5x9yj9ypb0s9mc2b5za1mbydp8ax62jz-gnused-4.1.5/bin/sed/...-gnused-4.1.5/bin/sed
  • checking for ld used by gcc... /nix/store/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-gcc-4.2.4/bin/ld
  • checking if the linker (/nix/store/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-gcc-4.2.4/bin/ld) is GNU ld... yes
  • checking for /nix/store/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-gcc-4.2.4/bin/ld option to reload object files... -r
  • checking for BSD-compatible nm... /nix/store/7a32kkwjdqmy09hwpl4f7pa0rii91ksl-binutils-2.18/bin/nm/...-binutils-2.18/bin/nm -B
  • checking whether ln -s works... yes
  • checking how to recognize dependent libraries... pass_all
  • 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/7a32kkwjdqmy09hwpl4f7pa0rii91ksl-binutils-2.18/bin/nm/...-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/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-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/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-gcc-4.2.4/bin/ld
  • checking if the linker (/nix/store/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-gcc-4.2.4/bin/ld) is GNU ld... yes
  • checking whether the g++ linker (/nix/store/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-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/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-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 *... 4
  • checking for void *... (cached) yes
  • checking size of void *... 4
  • checking for int... yes
  • checking size of int... 4
  • checking for long... yes
  • checking size of long... 4
  • 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-13138-0/sdf2-bundle-2.6/sdf-support)
  • configure: running /bin/sh ./configure '--prefix=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-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/ww15pb7408mxdg8qkgl8r1m8i917cgwl-aterm-2.6pre24721-bw562845'/...-aterm-2.6pre24721-bw562845' '--with-c-library=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-toolbuslib=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-config-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-error-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-pt-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-asf-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-sdf-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-ptable-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-sglr=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-tide-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-relation-stores=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-asc-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-pgen=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-sdf-library=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' --cache-file=/dev/null --srcdir=.
  • checking for a BSD-compatible install... /nix/store/68afga4khv0ws37n00qy06m11srx1lhj-coreutils-6.12/bin/install/...-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/wfprqxicd5vci9giyhzy0q57sdbj183p-pkg-config-0.22/bin/pkg-config/...-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/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/lib/pkgconfig/error-support.pc/...-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/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/lib/pkgconfig/pt-support.pc/...-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/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/lib/pkgconfig/toolbuslib.pc/...-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/ww15pb7408mxdg8qkgl8r1m8i917cgwl-aterm-2.6pre24721-bw562845/...-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/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/...-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/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/share/error-support/errorapi.jar/...-sdf2-bundle/share/error-support/errorapi.jar:/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/share/error-support/locationapi.jar/...-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/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/...-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/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/share/error-support/errorapi.jar/...-sdf2-bundle/share/error-support/errorapi.jar:/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/share/error-support/locationapi.jar/...-sdf2-bundle/share/error-support/locationapi.jar
  • checking if pt-support provides ToolBus flags... yes
  • checking prefix of package toolbuslib... explicitly set: /nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/...-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/mjzv772s5y2v89mgv1d4vifrbwvh9x1f-gnugrep-2.5.3/bin/grep/...-gnugrep-2.5.3/bin/grep
  • checking for egrep... /nix/store/mjzv772s5y2v89mgv1d4vifrbwvh9x1f-gnugrep-2.5.3/bin/grep/...-gnugrep-2.5.3/bin/grep -E
  • checking build system type... i686-pc-linux-gnu
  • checking host system type... i686-pc-linux-gnu
  • checking for a sed that does not truncate output... /nix/store/5x9yj9ypb0s9mc2b5za1mbydp8ax62jz-gnused-4.1.5/bin/sed/...-gnused-4.1.5/bin/sed
  • checking for ld used by gcc... /nix/store/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-gcc-4.2.4/bin/ld
  • checking if the linker (/nix/store/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-gcc-4.2.4/bin/ld) is GNU ld... yes
  • checking for /nix/store/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-gcc-4.2.4/bin/ld option to reload object files... -r
  • checking for BSD-compatible nm... /nix/store/7a32kkwjdqmy09hwpl4f7pa0rii91ksl-binutils-2.18/bin/nm/...-binutils-2.18/bin/nm -B
  • checking whether ln -s works... yes
  • checking how to recognize dependent libraries... pass_all
  • 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/7a32kkwjdqmy09hwpl4f7pa0rii91ksl-binutils-2.18/bin/nm/...-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/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-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/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-gcc-4.2.4/bin/ld
  • checking if the linker (/nix/store/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-gcc-4.2.4/bin/ld) is GNU ld... yes
  • checking whether the g++ linker (/nix/store/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-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/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-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 *... 4
  • checking for void *... (cached) yes
  • checking size of void *... 4
  • checking for int... yes
  • checking size of int... 4
  • checking for long... yes
  • checking size of long... 4
  • 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-13138-0/sdf2-bundle-2.6/ptable-support)
  • configure: running /bin/sh ./configure '--prefix=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-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/ww15pb7408mxdg8qkgl8r1m8i917cgwl-aterm-2.6pre24721-bw562845'/...-aterm-2.6pre24721-bw562845' '--with-c-library=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-toolbuslib=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-config-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-error-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-pt-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-asf-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-sdf-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-ptable-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-sglr=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-tide-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-relation-stores=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-asc-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-pgen=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-sdf-library=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' --cache-file=/dev/null --srcdir=.
  • checking for a BSD-compatible install... /nix/store/68afga4khv0ws37n00qy06m11srx1lhj-coreutils-6.12/bin/install/...-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/wfprqxicd5vci9giyhzy0q57sdbj183p-pkg-config-0.22/bin/pkg-config/...-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/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/lib/pkgconfig/pt-support.pc/...-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/ww15pb7408mxdg8qkgl8r1m8i917cgwl-aterm-2.6pre24721-bw562845/...-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/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/...-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/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/share/error-support/errorapi.jar/...-sdf2-bundle/share/error-support/errorapi.jar:/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/share/error-support/locationapi.jar/...-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/mjzv772s5y2v89mgv1d4vifrbwvh9x1f-gnugrep-2.5.3/bin/grep/...-gnugrep-2.5.3/bin/grep
  • checking for egrep... /nix/store/mjzv772s5y2v89mgv1d4vifrbwvh9x1f-gnugrep-2.5.3/bin/grep/...-gnugrep-2.5.3/bin/grep -E
  • checking build system type... i686-pc-linux-gnu
  • checking host system type... i686-pc-linux-gnu
  • checking for a sed that does not truncate output... /nix/store/5x9yj9ypb0s9mc2b5za1mbydp8ax62jz-gnused-4.1.5/bin/sed/...-gnused-4.1.5/bin/sed
  • checking for ld used by gcc... /nix/store/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-gcc-4.2.4/bin/ld
  • checking if the linker (/nix/store/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-gcc-4.2.4/bin/ld) is GNU ld... yes
  • checking for /nix/store/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-gcc-4.2.4/bin/ld option to reload object files... -r
  • checking for BSD-compatible nm... /nix/store/7a32kkwjdqmy09hwpl4f7pa0rii91ksl-binutils-2.18/bin/nm/...-binutils-2.18/bin/nm -B
  • checking whether ln -s works... yes
  • checking how to recognize dependent libraries... pass_all
  • 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/7a32kkwjdqmy09hwpl4f7pa0rii91ksl-binutils-2.18/bin/nm/...-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/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-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/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-gcc-4.2.4/bin/ld
  • checking if the linker (/nix/store/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-gcc-4.2.4/bin/ld) is GNU ld... yes
  • checking whether the g++ linker (/nix/store/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-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/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-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 *... 4
  • checking for void *... (cached) yes
  • checking size of void *... 4
  • checking for int... yes
  • checking size of int... 4
  • checking for long... yes
  • checking size of long... 4
  • 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-13138-0/sdf2-bundle-2.6/sglr)
  • configure: running /bin/sh ./configure '--prefix=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-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/ww15pb7408mxdg8qkgl8r1m8i917cgwl-aterm-2.6pre24721-bw562845'/...-aterm-2.6pre24721-bw562845' '--with-c-library=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-toolbuslib=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-config-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-error-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-pt-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-asf-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-sdf-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-ptable-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-sglr=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-tide-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-relation-stores=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-asc-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-pgen=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-sdf-library=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' --cache-file=/dev/null --srcdir=.
  • checking for a BSD-compatible install... /nix/store/68afga4khv0ws37n00qy06m11srx1lhj-coreutils-6.12/bin/install/...-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/wfprqxicd5vci9giyhzy0q57sdbj183p-pkg-config-0.22/bin/pkg-config/...-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/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/lib/pkgconfig/c-library.pc/...-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/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/lib/pkgconfig/config-support.pc/...-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/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/lib/pkgconfig/error-support.pc/...-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/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/lib/pkgconfig/ptable-support.pc/...-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/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/lib/pkgconfig/pt-support.pc/...-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/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/lib/pkgconfig/toolbuslib.pc/...-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/ww15pb7408mxdg8qkgl8r1m8i917cgwl-aterm-2.6pre24721-bw562845/...-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/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/...-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/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/...-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/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/share/configapi.jar/...-sdf2-bundle/share/configapi.jar
  • checking if config-support provides ToolBus flags... no
  • checking prefix of package error-support... explicitly set: /nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/...-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/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/share/error-support/errorapi.jar/...-sdf2-bundle/share/error-support/errorapi.jar:/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/share/error-support/locationapi.jar/...-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/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/...-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/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/share/error-support/errorapi.jar/...-sdf2-bundle/share/error-support/errorapi.jar:/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/share/error-support/locationapi.jar/...-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/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/...-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/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/share/error-support/errorapi.jar/...-sdf2-bundle/share/error-support/errorapi.jar:/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/share/error-support/locationapi.jar/...-sdf2-bundle/share/error-support/locationapi.jar
  • checking if pt-support provides ToolBus flags... yes
  • checking prefix of package toolbuslib... explicitly set: /nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/...-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/mjzv772s5y2v89mgv1d4vifrbwvh9x1f-gnugrep-2.5.3/bin/grep/...-gnugrep-2.5.3/bin/grep
  • checking for egrep... /nix/store/mjzv772s5y2v89mgv1d4vifrbwvh9x1f-gnugrep-2.5.3/bin/grep/...-gnugrep-2.5.3/bin/grep -E
  • checking build system type... i686-pc-linux-gnu
  • checking host system type... i686-pc-linux-gnu
  • checking for a sed that does not truncate output... /nix/store/5x9yj9ypb0s9mc2b5za1mbydp8ax62jz-gnused-4.1.5/bin/sed/...-gnused-4.1.5/bin/sed
  • checking for ld used by gcc... /nix/store/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-gcc-4.2.4/bin/ld
  • checking if the linker (/nix/store/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-gcc-4.2.4/bin/ld) is GNU ld... yes
  • checking for /nix/store/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-gcc-4.2.4/bin/ld option to reload object files... -r
  • checking for BSD-compatible nm... /nix/store/7a32kkwjdqmy09hwpl4f7pa0rii91ksl-binutils-2.18/bin/nm/...-binutils-2.18/bin/nm -B
  • checking whether ln -s works... yes
  • checking how to recognize dependent libraries... pass_all
  • 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/7a32kkwjdqmy09hwpl4f7pa0rii91ksl-binutils-2.18/bin/nm/...-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/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-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/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-gcc-4.2.4/bin/ld
  • checking if the linker (/nix/store/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-gcc-4.2.4/bin/ld) is GNU ld... yes
  • checking whether the g++ linker (/nix/store/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-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/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-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 *... 4
  • checking for void *... (cached) yes
  • checking size of void *... 4
  • checking for int... yes
  • checking size of int... 4
  • checking for long... yes
  • checking size of long... 4
  • 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-13138-0/sdf2-bundle-2.6/tide-support)
  • configure: running /bin/sh ./configure '--prefix=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-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/ww15pb7408mxdg8qkgl8r1m8i917cgwl-aterm-2.6pre24721-bw562845'/...-aterm-2.6pre24721-bw562845' '--with-c-library=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-toolbuslib=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-config-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-error-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-pt-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-asf-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-sdf-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-ptable-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-sglr=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-tide-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-relation-stores=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-asc-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-pgen=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-sdf-library=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' --cache-file=/dev/null --srcdir=.
  • checking for a BSD-compatible install... /nix/store/68afga4khv0ws37n00qy06m11srx1lhj-coreutils-6.12/bin/install/...-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/wfprqxicd5vci9giyhzy0q57sdbj183p-pkg-config-0.22/bin/pkg-config/...-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/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/lib/pkgconfig/toolbuslib.pc/...-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/ww15pb7408mxdg8qkgl8r1m8i917cgwl-aterm-2.6pre24721-bw562845/...-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/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/...-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/mjzv772s5y2v89mgv1d4vifrbwvh9x1f-gnugrep-2.5.3/bin/grep/...-gnugrep-2.5.3/bin/grep
  • checking for egrep... /nix/store/mjzv772s5y2v89mgv1d4vifrbwvh9x1f-gnugrep-2.5.3/bin/grep/...-gnugrep-2.5.3/bin/grep -E
  • checking build system type... i686-pc-linux-gnu
  • checking host system type... i686-pc-linux-gnu
  • checking for a sed that does not truncate output... /nix/store/5x9yj9ypb0s9mc2b5za1mbydp8ax62jz-gnused-4.1.5/bin/sed/...-gnused-4.1.5/bin/sed
  • checking for ld used by gcc... /nix/store/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-gcc-4.2.4/bin/ld
  • checking if the linker (/nix/store/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-gcc-4.2.4/bin/ld) is GNU ld... yes
  • checking for /nix/store/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-gcc-4.2.4/bin/ld option to reload object files... -r
  • checking for BSD-compatible nm... /nix/store/7a32kkwjdqmy09hwpl4f7pa0rii91ksl-binutils-2.18/bin/nm/...-binutils-2.18/bin/nm -B
  • checking whether ln -s works... yes
  • checking how to recognize dependent libraries... pass_all
  • 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/7a32kkwjdqmy09hwpl4f7pa0rii91ksl-binutils-2.18/bin/nm/...-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/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-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/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-gcc-4.2.4/bin/ld
  • checking if the linker (/nix/store/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-gcc-4.2.4/bin/ld) is GNU ld... yes
  • checking whether the g++ linker (/nix/store/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-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/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-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 *... 4
  • checking for void *... (cached) yes
  • checking size of void *... 4
  • checking for int... yes
  • checking size of int... 4
  • checking for long... yes
  • checking size of long... 4
  • 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-13138-0/sdf2-bundle-2.6/relation-stores)
  • configure: running /bin/sh ./configure '--prefix=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-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/ww15pb7408mxdg8qkgl8r1m8i917cgwl-aterm-2.6pre24721-bw562845'/...-aterm-2.6pre24721-bw562845' '--with-c-library=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-toolbuslib=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-config-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-error-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-pt-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-asf-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-sdf-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-ptable-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-sglr=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-tide-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-relation-stores=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-asc-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-pgen=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-sdf-library=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' --cache-file=/dev/null --srcdir=.
  • checking for a BSD-compatible install... /nix/store/68afga4khv0ws37n00qy06m11srx1lhj-coreutils-6.12/bin/install/...-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/wfprqxicd5vci9giyhzy0q57sdbj183p-pkg-config-0.22/bin/pkg-config/...-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/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/lib/pkgconfig/toolbuslib.pc/...-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/ww15pb7408mxdg8qkgl8r1m8i917cgwl-aterm-2.6pre24721-bw562845/...-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/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/...-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/mjzv772s5y2v89mgv1d4vifrbwvh9x1f-gnugrep-2.5.3/bin/grep/...-gnugrep-2.5.3/bin/grep
  • checking for egrep... /nix/store/mjzv772s5y2v89mgv1d4vifrbwvh9x1f-gnugrep-2.5.3/bin/grep/...-gnugrep-2.5.3/bin/grep -E
  • checking build system type... i686-pc-linux-gnu
  • checking host system type... i686-pc-linux-gnu
  • checking for a sed that does not truncate output... /nix/store/5x9yj9ypb0s9mc2b5za1mbydp8ax62jz-gnused-4.1.5/bin/sed/...-gnused-4.1.5/bin/sed
  • checking for ld used by gcc... /nix/store/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-gcc-4.2.4/bin/ld
  • checking if the linker (/nix/store/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-gcc-4.2.4/bin/ld) is GNU ld... yes
  • checking for /nix/store/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-gcc-4.2.4/bin/ld option to reload object files... -r
  • checking for BSD-compatible nm... /nix/store/7a32kkwjdqmy09hwpl4f7pa0rii91ksl-binutils-2.18/bin/nm/...-binutils-2.18/bin/nm -B
  • checking whether ln -s works... yes
  • checking how to recognize dependent libraries... pass_all
  • 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/7a32kkwjdqmy09hwpl4f7pa0rii91ksl-binutils-2.18/bin/nm/...-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/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-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/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-gcc-4.2.4/bin/ld
  • checking if the linker (/nix/store/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-gcc-4.2.4/bin/ld) is GNU ld... yes
  • checking whether the g++ linker (/nix/store/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-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/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-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 *... 4
  • checking for void *... (cached) yes
  • checking size of void *... 4
  • checking for int... yes
  • checking size of int... 4
  • checking for long... yes
  • checking size of long... 4
  • 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-13138-0/sdf2-bundle-2.6/asc-support)
  • configure: running /bin/sh ./configure '--prefix=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-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/ww15pb7408mxdg8qkgl8r1m8i917cgwl-aterm-2.6pre24721-bw562845'/...-aterm-2.6pre24721-bw562845' '--with-c-library=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-toolbuslib=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-config-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-error-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-pt-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-asf-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-sdf-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-ptable-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-sglr=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-tide-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-relation-stores=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-asc-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-pgen=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-sdf-library=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' --cache-file=/dev/null --srcdir=.
  • checking for a BSD-compatible install... /nix/store/68afga4khv0ws37n00qy06m11srx1lhj-coreutils-6.12/bin/install/...-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/wfprqxicd5vci9giyhzy0q57sdbj183p-pkg-config-0.22/bin/pkg-config/...-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/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/lib/pkgconfig/asf-support.pc/...-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/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/lib/pkgconfig/error-support.pc/...-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/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/lib/pkgconfig/pt-support.pc/...-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/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/lib/pkgconfig/sglr.pc/...-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/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/lib/pkgconfig/tide-support.pc/...-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/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/lib/pkgconfig/toolbuslib.pc/...-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/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/lib/pkgconfig/c-library.pc/...-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/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/lib/pkgconfig/config-support.pc/...-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/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/lib/pkgconfig/ptable-support.pc/...-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/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/lib/pkgconfig/relation-stores.pc/...-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/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/...-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/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/share/error-support/errorapi.jar/...-sdf2-bundle/share/error-support/errorapi.jar:/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/share/error-support/locationapi.jar/...-sdf2-bundle/share/error-support/locationapi.jar
  • checking if asf-support provides ToolBus flags... yes
  • checking prefix of package aterm... explicitly set: /nix/store/ww15pb7408mxdg8qkgl8r1m8i917cgwl-aterm-2.6pre24721-bw562845/...-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/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/...-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/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/share/error-support/errorapi.jar/...-sdf2-bundle/share/error-support/errorapi.jar:/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/share/error-support/locationapi.jar/...-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/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/...-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/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/share/error-support/errorapi.jar/...-sdf2-bundle/share/error-support/errorapi.jar:/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/share/error-support/locationapi.jar/...-sdf2-bundle/share/error-support/locationapi.jar
  • checking if pt-support provides ToolBus flags... yes
  • checking prefix of package sglr... explicitly set: /nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/...-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/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/share/configapi.jar/...-sdf2-bundle/share/configapi.jar:/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/share/error-support/errorapi.jar/...-sdf2-bundle/share/error-support/errorapi.jar:/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/share/error-support/locationapi.jar/...-sdf2-bundle/share/error-support/locationapi.jar
  • checking if sglr provides ToolBus flags... yes
  • checking prefix of package tide-support... explicitly set: /nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/...-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/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/...-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/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/...-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/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/...-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/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/share/configapi.jar/...-sdf2-bundle/share/configapi.jar
  • checking if config-support provides ToolBus flags... no
  • checking prefix of package ptable-support... explicitly set: /nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/...-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/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/share/error-support/errorapi.jar/...-sdf2-bundle/share/error-support/errorapi.jar:/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/share/error-support/locationapi.jar/...-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/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/...-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/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/share/relationstores.jar/...-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/mjzv772s5y2v89mgv1d4vifrbwvh9x1f-gnugrep-2.5.3/bin/grep/...-gnugrep-2.5.3/bin/grep
  • checking for egrep... /nix/store/mjzv772s5y2v89mgv1d4vifrbwvh9x1f-gnugrep-2.5.3/bin/grep/...-gnugrep-2.5.3/bin/grep -E
  • checking build system type... i686-pc-linux-gnu
  • checking host system type... i686-pc-linux-gnu
  • checking for a sed that does not truncate output... /nix/store/5x9yj9ypb0s9mc2b5za1mbydp8ax62jz-gnused-4.1.5/bin/sed/...-gnused-4.1.5/bin/sed
  • checking for ld used by gcc... /nix/store/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-gcc-4.2.4/bin/ld
  • checking if the linker (/nix/store/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-gcc-4.2.4/bin/ld) is GNU ld... yes
  • checking for /nix/store/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-gcc-4.2.4/bin/ld option to reload object files... -r
  • checking for BSD-compatible nm... /nix/store/7a32kkwjdqmy09hwpl4f7pa0rii91ksl-binutils-2.18/bin/nm/...-binutils-2.18/bin/nm -B
  • checking whether ln -s works... yes
  • checking how to recognize dependent libraries... pass_all
  • 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/7a32kkwjdqmy09hwpl4f7pa0rii91ksl-binutils-2.18/bin/nm/...-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/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-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/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-gcc-4.2.4/bin/ld
  • checking if the linker (/nix/store/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-gcc-4.2.4/bin/ld) is GNU ld... yes
  • checking whether the g++ linker (/nix/store/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-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/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-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 *... 4
  • checking for void *... (cached) yes
  • checking size of void *... 4
  • checking for int... yes
  • checking size of int... 4
  • checking for long... yes
  • checking size of long... 4
  • 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-13138-0/sdf2-bundle-2.6/pgen)
  • configure: running /bin/sh ./configure '--prefix=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-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/ww15pb7408mxdg8qkgl8r1m8i917cgwl-aterm-2.6pre24721-bw562845'/...-aterm-2.6pre24721-bw562845' '--with-c-library=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-toolbuslib=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-config-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-error-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-pt-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-asf-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-sdf-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-ptable-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-sglr=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-tide-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-relation-stores=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-asc-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-pgen=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-sdf-library=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' --cache-file=/dev/null --srcdir=.
  • checking for a BSD-compatible install... /nix/store/68afga4khv0ws37n00qy06m11srx1lhj-coreutils-6.12/bin/install/...-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/wfprqxicd5vci9giyhzy0q57sdbj183p-pkg-config-0.22/bin/pkg-config/...-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/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/lib/pkgconfig/asc-support.pc/...-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/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/lib/pkgconfig/error-support.pc/...-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/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/lib/pkgconfig/pt-support.pc/...-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/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/lib/pkgconfig/sdf-support.pc/...-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/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/lib/pkgconfig/sglr.pc/...-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/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/lib/pkgconfig/toolbuslib.pc/...-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/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/lib/pkgconfig/ptable-support.pc/...-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/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/lib/pkgconfig/config-support.pc/...-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/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/lib/pkgconfig/c-library.pc/...-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/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/...-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/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/share/error-support/errorapi.jar/...-sdf2-bundle/share/error-support/errorapi.jar:/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/share/error-support/locationapi.jar/...-sdf2-bundle/share/error-support/locationapi.jar:/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/share/configapi.jar/...-sdf2-bundle/share/configapi.jar:/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/share/relationstores.jar/...-sdf2-bundle/share/relationstores.jar
  • checking if asc-support provides ToolBus flags... yes
  • checking prefix of package aterm... explicitly set: /nix/store/ww15pb7408mxdg8qkgl8r1m8i917cgwl-aterm-2.6pre24721-bw562845/...-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/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/...-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/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/share/error-support/errorapi.jar/...-sdf2-bundle/share/error-support/errorapi.jar:/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/share/error-support/locationapi.jar/...-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/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/...-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/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/share/error-support/errorapi.jar/...-sdf2-bundle/share/error-support/errorapi.jar:/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/share/error-support/locationapi.jar/...-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/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/...-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/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/share/error-support/errorapi.jar/...-sdf2-bundle/share/error-support/errorapi.jar:/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/share/error-support/locationapi.jar/...-sdf2-bundle/share/error-support/locationapi.jar
  • checking if sdf-support provides ToolBus flags... yes
  • checking prefix of package sglr... explicitly set: /nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/...-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/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/share/configapi.jar/...-sdf2-bundle/share/configapi.jar:/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/share/error-support/errorapi.jar/...-sdf2-bundle/share/error-support/errorapi.jar:/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/share/error-support/locationapi.jar/...-sdf2-bundle/share/error-support/locationapi.jar
  • checking if sglr provides ToolBus flags... yes
  • checking prefix of package toolbuslib... explicitly set: /nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/...-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/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/...-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/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/share/error-support/errorapi.jar/...-sdf2-bundle/share/error-support/errorapi.jar:/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/share/error-support/locationapi.jar/...-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/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/...-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/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/share/configapi.jar/...-sdf2-bundle/share/configapi.jar
  • checking if config-support provides ToolBus flags... no
  • checking prefix of package c-library... explicitly set: /nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle/...-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/mjzv772s5y2v89mgv1d4vifrbwvh9x1f-gnugrep-2.5.3/bin/grep/...-gnugrep-2.5.3/bin/grep
  • checking for egrep... /nix/store/mjzv772s5y2v89mgv1d4vifrbwvh9x1f-gnugrep-2.5.3/bin/grep/...-gnugrep-2.5.3/bin/grep -E
  • checking build system type... i686-pc-linux-gnu
  • checking host system type... i686-pc-linux-gnu
  • checking for a sed that does not truncate output... /nix/store/5x9yj9ypb0s9mc2b5za1mbydp8ax62jz-gnused-4.1.5/bin/sed/...-gnused-4.1.5/bin/sed
  • checking for ld used by gcc... /nix/store/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-gcc-4.2.4/bin/ld
  • checking if the linker (/nix/store/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-gcc-4.2.4/bin/ld) is GNU ld... yes
  • checking for /nix/store/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-gcc-4.2.4/bin/ld option to reload object files... -r
  • checking for BSD-compatible nm... /nix/store/7a32kkwjdqmy09hwpl4f7pa0rii91ksl-binutils-2.18/bin/nm/...-binutils-2.18/bin/nm -B
  • checking whether ln -s works... yes
  • checking how to recognize dependent libraries... pass_all
  • 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/7a32kkwjdqmy09hwpl4f7pa0rii91ksl-binutils-2.18/bin/nm/...-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/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-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/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-gcc-4.2.4/bin/ld
  • checking if the linker (/nix/store/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-gcc-4.2.4/bin/ld) is GNU ld... yes
  • checking whether the g++ linker (/nix/store/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-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/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld/...-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 *... 4
  • checking for void *... (cached) yes
  • checking size of void *... 4
  • checking for int... yes
  • checking size of int... 4
  • checking for long... yes
  • checking size of long... 4
  • 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-13138-0/sdf2-bundle-2.6/sdf-library)
  • configure: running /bin/sh ./configure '--prefix=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-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/ww15pb7408mxdg8qkgl8r1m8i917cgwl-aterm-2.6pre24721-bw562845'/...-aterm-2.6pre24721-bw562845' '--with-c-library=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-toolbuslib=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-config-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-error-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-pt-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-asf-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-sdf-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-ptable-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-sglr=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-tide-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-relation-stores=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-asc-support=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-pgen=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' '--with-sdf-library=/nix/store/nhb4qc6qdm1z4a90gkgvwb6h256rhmsw-sdf2-bundle'/...-sdf2-bundle' --cache-file=/dev/null --srcdir=.
  • checking for a BSD-compatible install... /nix/store/68afga4khv0ws37n00qy06m11srx1lhj-coreutils-6.12/bin/install/...-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