Try to make some more modular Fixpoint algorithms.

1 files changed, 21 insertions, 34 deletions

diff --git a/impl/antlr/libantlr3c-3.4/config.status b/impl/antlr/libantlr3c-3.4/config.status
index 556d17e..3ab6ce7 100755
--- a/impl/antlr/libantlr3c-3.4/config.status
+++ b/impl/antlr/libantlr3c-3.4/config.status
@@ -448,7 +448,7 @@ Copyright (C) 2010 Free Software Foundation, Inc.
 This config.status script is free software; the Free Software Foundation
 gives unlimited permission to copy, distribute and modify it."
 
-ac_pwd='/home/carlo/honours/repo/impl/antlr/libantlr3c-3.4'
+ac_pwd='/home/carlo/laptop-repository/impl/antlr/libantlr3c-3.4'
 srcdir='.'
 INSTALL='/usr/bin/install -c'
 MKDIR_P='/bin/mkdir -p'
@@ -563,17 +563,17 @@ enable_fast_install='yes'
 SHELL='/bin/bash'
 ECHO='printf %s\n'
 host_alias=''
-host='i686-pc-linux-gnu'
+host='x86_64-unknown-linux-gnu'
 host_os='linux-gnu'
 build_alias=''
-build='i686-pc-linux-gnu'
+build='x86_64-unknown-linux-gnu'
 build_os='linux-gnu'
 SED='/bin/sed'
 Xsed='/bin/sed -e 1s/^X//'
 GREP='/bin/grep'
 EGREP='/bin/grep -E'
 FGREP='/bin/grep -F'
-LD='/usr/bin/ld'
+LD='/usr/bin/ld -m elf_x86_64'
 NM='/usr/bin/nm -B'
 LN_S='ln -s'
 max_cmd_len='1572864'
@@ -669,8 +669,8 @@ postuninstall_cmds=''
 finish_cmds='PATH="\$PATH:/sbin" ldconfig -n $libdir'
 finish_eval=''
 hardcode_into_libs='yes'
-sys_lib_search_path_spec='/usr/lib/gcc/i486-linux-gnu/4.6 /usr/lib/i386-linux-gnu /usr/lib /lib/i386-linux-gnu /lib '
-sys_lib_dlsearch_path_spec='/lib64 /usr/lib64 /lib /usr/lib /lib/i386-linux-gnu /usr/lib/i386-linux-gnu /lib/i486-linux-gnu /usr/lib/i486-linux-gnu /usr/local/lib '
+sys_lib_search_path_spec='/usr/lib/gcc/x86_64-linux-gnu/4.6 /usr/lib/x86_64-linux-gnu /usr/lib /lib/x86_64-linux-gnu /lib '
+sys_lib_dlsearch_path_spec='/lib64 /usr/lib64 /lib /usr/lib /usr/local/lib /lib/x86_64-linux-gnu /usr/lib/x86_64-linux-gnu /lib32 /usr/lib32 '
 hardcode_action='immediate'
 enable_dlopen='unknown'
 enable_dlopen_self='unknown'
@@ -824,19 +824,19 @@ S["LN_S"]="ln -s"
 S["NM"]="/usr/bin/nm -B"
 S["ac_ct_DUMPBIN"]=""
 S["DUMPBIN"]=""
-S["LD"]="/usr/bin/ld"
+S["LD"]="/usr/bin/ld -m elf_x86_64"
 S["FGREP"]="/bin/grep -F"
 S["EGREP"]="/bin/grep -E"
 S["GREP"]="/bin/grep"
 S["SED"]="/bin/sed"
 S["host_os"]="linux-gnu"
-S["host_vendor"]="pc"
-S["host_cpu"]="i686"
-S["host"]="i686-pc-linux-gnu"
+S["host_vendor"]="unknown"
+S["host_cpu"]="x86_64"
+S["host"]="x86_64-unknown-linux-gnu"
 S["build_os"]="linux-gnu"
-S["build_vendor"]="pc"
-S["build_cpu"]="i686"
-S["build"]="i686-pc-linux-gnu"
+S["build_vendor"]="unknown"
+S["build_cpu"]="x86_64"
+S["build"]="x86_64-unknown-linux-gnu"
 S["LIBTOOL"]="$(SHELL) $(top_builddir)/libtool"
 S["MAINT"]="#"
 S["MAINTAINER_MODE_FALSE"]=""
