2 # Guess values for system-dependent variables and create Makefiles.
3 # Generated by GNU Autoconf 2.69.
6 # Copyright (C) 1992-1996, 1998-2012 Free Software Foundation, Inc.
9 # This configure script is free software; the Free Software Foundation
10 # gives unlimited permission to copy, distribute and modify it.
11 ## -------------------- ##
12 ## M4sh Initialization. ##
13 ## -------------------- ##
15 # Be more Bourne compatible
16 DUALCASE=1; export DUALCASE # for MKS sh
17 if test -n "${ZSH_VERSION+set}" && (emulate sh) >/dev/null 2>&1; then :
20 # Pre-4.2 versions of Zsh do word splitting on ${1+"$@"}, which
21 # is contrary to our usage. Disable this feature.
22 alias -g '${1+"$@"}'='"$@"'
25 case `(set -o) 2>/dev/null` in #(
37 # Printing a long string crashes Solaris 7 /usr/bin/printf.
38 as_echo='\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\'
39 as_echo=$as_echo$as_echo$as_echo$as_echo$as_echo
40 as_echo=$as_echo$as_echo$as_echo$as_echo$as_echo$as_echo
41 # Prefer a ksh shell builtin over an external printf program on Solaris,
42 # but without wasting forks for bash or zsh.
43 if test -z "$BASH_VERSION$ZSH_VERSION" \
44 && (test "X`print -r -- $as_echo`" = "X$as_echo") 2>/dev/null; then
46 as_echo_n='print -rn --'
47 elif (test "X`printf %s $as_echo`" = "X$as_echo") 2>/dev/null; then
51 if test "X`(/usr/ucb/echo -n -n $as_echo) 2>/dev/null`" = "X-n $as_echo"; then
52 as_echo_body='eval /usr/ucb/echo -n "$1$as_nl"'
53 as_echo_n='/usr/ucb/echo -n'
55 as_echo_body='eval expr "X$1" : "X\\(.*\\)"'
60 expr "X$arg" : "X\\(.*\\)$as_nl";
61 arg=`expr "X$arg" : ".*$as_nl\\(.*\\)"`;;
63 expr "X$arg" : "X\\(.*\\)" | tr -d "$as_nl"
66 as_echo_n='sh -c $as_echo_n_body as_echo'
69 as_echo='sh -c $as_echo_body as_echo'
72 # The user is always right.
73 if test "${PATH_SEPARATOR+set}" != set; then
75 (PATH='/bin;/bin'; FPATH=$PATH; sh -c :) >/dev/null 2>&1 && {
76 (PATH='/bin:/bin'; FPATH=$PATH; sh -c :) >/dev/null 2>&1 ||
83 # We need space, tab and new line, in precisely that order. Quoting is
84 # there to prevent editors from complaining about space-tab.
85 # (If _AS_PATH_WALK were called with IFS unset, it would disable word
86 # splitting by setting IFS to empty value.)
89 # Find who we are. Look in the path if we contain no directory separator.
92 *[\\/]* ) as_myself=$0 ;;
93 *) as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
97 test -z "$as_dir" && as_dir=.
98 test -r "$as_dir/$0" && as_myself=$as_dir/$0 && break
104 # We did not find ourselves, most probably we were run as `sh COMMAND'
105 # in which case we are not to be found in the path.
106 if test "x$as_myself" = x; then
109 if test ! -f "$as_myself"; then
110 $as_echo "$as_myself: error: cannot find myself; rerun with an absolute file name" >&2
114 # Unset variables that we do not need and which cause bugs (e.g. in
115 # pre-3.0 UWIN ksh). But do not cause bugs in bash 2.01; the "|| exit 1"
116 # suppresses any "Segmentation fault" message there. '((' could
117 # trigger a bug in pdksh 5.2.14.
118 for as_var in BASH_ENV ENV MAIL MAILPATH
119 do eval test x\${$as_var+set} = xset \
120 && ( (unset $as_var) || exit 1) >/dev/null 2>&1 && unset $as_var || :
133 (unset CDPATH) >/dev/null 2>&1 && unset CDPATH
135 # Use a proper internal environment variable to ensure we don't fall
136 # into an infinite loop, continuously re-executing ourselves.
137 if test x"${_as_can_reexec}" != xno && test "x$CONFIG_SHELL" != x; then
138 _as_can_reexec=no; export _as_can_reexec;
139 # We cannot yet assume a decent shell, so we have to provide a
140 # neutralization value for shells without unset; and this also
141 # works around shells that cannot unset nonexistent variables.
142 # Preserve -v and -x to the replacement shell.
145 (unset BASH_ENV) >/dev/null 2>&1 && unset BASH_ENV ENV
147 *v*x* | *x*v* ) as_opts=-vx ;;
152 exec $CONFIG_SHELL $as_opts "$as_myself" ${1+"$@"}
153 # Admittedly, this is quite paranoid, since all the known shells bail
154 # out after a failed `exec'.
155 $as_echo "$0: could not re-execute with $CONFIG_SHELL" >&2
158 # We don't want this to propagate to other subprocesses.
159 { _as_can_reexec=; unset _as_can_reexec;}
160 if test "x$CONFIG_SHELL" = x; then
161 as_bourne_compatible="if test -n \"\${ZSH_VERSION+set}\" && (emulate sh) >/dev/null 2>&1; then :
164 # Pre-4.2 versions of Zsh do word splitting on \${1+\"\$@\"}, which
165 # is contrary to our usage. Disable this feature.
166 alias -g '\${1+\"\$@\"}'='\"\$@\"'
169 case \`(set -o) 2>/dev/null\` in #(
177 as_required="as_fn_return () { (exit \$1); }
178 as_fn_success () { as_fn_return 0; }
179 as_fn_failure () { as_fn_return 1; }
180 as_fn_ret_success () { return 0; }
181 as_fn_ret_failure () { return 1; }
184 as_fn_success || { exitcode=1; echo as_fn_success failed.; }
185 as_fn_failure && { exitcode=1; echo as_fn_failure succeeded.; }
186 as_fn_ret_success || { exitcode=1; echo as_fn_ret_success failed.; }
187 as_fn_ret_failure && { exitcode=1; echo as_fn_ret_failure succeeded.; }
188 if ( set x; as_fn_ret_success y && test x = \"\$1\" ); then :
191 exitcode=1; echo positional parameters were not saved.
193 test x\$exitcode = x0 || exit 1
195 as_suggested=" as_lineno_1=";as_suggested=$as_suggested$LINENO;as_suggested=$as_suggested" as_lineno_1a=\$LINENO
196 as_lineno_2=";as_suggested=$as_suggested$LINENO;as_suggested=$as_suggested" as_lineno_2a=\$LINENO
197 eval 'test \"x\$as_lineno_1'\$as_run'\" != \"x\$as_lineno_2'\$as_run'\" &&
198 test \"x\`expr \$as_lineno_1'\$as_run' + 1\`\" = \"x\$as_lineno_2'\$as_run'\"' || exit 1"
199 if (eval "$as_required") 2>/dev/null; then :
204 if test x$as_have_required = xyes && (eval "$as_suggested") 2>/dev/null; then :
207 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
209 for as_dir in /bin$PATH_SEPARATOR/usr/bin$PATH_SEPARATOR$PATH
212 test -z "$as_dir" && as_dir=.
216 for as_base in sh bash ksh sh5; do
217 # Try only shells that exist, to save several forks.
218 as_shell=$as_dir/$as_base
219 if { test -f "$as_shell" || test -f "$as_shell.exe"; } &&
220 { $as_echo "$as_bourne_compatible""$as_required" | as_run=a "$as_shell"; } 2>/dev/null; then :
221 CONFIG_SHELL=$as_shell as_have_required=yes
222 if { $as_echo "$as_bourne_compatible""$as_suggested" | as_run=a "$as_shell"; } 2>/dev/null; then :
230 $as_found || { if { test -f "$SHELL" || test -f "$SHELL.exe"; } &&
231 { $as_echo "$as_bourne_compatible""$as_required" | as_run=a "$SHELL"; } 2>/dev/null; then :
232 CONFIG_SHELL=$SHELL as_have_required=yes
237 if test "x$CONFIG_SHELL" != x; then :
239 # We cannot yet assume a decent shell, so we have to provide a
240 # neutralization value for shells without unset; and this also
241 # works around shells that cannot unset nonexistent variables.
242 # Preserve -v and -x to the replacement shell.
245 (unset BASH_ENV) >/dev/null 2>&1 && unset BASH_ENV ENV
247 *v*x* | *x*v* ) as_opts=-vx ;;
252 exec $CONFIG_SHELL $as_opts "$as_myself" ${1+"$@"}
253 # Admittedly, this is quite paranoid, since all the known shells bail
254 # out after a failed `exec'.
255 $as_echo "$0: could not re-execute with $CONFIG_SHELL" >&2
259 if test x$as_have_required = xno; then :
260 $as_echo "$0: This script requires a shell more modern than all"
261 $as_echo "$0: the shells that I found on your system."
262 if test x${ZSH_VERSION+set} = xset ; then
263 $as_echo "$0: In particular, zsh $ZSH_VERSION has bugs and should"
264 $as_echo "$0: be upgraded to zsh 4.3.4 or later."
266 $as_echo "$0: Please tell bug-autoconf@gnu.org about your system,
267 $0: including any error possibly output before this
268 $0: message. Then install a modern shell, or manually run
269 $0: the script under such a shell if you do have one."
275 SHELL=${CONFIG_SHELL-/bin/sh}
277 # Unset more variables known to interfere with behavior of common tools.
278 CLICOLOR_FORCE= GREP_OPTIONS=
279 unset CLICOLOR_FORCE GREP_OPTIONS
281 ## --------------------- ##
282 ## M4sh Shell Functions. ##
283 ## --------------------- ##
286 # Portably unset VAR.
289 { eval $1=; unset $1;}
293 # as_fn_set_status STATUS
294 # -----------------------
295 # Set $? to STATUS, without forking.
303 # Exit the shell with STATUS, even in a "trap 0" or "set -e" context.
313 # Create "$as_dir" as a directory, including parents if necessary.
318 -*) as_dir=./$as_dir;;
320 test -d "$as_dir" || eval $as_mkdir_p || {
324 *\'*) as_qdir=`$as_echo "$as_dir" | sed "s/'/'\\\\\\\\''/g"`;; #'(
327 as_dirs="'$as_qdir' $as_dirs"
328 as_dir=`$as_dirname -- "$as_dir" ||
329 $as_expr X"$as_dir" : 'X\(.*[^/]\)//*[^/][^/]*/*$' \| \
330 X"$as_dir" : 'X\(//\)[^/]' \| \
331 X"$as_dir" : 'X\(//\)$' \| \
332 X"$as_dir" : 'X\(/\)' \| . 2>/dev/null ||
333 $as_echo X"$as_dir" |
334 sed '/^X\(.*[^/]\)\/\/*[^/][^/]*\/*$/{
351 test -d "$as_dir" && break
353 test -z "$as_dirs" || eval "mkdir $as_dirs"
354 } || test -d "$as_dir" || as_fn_error $? "cannot create directory $as_dir"
359 # as_fn_executable_p FILE
360 # -----------------------
361 # Test if FILE is an executable regular file.
362 as_fn_executable_p ()
364 test -f "$1" && test -x "$1"
365 } # as_fn_executable_p
366 # as_fn_append VAR VALUE
367 # ----------------------
368 # Append the text in VALUE to the end of the definition contained in VAR. Take
369 # advantage of any shell optimizations that allow amortized linear growth over
370 # repeated appends, instead of the typical quadratic growth present in naive
372 if (eval "as_var=1; as_var+=2; test x\$as_var = x12") 2>/dev/null; then :
373 eval 'as_fn_append ()
386 # Perform arithmetic evaluation on the ARGs, and store the result in the
387 # global $as_val. Take advantage of shells that can avoid forks. The arguments
388 # must be portable across $(()) and expr.
389 if (eval "test \$(( 1 + 1 )) = 2") 2>/dev/null; then :
397 as_val=`expr "$@" || test $? -eq 1`
402 # as_fn_error STATUS ERROR [LINENO LOG_FD]
403 # ----------------------------------------
404 # Output "`basename $0`: error: ERROR" to stderr. If LINENO and LOG_FD are
405 # provided, also output the error to LOG_FD, referencing LINENO. Then exit the
406 # script with STATUS, using 1 if that was 0.
409 as_status=$1; test $as_status -eq 0 && as_status=1
411 as_lineno=${as_lineno-"$3"} as_lineno_stack=as_lineno_stack=$as_lineno_stack
412 $as_echo "$as_me:${as_lineno-$LINENO}: error: $2" >&$4
414 $as_echo "$as_me: error: $2" >&2
415 as_fn_exit $as_status
418 if expr a : '\(a\)' >/dev/null 2>&1 &&
419 test "X`expr 00001 : '.*\(...\)'`" = X001; then
425 if (basename -- /) >/dev/null 2>&1 && test "X`basename -- / 2>&1`" = "X/"; then
431 if (as_dir=`dirname -- /` && test "X$as_dir" = X/) >/dev/null 2>&1; then
437 as_me=`$as_basename -- "$0" ||
438 $as_expr X/"$0" : '.*/\([^/][^/]*\)/*$' \| \
439 X"$0" : 'X\(//\)$' \| \
440 X"$0" : 'X\(/\)' \| . 2>/dev/null ||
442 sed '/^.*\/\([^/][^/]*\)\/*$/{
456 # Avoid depending upon Character Ranges.
457 as_cr_letters='abcdefghijklmnopqrstuvwxyz'
458 as_cr_LETTERS='ABCDEFGHIJKLMNOPQRSTUVWXYZ'
459 as_cr_Letters=$as_cr_letters$as_cr_LETTERS
460 as_cr_digits='0123456789'
461 as_cr_alnum=$as_cr_Letters$as_cr_digits
464 as_lineno_1=$LINENO as_lineno_1a=$LINENO
465 as_lineno_2=$LINENO as_lineno_2a=$LINENO
466 eval 'test "x$as_lineno_1'$as_run'" != "x$as_lineno_2'$as_run'" &&
467 test "x`expr $as_lineno_1'$as_run' + 1`" = "x$as_lineno_2'$as_run'"' || {
468 # Blame Lee E. McMahon (1931-1989) for sed's syntax. :-)
480 s/[$]LINENO\([^'$as_cr_alnum'_].*\n\)\(.*\)/\2\1\2/
484 chmod +x "$as_me.lineno" ||
485 { $as_echo "$as_me: error: cannot create $as_me.lineno; rerun with a POSIX shell" >&2; as_fn_exit 1; }
487 # If we had to re-execute with $CONFIG_SHELL, we're ensured to have
488 # already done that, so ensure we don't try to do so again and fall
489 # in an infinite loop. This has already happened in practice.
490 _as_can_reexec=no; export _as_can_reexec
491 # Don't try to exec as it changes $[0], causing all sort of problems
492 # (the dirname of $[0] is not the place where we might find the
493 # original and so on. Autoconf is especially sensitive to this).
495 # Exit status is that of the last command.
499 ECHO_C= ECHO_N= ECHO_T=
500 case `echo -n x` in #(((((
502 case `echo 'xy\c'` in
503 *c*) ECHO_T=' ';; # ECHO_T is single tab character.
505 *) echo `echo ksh88 bug on AIX 6.1` > /dev/null
512 rm -f conf$$ conf$$.exe conf$$.file
513 if test -d conf$$.dir; then
514 rm -f conf$$.dir/conf$$.file
517 mkdir conf$$.dir 2>/dev/null
519 if (echo >conf$$.file) 2>/dev/null; then
520 if ln -s conf$$.file conf$$ 2>/dev/null; then
522 # ... but there are two gotchas:
523 # 1) On MSYS, both `ln -s file dir' and `ln file dir' fail.
524 # 2) DJGPP < 2.04 has no symlinks; `ln -s' creates a wrapper executable.
525 # In both cases, we have to default to `cp -pR'.
526 ln -s conf$$.file conf$$.dir 2>/dev/null && test ! -f conf$$.exe ||
528 elif ln conf$$.file conf$$ 2>/dev/null; then
536 rm -f conf$$ conf$$.exe conf$$.dir/conf$$.file conf$$.file
537 rmdir conf$$.dir 2>/dev/null
539 if mkdir -p . 2>/dev/null; then
540 as_mkdir_p='mkdir -p "$as_dir"'
542 test -d ./-p && rmdir ./-p
547 as_executable_p=as_fn_executable_p
549 # Sed expression to map a string onto a valid CPP name.
550 as_tr_cpp="eval sed 'y%*$as_cr_letters%P$as_cr_LETTERS%;s%[^_$as_cr_alnum]%_%g'"
552 # Sed expression to map a string onto a valid variable name.
553 as_tr_sh="eval sed 'y%*+%pp%;s%[^_$as_cr_alnum]%_%g'"
556 test -n "$DJDIR" || exec 7<&0 </dev/null
560 # hostname on some systems (SVR3.2, old GNU/Linux) returns a bogus exit status,
561 # so uname gets run too.
562 ac_hostname=`(hostname || uname -n) 2>/dev/null | sed 1q`
567 ac_default_prefix=/usr/local
569 ac_config_libobj_dir=.
576 # Identity of this package.
584 ac_unique_file="configure.ac"
585 ac_subst_vars='LTLIBOBJS
616 program_transform_name
629 enable_option_checking
631 ac_precious_vars='build_alias
636 # Initialize some variables set by options.
638 ac_init_version=false
639 ac_unrecognized_opts=
641 # The variables have the same names as the options, with
642 # dashes changed to underlines.
650 program_transform_name=s,x,x,
658 # Installation directory options.
659 # These are left unexpanded so users can "make install exec_prefix=/foo"
660 # and all the variables that are supposed to be based on exec_prefix
661 # by default will actually change.
662 # Use braces instead of parens because sh, perl, etc. also accept them.
663 # (The list follows the same order as the GNU Coding Standards.)
664 bindir='${exec_prefix}/bin'
665 sbindir='${exec_prefix}/sbin'
666 libexecdir='${exec_prefix}/libexec'
667 datarootdir='${prefix}/share'
668 datadir='${datarootdir}'
669 sysconfdir='${prefix}/etc'
670 sharedstatedir='${prefix}/com'
671 localstatedir='${prefix}/var'
672 includedir='${prefix}/include'
673 oldincludedir='/usr/include'
674 docdir='${datarootdir}/doc/${PACKAGE}'
675 infodir='${datarootdir}/info'
680 libdir='${exec_prefix}/lib'
681 localedir='${datarootdir}/locale'
682 mandir='${datarootdir}/man'
688 # If the previous option needs an argument, assign it.
689 if test -n "$ac_prev"; then
690 eval $ac_prev=\$ac_option
696 *=?*) ac_optarg=`expr "X$ac_option" : '[^=]*=\(.*\)'` ;;
701 # Accept the important Cygnus configure options, so we can diagnose typos.
703 case $ac_dashdash$ac_option in
707 -bindir | --bindir | --bindi | --bind | --bin | --bi)
709 -bindir=* | --bindir=* | --bindi=* | --bind=* | --bin=* | --bi=*)
712 -build | --build | --buil | --bui | --bu)
713 ac_prev=build_alias ;;
714 -build=* | --build=* | --buil=* | --bui=* | --bu=*)
715 build_alias=$ac_optarg ;;
717 -cache-file | --cache-file | --cache-fil | --cache-fi \
718 | --cache-f | --cache- | --cache | --cach | --cac | --ca | --c)
719 ac_prev=cache_file ;;
720 -cache-file=* | --cache-file=* | --cache-fil=* | --cache-fi=* \
721 | --cache-f=* | --cache-=* | --cache=* | --cach=* | --cac=* | --ca=* | --c=*)
722 cache_file=$ac_optarg ;;
725 cache_file=config.cache ;;
727 -datadir | --datadir | --datadi | --datad)
729 -datadir=* | --datadir=* | --datadi=* | --datad=*)
730 datadir=$ac_optarg ;;
732 -datarootdir | --datarootdir | --datarootdi | --datarootd | --dataroot \
733 | --dataroo | --dataro | --datar)
734 ac_prev=datarootdir ;;
735 -datarootdir=* | --datarootdir=* | --datarootdi=* | --datarootd=* \
736 | --dataroot=* | --dataroo=* | --dataro=* | --datar=*)
737 datarootdir=$ac_optarg ;;
739 -disable-* | --disable-*)
740 ac_useropt=`expr "x$ac_option" : 'x-*disable-\(.*\)'`
741 # Reject names that are not valid shell variable names.
742 expr "x$ac_useropt" : ".*[^-+._$as_cr_alnum]" >/dev/null &&
743 as_fn_error $? "invalid feature name: $ac_useropt"
744 ac_useropt_orig=$ac_useropt
745 ac_useropt=`$as_echo "$ac_useropt" | sed 's/[-+.]/_/g'`
746 case $ac_user_opts in
750 *) ac_unrecognized_opts="$ac_unrecognized_opts$ac_unrecognized_sep--disable-$ac_useropt_orig"
751 ac_unrecognized_sep=', ';;
753 eval enable_$ac_useropt=no ;;
755 -docdir | --docdir | --docdi | --doc | --do)
757 -docdir=* | --docdir=* | --docdi=* | --doc=* | --do=*)
760 -dvidir | --dvidir | --dvidi | --dvid | --dvi | --dv)
762 -dvidir=* | --dvidir=* | --dvidi=* | --dvid=* | --dvi=* | --dv=*)
765 -enable-* | --enable-*)
766 ac_useropt=`expr "x$ac_option" : 'x-*enable-\([^=]*\)'`
767 # Reject names that are not valid shell variable names.
768 expr "x$ac_useropt" : ".*[^-+._$as_cr_alnum]" >/dev/null &&
769 as_fn_error $? "invalid feature name: $ac_useropt"
770 ac_useropt_orig=$ac_useropt
771 ac_useropt=`$as_echo "$ac_useropt" | sed 's/[-+.]/_/g'`
772 case $ac_user_opts in
776 *) ac_unrecognized_opts="$ac_unrecognized_opts$ac_unrecognized_sep--enable-$ac_useropt_orig"
777 ac_unrecognized_sep=', ';;
779 eval enable_$ac_useropt=\$ac_optarg ;;
781 -exec-prefix | --exec_prefix | --exec-prefix | --exec-prefi \
782 | --exec-pref | --exec-pre | --exec-pr | --exec-p | --exec- \
783 | --exec | --exe | --ex)
784 ac_prev=exec_prefix ;;
785 -exec-prefix=* | --exec_prefix=* | --exec-prefix=* | --exec-prefi=* \
786 | --exec-pref=* | --exec-pre=* | --exec-pr=* | --exec-p=* | --exec-=* \
787 | --exec=* | --exe=* | --ex=*)
788 exec_prefix=$ac_optarg ;;
790 -gas | --gas | --ga | --g)
791 # Obsolete; use --with-gas.
794 -help | --help | --hel | --he | -h)
796 -help=r* | --help=r* | --hel=r* | --he=r* | -hr*)
797 ac_init_help=recursive ;;
798 -help=s* | --help=s* | --hel=s* | --he=s* | -hs*)
799 ac_init_help=short ;;
801 -host | --host | --hos | --ho)
802 ac_prev=host_alias ;;
803 -host=* | --host=* | --hos=* | --ho=*)
804 host_alias=$ac_optarg ;;
806 -htmldir | --htmldir | --htmldi | --htmld | --html | --htm | --ht)
808 -htmldir=* | --htmldir=* | --htmldi=* | --htmld=* | --html=* | --htm=* \
810 htmldir=$ac_optarg ;;
812 -includedir | --includedir | --includedi | --included | --include \
813 | --includ | --inclu | --incl | --inc)
814 ac_prev=includedir ;;
815 -includedir=* | --includedir=* | --includedi=* | --included=* | --include=* \
816 | --includ=* | --inclu=* | --incl=* | --inc=*)
817 includedir=$ac_optarg ;;
819 -infodir | --infodir | --infodi | --infod | --info | --inf)
821 -infodir=* | --infodir=* | --infodi=* | --infod=* | --info=* | --inf=*)
822 infodir=$ac_optarg ;;
824 -libdir | --libdir | --libdi | --libd)
826 -libdir=* | --libdir=* | --libdi=* | --libd=*)
829 -libexecdir | --libexecdir | --libexecdi | --libexecd | --libexec \
830 | --libexe | --libex | --libe)
831 ac_prev=libexecdir ;;
832 -libexecdir=* | --libexecdir=* | --libexecdi=* | --libexecd=* | --libexec=* \
833 | --libexe=* | --libex=* | --libe=*)
834 libexecdir=$ac_optarg ;;
836 -localedir | --localedir | --localedi | --localed | --locale)
838 -localedir=* | --localedir=* | --localedi=* | --localed=* | --locale=*)
839 localedir=$ac_optarg ;;
841 -localstatedir | --localstatedir | --localstatedi | --localstated \
842 | --localstate | --localstat | --localsta | --localst | --locals)
843 ac_prev=localstatedir ;;
844 -localstatedir=* | --localstatedir=* | --localstatedi=* | --localstated=* \
845 | --localstate=* | --localstat=* | --localsta=* | --localst=* | --locals=*)
846 localstatedir=$ac_optarg ;;
848 -mandir | --mandir | --mandi | --mand | --man | --ma | --m)
850 -mandir=* | --mandir=* | --mandi=* | --mand=* | --man=* | --ma=* | --m=*)
854 # Obsolete; use --without-fp.
857 -no-create | --no-create | --no-creat | --no-crea | --no-cre \
858 | --no-cr | --no-c | -n)
861 -no-recursion | --no-recursion | --no-recursio | --no-recursi \
862 | --no-recurs | --no-recur | --no-recu | --no-rec | --no-re | --no-r)
865 -oldincludedir | --oldincludedir | --oldincludedi | --oldincluded \
866 | --oldinclude | --oldinclud | --oldinclu | --oldincl | --oldinc \
867 | --oldin | --oldi | --old | --ol | --o)
868 ac_prev=oldincludedir ;;
869 -oldincludedir=* | --oldincludedir=* | --oldincludedi=* | --oldincluded=* \
870 | --oldinclude=* | --oldinclud=* | --oldinclu=* | --oldincl=* | --oldinc=* \
871 | --oldin=* | --oldi=* | --old=* | --ol=* | --o=*)
872 oldincludedir=$ac_optarg ;;
874 -prefix | --prefix | --prefi | --pref | --pre | --pr | --p)
876 -prefix=* | --prefix=* | --prefi=* | --pref=* | --pre=* | --pr=* | --p=*)
879 -program-prefix | --program-prefix | --program-prefi | --program-pref \
880 | --program-pre | --program-pr | --program-p)
881 ac_prev=program_prefix ;;
882 -program-prefix=* | --program-prefix=* | --program-prefi=* \
883 | --program-pref=* | --program-pre=* | --program-pr=* | --program-p=*)
884 program_prefix=$ac_optarg ;;
886 -program-suffix | --program-suffix | --program-suffi | --program-suff \
887 | --program-suf | --program-su | --program-s)
888 ac_prev=program_suffix ;;
889 -program-suffix=* | --program-suffix=* | --program-suffi=* \
890 | --program-suff=* | --program-suf=* | --program-su=* | --program-s=*)
891 program_suffix=$ac_optarg ;;
893 -program-transform-name | --program-transform-name \
894 | --program-transform-nam | --program-transform-na \
895 | --program-transform-n | --program-transform- \
896 | --program-transform | --program-transfor \
897 | --program-transfo | --program-transf \
898 | --program-trans | --program-tran \
899 | --progr-tra | --program-tr | --program-t)
900 ac_prev=program_transform_name ;;
901 -program-transform-name=* | --program-transform-name=* \
902 | --program-transform-nam=* | --program-transform-na=* \
903 | --program-transform-n=* | --program-transform-=* \
904 | --program-transform=* | --program-transfor=* \
905 | --program-transfo=* | --program-transf=* \
906 | --program-trans=* | --program-tran=* \
907 | --progr-tra=* | --program-tr=* | --program-t=*)
908 program_transform_name=$ac_optarg ;;
910 -pdfdir | --pdfdir | --pdfdi | --pdfd | --pdf | --pd)
912 -pdfdir=* | --pdfdir=* | --pdfdi=* | --pdfd=* | --pdf=* | --pd=*)
915 -psdir | --psdir | --psdi | --psd | --ps)
917 -psdir=* | --psdir=* | --psdi=* | --psd=* | --ps=*)
920 -q | -quiet | --quiet | --quie | --qui | --qu | --q \
921 | -silent | --silent | --silen | --sile | --sil)
924 -sbindir | --sbindir | --sbindi | --sbind | --sbin | --sbi | --sb)
926 -sbindir=* | --sbindir=* | --sbindi=* | --sbind=* | --sbin=* \
928 sbindir=$ac_optarg ;;
930 -sharedstatedir | --sharedstatedir | --sharedstatedi \
931 | --sharedstated | --sharedstate | --sharedstat | --sharedsta \
932 | --sharedst | --shareds | --shared | --share | --shar \
934 ac_prev=sharedstatedir ;;
935 -sharedstatedir=* | --sharedstatedir=* | --sharedstatedi=* \
936 | --sharedstated=* | --sharedstate=* | --sharedstat=* | --sharedsta=* \
937 | --sharedst=* | --shareds=* | --shared=* | --share=* | --shar=* \
939 sharedstatedir=$ac_optarg ;;
941 -site | --site | --sit)
943 -site=* | --site=* | --sit=*)
946 -srcdir | --srcdir | --srcdi | --srcd | --src | --sr)
948 -srcdir=* | --srcdir=* | --srcdi=* | --srcd=* | --src=* | --sr=*)
951 -sysconfdir | --sysconfdir | --sysconfdi | --sysconfd | --sysconf \
952 | --syscon | --sysco | --sysc | --sys | --sy)
953 ac_prev=sysconfdir ;;
954 -sysconfdir=* | --sysconfdir=* | --sysconfdi=* | --sysconfd=* | --sysconf=* \
955 | --syscon=* | --sysco=* | --sysc=* | --sys=* | --sy=*)
956 sysconfdir=$ac_optarg ;;
958 -target | --target | --targe | --targ | --tar | --ta | --t)
959 ac_prev=target_alias ;;
960 -target=* | --target=* | --targe=* | --targ=* | --tar=* | --ta=* | --t=*)
961 target_alias=$ac_optarg ;;
963 -v | -verbose | --verbose | --verbos | --verbo | --verb)
966 -version | --version | --versio | --versi | --vers | -V)
970 ac_useropt=`expr "x$ac_option" : 'x-*with-\([^=]*\)'`
971 # Reject names that are not valid shell variable names.
972 expr "x$ac_useropt" : ".*[^-+._$as_cr_alnum]" >/dev/null &&
973 as_fn_error $? "invalid package name: $ac_useropt"
974 ac_useropt_orig=$ac_useropt
975 ac_useropt=`$as_echo "$ac_useropt" | sed 's/[-+.]/_/g'`
976 case $ac_user_opts in
980 *) ac_unrecognized_opts="$ac_unrecognized_opts$ac_unrecognized_sep--with-$ac_useropt_orig"
981 ac_unrecognized_sep=', ';;
983 eval with_$ac_useropt=\$ac_optarg ;;
985 -without-* | --without-*)
986 ac_useropt=`expr "x$ac_option" : 'x-*without-\(.*\)'`
987 # Reject names that are not valid shell variable names.
988 expr "x$ac_useropt" : ".*[^-+._$as_cr_alnum]" >/dev/null &&
989 as_fn_error $? "invalid package name: $ac_useropt"
990 ac_useropt_orig=$ac_useropt
991 ac_useropt=`$as_echo "$ac_useropt" | sed 's/[-+.]/_/g'`
992 case $ac_user_opts in
996 *) ac_unrecognized_opts="$ac_unrecognized_opts$ac_unrecognized_sep--without-$ac_useropt_orig"
997 ac_unrecognized_sep=', ';;
999 eval with_$ac_useropt=no ;;
1002 # Obsolete; use --with-x.
1005 -x-includes | --x-includes | --x-include | --x-includ | --x-inclu \
1006 | --x-incl | --x-inc | --x-in | --x-i)
1007 ac_prev=x_includes ;;
1008 -x-includes=* | --x-includes=* | --x-include=* | --x-includ=* | --x-inclu=* \
1009 | --x-incl=* | --x-inc=* | --x-in=* | --x-i=*)
1010 x_includes=$ac_optarg ;;
1012 -x-libraries | --x-libraries | --x-librarie | --x-librari \
1013 | --x-librar | --x-libra | --x-libr | --x-lib | --x-li | --x-l)
1014 ac_prev=x_libraries ;;
1015 -x-libraries=* | --x-libraries=* | --x-librarie=* | --x-librari=* \
1016 | --x-librar=* | --x-libra=* | --x-libr=* | --x-lib=* | --x-li=* | --x-l=*)
1017 x_libraries=$ac_optarg ;;
1019 -*) as_fn_error $? "unrecognized option: \`$ac_option'
1020 Try \`$0 --help' for more information"
1024 ac_envvar=`expr "x$ac_option" : 'x\([^=]*\)='`
1025 # Reject names that are not valid shell variable names.
1026 case $ac_envvar in #(
1027 '' | [0-9]* | *[!_$as_cr_alnum]* )
1028 as_fn_error $? "invalid variable name: \`$ac_envvar'" ;;
1030 eval $ac_envvar=\$ac_optarg
1031 export $ac_envvar ;;
1034 # FIXME: should be removed in autoconf 3.0.
1035 $as_echo "$as_me: WARNING: you should use --build, --host, --target" >&2
1036 expr "x$ac_option" : ".*[^-._$as_cr_alnum]" >/dev/null &&
1037 $as_echo "$as_me: WARNING: invalid host type: $ac_option" >&2
1038 : "${build_alias=$ac_option} ${host_alias=$ac_option} ${target_alias=$ac_option}"
1044 if test -n "$ac_prev"; then
1045 ac_option=--`echo $ac_prev | sed 's/_/-/g'`
1046 as_fn_error $? "missing argument to $ac_option"
1049 if test -n "$ac_unrecognized_opts"; then
1050 case $enable_option_checking in
1052 fatal) as_fn_error $? "unrecognized options: $ac_unrecognized_opts" ;;
1053 *) $as_echo "$as_me: WARNING: unrecognized options: $ac_unrecognized_opts" >&2 ;;
1057 # Check all directory arguments for consistency.
1058 for ac_var in exec_prefix prefix bindir sbindir libexecdir datarootdir \
1059 datadir sysconfdir sharedstatedir localstatedir includedir \
1060 oldincludedir docdir infodir htmldir dvidir pdfdir psdir \
1061 libdir localedir mandir
1063 eval ac_val=\$$ac_var
1064 # Remove trailing slashes.
1067 ac_val=`expr "X$ac_val" : 'X\(.*[^/]\)' \| "X$ac_val" : 'X\(.*\)'`
1068 eval $ac_var=\$ac_val;;
1070 # Be sure to have absolute directory names.
1072 [\\/$]* | ?:[\\/]* ) continue;;
1073 NONE | '' ) case $ac_var in *prefix ) continue;; esac;;
1075 as_fn_error $? "expected an absolute directory name for --$ac_var: $ac_val"
1078 # There might be people who depend on the old broken behavior: `$host'
1079 # used to hold the argument of --host etc.
1080 # FIXME: To remove some day.
1083 target=$target_alias
1085 # FIXME: To remove some day.
1086 if test "x$host_alias" != x; then
1087 if test "x$build_alias" = x; then
1088 cross_compiling=maybe
1089 elif test "x$build_alias" != "x$host_alias"; then
1095 test -n "$host_alias" && ac_tool_prefix=$host_alias-
1097 test "$silent" = yes && exec 6>/dev/null
1100 ac_pwd=`pwd` && test -n "$ac_pwd" &&
1101 ac_ls_di=`ls -di .` &&
1102 ac_pwd_ls_di=`cd "$ac_pwd" && ls -di .` ||
1103 as_fn_error $? "working directory cannot be determined"
1104 test "X$ac_ls_di" = "X$ac_pwd_ls_di" ||
1105 as_fn_error $? "pwd does not report name of working directory"
1108 # Find the source files, if location was not specified.
1109 if test -z "$srcdir"; then
1110 ac_srcdir_defaulted=yes
1111 # Try the directory containing this script, then the parent directory.
1112 ac_confdir=`$as_dirname -- "$as_myself" ||
1113 $as_expr X"$as_myself" : 'X\(.*[^/]\)//*[^/][^/]*/*$' \| \
1114 X"$as_myself" : 'X\(//\)[^/]' \| \
1115 X"$as_myself" : 'X\(//\)$' \| \
1116 X"$as_myself" : 'X\(/\)' \| . 2>/dev/null ||
1117 $as_echo X"$as_myself" |
1118 sed '/^X\(.*[^/]\)\/\/*[^/][^/]*\/*$/{
1136 if test ! -r "$srcdir/$ac_unique_file"; then
1140 ac_srcdir_defaulted=no
1142 if test ! -r "$srcdir/$ac_unique_file"; then
1143 test "$ac_srcdir_defaulted" = yes && srcdir="$ac_confdir or .."
1144 as_fn_error $? "cannot find sources ($ac_unique_file) in $srcdir"
1146 ac_msg="sources are in $srcdir, but \`cd $srcdir' does not work"
1148 cd "$srcdir" && test -r "./$ac_unique_file" || as_fn_error $? "$ac_msg"
1150 # When building in place, set srcdir=.
1151 if test "$ac_abs_confdir" = "$ac_pwd"; then
1154 # Remove unnecessary trailing slashes from srcdir.
1155 # Double slashes in file names in object file debugging info
1156 # mess up M-x gdb in Emacs.
1158 */) srcdir=`expr "X$srcdir" : 'X\(.*[^/]\)' \| "X$srcdir" : 'X\(.*\)'`;;
1160 for ac_var in $ac_precious_vars; do
1161 eval ac_env_${ac_var}_set=\${${ac_var}+set}
1162 eval ac_env_${ac_var}_value=\$${ac_var}
1163 eval ac_cv_env_${ac_var}_set=\${${ac_var}+set}
1164 eval ac_cv_env_${ac_var}_value=\$${ac_var}
1168 # Report the --help message.
1170 if test "$ac_init_help" = "long"; then
1171 # Omit some internal or obsolete options to make the list less imposing.
1172 # This message is too long to be a string in the A/UX 3.1 sh.
1174 \`configure' configures this package to adapt to many kinds of systems.
1176 Usage: $0 [OPTION]... [VAR=VALUE]...
1178 To assign environment variables (e.g., CC, CFLAGS...), specify them as
1179 VAR=VALUE. See below for descriptions of some of the useful variables.
1181 Defaults for the options are specified in brackets.
1184 -h, --help display this help and exit
1185 --help=short display options specific to this package
1186 --help=recursive display the short help of all the included packages
1187 -V, --version display version information and exit
1188 -q, --quiet, --silent do not print \`checking ...' messages
1189 --cache-file=FILE cache test results in FILE [disabled]
1190 -C, --config-cache alias for \`--cache-file=config.cache'
1191 -n, --no-create do not create output files
1192 --srcdir=DIR find the sources in DIR [configure dir or \`..']
1194 Installation directories:
1195 --prefix=PREFIX install architecture-independent files in PREFIX
1196 [$ac_default_prefix]
1197 --exec-prefix=EPREFIX install architecture-dependent files in EPREFIX
1200 By default, \`make install' will install all the files in
1201 \`$ac_default_prefix/bin', \`$ac_default_prefix/lib' etc. You can specify
1202 an installation prefix other than \`$ac_default_prefix' using \`--prefix',
1203 for instance \`--prefix=\$HOME'.
1205 For better control, use the options below.
1207 Fine tuning of the installation directories:
1208 --bindir=DIR user executables [EPREFIX/bin]
1209 --sbindir=DIR system admin executables [EPREFIX/sbin]
1210 --libexecdir=DIR program executables [EPREFIX/libexec]
1211 --sysconfdir=DIR read-only single-machine data [PREFIX/etc]
1212 --sharedstatedir=DIR modifiable architecture-independent data [PREFIX/com]
1213 --localstatedir=DIR modifiable single-machine data [PREFIX/var]
1214 --libdir=DIR object code libraries [EPREFIX/lib]
1215 --includedir=DIR C header files [PREFIX/include]
1216 --oldincludedir=DIR C header files for non-gcc [/usr/include]
1217 --datarootdir=DIR read-only arch.-independent data root [PREFIX/share]
1218 --datadir=DIR read-only architecture-independent data [DATAROOTDIR]
1219 --infodir=DIR info documentation [DATAROOTDIR/info]
1220 --localedir=DIR locale-dependent data [DATAROOTDIR/locale]
1221 --mandir=DIR man documentation [DATAROOTDIR/man]
1222 --docdir=DIR documentation root [DATAROOTDIR/doc/PACKAGE]
1223 --htmldir=DIR html documentation [DOCDIR]
1224 --dvidir=DIR dvi documentation [DOCDIR]
1225 --pdfdir=DIR pdf documentation [DOCDIR]
1226 --psdir=DIR ps documentation [DOCDIR]
1233 if test -n "$ac_init_help"; then
1237 Report bugs to the package provider.
1242 if test "$ac_init_help" = "recursive"; then
1243 # If there are subdirs, report their specific --help.
1244 for ac_dir in : $ac_subdirs_all; do test "x$ac_dir" = x: && continue
1245 test -d "$ac_dir" ||
1246 { cd "$srcdir" && ac_pwd=`pwd` && srcdir=. && test -d "$ac_dir"; } ||
1251 .) ac_dir_suffix= ac_top_builddir_sub=. ac_top_build_prefix= ;;
1253 ac_dir_suffix=/`$as_echo "$ac_dir" | sed 's|^\.[\\/]||'`
1254 # A ".." for each directory in $ac_dir_suffix.
1255 ac_top_builddir_sub=`$as_echo "$ac_dir_suffix" | sed 's|/[^\\/]*|/..|g;s|/||'`
1256 case $ac_top_builddir_sub in
1257 "") ac_top_builddir_sub=. ac_top_build_prefix= ;;
1258 *) ac_top_build_prefix=$ac_top_builddir_sub/ ;;
1261 ac_abs_top_builddir=$ac_pwd
1262 ac_abs_builddir=$ac_pwd$ac_dir_suffix
1263 # for backward compatibility:
1264 ac_top_builddir=$ac_top_build_prefix
1267 .) # We are building in place.
1269 ac_top_srcdir=$ac_top_builddir_sub
1270 ac_abs_top_srcdir=$ac_pwd ;;
1271 [\\/]* | ?:[\\/]* ) # Absolute name.
1272 ac_srcdir=$srcdir$ac_dir_suffix;
1273 ac_top_srcdir=$srcdir
1274 ac_abs_top_srcdir=$srcdir ;;
1276 ac_srcdir=$ac_top_build_prefix$srcdir$ac_dir_suffix
1277 ac_top_srcdir=$ac_top_build_prefix$srcdir
1278 ac_abs_top_srcdir=$ac_pwd/$srcdir ;;
1280 ac_abs_srcdir=$ac_abs_top_srcdir$ac_dir_suffix
1282 cd "$ac_dir" || { ac_status=$?; continue; }
1283 # Check for guested configure.
1284 if test -f "$ac_srcdir/configure.gnu"; then
1286 $SHELL "$ac_srcdir/configure.gnu" --help=recursive
1287 elif test -f "$ac_srcdir/configure"; then
1289 $SHELL "$ac_srcdir/configure" --help=recursive
1291 $as_echo "$as_me: WARNING: no configuration information is in $ac_dir" >&2
1293 cd "$ac_pwd" || { ac_status=$?; break; }
1297 test -n "$ac_init_help" && exit $ac_status
1298 if $ac_init_version; then
1301 generated by GNU Autoconf 2.69
1303 Copyright (C) 2012 Free Software Foundation, Inc.
1304 This configure script is free software; the Free Software Foundation
1305 gives unlimited permission to copy, distribute and modify it.
1310 ## ------------------------ ##
1311 ## Autoconf initialization. ##
1312 ## ------------------------ ##
1313 cat >config.log <<_ACEOF
1314 This file contains any messages produced by compilers while
1315 running configure, to aid debugging if configure makes a mistake.
1317 It was created by $as_me, which was
1318 generated by GNU Autoconf 2.69. Invocation command line was
1330 hostname = `(hostname || uname -n) 2>/dev/null | sed 1q`
1331 uname -m = `(uname -m) 2>/dev/null || echo unknown`
1332 uname -r = `(uname -r) 2>/dev/null || echo unknown`
1333 uname -s = `(uname -s) 2>/dev/null || echo unknown`
1334 uname -v = `(uname -v) 2>/dev/null || echo unknown`
1336 /usr/bin/uname -p = `(/usr/bin/uname -p) 2>/dev/null || echo unknown`
1337 /bin/uname -X = `(/bin/uname -X) 2>/dev/null || echo unknown`
1339 /bin/arch = `(/bin/arch) 2>/dev/null || echo unknown`
1340 /usr/bin/arch -k = `(/usr/bin/arch -k) 2>/dev/null || echo unknown`
1341 /usr/convex/getsysinfo = `(/usr/convex/getsysinfo) 2>/dev/null || echo unknown`
1342 /usr/bin/hostinfo = `(/usr/bin/hostinfo) 2>/dev/null || echo unknown`
1343 /bin/machine = `(/bin/machine) 2>/dev/null || echo unknown`
1344 /usr/bin/oslevel = `(/usr/bin/oslevel) 2>/dev/null || echo unknown`
1345 /bin/universe = `(/bin/universe) 2>/dev/null || echo unknown`
1349 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
1353 test -z "$as_dir" && as_dir=.
1354 $as_echo "PATH: $as_dir"
1370 # Keep a trace of the command line.
1371 # Strip out --no-create and --no-recursion so they do not pile up.
1372 # Strip out --silent because we don't want to record it for future runs.
1373 # Also quote any args containing shell meta-characters.
1374 # Make two passes to allow for proper duplicate-argument suppression.
1378 ac_must_keep_next=false
1384 -no-create | --no-c* | -n | -no-recursion | --no-r*) continue ;;
1385 -q | -quiet | --quiet | --quie | --qui | --qu | --q \
1386 | -silent | --silent | --silen | --sile | --sil)
1389 ac_arg=`$as_echo "$ac_arg" | sed "s/'/'\\\\\\\\''/g"` ;;
1392 1) as_fn_append ac_configure_args0 " '$ac_arg'" ;;
1394 as_fn_append ac_configure_args1 " '$ac_arg'"
1395 if test $ac_must_keep_next = true; then
1396 ac_must_keep_next=false # Got value, back to normal.
1399 *=* | --config-cache | -C | -disable-* | --disable-* \
1400 | -enable-* | --enable-* | -gas | --g* | -nfp | --nf* \
1401 | -q | -quiet | --q* | -silent | --sil* | -v | -verb* \
1402 | -with-* | --with-* | -without-* | --without-* | --x)
1403 case "$ac_configure_args0 " in
1404 "$ac_configure_args1"*" '$ac_arg' "* ) continue ;;
1407 -* ) ac_must_keep_next=true ;;
1410 as_fn_append ac_configure_args " '$ac_arg'"
1415 { ac_configure_args0=; unset ac_configure_args0;}
1416 { ac_configure_args1=; unset ac_configure_args1;}
1418 # When interrupted or exit'd, cleanup temporary files, and complete
1419 # config.log. We remove comments because anyway the quotes in there
1420 # would cause problems or look ugly.
1421 # WARNING: Use '\'' to represent an apostrophe within the trap.
1422 # WARNING: Do not start the trap code with a newline, due to a FreeBSD 4.0 bug.
1423 trap 'exit_status=$?
1424 # Save into config.log some information that might help in debugging.
1428 $as_echo "## ---------------- ##
1429 ## Cache variables. ##
1430 ## ---------------- ##"
1432 # The following way of writing the cache mishandles newlines in values,
1434 for ac_var in `(set) 2>&1 | sed -n '\''s/^\([a-zA-Z_][a-zA-Z0-9_]*\)=.*/\1/p'\''`; do
1435 eval ac_val=\$$ac_var
1439 *_cv_*) { $as_echo "$as_me:${as_lineno-$LINENO}: WARNING: cache variable $ac_var contains a newline" >&5
1440 $as_echo "$as_me: WARNING: cache variable $ac_var contains a newline" >&2;} ;;
1443 _ | IFS | as_nl) ;; #(
1444 BASH_ARGV | BASH_SOURCE) eval $ac_var= ;; #(
1445 *) { eval $ac_var=; unset $ac_var;} ;;
1450 case $as_nl`(ac_space='\'' '\''; set) 2>&1` in #(
1451 *${as_nl}ac_space=\ *)
1453 "s/'\''/'\''\\\\'\'''\''/g;
1454 s/^\\([_$as_cr_alnum]*_cv_[_$as_cr_alnum]*\\)=\\(.*\\)/\\1='\''\\2'\''/p"
1457 sed -n "/^[_$as_cr_alnum]*_cv_[_$as_cr_alnum]*=/p"
1464 $as_echo "## ----------------- ##
1465 ## Output variables. ##
1466 ## ----------------- ##"
1468 for ac_var in $ac_subst_vars
1470 eval ac_val=\$$ac_var
1472 *\'\''*) ac_val=`$as_echo "$ac_val" | sed "s/'\''/'\''\\\\\\\\'\'''\''/g"`;;
1474 $as_echo "$ac_var='\''$ac_val'\''"
1478 if test -n "$ac_subst_files"; then
1479 $as_echo "## ------------------- ##
1480 ## File substitutions. ##
1481 ## ------------------- ##"
1483 for ac_var in $ac_subst_files
1485 eval ac_val=\$$ac_var
1487 *\'\''*) ac_val=`$as_echo "$ac_val" | sed "s/'\''/'\''\\\\\\\\'\'''\''/g"`;;
1489 $as_echo "$ac_var='\''$ac_val'\''"
1494 if test -s confdefs.h; then
1495 $as_echo "## ----------- ##
1502 test "$ac_signal" != 0 &&
1503 $as_echo "$as_me: caught signal $ac_signal"
1504 $as_echo "$as_me: exit $exit_status"
1506 rm -f core *.core core.conftest.* &&
1507 rm -f -r conftest* confdefs* conf$$* $ac_clean_files &&
1510 for ac_signal in 1 2 13 15; do
1511 trap 'ac_signal='$ac_signal'; as_fn_exit 1' $ac_signal
1515 # confdefs.h avoids OS command line length limits that DEFS can exceed.
1516 rm -f -r conftest* confdefs.h
1518 $as_echo "/* confdefs.h */" > confdefs.h
1520 # Predefined preprocessor variables.
1522 cat >>confdefs.h <<_ACEOF
1523 #define PACKAGE_NAME "$PACKAGE_NAME"
1526 cat >>confdefs.h <<_ACEOF
1527 #define PACKAGE_TARNAME "$PACKAGE_TARNAME"
1530 cat >>confdefs.h <<_ACEOF
1531 #define PACKAGE_VERSION "$PACKAGE_VERSION"
1534 cat >>confdefs.h <<_ACEOF
1535 #define PACKAGE_STRING "$PACKAGE_STRING"
1538 cat >>confdefs.h <<_ACEOF
1539 #define PACKAGE_BUGREPORT "$PACKAGE_BUGREPORT"
1542 cat >>confdefs.h <<_ACEOF
1543 #define PACKAGE_URL "$PACKAGE_URL"
1547 # Let the site file select an alternate cache file if it wants to.
1548 # Prefer an explicitly selected file to automatically selected ones.
1551 if test -n "$CONFIG_SITE"; then
1552 # We do not want a PATH search for config.site.
1553 case $CONFIG_SITE in #((
1554 -*) ac_site_file1=./$CONFIG_SITE;;
1555 */*) ac_site_file1=$CONFIG_SITE;;
1556 *) ac_site_file1=./$CONFIG_SITE;;
1558 elif test "x$prefix" != xNONE; then
1559 ac_site_file1=$prefix/share/config.site
1560 ac_site_file2=$prefix/etc/config.site
1562 ac_site_file1=$ac_default_prefix/share/config.site
1563 ac_site_file2=$ac_default_prefix/etc/config.site
1565 for ac_site_file in "$ac_site_file1" "$ac_site_file2"
1567 test "x$ac_site_file" = xNONE && continue
1568 if test /dev/null != "$ac_site_file" && test -r "$ac_site_file"; then
1569 { $as_echo "$as_me:${as_lineno-$LINENO}: loading site script $ac_site_file" >&5
1570 $as_echo "$as_me: loading site script $ac_site_file" >&6;}
1571 sed 's/^/| /' "$ac_site_file" >&5
1573 || { { $as_echo "$as_me:${as_lineno-$LINENO}: error: in \`$ac_pwd':" >&5
1574 $as_echo "$as_me: error: in \`$ac_pwd':" >&2;}
1575 as_fn_error $? "failed to load site script $ac_site_file
1576 See \`config.log' for more details" "$LINENO" 5; }
1580 if test -r "$cache_file"; then
1581 # Some versions of bash will fail to source /dev/null (special files
1582 # actually), so we avoid doing that. DJGPP emulates it as a regular file.
1583 if test /dev/null != "$cache_file" && test -f "$cache_file"; then
1584 { $as_echo "$as_me:${as_lineno-$LINENO}: loading cache $cache_file" >&5
1585 $as_echo "$as_me: loading cache $cache_file" >&6;}
1587 [\\/]* | ?:[\\/]* ) . "$cache_file";;
1588 *) . "./$cache_file";;
1592 { $as_echo "$as_me:${as_lineno-$LINENO}: creating cache $cache_file" >&5
1593 $as_echo "$as_me: creating cache $cache_file" >&6;}
1597 # Check that the precious variables saved in the cache have kept the same
1599 ac_cache_corrupted=false
1600 for ac_var in $ac_precious_vars; do
1601 eval ac_old_set=\$ac_cv_env_${ac_var}_set
1602 eval ac_new_set=\$ac_env_${ac_var}_set
1603 eval ac_old_val=\$ac_cv_env_${ac_var}_value
1604 eval ac_new_val=\$ac_env_${ac_var}_value
1605 case $ac_old_set,$ac_new_set in
1607 { $as_echo "$as_me:${as_lineno-$LINENO}: error: \`$ac_var' was set to \`$ac_old_val' in the previous run" >&5
1608 $as_echo "$as_me: error: \`$ac_var' was set to \`$ac_old_val' in the previous run" >&2;}
1609 ac_cache_corrupted=: ;;
1611 { $as_echo "$as_me:${as_lineno-$LINENO}: error: \`$ac_var' was not set in the previous run" >&5
1612 $as_echo "$as_me: error: \`$ac_var' was not set in the previous run" >&2;}
1613 ac_cache_corrupted=: ;;
1616 if test "x$ac_old_val" != "x$ac_new_val"; then
1617 # differences in whitespace do not lead to failure.
1618 ac_old_val_w=`echo x $ac_old_val`
1619 ac_new_val_w=`echo x $ac_new_val`
1620 if test "$ac_old_val_w" != "$ac_new_val_w"; then
1621 { $as_echo "$as_me:${as_lineno-$LINENO}: error: \`$ac_var' has changed since the previous run:" >&5
1622 $as_echo "$as_me: error: \`$ac_var' has changed since the previous run:" >&2;}
1623 ac_cache_corrupted=:
1625 { $as_echo "$as_me:${as_lineno-$LINENO}: warning: ignoring whitespace changes in \`$ac_var' since the previous run:" >&5
1626 $as_echo "$as_me: warning: ignoring whitespace changes in \`$ac_var' since the previous run:" >&2;}
1627 eval $ac_var=\$ac_old_val
1629 { $as_echo "$as_me:${as_lineno-$LINENO}: former value: \`$ac_old_val'" >&5
1630 $as_echo "$as_me: former value: \`$ac_old_val'" >&2;}
1631 { $as_echo "$as_me:${as_lineno-$LINENO}: current value: \`$ac_new_val'" >&5
1632 $as_echo "$as_me: current value: \`$ac_new_val'" >&2;}
1635 # Pass precious variables to config.status.
1636 if test "$ac_new_set" = set; then
1638 *\'*) ac_arg=$ac_var=`$as_echo "$ac_new_val" | sed "s/'/'\\\\\\\\''/g"` ;;
1639 *) ac_arg=$ac_var=$ac_new_val ;;
1641 case " $ac_configure_args " in
1642 *" '$ac_arg' "*) ;; # Avoid dups. Use of quotes ensures accuracy.
1643 *) as_fn_append ac_configure_args " '$ac_arg'" ;;
1647 if $ac_cache_corrupted; then
1648 { $as_echo "$as_me:${as_lineno-$LINENO}: error: in \`$ac_pwd':" >&5
1649 $as_echo "$as_me: error: in \`$ac_pwd':" >&2;}
1650 { $as_echo "$as_me:${as_lineno-$LINENO}: error: changes in the environment can compromise the build" >&5
1651 $as_echo "$as_me: error: changes in the environment can compromise the build" >&2;}
1652 as_fn_error $? "run \`make distclean' and/or \`rm $cache_file' and start over" "$LINENO" 5
1654 ## -------------------- ##
1655 ## Main body of script. ##
1656 ## -------------------- ##
1659 ac_cpp='$CPP $CPPFLAGS'
1660 ac_compile='$CC -c $CFLAGS $CPPFLAGS conftest.$ac_ext >&5'
1661 ac_link='$CC -o conftest$ac_exeext $CFLAGS $CPPFLAGS $LDFLAGS conftest.$ac_ext $LIBS >&5'
1662 ac_compiler_gnu=$ac_cv_c_compiler_gnu
1668 # Extract the first word of "$ac_prog", so it can be a program name with args.
1669 set dummy $ac_prog; ac_word=$2
1670 { $as_echo "$as_me:${as_lineno-$LINENO}: checking for $ac_word" >&5
1671 $as_echo_n "checking for $ac_word... " >&6; }
1672 if ${ac_cv_prog_ACC+:} false; then :
1673 $as_echo_n "(cached) " >&6
1675 if test -n "$ACC"; then
1676 ac_cv_prog_ACC="$ACC" # Let the user override the test.
1678 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
1682 test -z "$as_dir" && as_dir=.
1683 for ac_exec_ext in '' $ac_executable_extensions; do
1684 if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
1685 ac_cv_prog_ACC="$ac_prog"
1686 $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
1696 if test -n "$ACC"; then
1697 { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ACC" >&5
1698 $as_echo "$ACC" >&6; }
1700 { $as_echo "$as_me:${as_lineno-$LINENO}: result: no" >&5
1701 $as_echo "no" >&6; }
1705 test -n "$ACC" && break
1710 for ac_prog in frama-c
1712 # Extract the first word of "$ac_prog", so it can be a program name with args.
1713 set dummy $ac_prog; ac_word=$2
1714 { $as_echo "$as_me:${as_lineno-$LINENO}: checking for $ac_word" >&5
1715 $as_echo_n "checking for $ac_word... " >&6; }
1716 if ${ac_cv_prog_FRAMAC+:} false; then :
1717 $as_echo_n "(cached) " >&6
1719 if test -n "$FRAMAC"; then
1720 ac_cv_prog_FRAMAC="$FRAMAC" # Let the user override the test.
1722 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
1726 test -z "$as_dir" && as_dir=.
1727 for ac_exec_ext in '' $ac_executable_extensions; do
1728 if as_fn_executable_p "$as_dir/$ac_word$ac_exec_ext"; then
1729 ac_cv_prog_FRAMAC="$ac_prog"
1730 $as_echo "$as_me:${as_lineno-$LINENO}: found $as_dir/$ac_word$ac_exec_ext" >&5
1739 FRAMAC=$ac_cv_prog_FRAMAC
1740 if test -n "$FRAMAC"; then
1741 { $as_echo "$as_me:${as_lineno-$LINENO}: result: $FRAMAC" >&5
1742 $as_echo "$FRAMAC" >&6; }
1744 { $as_echo "$as_me:${as_lineno-$LINENO}: result: no" >&5
1745 $as_echo "no" >&6; }
1749 test -n "$FRAMAC" && break
1754 ac_config_files="$ac_config_files Makefile"
1756 cat >confcache <<\_ACEOF
1757 # This file is a shell script that caches the results of configure
1758 # tests run on this system so they can be shared between configure
1759 # scripts and configure runs, see configure's option --config-cache.
1760 # It is not useful on other systems. If it contains results you don't
1761 # want to keep, you may remove or edit it.
1763 # config.status only pays attention to the cache file if you give it
1764 # the --recheck option to rerun configure.
1766 # `ac_cv_env_foo' variables (set or unset) will be overridden when
1767 # loading this file, other *unset* `ac_cv_foo' will be assigned the
1772 # The following way of writing the cache mishandles newlines in values,
1773 # but we know of no workaround that is simple, portable, and efficient.
1774 # So, we kill variables containing newlines.
1775 # Ultrix sh set writes to stderr and can't be redirected directly,
1776 # and sets the high bit in the cache file unless we assign to the vars.
1778 for ac_var in `(set) 2>&1 | sed -n 's/^\([a-zA-Z_][a-zA-Z0-9_]*\)=.*/\1/p'`; do
1779 eval ac_val=\$$ac_var
1783 *_cv_*) { $as_echo "$as_me:${as_lineno-$LINENO}: WARNING: cache variable $ac_var contains a newline" >&5
1784 $as_echo "$as_me: WARNING: cache variable $ac_var contains a newline" >&2;} ;;
1787 _ | IFS | as_nl) ;; #(
1788 BASH_ARGV | BASH_SOURCE) eval $ac_var= ;; #(
1789 *) { eval $ac_var=; unset $ac_var;} ;;
1795 case $as_nl`(ac_space=' '; set) 2>&1` in #(
1796 *${as_nl}ac_space=\ *)
1797 # `set' does not quote correctly, so add quotes: double-quote
1798 # substitution turns \\\\ into \\, and sed turns \\ into \.
1801 s/^\\([_$as_cr_alnum]*_cv_[_$as_cr_alnum]*\\)=\\(.*\\)/\\1='\\2'/p"
1804 # `set' quotes correctly as required by POSIX, so do not add quotes.
1805 sed -n "/^[_$as_cr_alnum]*_cv_[_$as_cr_alnum]*=/p"
1814 s/^\([^=]*\)=\(.*[{}].*\)$/test "${\1+set}" = set || &/
1816 s/^\([^=]*\)=\(.*\)$/\1=${\1=\2}/
1818 if diff "$cache_file" confcache >/dev/null 2>&1; then :; else
1819 if test -w "$cache_file"; then
1820 if test "x$cache_file" != "x/dev/null"; then
1821 { $as_echo "$as_me:${as_lineno-$LINENO}: updating cache $cache_file" >&5
1822 $as_echo "$as_me: updating cache $cache_file" >&6;}
1823 if test ! -f "$cache_file" || test -h "$cache_file"; then
1824 cat confcache >"$cache_file"
1826 case $cache_file in #(
1828 mv -f confcache "$cache_file"$$ &&
1829 mv -f "$cache_file"$$ "$cache_file" ;; #(
1831 mv -f confcache "$cache_file" ;;
1836 { $as_echo "$as_me:${as_lineno-$LINENO}: not updating unwritable cache $cache_file" >&5
1837 $as_echo "$as_me: not updating unwritable cache $cache_file" >&6;}
1842 test "x$prefix" = xNONE && prefix=$ac_default_prefix
1843 # Let make expand exec_prefix.
1844 test "x$exec_prefix" = xNONE && exec_prefix='${prefix}'
1846 # Transform confdefs.h into DEFS.
1847 # Protect against shell expansion while executing Makefile rules.
1848 # Protect against Makefile macro expansion.
1850 # If the first sed substitution is executed (which looks for macros that
1851 # take arguments), then branch to the quote section. Otherwise,
1852 # look for a macro that doesn't take arguments.
1862 s/^[ ]*#[ ]*define[ ][ ]*\([^ (][^ (]*([^)]*)\)[ ]*\(.*\)/-D\1=\2/g
1864 s/^[ ]*#[ ]*define[ ][ ]*\([^ ][^ ]*\)[ ]*\(.*\)/-D\1=\2/g
1868 s/[ `~#$^&*(){}\\|;'\''"<>?]/\\&/g
1881 DEFS=`sed -n "$ac_script" confdefs.h`
1887 for ac_i in : $LIBOBJS; do test "x$ac_i" = x: && continue
1888 # 1. Remove the extension, and $U if already installed.
1889 ac_script='s/\$U\././;s/\.o$//;s/\.obj$//'
1890 ac_i=`$as_echo "$ac_i" | sed "$ac_script"`
1891 # 2. Prepend LIBOBJDIR. When used with automake>=1.10 LIBOBJDIR
1892 # will be set to the directory where LIBOBJS objects are built.
1893 as_fn_append ac_libobjs " \${LIBOBJDIR}$ac_i\$U.$ac_objext"
1894 as_fn_append ac_ltlibobjs " \${LIBOBJDIR}$ac_i"'$U.lo'
1898 LTLIBOBJS=$ac_ltlibobjs
1902 : "${CONFIG_STATUS=./config.status}"
1904 ac_clean_files_save=$ac_clean_files
1905 ac_clean_files="$ac_clean_files $CONFIG_STATUS"
1906 { $as_echo "$as_me:${as_lineno-$LINENO}: creating $CONFIG_STATUS" >&5
1907 $as_echo "$as_me: creating $CONFIG_STATUS" >&6;}
1909 cat >$CONFIG_STATUS <<_ASEOF || as_write_fail=1
1911 # Generated by $as_me.
1912 # Run this file to recreate the current configuration.
1913 # Compiler output produced by configure, useful for debugging
1914 # configure, is in config.log if it exists.
1920 SHELL=\${CONFIG_SHELL-$SHELL}
1923 cat >>$CONFIG_STATUS <<\_ASEOF || as_write_fail=1
1924 ## -------------------- ##
1925 ## M4sh Initialization. ##
1926 ## -------------------- ##
1928 # Be more Bourne compatible
1929 DUALCASE=1; export DUALCASE # for MKS sh
1930 if test -n "${ZSH_VERSION+set}" && (emulate sh) >/dev/null 2>&1; then :
1933 # Pre-4.2 versions of Zsh do word splitting on ${1+"$@"}, which
1934 # is contrary to our usage. Disable this feature.
1935 alias -g '${1+"$@"}'='"$@"'
1936 setopt NO_GLOB_SUBST
1938 case `(set -o) 2>/dev/null` in #(
1950 # Printing a long string crashes Solaris 7 /usr/bin/printf.
1951 as_echo='\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\'
1952 as_echo=$as_echo$as_echo$as_echo$as_echo$as_echo
1953 as_echo=$as_echo$as_echo$as_echo$as_echo$as_echo$as_echo
1954 # Prefer a ksh shell builtin over an external printf program on Solaris,
1955 # but without wasting forks for bash or zsh.
1956 if test -z "$BASH_VERSION$ZSH_VERSION" \
1957 && (test "X`print -r -- $as_echo`" = "X$as_echo") 2>/dev/null; then
1958 as_echo='print -r --'
1959 as_echo_n='print -rn --'
1960 elif (test "X`printf %s $as_echo`" = "X$as_echo") 2>/dev/null; then
1961 as_echo='printf %s\n'
1962 as_echo_n='printf %s'
1964 if test "X`(/usr/ucb/echo -n -n $as_echo) 2>/dev/null`" = "X-n $as_echo"; then
1965 as_echo_body='eval /usr/ucb/echo -n "$1$as_nl"'
1966 as_echo_n='/usr/ucb/echo -n'
1968 as_echo_body='eval expr "X$1" : "X\\(.*\\)"'
1969 as_echo_n_body='eval
1973 expr "X$arg" : "X\\(.*\\)$as_nl";
1974 arg=`expr "X$arg" : ".*$as_nl\\(.*\\)"`;;
1976 expr "X$arg" : "X\\(.*\\)" | tr -d "$as_nl"
1978 export as_echo_n_body
1979 as_echo_n='sh -c $as_echo_n_body as_echo'
1982 as_echo='sh -c $as_echo_body as_echo'
1985 # The user is always right.
1986 if test "${PATH_SEPARATOR+set}" != set; then
1988 (PATH='/bin;/bin'; FPATH=$PATH; sh -c :) >/dev/null 2>&1 && {
1989 (PATH='/bin:/bin'; FPATH=$PATH; sh -c :) >/dev/null 2>&1 ||
1996 # We need space, tab and new line, in precisely that order. Quoting is
1997 # there to prevent editors from complaining about space-tab.
1998 # (If _AS_PATH_WALK were called with IFS unset, it would disable word
1999 # splitting by setting IFS to empty value.)
2002 # Find who we are. Look in the path if we contain no directory separator.
2005 *[\\/]* ) as_myself=$0 ;;
2006 *) as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
2010 test -z "$as_dir" && as_dir=.
2011 test -r "$as_dir/$0" && as_myself=$as_dir/$0 && break
2017 # We did not find ourselves, most probably we were run as `sh COMMAND'
2018 # in which case we are not to be found in the path.
2019 if test "x$as_myself" = x; then
2022 if test ! -f "$as_myself"; then
2023 $as_echo "$as_myself: error: cannot find myself; rerun with an absolute file name" >&2
2027 # Unset variables that we do not need and which cause bugs (e.g. in
2028 # pre-3.0 UWIN ksh). But do not cause bugs in bash 2.01; the "|| exit 1"
2029 # suppresses any "Segmentation fault" message there. '((' could
2030 # trigger a bug in pdksh 5.2.14.
2031 for as_var in BASH_ENV ENV MAIL MAILPATH
2032 do eval test x\${$as_var+set} = xset \
2033 && ( (unset $as_var) || exit 1) >/dev/null 2>&1 && unset $as_var || :
2046 (unset CDPATH) >/dev/null 2>&1 && unset CDPATH
2049 # as_fn_error STATUS ERROR [LINENO LOG_FD]
2050 # ----------------------------------------
2051 # Output "`basename $0`: error: ERROR" to stderr. If LINENO and LOG_FD are
2052 # provided, also output the error to LOG_FD, referencing LINENO. Then exit the
2053 # script with STATUS, using 1 if that was 0.
2056 as_status=$1; test $as_status -eq 0 && as_status=1
2058 as_lineno=${as_lineno-"$3"} as_lineno_stack=as_lineno_stack=$as_lineno_stack
2059 $as_echo "$as_me:${as_lineno-$LINENO}: error: $2" >&$4
2061 $as_echo "$as_me: error: $2" >&2
2062 as_fn_exit $as_status
2066 # as_fn_set_status STATUS
2067 # -----------------------
2068 # Set $? to STATUS, without forking.
2072 } # as_fn_set_status
2076 # Exit the shell with STATUS, even in a "trap 0" or "set -e" context.
2086 # Portably unset VAR.
2089 { eval $1=; unset $1;}
2091 as_unset=as_fn_unset
2092 # as_fn_append VAR VALUE
2093 # ----------------------
2094 # Append the text in VALUE to the end of the definition contained in VAR. Take
2095 # advantage of any shell optimizations that allow amortized linear growth over
2096 # repeated appends, instead of the typical quadratic growth present in naive
2098 if (eval "as_var=1; as_var+=2; test x\$as_var = x12") 2>/dev/null; then :
2099 eval 'as_fn_append ()
2110 # as_fn_arith ARG...
2111 # ------------------
2112 # Perform arithmetic evaluation on the ARGs, and store the result in the
2113 # global $as_val. Take advantage of shells that can avoid forks. The arguments
2114 # must be portable across $(()) and expr.
2115 if (eval "test \$(( 1 + 1 )) = 2") 2>/dev/null; then :
2116 eval 'as_fn_arith ()
2123 as_val=`expr "$@" || test $? -eq 1`
2128 if expr a : '\(a\)' >/dev/null 2>&1 &&
2129 test "X`expr 00001 : '.*\(...\)'`" = X001; then
2135 if (basename -- /) >/dev/null 2>&1 && test "X`basename -- / 2>&1`" = "X/"; then
2136 as_basename=basename
2141 if (as_dir=`dirname -- /` && test "X$as_dir" = X/) >/dev/null 2>&1; then
2147 as_me=`$as_basename -- "$0" ||
2148 $as_expr X/"$0" : '.*/\([^/][^/]*\)/*$' \| \
2149 X"$0" : 'X\(//\)$' \| \
2150 X"$0" : 'X\(/\)' \| . 2>/dev/null ||
2152 sed '/^.*\/\([^/][^/]*\)\/*$/{
2166 # Avoid depending upon Character Ranges.
2167 as_cr_letters='abcdefghijklmnopqrstuvwxyz'
2168 as_cr_LETTERS='ABCDEFGHIJKLMNOPQRSTUVWXYZ'
2169 as_cr_Letters=$as_cr_letters$as_cr_LETTERS
2170 as_cr_digits='0123456789'
2171 as_cr_alnum=$as_cr_Letters$as_cr_digits
2173 ECHO_C= ECHO_N= ECHO_T=
2174 case `echo -n x` in #(((((
2176 case `echo 'xy\c'` in
2177 *c*) ECHO_T=' ';; # ECHO_T is single tab character.
2179 *) echo `echo ksh88 bug on AIX 6.1` > /dev/null
2186 rm -f conf$$ conf$$.exe conf$$.file
2187 if test -d conf$$.dir; then
2188 rm -f conf$$.dir/conf$$.file
2191 mkdir conf$$.dir 2>/dev/null
2193 if (echo >conf$$.file) 2>/dev/null; then
2194 if ln -s conf$$.file conf$$ 2>/dev/null; then
2196 # ... but there are two gotchas:
2197 # 1) On MSYS, both `ln -s file dir' and `ln file dir' fail.
2198 # 2) DJGPP < 2.04 has no symlinks; `ln -s' creates a wrapper executable.
2199 # In both cases, we have to default to `cp -pR'.
2200 ln -s conf$$.file conf$$.dir 2>/dev/null && test ! -f conf$$.exe ||
2202 elif ln conf$$.file conf$$ 2>/dev/null; then
2210 rm -f conf$$ conf$$.exe conf$$.dir/conf$$.file conf$$.file
2211 rmdir conf$$.dir 2>/dev/null
2216 # Create "$as_dir" as a directory, including parents if necessary.
2221 -*) as_dir=./$as_dir;;
2223 test -d "$as_dir" || eval $as_mkdir_p || {
2227 *\'*) as_qdir=`$as_echo "$as_dir" | sed "s/'/'\\\\\\\\''/g"`;; #'(
2228 *) as_qdir=$as_dir;;
2230 as_dirs="'$as_qdir' $as_dirs"
2231 as_dir=`$as_dirname -- "$as_dir" ||
2232 $as_expr X"$as_dir" : 'X\(.*[^/]\)//*[^/][^/]*/*$' \| \
2233 X"$as_dir" : 'X\(//\)[^/]' \| \
2234 X"$as_dir" : 'X\(//\)$' \| \
2235 X"$as_dir" : 'X\(/\)' \| . 2>/dev/null ||
2236 $as_echo X"$as_dir" |
2237 sed '/^X\(.*[^/]\)\/\/*[^/][^/]*\/*$/{
2254 test -d "$as_dir" && break
2256 test -z "$as_dirs" || eval "mkdir $as_dirs"
2257 } || test -d "$as_dir" || as_fn_error $? "cannot create directory $as_dir"
2261 if mkdir -p . 2>/dev/null; then
2262 as_mkdir_p='mkdir -p "$as_dir"'
2264 test -d ./-p && rmdir ./-p
2269 # as_fn_executable_p FILE
2270 # -----------------------
2271 # Test if FILE is an executable regular file.
2272 as_fn_executable_p ()
2274 test -f "$1" && test -x "$1"
2275 } # as_fn_executable_p
2277 as_executable_p=as_fn_executable_p
2279 # Sed expression to map a string onto a valid CPP name.
2280 as_tr_cpp="eval sed 'y%*$as_cr_letters%P$as_cr_LETTERS%;s%[^_$as_cr_alnum]%_%g'"
2282 # Sed expression to map a string onto a valid variable name.
2283 as_tr_sh="eval sed 'y%*+%pp%;s%[^_$as_cr_alnum]%_%g'"
2287 ## ----------------------------------- ##
2288 ## Main body of $CONFIG_STATUS script. ##
2289 ## ----------------------------------- ##
2291 test $as_write_fail = 0 && chmod +x $CONFIG_STATUS || ac_write_fail=1
2293 cat >>$CONFIG_STATUS <<\_ACEOF || ac_write_fail=1
2294 # Save the log message, to keep $0 and so on meaningful, and to
2295 # report actual input values of CONFIG_FILES etc. instead of their
2296 # values after options handling.
2298 This file was extended by $as_me, which was
2299 generated by GNU Autoconf 2.69. Invocation command line was
2301 CONFIG_FILES = $CONFIG_FILES
2302 CONFIG_HEADERS = $CONFIG_HEADERS
2303 CONFIG_LINKS = $CONFIG_LINKS
2304 CONFIG_COMMANDS = $CONFIG_COMMANDS
2307 on `(hostname || uname -n) 2>/dev/null | sed 1q`
2312 case $ac_config_files in *"
2313 "*) set x $ac_config_files; shift; ac_config_files=$*;;
2318 cat >>$CONFIG_STATUS <<_ACEOF || ac_write_fail=1
2319 # Files that config.status was made for.
2320 config_files="$ac_config_files"
2324 cat >>$CONFIG_STATUS <<\_ACEOF || ac_write_fail=1
2326 \`$as_me' instantiates files and other configuration actions
2327 from templates according to the current configuration. Unless the files
2328 and actions are specified as TAGs, all are instantiated by default.
2330 Usage: $0 [OPTION]... [TAG]...
2332 -h, --help print this help, then exit
2333 -V, --version print version number and configuration settings, then exit
2334 --config print configuration, then exit
2335 -q, --quiet, --silent
2336 do not print progress messages
2337 -d, --debug don't remove temporary files
2338 --recheck update $as_me by reconfiguring in the same conditions
2339 --file=FILE[:TEMPLATE]
2340 instantiate the configuration file FILE
2342 Configuration files:
2345 Report bugs to the package provider."
2348 cat >>$CONFIG_STATUS <<_ACEOF || ac_write_fail=1
2349 ac_cs_config="`$as_echo "$ac_configure_args" | sed 's/^ //; s/[\\""\`\$]/\\\\&/g'`"
2352 configured by $0, generated by GNU Autoconf 2.69,
2353 with options \\"\$ac_cs_config\\"
2355 Copyright (C) 2012 Free Software Foundation, Inc.
2356 This config.status script is free software; the Free Software Foundation
2357 gives unlimited permission to copy, distribute and modify it."
2361 test -n "\$AWK" || AWK=awk
2364 cat >>$CONFIG_STATUS <<\_ACEOF || ac_write_fail=1
2365 # The default lists apply if the user does not specify any file.
2371 ac_option=`expr "X$1" : 'X\([^=]*\)='`
2372 ac_optarg=`expr "X$1" : 'X[^=]*=\(.*\)'`
2376 ac_option=`expr "X$1" : 'X\([^=]*\)='`
2388 # Handling of the options.
2389 -recheck | --recheck | --rechec | --reche | --rech | --rec | --re | --r)
2391 --version | --versio | --versi | --vers | --ver | --ve | --v | -V )
2392 $as_echo "$ac_cs_version"; exit ;;
2393 --config | --confi | --conf | --con | --co | --c )
2394 $as_echo "$ac_cs_config"; exit ;;
2395 --debug | --debu | --deb | --de | --d | -d )
2397 --file | --fil | --fi | --f )
2400 *\'*) ac_optarg=`$as_echo "$ac_optarg" | sed "s/'/'\\\\\\\\''/g"` ;;
2401 '') as_fn_error $? "missing file argument" ;;
2403 as_fn_append CONFIG_FILES " '$ac_optarg'"
2404 ac_need_defaults=false;;
2405 --he | --h | --help | --hel | -h )
2406 $as_echo "$ac_cs_usage"; exit ;;
2407 -q | -quiet | --quiet | --quie | --qui | --qu | --q \
2408 | -silent | --silent | --silen | --sile | --sil | --si | --s)
2412 -*) as_fn_error $? "unrecognized option: \`$1'
2413 Try \`$0 --help' for more information." ;;
2415 *) as_fn_append ac_config_targets " $1"
2416 ac_need_defaults=false ;;
2422 ac_configure_extra_args=
2424 if $ac_cs_silent; then
2426 ac_configure_extra_args="$ac_configure_extra_args --silent"
2430 cat >>$CONFIG_STATUS <<_ACEOF || ac_write_fail=1
2431 if \$ac_cs_recheck; then
2432 set X $SHELL '$0' $ac_configure_args \$ac_configure_extra_args --no-create --no-recursion
2434 \$as_echo "running CONFIG_SHELL=$SHELL \$*" >&6
2435 CONFIG_SHELL='$SHELL'
2441 cat >>$CONFIG_STATUS <<\_ACEOF || ac_write_fail=1
2445 sed 'h;s/./-/g;s/^.../## /;s/...$/ ##/;p;x;p;x' <<_ASBOX
2446 ## Running $as_me. ##
2452 cat >>$CONFIG_STATUS <<_ACEOF || ac_write_fail=1
2455 cat >>$CONFIG_STATUS <<\_ACEOF || ac_write_fail=1
2457 # Handling of arguments.
2458 for ac_config_target in $ac_config_targets
2460 case $ac_config_target in
2461 "Makefile") CONFIG_FILES="$CONFIG_FILES Makefile" ;;
2463 *) as_fn_error $? "invalid argument: \`$ac_config_target'" "$LINENO" 5;;
2468 # If the user did not use the arguments to specify the items to instantiate,
2469 # then the envvar interface is used. Set only those that are not.
2470 # We use the long form for the default assignment because of an extremely
2471 # bizarre bug on SunOS 4.1.3.
2472 if $ac_need_defaults; then
2473 test "${CONFIG_FILES+set}" = set || CONFIG_FILES=$config_files
2476 # Have a temporary directory for convenience. Make it in the build tree
2477 # simply because there is no reason against having it here, and in addition,
2478 # creating and moving files from /tmp can sometimes cause problems.
2479 # Hook for its removal unless debugging.
2480 # Note that there is a small window in which the directory will not be cleaned:
2481 # after its creation but before its name has been assigned to `$tmp'.
2485 trap 'exit_status=$?
2487 { test ! -d "$ac_tmp" || rm -fr "$ac_tmp"; } && exit $exit_status
2489 trap 'as_fn_exit 1' 1 2 13 15
2491 # Create a (secure) tmp directory for tmp files.
2494 tmp=`(umask 077 && mktemp -d "./confXXXXXX") 2>/dev/null` &&
2498 tmp=./conf$$-$RANDOM
2499 (umask 077 && mkdir "$tmp")
2500 } || as_fn_error $? "cannot create a temporary directory in ." "$LINENO" 5
2503 # Set up the scripts for CONFIG_FILES section.
2504 # No need to generate them if there are no CONFIG_FILES.
2505 # This happens for instance with `./config.status config.h'.
2506 if test -n "$CONFIG_FILES"; then
2509 ac_cr=`echo X | tr X '\015'`
2510 # On cygwin, bash can eat \r inside `` if the user requested igncr.
2511 # But we know of no other shell where ac_cr would be empty at this
2512 # point, so we can use a bashism as a fallback.
2513 if test "x$ac_cr" = x; then
2514 eval ac_cr=\$\'\\r\'
2516 ac_cs_awk_cr=`$AWK 'BEGIN { print "a\rb" }' </dev/null 2>/dev/null`
2517 if test "$ac_cs_awk_cr" = "a${ac_cr}b"; then
2523 echo 'BEGIN {' >"$ac_tmp/subs1.awk" &&
2528 echo "cat >conf$$subs.awk <<_ACEOF" &&
2529 echo "$ac_subst_vars" | sed 's/.*/&!$&$ac_delim/' &&
2532 as_fn_error $? "could not make $CONFIG_STATUS" "$LINENO" 5
2533 ac_delim_num=`echo "$ac_subst_vars" | grep -c '^'`
2535 for ac_last_try in false false false false false :; do
2536 . ./conf$$subs.sh ||
2537 as_fn_error $? "could not make $CONFIG_STATUS" "$LINENO" 5
2539 ac_delim_n=`sed -n "s/.*$ac_delim\$/X/p" conf$$subs.awk | grep -c X`
2540 if test $ac_delim_n = $ac_delim_num; then
2542 elif $ac_last_try; then
2543 as_fn_error $? "could not make $CONFIG_STATUS" "$LINENO" 5
2545 ac_delim="$ac_delim!$ac_delim _$ac_delim!! "
2550 cat >>$CONFIG_STATUS <<_ACEOF || ac_write_fail=1
2551 cat >>"\$ac_tmp/subs1.awk" <<\\_ACAWK &&
2555 s/^/S["/; s/!.*/"]=/
2565 s/\(.\{148\}\)..*/\1/
2567 s/["\\]/\\&/g; s/^/"/; s/$/\\n"\\/
2572 s/["\\]/\\&/g; s/^/"/; s/$/"\\/
2579 s/\(.\{148\}\)..*/\1/
2581 s/["\\]/\\&/g; s/^/"/; s/$/"/
2585 s/["\\]/\\&/g; s/^/"/; s/$/"\\/
2590 ' <conf$$subs.awk | sed '
2595 ' >>$CONFIG_STATUS || ac_write_fail=1
2596 rm -f conf$$subs.awk
2597 cat >>$CONFIG_STATUS <<_ACEOF || ac_write_fail=1
2599 cat >>"\$ac_tmp/subs1.awk" <<_ACAWK &&
2600 for (key in S) S_is_set[key] = 1
2606 nfields = split(line, field, "@")
2608 len = length(field[1])
2609 for (i = 2; i < nfields; i++) {
2611 keylen = length(key)
2612 if (S_is_set[key]) {
2614 line = substr(line, 1, len) "" value "" substr(line, len + keylen + 3)
2615 len += length(value) + length(field[++i])
2626 cat >>$CONFIG_STATUS <<\_ACEOF || ac_write_fail=1
2627 if sed "s/$ac_cr//" < /dev/null > /dev/null 2>&1; then
2628 sed "s/$ac_cr\$//; s/$ac_cr/$ac_cs_awk_cr/g"
2631 fi < "$ac_tmp/subs1.awk" > "$ac_tmp/subs.awk" \
2632 || as_fn_error $? "could not setup config files machinery" "$LINENO" 5
2635 # VPATH may cause trouble with some makes, so we remove sole $(srcdir),
2636 # ${srcdir} and @srcdir@ entries from VPATH if srcdir is ".", strip leading and
2637 # trailing colons and then remove the whole line if VPATH becomes empty
2638 # (actually we leave an empty line to preserve line numbers).
2639 if test "x$srcdir" = x.; then
2640 ac_vpsub='/^[ ]*VPATH[ ]*=[ ]*/{
2658 cat >>$CONFIG_STATUS <<\_ACEOF || ac_write_fail=1
2659 fi # test -n "$CONFIG_FILES"
2662 eval set X " :F $CONFIG_FILES "
2667 :[FHLC]) ac_mode=$ac_tag; continue;;
2669 case $ac_mode$ac_tag in
2671 :L* | :C*:*) as_fn_error $? "invalid tag \`$ac_tag'" "$LINENO" 5;;
2672 :[FH]-) ac_tag=-:-;;
2673 :[FH]*) ac_tag=$ac_tag:$ac_tag.in;;
2690 -) ac_f="$ac_tmp/stdin";;
2691 *) # Look for the file first in the build tree, then in the source tree
2692 # (if the path is not absolute). The absolute path cannot be DOS-style,
2693 # because $ac_f cannot contain `:'.
2697 *) test -f "$srcdir/$ac_f" && ac_f="$srcdir/$ac_f";;
2699 as_fn_error 1 "cannot find input file: \`$ac_f'" "$LINENO" 5;;
2701 case $ac_f in *\'*) ac_f=`$as_echo "$ac_f" | sed "s/'/'\\\\\\\\''/g"`;; esac
2702 as_fn_append ac_file_inputs " '$ac_f'"
2705 # Let's still pretend it is `configure' which instantiates (i.e., don't
2706 # use $as_me), people would be surprised to read:
2707 # /* config.h. Generated by config.status. */
2708 configure_input='Generated from '`
2709 $as_echo "$*" | sed 's|^[^:]*/||;s|:[^:]*/|, |g'
2711 if test x"$ac_file" != x-; then
2712 configure_input="$ac_file. $configure_input"
2713 { $as_echo "$as_me:${as_lineno-$LINENO}: creating $ac_file" >&5
2714 $as_echo "$as_me: creating $ac_file" >&6;}
2716 # Neutralize special characters interpreted by sed in replacement strings.
2717 case $configure_input in #(
2718 *\&* | *\|* | *\\* )
2719 ac_sed_conf_input=`$as_echo "$configure_input" |
2720 sed 's/[\\\\&|]/\\\\&/g'`;; #(
2721 *) ac_sed_conf_input=$configure_input;;
2725 *:-:* | *:-) cat >"$ac_tmp/stdin" \
2726 || as_fn_error $? "could not create $ac_file" "$LINENO" 5 ;;
2731 ac_dir=`$as_dirname -- "$ac_file" ||
2732 $as_expr X"$ac_file" : 'X\(.*[^/]\)//*[^/][^/]*/*$' \| \
2733 X"$ac_file" : 'X\(//\)[^/]' \| \
2734 X"$ac_file" : 'X\(//\)$' \| \
2735 X"$ac_file" : 'X\(/\)' \| . 2>/dev/null ||
2736 $as_echo X"$ac_file" |
2737 sed '/^X\(.*[^/]\)\/\/*[^/][^/]*\/*$/{
2754 as_dir="$ac_dir"; as_fn_mkdir_p
2758 .) ac_dir_suffix= ac_top_builddir_sub=. ac_top_build_prefix= ;;
2760 ac_dir_suffix=/`$as_echo "$ac_dir" | sed 's|^\.[\\/]||'`
2761 # A ".." for each directory in $ac_dir_suffix.
2762 ac_top_builddir_sub=`$as_echo "$ac_dir_suffix" | sed 's|/[^\\/]*|/..|g;s|/||'`
2763 case $ac_top_builddir_sub in
2764 "") ac_top_builddir_sub=. ac_top_build_prefix= ;;
2765 *) ac_top_build_prefix=$ac_top_builddir_sub/ ;;
2768 ac_abs_top_builddir=$ac_pwd
2769 ac_abs_builddir=$ac_pwd$ac_dir_suffix
2770 # for backward compatibility:
2771 ac_top_builddir=$ac_top_build_prefix
2774 .) # We are building in place.
2776 ac_top_srcdir=$ac_top_builddir_sub
2777 ac_abs_top_srcdir=$ac_pwd ;;
2778 [\\/]* | ?:[\\/]* ) # Absolute name.
2779 ac_srcdir=$srcdir$ac_dir_suffix;
2780 ac_top_srcdir=$srcdir
2781 ac_abs_top_srcdir=$srcdir ;;
2783 ac_srcdir=$ac_top_build_prefix$srcdir$ac_dir_suffix
2784 ac_top_srcdir=$ac_top_build_prefix$srcdir
2785 ac_abs_top_srcdir=$ac_pwd/$srcdir ;;
2787 ac_abs_srcdir=$ac_abs_top_srcdir$ac_dir_suffix
2798 cat >>$CONFIG_STATUS <<\_ACEOF || ac_write_fail=1
2799 # If the template does not know about datarootdir, expand it.
2800 # FIXME: This hack should be removed a few years after 2.60.
2801 ac_datarootdir_hack=; ac_datarootdir_seen=
2812 case `eval "sed -n \"\$ac_sed_dataroot\" $ac_file_inputs"` in
2813 *datarootdir*) ac_datarootdir_seen=yes;;
2814 *@datadir@*|*@docdir@*|*@infodir@*|*@localedir@*|*@mandir@*)
2815 { $as_echo "$as_me:${as_lineno-$LINENO}: WARNING: $ac_file_inputs seems to ignore the --datarootdir setting" >&5
2816 $as_echo "$as_me: WARNING: $ac_file_inputs seems to ignore the --datarootdir setting" >&2;}
2818 cat >>$CONFIG_STATUS <<_ACEOF || ac_write_fail=1
2819 ac_datarootdir_hack='
2820 s&@datadir@&$datadir&g
2821 s&@docdir@&$docdir&g
2822 s&@infodir@&$infodir&g
2823 s&@localedir@&$localedir&g
2824 s&@mandir@&$mandir&g
2825 s&\\\${datarootdir}&$datarootdir&g' ;;
2829 # Neutralize VPATH when `$srcdir' = `.'.
2830 # Shell code in configure.ac might set extrasub.
2831 # FIXME: do we really want to maintain this feature?
2832 cat >>$CONFIG_STATUS <<_ACEOF || ac_write_fail=1
2833 ac_sed_extra="$ac_vpsub
2836 cat >>$CONFIG_STATUS <<\_ACEOF || ac_write_fail=1
2838 /@[a-zA-Z_][a-zA-Z_0-9]*@/!b
2839 s|@configure_input@|$ac_sed_conf_input|;t t
2840 s&@top_builddir@&$ac_top_builddir_sub&;t t
2841 s&@top_build_prefix@&$ac_top_build_prefix&;t t
2842 s&@srcdir@&$ac_srcdir&;t t
2843 s&@abs_srcdir@&$ac_abs_srcdir&;t t
2844 s&@top_srcdir@&$ac_top_srcdir&;t t
2845 s&@abs_top_srcdir@&$ac_abs_top_srcdir&;t t
2846 s&@builddir@&$ac_builddir&;t t
2847 s&@abs_builddir@&$ac_abs_builddir&;t t
2848 s&@abs_top_builddir@&$ac_abs_top_builddir&;t t
2849 $ac_datarootdir_hack
2851 eval sed \"\$ac_sed_extra\" "$ac_file_inputs" | $AWK -f "$ac_tmp/subs.awk" \
2852 >$ac_tmp/out || as_fn_error $? "could not create $ac_file" "$LINENO" 5
2854 test -z "$ac_datarootdir_hack$ac_datarootdir_seen" &&
2855 { ac_out=`sed -n '/\${datarootdir}/p' "$ac_tmp/out"`; test -n "$ac_out"; } &&
2856 { ac_out=`sed -n '/^[ ]*datarootdir[ ]*:*=/p' \
2857 "$ac_tmp/out"`; test -z "$ac_out"; } &&
2858 { $as_echo "$as_me:${as_lineno-$LINENO}: WARNING: $ac_file contains a reference to the variable \`datarootdir'
2859 which seems to be undefined. Please make sure it is defined" >&5
2860 $as_echo "$as_me: WARNING: $ac_file contains a reference to the variable \`datarootdir'
2861 which seems to be undefined. Please make sure it is defined" >&2;}
2863 rm -f "$ac_tmp/stdin"
2865 -) cat "$ac_tmp/out" && rm -f "$ac_tmp/out";;
2866 *) rm -f "$ac_file" && mv "$ac_tmp/out" "$ac_file";;
2868 || as_fn_error $? "could not create $ac_file" "$LINENO" 5
2880 ac_clean_files=$ac_clean_files_save
2882 test $ac_write_fail = 0 ||
2883 as_fn_error $? "write failure creating $CONFIG_STATUS" "$LINENO" 5
2886 # configure is writing to config.log, and then calls config.status.
2887 # config.status does its own redirection, appending to config.log.
2888 # Unfortunately, on DOS this fails, as config.log is still kept open
2889 # by configure, so config.status won't be able to write to it; its
2890 # output is simply discarded. So we exec the FD to /dev/null,
2891 # effectively closing config.log, so it can be properly (re)opened and
2892 # appended to by config.status. When coming back to configure, we
2893 # need to make the FD available again.
2894 if test "$no_create" != yes; then
2896 ac_config_status_args=
2897 test "$silent" = yes &&
2898 ac_config_status_args="$ac_config_status_args --quiet"
2900 $SHELL $CONFIG_STATUS $ac_config_status_args || ac_cs_success=false
2902 # Use ||, not &&, to avoid exiting from the if with $? = 1, which
2903 # would make configure fail if this is the last instruction.
2904 $ac_cs_success || as_fn_exit 1
2906 if test -n "$ac_unrecognized_opts" && test "$enable_option_checking" != no; then
2907 { $as_echo "$as_me:${as_lineno-$LINENO}: WARNING: unrecognized options: $ac_unrecognized_opts" >&5
2908 $as_echo "$as_me: WARNING: unrecognized options: $ac_unrecognized_opts" >&2;}
2911 ac_config_files="$ac_config_files frama-c_jessie"
2913 cat >confcache <<\_ACEOF
2914 # This file is a shell script that caches the results of configure
2915 # tests run on this system so they can be shared between configure
2916 # scripts and configure runs, see configure's option --config-cache.
2917 # It is not useful on other systems. If it contains results you don't
2918 # want to keep, you may remove or edit it.
2920 # config.status only pays attention to the cache file if you give it
2921 # the --recheck option to rerun configure.
2923 # `ac_cv_env_foo' variables (set or unset) will be overridden when
2924 # loading this file, other *unset* `ac_cv_foo' will be assigned the
2929 # The following way of writing the cache mishandles newlines in values,
2930 # but we know of no workaround that is simple, portable, and efficient.
2931 # So, we kill variables containing newlines.
2932 # Ultrix sh set writes to stderr and can't be redirected directly,
2933 # and sets the high bit in the cache file unless we assign to the vars.
2935 for ac_var in `(set) 2>&1 | sed -n 's/^\([a-zA-Z_][a-zA-Z0-9_]*\)=.*/\1/p'`; do
2936 eval ac_val=\$$ac_var
2940 *_cv_*) { $as_echo "$as_me:${as_lineno-$LINENO}: WARNING: cache variable $ac_var contains a newline" >&5
2941 $as_echo "$as_me: WARNING: cache variable $ac_var contains a newline" >&2;} ;;
2944 _ | IFS | as_nl) ;; #(
2945 BASH_ARGV | BASH_SOURCE) eval $ac_var= ;; #(
2946 *) { eval $ac_var=; unset $ac_var;} ;;
2952 case $as_nl`(ac_space=' '; set) 2>&1` in #(
2953 *${as_nl}ac_space=\ *)
2954 # `set' does not quote correctly, so add quotes: double-quote
2955 # substitution turns \\\\ into \\, and sed turns \\ into \.
2958 s/^\\([_$as_cr_alnum]*_cv_[_$as_cr_alnum]*\\)=\\(.*\\)/\\1='\\2'/p"
2961 # `set' quotes correctly as required by POSIX, so do not add quotes.
2962 sed -n "/^[_$as_cr_alnum]*_cv_[_$as_cr_alnum]*=/p"
2971 s/^\([^=]*\)=\(.*[{}].*\)$/test "${\1+set}" = set || &/
2973 s/^\([^=]*\)=\(.*\)$/\1=${\1=\2}/
2975 if diff "$cache_file" confcache >/dev/null 2>&1; then :; else
2976 if test -w "$cache_file"; then
2977 if test "x$cache_file" != "x/dev/null"; then
2978 { $as_echo "$as_me:${as_lineno-$LINENO}: updating cache $cache_file" >&5
2979 $as_echo "$as_me: updating cache $cache_file" >&6;}
2980 if test ! -f "$cache_file" || test -h "$cache_file"; then
2981 cat confcache >"$cache_file"
2983 case $cache_file in #(
2985 mv -f confcache "$cache_file"$$ &&
2986 mv -f "$cache_file"$$ "$cache_file" ;; #(
2988 mv -f confcache "$cache_file" ;;
2993 { $as_echo "$as_me:${as_lineno-$LINENO}: not updating unwritable cache $cache_file" >&5
2994 $as_echo "$as_me: not updating unwritable cache $cache_file" >&6;}
2999 test "x$prefix" = xNONE && prefix=$ac_default_prefix
3000 # Let make expand exec_prefix.
3001 test "x$exec_prefix" = xNONE && exec_prefix='${prefix}'
3003 # Transform confdefs.h into DEFS.
3004 # Protect against shell expansion while executing Makefile rules.
3005 # Protect against Makefile macro expansion.
3007 # If the first sed substitution is executed (which looks for macros that
3008 # take arguments), then branch to the quote section. Otherwise,
3009 # look for a macro that doesn't take arguments.
3019 s/^[ ]*#[ ]*define[ ][ ]*\([^ (][^ (]*([^)]*)\)[ ]*\(.*\)/-D\1=\2/g
3021 s/^[ ]*#[ ]*define[ ][ ]*\([^ ][^ ]*\)[ ]*\(.*\)/-D\1=\2/g
3025 s/[ `~#$^&*(){}\\|;'\''"<>?]/\\&/g
3038 DEFS=`sed -n "$ac_script" confdefs.h`
3044 for ac_i in : $LIBOBJS; do test "x$ac_i" = x: && continue
3045 # 1. Remove the extension, and $U if already installed.
3046 ac_script='s/\$U\././;s/\.o$//;s/\.obj$//'
3047 ac_i=`$as_echo "$ac_i" | sed "$ac_script"`
3048 # 2. Prepend LIBOBJDIR. When used with automake>=1.10 LIBOBJDIR
3049 # will be set to the directory where LIBOBJS objects are built.
3050 as_fn_append ac_libobjs " \${LIBOBJDIR}$ac_i\$U.$ac_objext"
3051 as_fn_append ac_ltlibobjs " \${LIBOBJDIR}$ac_i"'$U.lo'
3055 LTLIBOBJS=$ac_ltlibobjs
3059 : "${CONFIG_STATUS=./config.status}"
3061 ac_clean_files_save=$ac_clean_files
3062 ac_clean_files="$ac_clean_files $CONFIG_STATUS"
3063 { $as_echo "$as_me:${as_lineno-$LINENO}: creating $CONFIG_STATUS" >&5
3064 $as_echo "$as_me: creating $CONFIG_STATUS" >&6;}
3066 cat >$CONFIG_STATUS <<_ASEOF || as_write_fail=1
3068 # Generated by $as_me.
3069 # Run this file to recreate the current configuration.
3070 # Compiler output produced by configure, useful for debugging
3071 # configure, is in config.log if it exists.
3077 SHELL=\${CONFIG_SHELL-$SHELL}
3080 cat >>$CONFIG_STATUS <<\_ASEOF || as_write_fail=1
3081 ## -------------------- ##
3082 ## M4sh Initialization. ##
3083 ## -------------------- ##
3085 # Be more Bourne compatible
3086 DUALCASE=1; export DUALCASE # for MKS sh
3087 if test -n "${ZSH_VERSION+set}" && (emulate sh) >/dev/null 2>&1; then :
3090 # Pre-4.2 versions of Zsh do word splitting on ${1+"$@"}, which
3091 # is contrary to our usage. Disable this feature.
3092 alias -g '${1+"$@"}'='"$@"'
3093 setopt NO_GLOB_SUBST
3095 case `(set -o) 2>/dev/null` in #(
3107 # Printing a long string crashes Solaris 7 /usr/bin/printf.
3108 as_echo='\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\'
3109 as_echo=$as_echo$as_echo$as_echo$as_echo$as_echo
3110 as_echo=$as_echo$as_echo$as_echo$as_echo$as_echo$as_echo
3111 # Prefer a ksh shell builtin over an external printf program on Solaris,
3112 # but without wasting forks for bash or zsh.
3113 if test -z "$BASH_VERSION$ZSH_VERSION" \
3114 && (test "X`print -r -- $as_echo`" = "X$as_echo") 2>/dev/null; then
3115 as_echo='print -r --'
3116 as_echo_n='print -rn --'
3117 elif (test "X`printf %s $as_echo`" = "X$as_echo") 2>/dev/null; then
3118 as_echo='printf %s\n'
3119 as_echo_n='printf %s'
3121 if test "X`(/usr/ucb/echo -n -n $as_echo) 2>/dev/null`" = "X-n $as_echo"; then
3122 as_echo_body='eval /usr/ucb/echo -n "$1$as_nl"'
3123 as_echo_n='/usr/ucb/echo -n'
3125 as_echo_body='eval expr "X$1" : "X\\(.*\\)"'
3126 as_echo_n_body='eval
3130 expr "X$arg" : "X\\(.*\\)$as_nl";
3131 arg=`expr "X$arg" : ".*$as_nl\\(.*\\)"`;;
3133 expr "X$arg" : "X\\(.*\\)" | tr -d "$as_nl"
3135 export as_echo_n_body
3136 as_echo_n='sh -c $as_echo_n_body as_echo'
3139 as_echo='sh -c $as_echo_body as_echo'
3142 # The user is always right.
3143 if test "${PATH_SEPARATOR+set}" != set; then
3145 (PATH='/bin;/bin'; FPATH=$PATH; sh -c :) >/dev/null 2>&1 && {
3146 (PATH='/bin:/bin'; FPATH=$PATH; sh -c :) >/dev/null 2>&1 ||
3153 # We need space, tab and new line, in precisely that order. Quoting is
3154 # there to prevent editors from complaining about space-tab.
3155 # (If _AS_PATH_WALK were called with IFS unset, it would disable word
3156 # splitting by setting IFS to empty value.)
3159 # Find who we are. Look in the path if we contain no directory separator.
3162 *[\\/]* ) as_myself=$0 ;;
3163 *) as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
3167 test -z "$as_dir" && as_dir=.
3168 test -r "$as_dir/$0" && as_myself=$as_dir/$0 && break
3174 # We did not find ourselves, most probably we were run as `sh COMMAND'
3175 # in which case we are not to be found in the path.
3176 if test "x$as_myself" = x; then
3179 if test ! -f "$as_myself"; then
3180 $as_echo "$as_myself: error: cannot find myself; rerun with an absolute file name" >&2
3184 # Unset variables that we do not need and which cause bugs (e.g. in
3185 # pre-3.0 UWIN ksh). But do not cause bugs in bash 2.01; the "|| exit 1"
3186 # suppresses any "Segmentation fault" message there. '((' could
3187 # trigger a bug in pdksh 5.2.14.
3188 for as_var in BASH_ENV ENV MAIL MAILPATH
3189 do eval test x\${$as_var+set} = xset \
3190 && ( (unset $as_var) || exit 1) >/dev/null 2>&1 && unset $as_var || :
3203 (unset CDPATH) >/dev/null 2>&1 && unset CDPATH
3206 # as_fn_error STATUS ERROR [LINENO LOG_FD]
3207 # ----------------------------------------
3208 # Output "`basename $0`: error: ERROR" to stderr. If LINENO and LOG_FD are
3209 # provided, also output the error to LOG_FD, referencing LINENO. Then exit the
3210 # script with STATUS, using 1 if that was 0.
3213 as_status=$1; test $as_status -eq 0 && as_status=1
3215 as_lineno=${as_lineno-"$3"} as_lineno_stack=as_lineno_stack=$as_lineno_stack
3216 $as_echo "$as_me:${as_lineno-$LINENO}: error: $2" >&$4
3218 $as_echo "$as_me: error: $2" >&2
3219 as_fn_exit $as_status
3223 # as_fn_set_status STATUS
3224 # -----------------------
3225 # Set $? to STATUS, without forking.
3229 } # as_fn_set_status
3233 # Exit the shell with STATUS, even in a "trap 0" or "set -e" context.
3243 # Portably unset VAR.
3246 { eval $1=; unset $1;}
3248 as_unset=as_fn_unset
3249 # as_fn_append VAR VALUE
3250 # ----------------------
3251 # Append the text in VALUE to the end of the definition contained in VAR. Take
3252 # advantage of any shell optimizations that allow amortized linear growth over
3253 # repeated appends, instead of the typical quadratic growth present in naive
3255 if (eval "as_var=1; as_var+=2; test x\$as_var = x12") 2>/dev/null; then :
3256 eval 'as_fn_append ()
3267 # as_fn_arith ARG...
3268 # ------------------
3269 # Perform arithmetic evaluation on the ARGs, and store the result in the
3270 # global $as_val. Take advantage of shells that can avoid forks. The arguments
3271 # must be portable across $(()) and expr.
3272 if (eval "test \$(( 1 + 1 )) = 2") 2>/dev/null; then :
3273 eval 'as_fn_arith ()
3280 as_val=`expr "$@" || test $? -eq 1`
3285 if expr a : '\(a\)' >/dev/null 2>&1 &&
3286 test "X`expr 00001 : '.*\(...\)'`" = X001; then
3292 if (basename -- /) >/dev/null 2>&1 && test "X`basename -- / 2>&1`" = "X/"; then
3293 as_basename=basename
3298 if (as_dir=`dirname -- /` && test "X$as_dir" = X/) >/dev/null 2>&1; then
3304 as_me=`$as_basename -- "$0" ||
3305 $as_expr X/"$0" : '.*/\([^/][^/]*\)/*$' \| \
3306 X"$0" : 'X\(//\)$' \| \
3307 X"$0" : 'X\(/\)' \| . 2>/dev/null ||
3309 sed '/^.*\/\([^/][^/]*\)\/*$/{
3323 # Avoid depending upon Character Ranges.
3324 as_cr_letters='abcdefghijklmnopqrstuvwxyz'
3325 as_cr_LETTERS='ABCDEFGHIJKLMNOPQRSTUVWXYZ'
3326 as_cr_Letters=$as_cr_letters$as_cr_LETTERS
3327 as_cr_digits='0123456789'
3328 as_cr_alnum=$as_cr_Letters$as_cr_digits
3330 ECHO_C= ECHO_N= ECHO_T=
3331 case `echo -n x` in #(((((
3333 case `echo 'xy\c'` in
3334 *c*) ECHO_T=' ';; # ECHO_T is single tab character.
3336 *) echo `echo ksh88 bug on AIX 6.1` > /dev/null
3343 rm -f conf$$ conf$$.exe conf$$.file
3344 if test -d conf$$.dir; then
3345 rm -f conf$$.dir/conf$$.file
3348 mkdir conf$$.dir 2>/dev/null
3350 if (echo >conf$$.file) 2>/dev/null; then
3351 if ln -s conf$$.file conf$$ 2>/dev/null; then
3353 # ... but there are two gotchas:
3354 # 1) On MSYS, both `ln -s file dir' and `ln file dir' fail.
3355 # 2) DJGPP < 2.04 has no symlinks; `ln -s' creates a wrapper executable.
3356 # In both cases, we have to default to `cp -pR'.
3357 ln -s conf$$.file conf$$.dir 2>/dev/null && test ! -f conf$$.exe ||
3359 elif ln conf$$.file conf$$ 2>/dev/null; then
3367 rm -f conf$$ conf$$.exe conf$$.dir/conf$$.file conf$$.file
3368 rmdir conf$$.dir 2>/dev/null
3373 # Create "$as_dir" as a directory, including parents if necessary.
3378 -*) as_dir=./$as_dir;;
3380 test -d "$as_dir" || eval $as_mkdir_p || {
3384 *\'*) as_qdir=`$as_echo "$as_dir" | sed "s/'/'\\\\\\\\''/g"`;; #'(
3385 *) as_qdir=$as_dir;;
3387 as_dirs="'$as_qdir' $as_dirs"
3388 as_dir=`$as_dirname -- "$as_dir" ||
3389 $as_expr X"$as_dir" : 'X\(.*[^/]\)//*[^/][^/]*/*$' \| \
3390 X"$as_dir" : 'X\(//\)[^/]' \| \
3391 X"$as_dir" : 'X\(//\)$' \| \
3392 X"$as_dir" : 'X\(/\)' \| . 2>/dev/null ||
3393 $as_echo X"$as_dir" |
3394 sed '/^X\(.*[^/]\)\/\/*[^/][^/]*\/*$/{
3411 test -d "$as_dir" && break
3413 test -z "$as_dirs" || eval "mkdir $as_dirs"
3414 } || test -d "$as_dir" || as_fn_error $? "cannot create directory $as_dir"
3418 if mkdir -p . 2>/dev/null; then
3419 as_mkdir_p='mkdir -p "$as_dir"'
3421 test -d ./-p && rmdir ./-p
3426 # as_fn_executable_p FILE
3427 # -----------------------
3428 # Test if FILE is an executable regular file.
3429 as_fn_executable_p ()
3431 test -f "$1" && test -x "$1"
3432 } # as_fn_executable_p
3434 as_executable_p=as_fn_executable_p
3436 # Sed expression to map a string onto a valid CPP name.
3437 as_tr_cpp="eval sed 'y%*$as_cr_letters%P$as_cr_LETTERS%;s%[^_$as_cr_alnum]%_%g'"
3439 # Sed expression to map a string onto a valid variable name.
3440 as_tr_sh="eval sed 'y%*+%pp%;s%[^_$as_cr_alnum]%_%g'"
3444 ## ----------------------------------- ##
3445 ## Main body of $CONFIG_STATUS script. ##
3446 ## ----------------------------------- ##
3448 test $as_write_fail = 0 && chmod +x $CONFIG_STATUS || ac_write_fail=1
3450 cat >>$CONFIG_STATUS <<\_ACEOF || ac_write_fail=1
3451 # Save the log message, to keep $0 and so on meaningful, and to
3452 # report actual input values of CONFIG_FILES etc. instead of their
3453 # values after options handling.
3455 This file was extended by $as_me, which was
3456 generated by GNU Autoconf 2.69. Invocation command line was
3458 CONFIG_FILES = $CONFIG_FILES
3459 CONFIG_HEADERS = $CONFIG_HEADERS
3460 CONFIG_LINKS = $CONFIG_LINKS
3461 CONFIG_COMMANDS = $CONFIG_COMMANDS
3464 on `(hostname || uname -n) 2>/dev/null | sed 1q`
3469 case $ac_config_files in *"
3470 "*) set x $ac_config_files; shift; ac_config_files=$*;;
3475 cat >>$CONFIG_STATUS <<_ACEOF || ac_write_fail=1
3476 # Files that config.status was made for.
3477 config_files="$ac_config_files"
3481 cat >>$CONFIG_STATUS <<\_ACEOF || ac_write_fail=1
3483 \`$as_me' instantiates files and other configuration actions
3484 from templates according to the current configuration. Unless the files
3485 and actions are specified as TAGs, all are instantiated by default.
3487 Usage: $0 [OPTION]... [TAG]...
3489 -h, --help print this help, then exit
3490 -V, --version print version number and configuration settings, then exit
3491 --config print configuration, then exit
3492 -q, --quiet, --silent
3493 do not print progress messages
3494 -d, --debug don't remove temporary files
3495 --recheck update $as_me by reconfiguring in the same conditions
3496 --file=FILE[:TEMPLATE]
3497 instantiate the configuration file FILE
3499 Configuration files:
3502 Report bugs to the package provider."
3505 cat >>$CONFIG_STATUS <<_ACEOF || ac_write_fail=1
3506 ac_cs_config="`$as_echo "$ac_configure_args" | sed 's/^ //; s/[\\""\`\$]/\\\\&/g'`"
3509 configured by $0, generated by GNU Autoconf 2.69,
3510 with options \\"\$ac_cs_config\\"
3512 Copyright (C) 2012 Free Software Foundation, Inc.
3513 This config.status script is free software; the Free Software Foundation
3514 gives unlimited permission to copy, distribute and modify it."
3518 test -n "\$AWK" || AWK=awk
3521 cat >>$CONFIG_STATUS <<\_ACEOF || ac_write_fail=1
3522 # The default lists apply if the user does not specify any file.
3528 ac_option=`expr "X$1" : 'X\([^=]*\)='`
3529 ac_optarg=`expr "X$1" : 'X[^=]*=\(.*\)'`
3533 ac_option=`expr "X$1" : 'X\([^=]*\)='`
3545 # Handling of the options.
3546 -recheck | --recheck | --rechec | --reche | --rech | --rec | --re | --r)
3548 --version | --versio | --versi | --vers | --ver | --ve | --v | -V )
3549 $as_echo "$ac_cs_version"; exit ;;
3550 --config | --confi | --conf | --con | --co | --c )
3551 $as_echo "$ac_cs_config"; exit ;;
3552 --debug | --debu | --deb | --de | --d | -d )
3554 --file | --fil | --fi | --f )
3557 *\'*) ac_optarg=`$as_echo "$ac_optarg" | sed "s/'/'\\\\\\\\''/g"` ;;
3558 '') as_fn_error $? "missing file argument" ;;
3560 as_fn_append CONFIG_FILES " '$ac_optarg'"
3561 ac_need_defaults=false;;
3562 --he | --h | --help | --hel | -h )
3563 $as_echo "$ac_cs_usage"; exit ;;
3564 -q | -quiet | --quiet | --quie | --qui | --qu | --q \
3565 | -silent | --silent | --silen | --sile | --sil | --si | --s)
3569 -*) as_fn_error $? "unrecognized option: \`$1'
3570 Try \`$0 --help' for more information." ;;
3572 *) as_fn_append ac_config_targets " $1"
3573 ac_need_defaults=false ;;
3579 ac_configure_extra_args=
3581 if $ac_cs_silent; then
3583 ac_configure_extra_args="$ac_configure_extra_args --silent"
3587 cat >>$CONFIG_STATUS <<_ACEOF || ac_write_fail=1
3588 if \$ac_cs_recheck; then
3589 set X $SHELL '$0' $ac_configure_args \$ac_configure_extra_args --no-create --no-recursion
3591 \$as_echo "running CONFIG_SHELL=$SHELL \$*" >&6
3592 CONFIG_SHELL='$SHELL'
3598 cat >>$CONFIG_STATUS <<\_ACEOF || ac_write_fail=1
3602 sed 'h;s/./-/g;s/^.../## /;s/...$/ ##/;p;x;p;x' <<_ASBOX
3603 ## Running $as_me. ##
3609 cat >>$CONFIG_STATUS <<_ACEOF || ac_write_fail=1
3612 cat >>$CONFIG_STATUS <<\_ACEOF || ac_write_fail=1
3614 # Handling of arguments.
3615 for ac_config_target in $ac_config_targets
3617 case $ac_config_target in
3618 "Makefile") CONFIG_FILES="$CONFIG_FILES Makefile" ;;
3619 "frama-c_jessie") CONFIG_FILES="$CONFIG_FILES frama-c_jessie" ;;
3621 *) as_fn_error $? "invalid argument: \`$ac_config_target'" "$LINENO" 5;;
3626 # If the user did not use the arguments to specify the items to instantiate,
3627 # then the envvar interface is used. Set only those that are not.
3628 # We use the long form for the default assignment because of an extremely
3629 # bizarre bug on SunOS 4.1.3.
3630 if $ac_need_defaults; then
3631 test "${CONFIG_FILES+set}" = set || CONFIG_FILES=$config_files
3634 # Have a temporary directory for convenience. Make it in the build tree
3635 # simply because there is no reason against having it here, and in addition,
3636 # creating and moving files from /tmp can sometimes cause problems.
3637 # Hook for its removal unless debugging.
3638 # Note that there is a small window in which the directory will not be cleaned:
3639 # after its creation but before its name has been assigned to `$tmp'.
3643 trap 'exit_status=$?
3645 { test ! -d "$ac_tmp" || rm -fr "$ac_tmp"; } && exit $exit_status
3647 trap 'as_fn_exit 1' 1 2 13 15
3649 # Create a (secure) tmp directory for tmp files.
3652 tmp=`(umask 077 && mktemp -d "./confXXXXXX") 2>/dev/null` &&
3656 tmp=./conf$$-$RANDOM
3657 (umask 077 && mkdir "$tmp")
3658 } || as_fn_error $? "cannot create a temporary directory in ." "$LINENO" 5
3661 # Set up the scripts for CONFIG_FILES section.
3662 # No need to generate them if there are no CONFIG_FILES.
3663 # This happens for instance with `./config.status config.h'.
3664 if test -n "$CONFIG_FILES"; then
3667 ac_cr=`echo X | tr X '\015'`
3668 # On cygwin, bash can eat \r inside `` if the user requested igncr.
3669 # But we know of no other shell where ac_cr would be empty at this
3670 # point, so we can use a bashism as a fallback.
3671 if test "x$ac_cr" = x; then
3672 eval ac_cr=\$\'\\r\'
3674 ac_cs_awk_cr=`$AWK 'BEGIN { print "a\rb" }' </dev/null 2>/dev/null`
3675 if test "$ac_cs_awk_cr" = "a${ac_cr}b"; then
3681 echo 'BEGIN {' >"$ac_tmp/subs1.awk" &&
3686 echo "cat >conf$$subs.awk <<_ACEOF" &&
3687 echo "$ac_subst_vars" | sed 's/.*/&!$&$ac_delim/' &&
3690 as_fn_error $? "could not make $CONFIG_STATUS" "$LINENO" 5
3691 ac_delim_num=`echo "$ac_subst_vars" | grep -c '^'`
3693 for ac_last_try in false false false false false :; do
3694 . ./conf$$subs.sh ||
3695 as_fn_error $? "could not make $CONFIG_STATUS" "$LINENO" 5
3697 ac_delim_n=`sed -n "s/.*$ac_delim\$/X/p" conf$$subs.awk | grep -c X`
3698 if test $ac_delim_n = $ac_delim_num; then
3700 elif $ac_last_try; then
3701 as_fn_error $? "could not make $CONFIG_STATUS" "$LINENO" 5
3703 ac_delim="$ac_delim!$ac_delim _$ac_delim!! "
3708 cat >>$CONFIG_STATUS <<_ACEOF || ac_write_fail=1
3709 cat >>"\$ac_tmp/subs1.awk" <<\\_ACAWK &&
3713 s/^/S["/; s/!.*/"]=/
3723 s/\(.\{148\}\)..*/\1/
3725 s/["\\]/\\&/g; s/^/"/; s/$/\\n"\\/
3730 s/["\\]/\\&/g; s/^/"/; s/$/"\\/
3737 s/\(.\{148\}\)..*/\1/
3739 s/["\\]/\\&/g; s/^/"/; s/$/"/
3743 s/["\\]/\\&/g; s/^/"/; s/$/"\\/
3748 ' <conf$$subs.awk | sed '
3753 ' >>$CONFIG_STATUS || ac_write_fail=1
3754 rm -f conf$$subs.awk
3755 cat >>$CONFIG_STATUS <<_ACEOF || ac_write_fail=1
3757 cat >>"\$ac_tmp/subs1.awk" <<_ACAWK &&
3758 for (key in S) S_is_set[key] = 1
3764 nfields = split(line, field, "@")
3766 len = length(field[1])
3767 for (i = 2; i < nfields; i++) {
3769 keylen = length(key)
3770 if (S_is_set[key]) {
3772 line = substr(line, 1, len) "" value "" substr(line, len + keylen + 3)
3773 len += length(value) + length(field[++i])
3784 cat >>$CONFIG_STATUS <<\_ACEOF || ac_write_fail=1
3785 if sed "s/$ac_cr//" < /dev/null > /dev/null 2>&1; then
3786 sed "s/$ac_cr\$//; s/$ac_cr/$ac_cs_awk_cr/g"
3789 fi < "$ac_tmp/subs1.awk" > "$ac_tmp/subs.awk" \
3790 || as_fn_error $? "could not setup config files machinery" "$LINENO" 5
3793 # VPATH may cause trouble with some makes, so we remove sole $(srcdir),
3794 # ${srcdir} and @srcdir@ entries from VPATH if srcdir is ".", strip leading and
3795 # trailing colons and then remove the whole line if VPATH becomes empty
3796 # (actually we leave an empty line to preserve line numbers).
3797 if test "x$srcdir" = x.; then
3798 ac_vpsub='/^[ ]*VPATH[ ]*=[ ]*/{
3816 cat >>$CONFIG_STATUS <<\_ACEOF || ac_write_fail=1
3817 fi # test -n "$CONFIG_FILES"
3820 eval set X " :F $CONFIG_FILES "
3825 :[FHLC]) ac_mode=$ac_tag; continue;;
3827 case $ac_mode$ac_tag in
3829 :L* | :C*:*) as_fn_error $? "invalid tag \`$ac_tag'" "$LINENO" 5;;
3830 :[FH]-) ac_tag=-:-;;
3831 :[FH]*) ac_tag=$ac_tag:$ac_tag.in;;
3848 -) ac_f="$ac_tmp/stdin";;
3849 *) # Look for the file first in the build tree, then in the source tree
3850 # (if the path is not absolute). The absolute path cannot be DOS-style,
3851 # because $ac_f cannot contain `:'.
3855 *) test -f "$srcdir/$ac_f" && ac_f="$srcdir/$ac_f";;
3857 as_fn_error 1 "cannot find input file: \`$ac_f'" "$LINENO" 5;;
3859 case $ac_f in *\'*) ac_f=`$as_echo "$ac_f" | sed "s/'/'\\\\\\\\''/g"`;; esac
3860 as_fn_append ac_file_inputs " '$ac_f'"
3863 # Let's still pretend it is `configure' which instantiates (i.e., don't
3864 # use $as_me), people would be surprised to read:
3865 # /* config.h. Generated by config.status. */
3866 configure_input='Generated from '`
3867 $as_echo "$*" | sed 's|^[^:]*/||;s|:[^:]*/|, |g'
3869 if test x"$ac_file" != x-; then
3870 configure_input="$ac_file. $configure_input"
3871 { $as_echo "$as_me:${as_lineno-$LINENO}: creating $ac_file" >&5
3872 $as_echo "$as_me: creating $ac_file" >&6;}
3874 # Neutralize special characters interpreted by sed in replacement strings.
3875 case $configure_input in #(
3876 *\&* | *\|* | *\\* )
3877 ac_sed_conf_input=`$as_echo "$configure_input" |
3878 sed 's/[\\\\&|]/\\\\&/g'`;; #(
3879 *) ac_sed_conf_input=$configure_input;;
3883 *:-:* | *:-) cat >"$ac_tmp/stdin" \
3884 || as_fn_error $? "could not create $ac_file" "$LINENO" 5 ;;
3889 ac_dir=`$as_dirname -- "$ac_file" ||
3890 $as_expr X"$ac_file" : 'X\(.*[^/]\)//*[^/][^/]*/*$' \| \
3891 X"$ac_file" : 'X\(//\)[^/]' \| \
3892 X"$ac_file" : 'X\(//\)$' \| \
3893 X"$ac_file" : 'X\(/\)' \| . 2>/dev/null ||
3894 $as_echo X"$ac_file" |
3895 sed '/^X\(.*[^/]\)\/\/*[^/][^/]*\/*$/{
3912 as_dir="$ac_dir"; as_fn_mkdir_p
3916 .) ac_dir_suffix= ac_top_builddir_sub=. ac_top_build_prefix= ;;
3918 ac_dir_suffix=/`$as_echo "$ac_dir" | sed 's|^\.[\\/]||'`
3919 # A ".." for each directory in $ac_dir_suffix.
3920 ac_top_builddir_sub=`$as_echo "$ac_dir_suffix" | sed 's|/[^\\/]*|/..|g;s|/||'`
3921 case $ac_top_builddir_sub in
3922 "") ac_top_builddir_sub=. ac_top_build_prefix= ;;
3923 *) ac_top_build_prefix=$ac_top_builddir_sub/ ;;
3926 ac_abs_top_builddir=$ac_pwd
3927 ac_abs_builddir=$ac_pwd$ac_dir_suffix
3928 # for backward compatibility:
3929 ac_top_builddir=$ac_top_build_prefix
3932 .) # We are building in place.
3934 ac_top_srcdir=$ac_top_builddir_sub
3935 ac_abs_top_srcdir=$ac_pwd ;;
3936 [\\/]* | ?:[\\/]* ) # Absolute name.
3937 ac_srcdir=$srcdir$ac_dir_suffix;
3938 ac_top_srcdir=$srcdir
3939 ac_abs_top_srcdir=$srcdir ;;
3941 ac_srcdir=$ac_top_build_prefix$srcdir$ac_dir_suffix
3942 ac_top_srcdir=$ac_top_build_prefix$srcdir
3943 ac_abs_top_srcdir=$ac_pwd/$srcdir ;;
3945 ac_abs_srcdir=$ac_abs_top_srcdir$ac_dir_suffix
3956 cat >>$CONFIG_STATUS <<\_ACEOF || ac_write_fail=1
3957 # If the template does not know about datarootdir, expand it.
3958 # FIXME: This hack should be removed a few years after 2.60.
3959 ac_datarootdir_hack=; ac_datarootdir_seen=
3970 case `eval "sed -n \"\$ac_sed_dataroot\" $ac_file_inputs"` in
3971 *datarootdir*) ac_datarootdir_seen=yes;;
3972 *@datadir@*|*@docdir@*|*@infodir@*|*@localedir@*|*@mandir@*)
3973 { $as_echo "$as_me:${as_lineno-$LINENO}: WARNING: $ac_file_inputs seems to ignore the --datarootdir setting" >&5
3974 $as_echo "$as_me: WARNING: $ac_file_inputs seems to ignore the --datarootdir setting" >&2;}
3976 cat >>$CONFIG_STATUS <<_ACEOF || ac_write_fail=1
3977 ac_datarootdir_hack='
3978 s&@datadir@&$datadir&g
3979 s&@docdir@&$docdir&g
3980 s&@infodir@&$infodir&g
3981 s&@localedir@&$localedir&g
3982 s&@mandir@&$mandir&g
3983 s&\\\${datarootdir}&$datarootdir&g' ;;
3987 # Neutralize VPATH when `$srcdir' = `.'.
3988 # Shell code in configure.ac might set extrasub.
3989 # FIXME: do we really want to maintain this feature?
3990 cat >>$CONFIG_STATUS <<_ACEOF || ac_write_fail=1
3991 ac_sed_extra="$ac_vpsub
3994 cat >>$CONFIG_STATUS <<\_ACEOF || ac_write_fail=1
3996 /@[a-zA-Z_][a-zA-Z_0-9]*@/!b
3997 s|@configure_input@|$ac_sed_conf_input|;t t
3998 s&@top_builddir@&$ac_top_builddir_sub&;t t
3999 s&@top_build_prefix@&$ac_top_build_prefix&;t t
4000 s&@srcdir@&$ac_srcdir&;t t
4001 s&@abs_srcdir@&$ac_abs_srcdir&;t t
4002 s&@top_srcdir@&$ac_top_srcdir&;t t
4003 s&@abs_top_srcdir@&$ac_abs_top_srcdir&;t t
4004 s&@builddir@&$ac_builddir&;t t
4005 s&@abs_builddir@&$ac_abs_builddir&;t t
4006 s&@abs_top_builddir@&$ac_abs_top_builddir&;t t
4007 $ac_datarootdir_hack
4009 eval sed \"\$ac_sed_extra\" "$ac_file_inputs" | $AWK -f "$ac_tmp/subs.awk" \
4010 >$ac_tmp/out || as_fn_error $? "could not create $ac_file" "$LINENO" 5
4012 test -z "$ac_datarootdir_hack$ac_datarootdir_seen" &&
4013 { ac_out=`sed -n '/\${datarootdir}/p' "$ac_tmp/out"`; test -n "$ac_out"; } &&
4014 { ac_out=`sed -n '/^[ ]*datarootdir[ ]*:*=/p' \
4015 "$ac_tmp/out"`; test -z "$ac_out"; } &&
4016 { $as_echo "$as_me:${as_lineno-$LINENO}: WARNING: $ac_file contains a reference to the variable \`datarootdir'
4017 which seems to be undefined. Please make sure it is defined" >&5
4018 $as_echo "$as_me: WARNING: $ac_file contains a reference to the variable \`datarootdir'
4019 which seems to be undefined. Please make sure it is defined" >&2;}
4021 rm -f "$ac_tmp/stdin"
4023 -) cat "$ac_tmp/out" && rm -f "$ac_tmp/out";;
4024 *) rm -f "$ac_file" && mv "$ac_tmp/out" "$ac_file";;
4026 || as_fn_error $? "could not create $ac_file" "$LINENO" 5
4038 ac_clean_files=$ac_clean_files_save
4040 test $ac_write_fail = 0 ||
4041 as_fn_error $? "write failure creating $CONFIG_STATUS" "$LINENO" 5
4044 # configure is writing to config.log, and then calls config.status.
4045 # config.status does its own redirection, appending to config.log.
4046 # Unfortunately, on DOS this fails, as config.log is still kept open
4047 # by configure, so config.status won't be able to write to it; its
4048 # output is simply discarded. So we exec the FD to /dev/null,
4049 # effectively closing config.log, so it can be properly (re)opened and
4050 # appended to by config.status. When coming back to configure, we
4051 # need to make the FD available again.
4052 if test "$no_create" != yes; then
4054 ac_config_status_args=
4055 test "$silent" = yes &&
4056 ac_config_status_args="$ac_config_status_args --quiet"
4058 $SHELL $CONFIG_STATUS $ac_config_status_args || ac_cs_success=false
4060 # Use ||, not &&, to avoid exiting from the if with $? = 1, which
4061 # would make configure fail if this is the last instruction.
4062 $ac_cs_success || as_fn_exit 1
4064 if test -n "$ac_unrecognized_opts" && test "$enable_option_checking" != no; then
4065 { $as_echo "$as_me:${as_lineno-$LINENO}: WARNING: unrecognized options: $ac_unrecognized_opts" >&5
4066 $as_echo "$as_me: WARNING: unrecognized options: $ac_unrecognized_opts" >&2;}
4069 ac_config_files="$ac_config_files wrapper/Makefile"
4071 cat >confcache <<\_ACEOF
4072 # This file is a shell script that caches the results of configure
4073 # tests run on this system so they can be shared between configure
4074 # scripts and configure runs, see configure's option --config-cache.
4075 # It is not useful on other systems. If it contains results you don't
4076 # want to keep, you may remove or edit it.
4078 # config.status only pays attention to the cache file if you give it
4079 # the --recheck option to rerun configure.
4081 # `ac_cv_env_foo' variables (set or unset) will be overridden when
4082 # loading this file, other *unset* `ac_cv_foo' will be assigned the
4087 # The following way of writing the cache mishandles newlines in values,
4088 # but we know of no workaround that is simple, portable, and efficient.
4089 # So, we kill variables containing newlines.
4090 # Ultrix sh set writes to stderr and can't be redirected directly,
4091 # and sets the high bit in the cache file unless we assign to the vars.
4093 for ac_var in `(set) 2>&1 | sed -n 's/^\([a-zA-Z_][a-zA-Z0-9_]*\)=.*/\1/p'`; do
4094 eval ac_val=\$$ac_var
4098 *_cv_*) { $as_echo "$as_me:${as_lineno-$LINENO}: WARNING: cache variable $ac_var contains a newline" >&5
4099 $as_echo "$as_me: WARNING: cache variable $ac_var contains a newline" >&2;} ;;
4102 _ | IFS | as_nl) ;; #(
4103 BASH_ARGV | BASH_SOURCE) eval $ac_var= ;; #(
4104 *) { eval $ac_var=; unset $ac_var;} ;;
4110 case $as_nl`(ac_space=' '; set) 2>&1` in #(
4111 *${as_nl}ac_space=\ *)
4112 # `set' does not quote correctly, so add quotes: double-quote
4113 # substitution turns \\\\ into \\, and sed turns \\ into \.
4116 s/^\\([_$as_cr_alnum]*_cv_[_$as_cr_alnum]*\\)=\\(.*\\)/\\1='\\2'/p"
4119 # `set' quotes correctly as required by POSIX, so do not add quotes.
4120 sed -n "/^[_$as_cr_alnum]*_cv_[_$as_cr_alnum]*=/p"
4129 s/^\([^=]*\)=\(.*[{}].*\)$/test "${\1+set}" = set || &/
4131 s/^\([^=]*\)=\(.*\)$/\1=${\1=\2}/
4133 if diff "$cache_file" confcache >/dev/null 2>&1; then :; else
4134 if test -w "$cache_file"; then
4135 if test "x$cache_file" != "x/dev/null"; then
4136 { $as_echo "$as_me:${as_lineno-$LINENO}: updating cache $cache_file" >&5
4137 $as_echo "$as_me: updating cache $cache_file" >&6;}
4138 if test ! -f "$cache_file" || test -h "$cache_file"; then
4139 cat confcache >"$cache_file"
4141 case $cache_file in #(
4143 mv -f confcache "$cache_file"$$ &&
4144 mv -f "$cache_file"$$ "$cache_file" ;; #(
4146 mv -f confcache "$cache_file" ;;
4151 { $as_echo "$as_me:${as_lineno-$LINENO}: not updating unwritable cache $cache_file" >&5
4152 $as_echo "$as_me: not updating unwritable cache $cache_file" >&6;}
4157 test "x$prefix" = xNONE && prefix=$ac_default_prefix
4158 # Let make expand exec_prefix.
4159 test "x$exec_prefix" = xNONE && exec_prefix='${prefix}'
4161 # Transform confdefs.h into DEFS.
4162 # Protect against shell expansion while executing Makefile rules.
4163 # Protect against Makefile macro expansion.
4165 # If the first sed substitution is executed (which looks for macros that
4166 # take arguments), then branch to the quote section. Otherwise,
4167 # look for a macro that doesn't take arguments.
4177 s/^[ ]*#[ ]*define[ ][ ]*\([^ (][^ (]*([^)]*)\)[ ]*\(.*\)/-D\1=\2/g
4179 s/^[ ]*#[ ]*define[ ][ ]*\([^ ][^ ]*\)[ ]*\(.*\)/-D\1=\2/g
4183 s/[ `~#$^&*(){}\\|;'\''"<>?]/\\&/g
4196 DEFS=`sed -n "$ac_script" confdefs.h`
4202 for ac_i in : $LIBOBJS; do test "x$ac_i" = x: && continue
4203 # 1. Remove the extension, and $U if already installed.
4204 ac_script='s/\$U\././;s/\.o$//;s/\.obj$//'
4205 ac_i=`$as_echo "$ac_i" | sed "$ac_script"`
4206 # 2. Prepend LIBOBJDIR. When used with automake>=1.10 LIBOBJDIR
4207 # will be set to the directory where LIBOBJS objects are built.
4208 as_fn_append ac_libobjs " \${LIBOBJDIR}$ac_i\$U.$ac_objext"
4209 as_fn_append ac_ltlibobjs " \${LIBOBJDIR}$ac_i"'$U.lo'
4213 LTLIBOBJS=$ac_ltlibobjs
4217 : "${CONFIG_STATUS=./config.status}"
4219 ac_clean_files_save=$ac_clean_files
4220 ac_clean_files="$ac_clean_files $CONFIG_STATUS"
4221 { $as_echo "$as_me:${as_lineno-$LINENO}: creating $CONFIG_STATUS" >&5
4222 $as_echo "$as_me: creating $CONFIG_STATUS" >&6;}
4224 cat >$CONFIG_STATUS <<_ASEOF || as_write_fail=1
4226 # Generated by $as_me.
4227 # Run this file to recreate the current configuration.
4228 # Compiler output produced by configure, useful for debugging
4229 # configure, is in config.log if it exists.
4235 SHELL=\${CONFIG_SHELL-$SHELL}
4238 cat >>$CONFIG_STATUS <<\_ASEOF || as_write_fail=1
4239 ## -------------------- ##
4240 ## M4sh Initialization. ##
4241 ## -------------------- ##
4243 # Be more Bourne compatible
4244 DUALCASE=1; export DUALCASE # for MKS sh
4245 if test -n "${ZSH_VERSION+set}" && (emulate sh) >/dev/null 2>&1; then :
4248 # Pre-4.2 versions of Zsh do word splitting on ${1+"$@"}, which
4249 # is contrary to our usage. Disable this feature.
4250 alias -g '${1+"$@"}'='"$@"'
4251 setopt NO_GLOB_SUBST
4253 case `(set -o) 2>/dev/null` in #(
4265 # Printing a long string crashes Solaris 7 /usr/bin/printf.
4266 as_echo='\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\\'
4267 as_echo=$as_echo$as_echo$as_echo$as_echo$as_echo
4268 as_echo=$as_echo$as_echo$as_echo$as_echo$as_echo$as_echo
4269 # Prefer a ksh shell builtin over an external printf program on Solaris,
4270 # but without wasting forks for bash or zsh.
4271 if test -z "$BASH_VERSION$ZSH_VERSION" \
4272 && (test "X`print -r -- $as_echo`" = "X$as_echo") 2>/dev/null; then
4273 as_echo='print -r --'
4274 as_echo_n='print -rn --'
4275 elif (test "X`printf %s $as_echo`" = "X$as_echo") 2>/dev/null; then
4276 as_echo='printf %s\n'
4277 as_echo_n='printf %s'
4279 if test "X`(/usr/ucb/echo -n -n $as_echo) 2>/dev/null`" = "X-n $as_echo"; then
4280 as_echo_body='eval /usr/ucb/echo -n "$1$as_nl"'
4281 as_echo_n='/usr/ucb/echo -n'
4283 as_echo_body='eval expr "X$1" : "X\\(.*\\)"'
4284 as_echo_n_body='eval
4288 expr "X$arg" : "X\\(.*\\)$as_nl";
4289 arg=`expr "X$arg" : ".*$as_nl\\(.*\\)"`;;
4291 expr "X$arg" : "X\\(.*\\)" | tr -d "$as_nl"
4293 export as_echo_n_body
4294 as_echo_n='sh -c $as_echo_n_body as_echo'
4297 as_echo='sh -c $as_echo_body as_echo'
4300 # The user is always right.
4301 if test "${PATH_SEPARATOR+set}" != set; then
4303 (PATH='/bin;/bin'; FPATH=$PATH; sh -c :) >/dev/null 2>&1 && {
4304 (PATH='/bin:/bin'; FPATH=$PATH; sh -c :) >/dev/null 2>&1 ||
4311 # We need space, tab and new line, in precisely that order. Quoting is
4312 # there to prevent editors from complaining about space-tab.
4313 # (If _AS_PATH_WALK were called with IFS unset, it would disable word
4314 # splitting by setting IFS to empty value.)
4317 # Find who we are. Look in the path if we contain no directory separator.
4320 *[\\/]* ) as_myself=$0 ;;
4321 *) as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
4325 test -z "$as_dir" && as_dir=.
4326 test -r "$as_dir/$0" && as_myself=$as_dir/$0 && break
4332 # We did not find ourselves, most probably we were run as `sh COMMAND'
4333 # in which case we are not to be found in the path.
4334 if test "x$as_myself" = x; then
4337 if test ! -f "$as_myself"; then
4338 $as_echo "$as_myself: error: cannot find myself; rerun with an absolute file name" >&2
4342 # Unset variables that we do not need and which cause bugs (e.g. in
4343 # pre-3.0 UWIN ksh). But do not cause bugs in bash 2.01; the "|| exit 1"
4344 # suppresses any "Segmentation fault" message there. '((' could
4345 # trigger a bug in pdksh 5.2.14.
4346 for as_var in BASH_ENV ENV MAIL MAILPATH
4347 do eval test x\${$as_var+set} = xset \
4348 && ( (unset $as_var) || exit 1) >/dev/null 2>&1 && unset $as_var || :
4361 (unset CDPATH) >/dev/null 2>&1 && unset CDPATH
4364 # as_fn_error STATUS ERROR [LINENO LOG_FD]
4365 # ----------------------------------------
4366 # Output "`basename $0`: error: ERROR" to stderr. If LINENO and LOG_FD are
4367 # provided, also output the error to LOG_FD, referencing LINENO. Then exit the
4368 # script with STATUS, using 1 if that was 0.
4371 as_status=$1; test $as_status -eq 0 && as_status=1
4373 as_lineno=${as_lineno-"$3"} as_lineno_stack=as_lineno_stack=$as_lineno_stack
4374 $as_echo "$as_me:${as_lineno-$LINENO}: error: $2" >&$4
4376 $as_echo "$as_me: error: $2" >&2
4377 as_fn_exit $as_status
4381 # as_fn_set_status STATUS
4382 # -----------------------
4383 # Set $? to STATUS, without forking.
4387 } # as_fn_set_status
4391 # Exit the shell with STATUS, even in a "trap 0" or "set -e" context.
4401 # Portably unset VAR.
4404 { eval $1=; unset $1;}
4406 as_unset=as_fn_unset
4407 # as_fn_append VAR VALUE
4408 # ----------------------
4409 # Append the text in VALUE to the end of the definition contained in VAR. Take
4410 # advantage of any shell optimizations that allow amortized linear growth over
4411 # repeated appends, instead of the typical quadratic growth present in naive
4413 if (eval "as_var=1; as_var+=2; test x\$as_var = x12") 2>/dev/null; then :
4414 eval 'as_fn_append ()
4425 # as_fn_arith ARG...
4426 # ------------------
4427 # Perform arithmetic evaluation on the ARGs, and store the result in the
4428 # global $as_val. Take advantage of shells that can avoid forks. The arguments
4429 # must be portable across $(()) and expr.
4430 if (eval "test \$(( 1 + 1 )) = 2") 2>/dev/null; then :
4431 eval 'as_fn_arith ()
4438 as_val=`expr "$@" || test $? -eq 1`
4443 if expr a : '\(a\)' >/dev/null 2>&1 &&
4444 test "X`expr 00001 : '.*\(...\)'`" = X001; then
4450 if (basename -- /) >/dev/null 2>&1 && test "X`basename -- / 2>&1`" = "X/"; then
4451 as_basename=basename
4456 if (as_dir=`dirname -- /` && test "X$as_dir" = X/) >/dev/null 2>&1; then
4462 as_me=`$as_basename -- "$0" ||
4463 $as_expr X/"$0" : '.*/\([^/][^/]*\)/*$' \| \
4464 X"$0" : 'X\(//\)$' \| \
4465 X"$0" : 'X\(/\)' \| . 2>/dev/null ||
4467 sed '/^.*\/\([^/][^/]*\)\/*$/{
4481 # Avoid depending upon Character Ranges.
4482 as_cr_letters='abcdefghijklmnopqrstuvwxyz'
4483 as_cr_LETTERS='ABCDEFGHIJKLMNOPQRSTUVWXYZ'
4484 as_cr_Letters=$as_cr_letters$as_cr_LETTERS
4485 as_cr_digits='0123456789'
4486 as_cr_alnum=$as_cr_Letters$as_cr_digits
4488 ECHO_C= ECHO_N= ECHO_T=
4489 case `echo -n x` in #(((((
4491 case `echo 'xy\c'` in
4492 *c*) ECHO_T=' ';; # ECHO_T is single tab character.
4494 *) echo `echo ksh88 bug on AIX 6.1` > /dev/null
4501 rm -f conf$$ conf$$.exe conf$$.file
4502 if test -d conf$$.dir; then
4503 rm -f conf$$.dir/conf$$.file
4506 mkdir conf$$.dir 2>/dev/null
4508 if (echo >conf$$.file) 2>/dev/null; then
4509 if ln -s conf$$.file conf$$ 2>/dev/null; then
4511 # ... but there are two gotchas:
4512 # 1) On MSYS, both `ln -s file dir' and `ln file dir' fail.
4513 # 2) DJGPP < 2.04 has no symlinks; `ln -s' creates a wrapper executable.
4514 # In both cases, we have to default to `cp -pR'.
4515 ln -s conf$$.file conf$$.dir 2>/dev/null && test ! -f conf$$.exe ||
4517 elif ln conf$$.file conf$$ 2>/dev/null; then
4525 rm -f conf$$ conf$$.exe conf$$.dir/conf$$.file conf$$.file
4526 rmdir conf$$.dir 2>/dev/null
4531 # Create "$as_dir" as a directory, including parents if necessary.
4536 -*) as_dir=./$as_dir;;
4538 test -d "$as_dir" || eval $as_mkdir_p || {
4542 *\'*) as_qdir=`$as_echo "$as_dir" | sed "s/'/'\\\\\\\\''/g"`;; #'(
4543 *) as_qdir=$as_dir;;
4545 as_dirs="'$as_qdir' $as_dirs"
4546 as_dir=`$as_dirname -- "$as_dir" ||
4547 $as_expr X"$as_dir" : 'X\(.*[^/]\)//*[^/][^/]*/*$' \| \
4548 X"$as_dir" : 'X\(//\)[^/]' \| \
4549 X"$as_dir" : 'X\(//\)$' \| \
4550 X"$as_dir" : 'X\(/\)' \| . 2>/dev/null ||
4551 $as_echo X"$as_dir" |
4552 sed '/^X\(.*[^/]\)\/\/*[^/][^/]*\/*$/{
4569 test -d "$as_dir" && break
4571 test -z "$as_dirs" || eval "mkdir $as_dirs"
4572 } || test -d "$as_dir" || as_fn_error $? "cannot create directory $as_dir"
4576 if mkdir -p . 2>/dev/null; then
4577 as_mkdir_p='mkdir -p "$as_dir"'
4579 test -d ./-p && rmdir ./-p
4584 # as_fn_executable_p FILE
4585 # -----------------------
4586 # Test if FILE is an executable regular file.
4587 as_fn_executable_p ()
4589 test -f "$1" && test -x "$1"
4590 } # as_fn_executable_p
4592 as_executable_p=as_fn_executable_p
4594 # Sed expression to map a string onto a valid CPP name.
4595 as_tr_cpp="eval sed 'y%*$as_cr_letters%P$as_cr_LETTERS%;s%[^_$as_cr_alnum]%_%g'"
4597 # Sed expression to map a string onto a valid variable name.
4598 as_tr_sh="eval sed 'y%*+%pp%;s%[^_$as_cr_alnum]%_%g'"
4602 ## ----------------------------------- ##
4603 ## Main body of $CONFIG_STATUS script. ##
4604 ## ----------------------------------- ##
4606 test $as_write_fail = 0 && chmod +x $CONFIG_STATUS || ac_write_fail=1
4608 cat >>$CONFIG_STATUS <<\_ACEOF || ac_write_fail=1
4609 # Save the log message, to keep $0 and so on meaningful, and to
4610 # report actual input values of CONFIG_FILES etc. instead of their
4611 # values after options handling.
4613 This file was extended by $as_me, which was
4614 generated by GNU Autoconf 2.69. Invocation command line was
4616 CONFIG_FILES = $CONFIG_FILES
4617 CONFIG_HEADERS = $CONFIG_HEADERS
4618 CONFIG_LINKS = $CONFIG_LINKS
4619 CONFIG_COMMANDS = $CONFIG_COMMANDS
4622 on `(hostname || uname -n) 2>/dev/null | sed 1q`
4627 case $ac_config_files in *"
4628 "*) set x $ac_config_files; shift; ac_config_files=$*;;
4633 cat >>$CONFIG_STATUS <<_ACEOF || ac_write_fail=1
4634 # Files that config.status was made for.
4635 config_files="$ac_config_files"
4639 cat >>$CONFIG_STATUS <<\_ACEOF || ac_write_fail=1
4641 \`$as_me' instantiates files and other configuration actions
4642 from templates according to the current configuration. Unless the files
4643 and actions are specified as TAGs, all are instantiated by default.
4645 Usage: $0 [OPTION]... [TAG]...
4647 -h, --help print this help, then exit
4648 -V, --version print version number and configuration settings, then exit
4649 --config print configuration, then exit
4650 -q, --quiet, --silent
4651 do not print progress messages
4652 -d, --debug don't remove temporary files
4653 --recheck update $as_me by reconfiguring in the same conditions
4654 --file=FILE[:TEMPLATE]
4655 instantiate the configuration file FILE
4657 Configuration files:
4660 Report bugs to the package provider."
4663 cat >>$CONFIG_STATUS <<_ACEOF || ac_write_fail=1
4664 ac_cs_config="`$as_echo "$ac_configure_args" | sed 's/^ //; s/[\\""\`\$]/\\\\&/g'`"
4667 configured by $0, generated by GNU Autoconf 2.69,
4668 with options \\"\$ac_cs_config\\"
4670 Copyright (C) 2012 Free Software Foundation, Inc.
4671 This config.status script is free software; the Free Software Foundation
4672 gives unlimited permission to copy, distribute and modify it."
4676 test -n "\$AWK" || AWK=awk
4679 cat >>$CONFIG_STATUS <<\_ACEOF || ac_write_fail=1
4680 # The default lists apply if the user does not specify any file.
4686 ac_option=`expr "X$1" : 'X\([^=]*\)='`
4687 ac_optarg=`expr "X$1" : 'X[^=]*=\(.*\)'`
4691 ac_option=`expr "X$1" : 'X\([^=]*\)='`
4703 # Handling of the options.
4704 -recheck | --recheck | --rechec | --reche | --rech | --rec | --re | --r)
4706 --version | --versio | --versi | --vers | --ver | --ve | --v | -V )
4707 $as_echo "$ac_cs_version"; exit ;;
4708 --config | --confi | --conf | --con | --co | --c )
4709 $as_echo "$ac_cs_config"; exit ;;
4710 --debug | --debu | --deb | --de | --d | -d )
4712 --file | --fil | --fi | --f )
4715 *\'*) ac_optarg=`$as_echo "$ac_optarg" | sed "s/'/'\\\\\\\\''/g"` ;;
4716 '') as_fn_error $? "missing file argument" ;;
4718 as_fn_append CONFIG_FILES " '$ac_optarg'"
4719 ac_need_defaults=false;;
4720 --he | --h | --help | --hel | -h )
4721 $as_echo "$ac_cs_usage"; exit ;;
4722 -q | -quiet | --quiet | --quie | --qui | --qu | --q \
4723 | -silent | --silent | --silen | --sile | --sil | --si | --s)
4727 -*) as_fn_error $? "unrecognized option: \`$1'
4728 Try \`$0 --help' for more information." ;;
4730 *) as_fn_append ac_config_targets " $1"
4731 ac_need_defaults=false ;;
4737 ac_configure_extra_args=
4739 if $ac_cs_silent; then
4741 ac_configure_extra_args="$ac_configure_extra_args --silent"
4745 cat >>$CONFIG_STATUS <<_ACEOF || ac_write_fail=1
4746 if \$ac_cs_recheck; then
4747 set X $SHELL '$0' $ac_configure_args \$ac_configure_extra_args --no-create --no-recursion
4749 \$as_echo "running CONFIG_SHELL=$SHELL \$*" >&6
4750 CONFIG_SHELL='$SHELL'
4756 cat >>$CONFIG_STATUS <<\_ACEOF || ac_write_fail=1
4760 sed 'h;s/./-/g;s/^.../## /;s/...$/ ##/;p;x;p;x' <<_ASBOX
4761 ## Running $as_me. ##
4767 cat >>$CONFIG_STATUS <<_ACEOF || ac_write_fail=1
4770 cat >>$CONFIG_STATUS <<\_ACEOF || ac_write_fail=1
4772 # Handling of arguments.
4773 for ac_config_target in $ac_config_targets
4775 case $ac_config_target in
4776 "Makefile") CONFIG_FILES="$CONFIG_FILES Makefile" ;;
4777 "frama-c_jessie") CONFIG_FILES="$CONFIG_FILES frama-c_jessie" ;;
4778 "wrapper/Makefile") CONFIG_FILES="$CONFIG_FILES wrapper/Makefile" ;;
4780 *) as_fn_error $? "invalid argument: \`$ac_config_target'" "$LINENO" 5;;
4785 # If the user did not use the arguments to specify the items to instantiate,
4786 # then the envvar interface is used. Set only those that are not.
4787 # We use the long form for the default assignment because of an extremely
4788 # bizarre bug on SunOS 4.1.3.
4789 if $ac_need_defaults; then
4790 test "${CONFIG_FILES+set}" = set || CONFIG_FILES=$config_files
4793 # Have a temporary directory for convenience. Make it in the build tree
4794 # simply because there is no reason against having it here, and in addition,
4795 # creating and moving files from /tmp can sometimes cause problems.
4796 # Hook for its removal unless debugging.
4797 # Note that there is a small window in which the directory will not be cleaned:
4798 # after its creation but before its name has been assigned to `$tmp'.
4802 trap 'exit_status=$?
4804 { test ! -d "$ac_tmp" || rm -fr "$ac_tmp"; } && exit $exit_status
4806 trap 'as_fn_exit 1' 1 2 13 15
4808 # Create a (secure) tmp directory for tmp files.
4811 tmp=`(umask 077 && mktemp -d "./confXXXXXX") 2>/dev/null` &&
4815 tmp=./conf$$-$RANDOM
4816 (umask 077 && mkdir "$tmp")
4817 } || as_fn_error $? "cannot create a temporary directory in ." "$LINENO" 5
4820 # Set up the scripts for CONFIG_FILES section.
4821 # No need to generate them if there are no CONFIG_FILES.
4822 # This happens for instance with `./config.status config.h'.
4823 if test -n "$CONFIG_FILES"; then
4826 ac_cr=`echo X | tr X '\015'`
4827 # On cygwin, bash can eat \r inside `` if the user requested igncr.
4828 # But we know of no other shell where ac_cr would be empty at this
4829 # point, so we can use a bashism as a fallback.
4830 if test "x$ac_cr" = x; then
4831 eval ac_cr=\$\'\\r\'
4833 ac_cs_awk_cr=`$AWK 'BEGIN { print "a\rb" }' </dev/null 2>/dev/null`
4834 if test "$ac_cs_awk_cr" = "a${ac_cr}b"; then
4840 echo 'BEGIN {' >"$ac_tmp/subs1.awk" &&
4845 echo "cat >conf$$subs.awk <<_ACEOF" &&
4846 echo "$ac_subst_vars" | sed 's/.*/&!$&$ac_delim/' &&
4849 as_fn_error $? "could not make $CONFIG_STATUS" "$LINENO" 5
4850 ac_delim_num=`echo "$ac_subst_vars" | grep -c '^'`
4852 for ac_last_try in false false false false false :; do
4853 . ./conf$$subs.sh ||
4854 as_fn_error $? "could not make $CONFIG_STATUS" "$LINENO" 5
4856 ac_delim_n=`sed -n "s/.*$ac_delim\$/X/p" conf$$subs.awk | grep -c X`
4857 if test $ac_delim_n = $ac_delim_num; then
4859 elif $ac_last_try; then
4860 as_fn_error $? "could not make $CONFIG_STATUS" "$LINENO" 5
4862 ac_delim="$ac_delim!$ac_delim _$ac_delim!! "
4867 cat >>$CONFIG_STATUS <<_ACEOF || ac_write_fail=1
4868 cat >>"\$ac_tmp/subs1.awk" <<\\_ACAWK &&
4872 s/^/S["/; s/!.*/"]=/
4882 s/\(.\{148\}\)..*/\1/
4884 s/["\\]/\\&/g; s/^/"/; s/$/\\n"\\/
4889 s/["\\]/\\&/g; s/^/"/; s/$/"\\/
4896 s/\(.\{148\}\)..*/\1/
4898 s/["\\]/\\&/g; s/^/"/; s/$/"/
4902 s/["\\]/\\&/g; s/^/"/; s/$/"\\/
4907 ' <conf$$subs.awk | sed '
4912 ' >>$CONFIG_STATUS || ac_write_fail=1
4913 rm -f conf$$subs.awk
4914 cat >>$CONFIG_STATUS <<_ACEOF || ac_write_fail=1
4916 cat >>"\$ac_tmp/subs1.awk" <<_ACAWK &&
4917 for (key in S) S_is_set[key] = 1
4923 nfields = split(line, field, "@")
4925 len = length(field[1])
4926 for (i = 2; i < nfields; i++) {
4928 keylen = length(key)
4929 if (S_is_set[key]) {
4931 line = substr(line, 1, len) "" value "" substr(line, len + keylen + 3)
4932 len += length(value) + length(field[++i])
4943 cat >>$CONFIG_STATUS <<\_ACEOF || ac_write_fail=1
4944 if sed "s/$ac_cr//" < /dev/null > /dev/null 2>&1; then
4945 sed "s/$ac_cr\$//; s/$ac_cr/$ac_cs_awk_cr/g"
4948 fi < "$ac_tmp/subs1.awk" > "$ac_tmp/subs.awk" \
4949 || as_fn_error $? "could not setup config files machinery" "$LINENO" 5
4952 # VPATH may cause trouble with some makes, so we remove sole $(srcdir),
4953 # ${srcdir} and @srcdir@ entries from VPATH if srcdir is ".", strip leading and
4954 # trailing colons and then remove the whole line if VPATH becomes empty
4955 # (actually we leave an empty line to preserve line numbers).
4956 if test "x$srcdir" = x.; then
4957 ac_vpsub='/^[ ]*VPATH[ ]*=[ ]*/{
4975 cat >>$CONFIG_STATUS <<\_ACEOF || ac_write_fail=1
4976 fi # test -n "$CONFIG_FILES"
4979 eval set X " :F $CONFIG_FILES "
4984 :[FHLC]) ac_mode=$ac_tag; continue;;
4986 case $ac_mode$ac_tag in
4988 :L* | :C*:*) as_fn_error $? "invalid tag \`$ac_tag'" "$LINENO" 5;;
4989 :[FH]-) ac_tag=-:-;;
4990 :[FH]*) ac_tag=$ac_tag:$ac_tag.in;;
5007 -) ac_f="$ac_tmp/stdin";;
5008 *) # Look for the file first in the build tree, then in the source tree
5009 # (if the path is not absolute). The absolute path cannot be DOS-style,
5010 # because $ac_f cannot contain `:'.
5014 *) test -f "$srcdir/$ac_f" && ac_f="$srcdir/$ac_f";;
5016 as_fn_error 1 "cannot find input file: \`$ac_f'" "$LINENO" 5;;
5018 case $ac_f in *\'*) ac_f=`$as_echo "$ac_f" | sed "s/'/'\\\\\\\\''/g"`;; esac
5019 as_fn_append ac_file_inputs " '$ac_f'"
5022 # Let's still pretend it is `configure' which instantiates (i.e., don't
5023 # use $as_me), people would be surprised to read:
5024 # /* config.h. Generated by config.status. */
5025 configure_input='Generated from '`
5026 $as_echo "$*" | sed 's|^[^:]*/||;s|:[^:]*/|, |g'
5028 if test x"$ac_file" != x-; then
5029 configure_input="$ac_file. $configure_input"
5030 { $as_echo "$as_me:${as_lineno-$LINENO}: creating $ac_file" >&5
5031 $as_echo "$as_me: creating $ac_file" >&6;}
5033 # Neutralize special characters interpreted by sed in replacement strings.
5034 case $configure_input in #(
5035 *\&* | *\|* | *\\* )
5036 ac_sed_conf_input=`$as_echo "$configure_input" |
5037 sed 's/[\\\\&|]/\\\\&/g'`;; #(
5038 *) ac_sed_conf_input=$configure_input;;
5042 *:-:* | *:-) cat >"$ac_tmp/stdin" \
5043 || as_fn_error $? "could not create $ac_file" "$LINENO" 5 ;;
5048 ac_dir=`$as_dirname -- "$ac_file" ||
5049 $as_expr X"$ac_file" : 'X\(.*[^/]\)//*[^/][^/]*/*$' \| \
5050 X"$ac_file" : 'X\(//\)[^/]' \| \
5051 X"$ac_file" : 'X\(//\)$' \| \
5052 X"$ac_file" : 'X\(/\)' \| . 2>/dev/null ||
5053 $as_echo X"$ac_file" |
5054 sed '/^X\(.*[^/]\)\/\/*[^/][^/]*\/*$/{
5071 as_dir="$ac_dir"; as_fn_mkdir_p
5075 .) ac_dir_suffix= ac_top_builddir_sub=. ac_top_build_prefix= ;;
5077 ac_dir_suffix=/`$as_echo "$ac_dir" | sed 's|^\.[\\/]||'`
5078 # A ".." for each directory in $ac_dir_suffix.
5079 ac_top_builddir_sub=`$as_echo "$ac_dir_suffix" | sed 's|/[^\\/]*|/..|g;s|/||'`
5080 case $ac_top_builddir_sub in
5081 "") ac_top_builddir_sub=. ac_top_build_prefix= ;;
5082 *) ac_top_build_prefix=$ac_top_builddir_sub/ ;;
5085 ac_abs_top_builddir=$ac_pwd
5086 ac_abs_builddir=$ac_pwd$ac_dir_suffix
5087 # for backward compatibility:
5088 ac_top_builddir=$ac_top_build_prefix
5091 .) # We are building in place.
5093 ac_top_srcdir=$ac_top_builddir_sub
5094 ac_abs_top_srcdir=$ac_pwd ;;
5095 [\\/]* | ?:[\\/]* ) # Absolute name.
5096 ac_srcdir=$srcdir$ac_dir_suffix;
5097 ac_top_srcdir=$srcdir
5098 ac_abs_top_srcdir=$srcdir ;;
5100 ac_srcdir=$ac_top_build_prefix$srcdir$ac_dir_suffix
5101 ac_top_srcdir=$ac_top_build_prefix$srcdir
5102 ac_abs_top_srcdir=$ac_pwd/$srcdir ;;
5104 ac_abs_srcdir=$ac_abs_top_srcdir$ac_dir_suffix
5115 cat >>$CONFIG_STATUS <<\_ACEOF || ac_write_fail=1
5116 # If the template does not know about datarootdir, expand it.
5117 # FIXME: This hack should be removed a few years after 2.60.
5118 ac_datarootdir_hack=; ac_datarootdir_seen=
5129 case `eval "sed -n \"\$ac_sed_dataroot\" $ac_file_inputs"` in
5130 *datarootdir*) ac_datarootdir_seen=yes;;
5131 *@datadir@*|*@docdir@*|*@infodir@*|*@localedir@*|*@mandir@*)
5132 { $as_echo "$as_me:${as_lineno-$LINENO}: WARNING: $ac_file_inputs seems to ignore the --datarootdir setting" >&5
5133 $as_echo "$as_me: WARNING: $ac_file_inputs seems to ignore the --datarootdir setting" >&2;}
5135 cat >>$CONFIG_STATUS <<_ACEOF || ac_write_fail=1
5136 ac_datarootdir_hack='
5137 s&@datadir@&$datadir&g
5138 s&@docdir@&$docdir&g
5139 s&@infodir@&$infodir&g
5140 s&@localedir@&$localedir&g
5141 s&@mandir@&$mandir&g
5142 s&\\\${datarootdir}&$datarootdir&g' ;;
5146 # Neutralize VPATH when `$srcdir' = `.'.
5147 # Shell code in configure.ac might set extrasub.
5148 # FIXME: do we really want to maintain this feature?
5149 cat >>$CONFIG_STATUS <<_ACEOF || ac_write_fail=1
5150 ac_sed_extra="$ac_vpsub
5153 cat >>$CONFIG_STATUS <<\_ACEOF || ac_write_fail=1
5155 /@[a-zA-Z_][a-zA-Z_0-9]*@/!b
5156 s|@configure_input@|$ac_sed_conf_input|;t t
5157 s&@top_builddir@&$ac_top_builddir_sub&;t t
5158 s&@top_build_prefix@&$ac_top_build_prefix&;t t
5159 s&@srcdir@&$ac_srcdir&;t t
5160 s&@abs_srcdir@&$ac_abs_srcdir&;t t
5161 s&@top_srcdir@&$ac_top_srcdir&;t t
5162 s&@abs_top_srcdir@&$ac_abs_top_srcdir&;t t
5163 s&@builddir@&$ac_builddir&;t t
5164 s&@abs_builddir@&$ac_abs_builddir&;t t
5165 s&@abs_top_builddir@&$ac_abs_top_builddir&;t t
5166 $ac_datarootdir_hack
5168 eval sed \"\$ac_sed_extra\" "$ac_file_inputs" | $AWK -f "$ac_tmp/subs.awk" \
5169 >$ac_tmp/out || as_fn_error $? "could not create $ac_file" "$LINENO" 5
5171 test -z "$ac_datarootdir_hack$ac_datarootdir_seen" &&
5172 { ac_out=`sed -n '/\${datarootdir}/p' "$ac_tmp/out"`; test -n "$ac_out"; } &&
5173 { ac_out=`sed -n '/^[ ]*datarootdir[ ]*:*=/p' \
5174 "$ac_tmp/out"`; test -z "$ac_out"; } &&
5175 { $as_echo "$as_me:${as_lineno-$LINENO}: WARNING: $ac_file contains a reference to the variable \`datarootdir'
5176 which seems to be undefined. Please make sure it is defined" >&5
5177 $as_echo "$as_me: WARNING: $ac_file contains a reference to the variable \`datarootdir'
5178 which seems to be undefined. Please make sure it is defined" >&2;}
5180 rm -f "$ac_tmp/stdin"
5182 -) cat "$ac_tmp/out" && rm -f "$ac_tmp/out";;
5183 *) rm -f "$ac_file" && mv "$ac_tmp/out" "$ac_file";;
5185 || as_fn_error $? "could not create $ac_file" "$LINENO" 5
5197 ac_clean_files=$ac_clean_files_save
5199 test $ac_write_fail = 0 ||
5200 as_fn_error $? "write failure creating $CONFIG_STATUS" "$LINENO" 5
5203 # configure is writing to config.log, and then calls config.status.
5204 # config.status does its own redirection, appending to config.log.
5205 # Unfortunately, on DOS this fails, as config.log is still kept open
5206 # by configure, so config.status won't be able to write to it; its
5207 # output is simply discarded. So we exec the FD to /dev/null,
5208 # effectively closing config.log, so it can be properly (re)opened and
5209 # appended to by config.status. When coming back to configure, we
5210 # need to make the FD available again.
5211 if test "$no_create" != yes; then
5213 ac_config_status_args=
5214 test "$silent" = yes &&
5215 ac_config_status_args="$ac_config_status_args --quiet"
5217 $SHELL $CONFIG_STATUS $ac_config_status_args || ac_cs_success=false
5219 # Use ||, not &&, to avoid exiting from the if with $? = 1, which
5220 # would make configure fail if this is the last instruction.
5221 $ac_cs_success || as_fn_exit 1
5223 if test -n "$ac_unrecognized_opts" && test "$enable_option_checking" != no; then
5224 { $as_echo "$as_me:${as_lineno-$LINENO}: WARNING: unrecognized options: $ac_unrecognized_opts" >&5
5225 $as_echo "$as_me: WARNING: unrecognized options: $ac_unrecognized_opts" >&2;}