fixing libtool script ./ltmain.sh configure flags: --disable-dependency-tracking --prefix=/nix/store/sayzmxmxcwc59icsi6jykhv4lfw4bvcc-sglr checking for a BSD-compatible install... /nix/store/68afga4khv0ws37n00qy06m11srx1lhj-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 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 aterm is explicitly set using --with-aterm... no checking whether location of c-library is explicitly set using --with-c-library... no checking whether location of config-support is explicitly set using --with-config-support... no checking whether location of error-support is explicitly set using --with-error-support... no checking whether location of ptable-support is explicitly set using --with-ptable-support... no checking whether location of pt-support is explicitly set using --with-pt-support... no checking whether location of toolbuslib is explicitly set using --with-toolbuslib... no 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... /nix/store/2wav9n2sgcsap1wmfkijkqcyqd2sqcbs-aterm-2.6pre24721-20bg2h9q 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... /nix/store/rhg7mxqda24y4kflndvz9i5cvva8akkr-c-library-1.2pre26356-7jfwmb0q 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... /nix/store/k51pr8kwfja7bibm3nd2yysv02j9rfjj-config-support-1.4pre26488-g1158kf8 checking the transitive closure of dependencies of config-support... config-support aterm checking if config-support provides jars... :/nix/store/k51pr8kwfja7bibm3nd2yysv02j9rfjj-config-support-1.4pre26488-g1158kf8/share/configapi.jar checking if config-support provides ToolBus flags... no checking prefix of package error-support... /nix/store/sjwhwrxf4kipmyjqil12sbrb4dqsx1gs-error-support-1.6pre26366-ksr9jhnh checking the transitive closure of dependencies of error-support... error-support aterm toolbuslib checking if error-support provides jars... :/nix/store/sjwhwrxf4kipmyjqil12sbrb4dqsx1gs-error-support-1.6pre26366-ksr9jhnh/share/error-support/errorapi.jar:/nix/store/sjwhwrxf4kipmyjqil12sbrb4dqsx1gs-error-support-1.6pre26366-ksr9jhnh/share/error-support/locationapi.jar checking if error-support provides ToolBus flags... yes checking prefix of package ptable-support... /nix/store/rcvbdyqkg6x2xgsbyijigjy4cnan9yi7-ptable-support-1.2pre26381-0s9jz6y1 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/sjwhwrxf4kipmyjqil12sbrb4dqsx1gs-error-support-1.6pre26366-ksr9jhnh/share/error-support/errorapi.jar:/nix/store/sjwhwrxf4kipmyjqil12sbrb4dqsx1gs-error-support-1.6pre26366-ksr9jhnh/share/error-support/locationapi.jar checking if ptable-support provides ToolBus flags... yes checking prefix of package pt-support... /nix/store/ryvc2fxapx4814l1jnrq6mnlvkxnjsls-pt-support-2.4pre26591-fi21vvih checking the transitive closure of dependencies of pt-support... pt-support aterm error-support toolbuslib toolbuslib checking if pt-support provides jars... :/nix/store/sjwhwrxf4kipmyjqil12sbrb4dqsx1gs-error-support-1.6pre26366-ksr9jhnh/share/error-support/errorapi.jar:/nix/store/sjwhwrxf4kipmyjqil12sbrb4dqsx1gs-error-support-1.6pre26366-ksr9jhnh/share/error-support/locationapi.jar checking if pt-support provides ToolBus flags... yes checking prefix of package toolbuslib... /nix/store/4z3wicgkp0m5696nd0xs04g5ns0swdjx-toolbuslib-1.1pre26401-i5msggsx 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... 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 checking for egrep... /nix/store/mjzv772s5y2v89mgv1d4vifrbwvh9x1f-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 checking for ld used by gcc... /nix/store/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld checking if the linker (/nix/store/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld) is GNU ld... yes checking for /nix/store/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-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 -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 -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) 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 checking if the linker (/nix/store/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-gcc-4.2.4/bin/ld) is GNU ld... yes checking whether the g++ linker (/nix/store/ylbjk3gsrbnbbcapx2rqhbjs40sw57c0-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) 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 sglr.pc config.status: creating ./Makefile config.status: creating ./doc/Makefile config.status: creating ./restorebrackets/Makefile config.status: creating ./restorebrackets/src/Makefile config.status: creating ./src/Makefile config.status: creating ./test/Makefile config.status: creating ./test/erroneous/Makefile config.status: creating ./test/tables/Makefile config.status: creating ./test/terms/Makefile config.status: executing depfiles commands