• fixing libtool script ./ltmain.sh
• configure flags: --disable-dependency-tracking --prefix=/nix/store/frhzjhd4cz5ic5l90hvq9r92k1ixblmk-pgen/...-pgen
• 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... no
• checking whether location of asc-support is explicitly set using --with-asc-support... no
• checking whether location of aterm is explicitly set using --with-aterm... no
• checking whether location of error-support is explicitly set using --with-error-support... no
• checking whether location of pt-support is explicitly set using --with-pt-support... no
• checking whether location of sdf-support is explicitly set using --with-sdf-support... no
• checking whether location of sglr is explicitly set using --with-sglr... no
• checking whether location of toolbuslib is explicitly set using --with-toolbuslib... no
• checking whether location of ptable-support is explicitly set using --with-ptable-support... no
• checking whether location of config-support is explicitly set using --with-config-support... no
• checking whether location of c-library is explicitly set using --with-c-library... no
• 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... /nix/store/y0nzyspw9vdkra8yzyl55ap9rlkmf7aj-asc-support-2.4pre25044-q7sxh1h9/...-asc-support-2.4pre25044-q7sxh1h9
• 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/x33pz1kwpr3wrznwfwvd3if34xk7xzgr-error-support-1.6pre26366-s8fj5x3r/share/error-support/errorapi.jar/...-error-support-1.6pre26366-s8fj5x3r/share/error-support/errorapi.jar:/nix/store/x33pz1kwpr3wrznwfwvd3if34xk7xzgr-error-support-1.6pre26366-s8fj5x3r/share/error-support/locationapi.jar/...-error-support-1.6pre26366-s8fj5x3r/share/error-support/locationapi.jar:/nix/store/si2n1h77kfy1z70lvly2z4klxzhbvqrd-config-support-1.4pre26488-riapa2qr/share/configapi.jar/...-config-support-1.4pre26488-riapa2qr/share/configapi.jar:/nix/store/2pgnnln4c5b9zkmp9md1a5jbfgmsgby2-relation-stores-0.1.1pre25249-96m912kk/share/relationstores.jar/...-relation-stores-0.1.1pre25249-96m912kk/share/relationstores.jar
• checking if asc-support provides ToolBus flags... yes
• checking prefix of package aterm... /nix/store/l0xx5qzvfjazh9y0p05vh686iw3jm07z-aterm-2.6pre24721-hl4j0mla/...-aterm-2.6pre24721-hl4j0mla
• 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... /nix/store/x33pz1kwpr3wrznwfwvd3if34xk7xzgr-error-support-1.6pre26366-s8fj5x3r/...-error-support-1.6pre26366-s8fj5x3r
• checking the transitive closure of dependencies of error-support... error-support aterm toolbuslib
• checking if error-support provides jars... :/nix/store/x33pz1kwpr3wrznwfwvd3if34xk7xzgr-error-support-1.6pre26366-s8fj5x3r/share/error-support/errorapi.jar/...-error-support-1.6pre26366-s8fj5x3r/share/error-support/errorapi.jar:/nix/store/x33pz1kwpr3wrznwfwvd3if34xk7xzgr-error-support-1.6pre26366-s8fj5x3r/share/error-support/locationapi.jar/...-error-support-1.6pre26366-s8fj5x3r/share/error-support/locationapi.jar
• checking if error-support provides ToolBus flags... yes
• checking prefix of package pt-support... /nix/store/jdc7wl95607k1vxqmmmpqnj83sangxfa-pt-support-2.4pre26591-9rmj7dw1/...-pt-support-2.4pre26591-9rmj7dw1
• checking the transitive closure of dependencies of pt-support... pt-support aterm error-support toolbuslib toolbuslib
• checking if pt-support provides jars... :/nix/store/x33pz1kwpr3wrznwfwvd3if34xk7xzgr-error-support-1.6pre26366-s8fj5x3r/share/error-support/errorapi.jar/...-error-support-1.6pre26366-s8fj5x3r/share/error-support/errorapi.jar:/nix/store/x33pz1kwpr3wrznwfwvd3if34xk7xzgr-error-support-1.6pre26366-s8fj5x3r/share/error-support/locationapi.jar/...-error-support-1.6pre26366-s8fj5x3r/share/error-support/locationapi.jar
• checking if pt-support provides ToolBus flags... yes
• checking prefix of package sdf-support... /nix/store/ccc9wv6plc48l7wz795vrrgalzh38sfz-sdf-support-2.5pre26415-y5jgf8vw/...-sdf-support-2.5pre26415-y5jgf8vw
• 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/x33pz1kwpr3wrznwfwvd3if34xk7xzgr-error-support-1.6pre26366-s8fj5x3r/share/error-support/errorapi.jar/...-error-support-1.6pre26366-s8fj5x3r/share/error-support/errorapi.jar:/nix/store/x33pz1kwpr3wrznwfwvd3if34xk7xzgr-error-support-1.6pre26366-s8fj5x3r/share/error-support/locationapi.jar/...-error-support-1.6pre26366-s8fj5x3r/share/error-support/locationapi.jar
• checking if sdf-support provides ToolBus flags... yes
• checking prefix of package sglr... /nix/store/72xdjlk8j0dyj1knw83ky90hsx71pb6z-sglr-4.5.4pre28358-1m986yvz/...-sglr-4.5.4pre28358-1m986yvz
• 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/si2n1h77kfy1z70lvly2z4klxzhbvqrd-config-support-1.4pre26488-riapa2qr/share/configapi.jar/...-config-support-1.4pre26488-riapa2qr/share/configapi.jar:/nix/store/x33pz1kwpr3wrznwfwvd3if34xk7xzgr-error-support-1.6pre26366-s8fj5x3r/share/error-support/errorapi.jar/...-error-support-1.6pre26366-s8fj5x3r/share/error-support/errorapi.jar:/nix/store/x33pz1kwpr3wrznwfwvd3if34xk7xzgr-error-support-1.6pre26366-s8fj5x3r/share/error-support/locationapi.jar/...-error-support-1.6pre26366-s8fj5x3r/share/error-support/locationapi.jar
• checking if sglr provides ToolBus flags... yes
• checking prefix of package toolbuslib... /nix/store/yjamhwin062ap6dfwifspvap5vw5hypy-toolbuslib-1.2pre27200-b2c4b949/...-toolbuslib-1.2pre27200-b2c4b949
• 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... /nix/store/szfrvkhmqnwnfndpv014c3y0ixix3637-ptable-support-1.2pre26381-vn8jlj52/...-ptable-support-1.2pre26381-vn8jlj52
• 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/x33pz1kwpr3wrznwfwvd3if34xk7xzgr-error-support-1.6pre26366-s8fj5x3r/share/error-support/errorapi.jar/...-error-support-1.6pre26366-s8fj5x3r/share/error-support/errorapi.jar:/nix/store/x33pz1kwpr3wrznwfwvd3if34xk7xzgr-error-support-1.6pre26366-s8fj5x3r/share/error-support/locationapi.jar/...-error-support-1.6pre26366-s8fj5x3r/share/error-support/locationapi.jar
• checking if ptable-support provides ToolBus flags... yes
• checking prefix of package config-support... /nix/store/si2n1h77kfy1z70lvly2z4klxzhbvqrd-config-support-1.4pre26488-riapa2qr/...-config-support-1.4pre26488-riapa2qr
• checking the transitive closure of dependencies of config-support... config-support aterm
• checking if config-support provides jars... :/nix/store/si2n1h77kfy1z70lvly2z4klxzhbvqrd-config-support-1.4pre26488-riapa2qr/share/configapi.jar/...-config-support-1.4pre26488-riapa2qr/share/configapi.jar
• checking if config-support provides ToolBus flags... no
• checking prefix of package c-library... /nix/store/j212c05hhbf7aylpx8p32skan59x3igx-c-library-1.2pre26356-9y3lkany/...-c-library-1.2pre26356-9y3lkany
• 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... none
• 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 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 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 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++... none
• 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 minix/config.h usability... no
• checking minix/config.h presence... no
• checking for minix/config.h... no
• checking whether it is safe to define __EXTENSIONS__... yes
• 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) none
• checking whether make sets $(MAKE)... (cached) yes
• checking alignment of void *... 4
• checking size of void *... 4
• checking size of int... 4
• checking size of long... 4
• checking size of double... 8
• configure: creating ./config.status
• config.status: creating pgen.pc
• config.status: creating ./removevarsyntax/src/Makefile
• config.status: creating ./removevarsyntax/Makefile
• config.status: creating ./grammar/Makefile
• config.status: creating ./test/tables/Makefile
• config.status: creating ./test/modules/Makefile
• config.status: creating ./test/grammars/Makefile
• config.status: creating ./test/erroneous/Makefile
• config.status: creating ./test/Makefile
• config.status: creating ./test/terms/Makefile
• config.status: creating ./src/Makefile
• config.status: creating ./Makefile
• config.status: creating ./sdf-checker/src/Makefile
• config.status: creating ./sdf-checker/Makefile
• config.status: executing depfiles commands