@@ -859,7 +859,7 @@ S["CFLAGS"]="-m32  -O2  -Wall"
 S["CC"]="gcc"
 S["am__untar"]="${AMTAR} xf -"
 S["am__tar"]="${AMTAR} chof - \"$$tardir\""
-S["AMTAR"]="${SHELL} /home/carlo/honours/repo/impl/antlr/libantlr3c-3.4/missing --run tar"
+S["AMTAR"]="${SHELL} /home/carlo/laptop-repository/impl/antlr/libantlr3c-3.4/missing --run tar"
 S["am__leading_dot"]="."
 S["SET_MAKE"]=""
 S["AWK"]="mawk"
@@ -867,12 +867,12 @@ S["mkdir_p"]="/bin/mkdir -p"
 S["MKDIR_P"]="/bin/mkdir -p"
 S["INSTALL_STRIP_PROGRAM"]="$(install_sh) -c -s"
 S["STRIP"]="strip"
-S["install_sh"]="${SHELL} /home/carlo/honours/repo/impl/antlr/libantlr3c-3.4/install-sh"
-S["MAKEINFO"]="${SHELL} /home/carlo/honours/repo/impl/antlr/libantlr3c-3.4/missing --run makeinfo"
-S["AUTOHEADER"]="${SHELL} /home/carlo/honours/repo/impl/antlr/libantlr3c-3.4/missing --run autoheader"
-S["AUTOMAKE"]="${SHELL} /home/carlo/honours/repo/impl/antlr/libantlr3c-3.4/missing --run automake-1.11"
-S["AUTOCONF"]="${SHELL} /home/carlo/honours/repo/impl/antlr/libantlr3c-3.4/missing --run autoconf"
-S["ACLOCAL"]="${SHELL} /home/carlo/honours/repo/impl/antlr/libantlr3c-3.4/missing --run aclocal-1.11"
+S["install_sh"]="${SHELL} /home/carlo/laptop-repository/impl/antlr/libantlr3c-3.4/install-sh"
+S["MAKEINFO"]="${SHELL} /home/carlo/laptop-repository/impl/antlr/libantlr3c-3.4/missing --run makeinfo"
+S["AUTOHEADER"]="${SHELL} /home/carlo/laptop-repository/impl/antlr/libantlr3c-3.4/missing --run autoheader"
+S["AUTOMAKE"]="${SHELL} /home/carlo/laptop-repository/impl/antlr/libantlr3c-3.4/missing --run automake-1.11"
+S["AUTOCONF"]="${SHELL} /home/carlo/laptop-repository/impl/antlr/libantlr3c-3.4/missing --run autoconf"
+S["ACLOCAL"]="${SHELL} /home/carlo/laptop-repository/impl/antlr/libantlr3c-3.4/missing --run aclocal-1.11"
 S["VERSION"]="3.4"
 S["PACKAGE"]="libantlr3c"
 S["CYGPATH_W"]="echo"
@@ -980,22 +980,9 @@ D["HAVE_UNISTD_H"]=" 1"
 D["HAVE_DLFCN_H"]=" 1"
 D["LT_OBJDIR"]=" \".libs/\""
 D["HAVE_SYS_TYPES_H"]=" 1"
-D["HAVE_NETINET_IN_H"]=" 1"
-D["HAVE_ARPA_NAMESER_H"]=" 1"
-D["HAVE_NETDB_H"]=" 1"
-D["HAVE_RESOLV_H"]=" 1"
-D["HAVE_MALLOC_H"]=" 1"
 D["HAVE_STDARG_H"]=" 1"
 D["HAVE_SYS_STAT_H"]=" 1"
-D["HAVE_CTYPE_H"]=" 1"
-D["HAVE_NETINET_TCP_H"]=" 1"
-D["HAVE_SYS_SOCKET_H"]=" 1"
-D["HAVE_INTPTR_T"]=" 1"
-D["HAVE_UINTPTR_T"]=" 1"
-D["HAVE_MEMMOVE"]=" 1"
-D["HAVE_MEMSET"]=" 1"
-D["HAVE_STRDUP"]=" 1"
-D["HAVE_ACCEPT"]=" 1"
+D["size_t"]=" unsigned int"
   for (key in D) D_is_set[key] = 1
   FS = ""
 }