]> matita.cs.unibo.it Git - pkg-cerco/frama-c-cost-plugin.git/blob - configure
Imported Upstream version 0.1
[pkg-cerco/frama-c-cost-plugin.git] / configure
1 #! /bin/sh
2 # Guess values for system-dependent variables and create Makefiles.
3 # Generated by GNU Autoconf 2.69.
4 #
5 #
6 # Copyright (C) 1992-1996, 1998-2012 Free Software Foundation, Inc.
7 #
8 #
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 ## -------------------- ##
14
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 :
18   emulate sh
19   NULLCMD=:
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+"$@"}'='"$@"'
23   setopt NO_GLOB_SUBST
24 else
25   case `(set -o) 2>/dev/null` in #(
26   *posix*) :
27     set -o posix ;; #(
28   *) :
29      ;;
30 esac
31 fi
32
33
34 as_nl='
35 '
36 export as_nl
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
45   as_echo='print -r --'
46   as_echo_n='print -rn --'
47 elif (test "X`printf %s $as_echo`" = "X$as_echo") 2>/dev/null; then
48   as_echo='printf %s\n'
49   as_echo_n='printf %s'
50 else
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'
54   else
55     as_echo_body='eval expr "X$1" : "X\\(.*\\)"'
56     as_echo_n_body='eval
57       arg=$1;
58       case $arg in #(
59       *"$as_nl"*)
60         expr "X$arg" : "X\\(.*\\)$as_nl";
61         arg=`expr "X$arg" : ".*$as_nl\\(.*\\)"`;;
62       esac;
63       expr "X$arg" : "X\\(.*\\)" | tr -d "$as_nl"
64     '
65     export as_echo_n_body
66     as_echo_n='sh -c $as_echo_n_body as_echo'
67   fi
68   export as_echo_body
69   as_echo='sh -c $as_echo_body as_echo'
70 fi
71
72 # The user is always right.
73 if test "${PATH_SEPARATOR+set}" != set; then
74   PATH_SEPARATOR=:
75   (PATH='/bin;/bin'; FPATH=$PATH; sh -c :) >/dev/null 2>&1 && {
76     (PATH='/bin:/bin'; FPATH=$PATH; sh -c :) >/dev/null 2>&1 ||
77       PATH_SEPARATOR=';'
78   }
79 fi
80
81
82 # IFS
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.)
87 IFS=" ""        $as_nl"
88
89 # Find who we are.  Look in the path if we contain no directory separator.
90 as_myself=
91 case $0 in #((
92   *[\\/]* ) as_myself=$0 ;;
93   *) as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
94 for as_dir in $PATH
95 do
96   IFS=$as_save_IFS
97   test -z "$as_dir" && as_dir=.
98     test -r "$as_dir/$0" && as_myself=$as_dir/$0 && break
99   done
100 IFS=$as_save_IFS
101
102      ;;
103 esac
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
107   as_myself=$0
108 fi
109 if test ! -f "$as_myself"; then
110   $as_echo "$as_myself: error: cannot find myself; rerun with an absolute file name" >&2
111   exit 1
112 fi
113
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 || :
121 done
122 PS1='$ '
123 PS2='> '
124 PS4='+ '
125
126 # NLS nuisances.
127 LC_ALL=C
128 export LC_ALL
129 LANGUAGE=C
130 export LANGUAGE
131
132 # CDPATH.
133 (unset CDPATH) >/dev/null 2>&1 && unset CDPATH
134
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.
143 BASH_ENV=/dev/null
144 ENV=/dev/null
145 (unset BASH_ENV) >/dev/null 2>&1 && unset BASH_ENV ENV
146 case $- in # ((((
147   *v*x* | *x*v* ) as_opts=-vx ;;
148   *v* ) as_opts=-v ;;
149   *x* ) as_opts=-x ;;
150   * ) as_opts= ;;
151 esac
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
156 as_fn_exit 255
157   fi
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 :
162   emulate sh
163   NULLCMD=:
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+\"\$@\"}'='\"\$@\"'
167   setopt NO_GLOB_SUBST
168 else
169   case \`(set -o) 2>/dev/null\` in #(
170   *posix*) :
171     set -o posix ;; #(
172   *) :
173      ;;
174 esac
175 fi
176 "
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; }
182
183 exitcode=0
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 :
189
190 else
191   exitcode=1; echo positional parameters were not saved.
192 fi
193 test x\$exitcode = x0 || exit 1
194 test -x / || 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 :
200   as_have_required=yes
201 else
202   as_have_required=no
203 fi
204   if test x$as_have_required = xyes && (eval "$as_suggested") 2>/dev/null; then :
205
206 else
207   as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
208 as_found=false
209 for as_dir in /bin$PATH_SEPARATOR/usr/bin$PATH_SEPARATOR$PATH
210 do
211   IFS=$as_save_IFS
212   test -z "$as_dir" && as_dir=.
213   as_found=:
214   case $as_dir in #(
215          /*)
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 :
223   break 2
224 fi
225 fi
226            done;;
227        esac
228   as_found=false
229 done
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
233 fi; }
234 IFS=$as_save_IFS
235
236
237       if test "x$CONFIG_SHELL" != x; then :
238   export CONFIG_SHELL
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.
243 BASH_ENV=/dev/null
244 ENV=/dev/null
245 (unset BASH_ENV) >/dev/null 2>&1 && unset BASH_ENV ENV
246 case $- in # ((((
247   *v*x* | *x*v* ) as_opts=-vx ;;
248   *v* ) as_opts=-v ;;
249   *x* ) as_opts=-x ;;
250   * ) as_opts= ;;
251 esac
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
256 exit 255
257 fi
258
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."
265   else
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."
270   fi
271   exit 1
272 fi
273 fi
274 fi
275 SHELL=${CONFIG_SHELL-/bin/sh}
276 export SHELL
277 # Unset more variables known to interfere with behavior of common tools.
278 CLICOLOR_FORCE= GREP_OPTIONS=
279 unset CLICOLOR_FORCE GREP_OPTIONS
280
281 ## --------------------- ##
282 ## M4sh Shell Functions. ##
283 ## --------------------- ##
284 # as_fn_unset VAR
285 # ---------------
286 # Portably unset VAR.
287 as_fn_unset ()
288 {
289   { eval $1=; unset $1;}
290 }
291 as_unset=as_fn_unset
292
293 # as_fn_set_status STATUS
294 # -----------------------
295 # Set $? to STATUS, without forking.
296 as_fn_set_status ()
297 {
298   return $1
299 } # as_fn_set_status
300
301 # as_fn_exit STATUS
302 # -----------------
303 # Exit the shell with STATUS, even in a "trap 0" or "set -e" context.
304 as_fn_exit ()
305 {
306   set +e
307   as_fn_set_status $1
308   exit $1
309 } # as_fn_exit
310
311 # as_fn_mkdir_p
312 # -------------
313 # Create "$as_dir" as a directory, including parents if necessary.
314 as_fn_mkdir_p ()
315 {
316
317   case $as_dir in #(
318   -*) as_dir=./$as_dir;;
319   esac
320   test -d "$as_dir" || eval $as_mkdir_p || {
321     as_dirs=
322     while :; do
323       case $as_dir in #(
324       *\'*) as_qdir=`$as_echo "$as_dir" | sed "s/'/'\\\\\\\\''/g"`;; #'(
325       *) as_qdir=$as_dir;;
326       esac
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\(.*[^/]\)\/\/*[^/][^/]*\/*$/{
335             s//\1/
336             q
337           }
338           /^X\(\/\/\)[^/].*/{
339             s//\1/
340             q
341           }
342           /^X\(\/\/\)$/{
343             s//\1/
344             q
345           }
346           /^X\(\/\).*/{
347             s//\1/
348             q
349           }
350           s/.*/./; q'`
351       test -d "$as_dir" && break
352     done
353     test -z "$as_dirs" || eval "mkdir $as_dirs"
354   } || test -d "$as_dir" || as_fn_error $? "cannot create directory $as_dir"
355
356
357 } # as_fn_mkdir_p
358
359 # as_fn_executable_p FILE
360 # -----------------------
361 # Test if FILE is an executable regular file.
362 as_fn_executable_p ()
363 {
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
371 # implementations.
372 if (eval "as_var=1; as_var+=2; test x\$as_var = x12") 2>/dev/null; then :
373   eval 'as_fn_append ()
374   {
375     eval $1+=\$2
376   }'
377 else
378   as_fn_append ()
379   {
380     eval $1=\$$1\$2
381   }
382 fi # as_fn_append
383
384 # as_fn_arith ARG...
385 # ------------------
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 :
390   eval 'as_fn_arith ()
391   {
392     as_val=$(( $* ))
393   }'
394 else
395   as_fn_arith ()
396   {
397     as_val=`expr "$@" || test $? -eq 1`
398   }
399 fi # as_fn_arith
400
401
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.
407 as_fn_error ()
408 {
409   as_status=$1; test $as_status -eq 0 && as_status=1
410   if test "$4"; then
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
413   fi
414   $as_echo "$as_me: error: $2" >&2
415   as_fn_exit $as_status
416 } # as_fn_error
417
418 if expr a : '\(a\)' >/dev/null 2>&1 &&
419    test "X`expr 00001 : '.*\(...\)'`" = X001; then
420   as_expr=expr
421 else
422   as_expr=false
423 fi
424
425 if (basename -- /) >/dev/null 2>&1 && test "X`basename -- / 2>&1`" = "X/"; then
426   as_basename=basename
427 else
428   as_basename=false
429 fi
430
431 if (as_dir=`dirname -- /` && test "X$as_dir" = X/) >/dev/null 2>&1; then
432   as_dirname=dirname
433 else
434   as_dirname=false
435 fi
436
437 as_me=`$as_basename -- "$0" ||
438 $as_expr X/"$0" : '.*/\([^/][^/]*\)/*$' \| \
439          X"$0" : 'X\(//\)$' \| \
440          X"$0" : 'X\(/\)' \| . 2>/dev/null ||
441 $as_echo X/"$0" |
442     sed '/^.*\/\([^/][^/]*\)\/*$/{
443             s//\1/
444             q
445           }
446           /^X\/\(\/\/\)$/{
447             s//\1/
448             q
449           }
450           /^X\/\(\/\).*/{
451             s//\1/
452             q
453           }
454           s/.*/./; q'`
455
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
462
463
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.  :-)
469   sed -n '
470     p
471     /[$]LINENO/=
472   ' <$as_myself |
473     sed '
474       s/[$]LINENO.*/&-/
475       t lineno
476       b
477       :lineno
478       N
479       :loop
480       s/[$]LINENO\([^'$as_cr_alnum'_].*\n\)\(.*\)/\2\1\2/
481       t loop
482       s/-\n.*//
483     ' >$as_me.lineno &&
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; }
486
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).
494   . "./$as_me.lineno"
495   # Exit status is that of the last command.
496   exit
497 }
498
499 ECHO_C= ECHO_N= ECHO_T=
500 case `echo -n x` in #(((((
501 -n*)
502   case `echo 'xy\c'` in
503   *c*) ECHO_T=' ';;     # ECHO_T is single tab character.
504   xy)  ECHO_C='\c';;
505   *)   echo `echo ksh88 bug on AIX 6.1` > /dev/null
506        ECHO_T=' ';;
507   esac;;
508 *)
509   ECHO_N='-n';;
510 esac
511
512 rm -f conf$$ conf$$.exe conf$$.file
513 if test -d conf$$.dir; then
514   rm -f conf$$.dir/conf$$.file
515 else
516   rm -f conf$$.dir
517   mkdir conf$$.dir 2>/dev/null
518 fi
519 if (echo >conf$$.file) 2>/dev/null; then
520   if ln -s conf$$.file conf$$ 2>/dev/null; then
521     as_ln_s='ln -s'
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 ||
527       as_ln_s='cp -pR'
528   elif ln conf$$.file conf$$ 2>/dev/null; then
529     as_ln_s=ln
530   else
531     as_ln_s='cp -pR'
532   fi
533 else
534   as_ln_s='cp -pR'
535 fi
536 rm -f conf$$ conf$$.exe conf$$.dir/conf$$.file conf$$.file
537 rmdir conf$$.dir 2>/dev/null
538
539 if mkdir -p . 2>/dev/null; then
540   as_mkdir_p='mkdir -p "$as_dir"'
541 else
542   test -d ./-p && rmdir ./-p
543   as_mkdir_p=false
544 fi
545
546 as_test_x='test -x'
547 as_executable_p=as_fn_executable_p
548
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'"
551
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'"
554
555
556 test -n "$DJDIR" || exec 7<&0 </dev/null
557 exec 6>&1
558
559 # Name of the host.
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`
563
564 #
565 # Initializations.
566 #
567 ac_default_prefix=/usr/local
568 ac_clean_files=
569 ac_config_libobj_dir=.
570 LIBOBJS=
571 cross_compiling=no
572 subdirs=
573 MFLAGS=
574 MAKEFLAGS=
575
576 # Identity of this package.
577 PACKAGE_NAME=
578 PACKAGE_TARNAME=
579 PACKAGE_VERSION=
580 PACKAGE_STRING=
581 PACKAGE_BUGREPORT=
582 PACKAGE_URL=
583
584 ac_unique_file="configure.ac"
585 ac_subst_vars='LTLIBOBJS
586 LIBOBJS
587 FRAMAC
588 ACC
589 target_alias
590 host_alias
591 build_alias
592 LIBS
593 ECHO_T
594 ECHO_N
595 ECHO_C
596 DEFS
597 mandir
598 localedir
599 libdir
600 psdir
601 pdfdir
602 dvidir
603 htmldir
604 infodir
605 docdir
606 oldincludedir
607 includedir
608 localstatedir
609 sharedstatedir
610 sysconfdir
611 datadir
612 datarootdir
613 libexecdir
614 sbindir
615 bindir
616 program_transform_name
617 prefix
618 exec_prefix
619 PACKAGE_URL
620 PACKAGE_BUGREPORT
621 PACKAGE_STRING
622 PACKAGE_VERSION
623 PACKAGE_TARNAME
624 PACKAGE_NAME
625 PATH_SEPARATOR
626 SHELL'
627 ac_subst_files=''
628 ac_user_opts='
629 enable_option_checking
630 '
631       ac_precious_vars='build_alias
632 host_alias
633 target_alias'
634
635
636 # Initialize some variables set by options.
637 ac_init_help=
638 ac_init_version=false
639 ac_unrecognized_opts=
640 ac_unrecognized_sep=
641 # The variables have the same names as the options, with
642 # dashes changed to underlines.
643 cache_file=/dev/null
644 exec_prefix=NONE
645 no_create=
646 no_recursion=
647 prefix=NONE
648 program_prefix=NONE
649 program_suffix=NONE
650 program_transform_name=s,x,x,
651 silent=
652 site=
653 srcdir=
654 verbose=
655 x_includes=NONE
656 x_libraries=NONE
657
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'
676 htmldir='${docdir}'
677 dvidir='${docdir}'
678 pdfdir='${docdir}'
679 psdir='${docdir}'
680 libdir='${exec_prefix}/lib'
681 localedir='${datarootdir}/locale'
682 mandir='${datarootdir}/man'
683
684 ac_prev=
685 ac_dashdash=
686 for ac_option
687 do
688   # If the previous option needs an argument, assign it.
689   if test -n "$ac_prev"; then
690     eval $ac_prev=\$ac_option
691     ac_prev=
692     continue
693   fi
694
695   case $ac_option in
696   *=?*) ac_optarg=`expr "X$ac_option" : '[^=]*=\(.*\)'` ;;
697   *=)   ac_optarg= ;;
698   *)    ac_optarg=yes ;;
699   esac
700
701   # Accept the important Cygnus configure options, so we can diagnose typos.
702
703   case $ac_dashdash$ac_option in
704   --)
705     ac_dashdash=yes ;;
706
707   -bindir | --bindir | --bindi | --bind | --bin | --bi)
708     ac_prev=bindir ;;
709   -bindir=* | --bindir=* | --bindi=* | --bind=* | --bin=* | --bi=*)
710     bindir=$ac_optarg ;;
711
712   -build | --build | --buil | --bui | --bu)
713     ac_prev=build_alias ;;
714   -build=* | --build=* | --buil=* | --bui=* | --bu=*)
715     build_alias=$ac_optarg ;;
716
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 ;;
723
724   --config-cache | -C)
725     cache_file=config.cache ;;
726
727   -datadir | --datadir | --datadi | --datad)
728     ac_prev=datadir ;;
729   -datadir=* | --datadir=* | --datadi=* | --datad=*)
730     datadir=$ac_optarg ;;
731
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 ;;
738
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
747       *"
748 "enable_$ac_useropt"
749 "*) ;;
750       *) ac_unrecognized_opts="$ac_unrecognized_opts$ac_unrecognized_sep--disable-$ac_useropt_orig"
751          ac_unrecognized_sep=', ';;
752     esac
753     eval enable_$ac_useropt=no ;;
754
755   -docdir | --docdir | --docdi | --doc | --do)
756     ac_prev=docdir ;;
757   -docdir=* | --docdir=* | --docdi=* | --doc=* | --do=*)
758     docdir=$ac_optarg ;;
759
760   -dvidir | --dvidir | --dvidi | --dvid | --dvi | --dv)
761     ac_prev=dvidir ;;
762   -dvidir=* | --dvidir=* | --dvidi=* | --dvid=* | --dvi=* | --dv=*)
763     dvidir=$ac_optarg ;;
764
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
773       *"
774 "enable_$ac_useropt"
775 "*) ;;
776       *) ac_unrecognized_opts="$ac_unrecognized_opts$ac_unrecognized_sep--enable-$ac_useropt_orig"
777          ac_unrecognized_sep=', ';;
778     esac
779     eval enable_$ac_useropt=\$ac_optarg ;;
780
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 ;;
789
790   -gas | --gas | --ga | --g)
791     # Obsolete; use --with-gas.
792     with_gas=yes ;;
793
794   -help | --help | --hel | --he | -h)
795     ac_init_help=long ;;
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 ;;
800
801   -host | --host | --hos | --ho)
802     ac_prev=host_alias ;;
803   -host=* | --host=* | --hos=* | --ho=*)
804     host_alias=$ac_optarg ;;
805
806   -htmldir | --htmldir | --htmldi | --htmld | --html | --htm | --ht)
807     ac_prev=htmldir ;;
808   -htmldir=* | --htmldir=* | --htmldi=* | --htmld=* | --html=* | --htm=* \
809   | --ht=*)
810     htmldir=$ac_optarg ;;
811
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 ;;
818
819   -infodir | --infodir | --infodi | --infod | --info | --inf)
820     ac_prev=infodir ;;
821   -infodir=* | --infodir=* | --infodi=* | --infod=* | --info=* | --inf=*)
822     infodir=$ac_optarg ;;
823
824   -libdir | --libdir | --libdi | --libd)
825     ac_prev=libdir ;;
826   -libdir=* | --libdir=* | --libdi=* | --libd=*)
827     libdir=$ac_optarg ;;
828
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 ;;
835
836   -localedir | --localedir | --localedi | --localed | --locale)
837     ac_prev=localedir ;;
838   -localedir=* | --localedir=* | --localedi=* | --localed=* | --locale=*)
839     localedir=$ac_optarg ;;
840
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 ;;
847
848   -mandir | --mandir | --mandi | --mand | --man | --ma | --m)
849     ac_prev=mandir ;;
850   -mandir=* | --mandir=* | --mandi=* | --mand=* | --man=* | --ma=* | --m=*)
851     mandir=$ac_optarg ;;
852
853   -nfp | --nfp | --nf)
854     # Obsolete; use --without-fp.
855     with_fp=no ;;
856
857   -no-create | --no-create | --no-creat | --no-crea | --no-cre \
858   | --no-cr | --no-c | -n)
859     no_create=yes ;;
860
861   -no-recursion | --no-recursion | --no-recursio | --no-recursi \
862   | --no-recurs | --no-recur | --no-recu | --no-rec | --no-re | --no-r)
863     no_recursion=yes ;;
864
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 ;;
873
874   -prefix | --prefix | --prefi | --pref | --pre | --pr | --p)
875     ac_prev=prefix ;;
876   -prefix=* | --prefix=* | --prefi=* | --pref=* | --pre=* | --pr=* | --p=*)
877     prefix=$ac_optarg ;;
878
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 ;;
885
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 ;;
892
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 ;;
909
910   -pdfdir | --pdfdir | --pdfdi | --pdfd | --pdf | --pd)
911     ac_prev=pdfdir ;;
912   -pdfdir=* | --pdfdir=* | --pdfdi=* | --pdfd=* | --pdf=* | --pd=*)
913     pdfdir=$ac_optarg ;;
914
915   -psdir | --psdir | --psdi | --psd | --ps)
916     ac_prev=psdir ;;
917   -psdir=* | --psdir=* | --psdi=* | --psd=* | --ps=*)
918     psdir=$ac_optarg ;;
919
920   -q | -quiet | --quiet | --quie | --qui | --qu | --q \
921   | -silent | --silent | --silen | --sile | --sil)
922     silent=yes ;;
923
924   -sbindir | --sbindir | --sbindi | --sbind | --sbin | --sbi | --sb)
925     ac_prev=sbindir ;;
926   -sbindir=* | --sbindir=* | --sbindi=* | --sbind=* | --sbin=* \
927   | --sbi=* | --sb=*)
928     sbindir=$ac_optarg ;;
929
930   -sharedstatedir | --sharedstatedir | --sharedstatedi \
931   | --sharedstated | --sharedstate | --sharedstat | --sharedsta \
932   | --sharedst | --shareds | --shared | --share | --shar \
933   | --sha | --sh)
934     ac_prev=sharedstatedir ;;
935   -sharedstatedir=* | --sharedstatedir=* | --sharedstatedi=* \
936   | --sharedstated=* | --sharedstate=* | --sharedstat=* | --sharedsta=* \
937   | --sharedst=* | --shareds=* | --shared=* | --share=* | --shar=* \
938   | --sha=* | --sh=*)
939     sharedstatedir=$ac_optarg ;;
940
941   -site | --site | --sit)
942     ac_prev=site ;;
943   -site=* | --site=* | --sit=*)
944     site=$ac_optarg ;;
945
946   -srcdir | --srcdir | --srcdi | --srcd | --src | --sr)
947     ac_prev=srcdir ;;
948   -srcdir=* | --srcdir=* | --srcdi=* | --srcd=* | --src=* | --sr=*)
949     srcdir=$ac_optarg ;;
950
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 ;;
957
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 ;;
962
963   -v | -verbose | --verbose | --verbos | --verbo | --verb)
964     verbose=yes ;;
965
966   -version | --version | --versio | --versi | --vers | -V)
967     ac_init_version=: ;;
968
969   -with-* | --with-*)
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
977       *"
978 "with_$ac_useropt"
979 "*) ;;
980       *) ac_unrecognized_opts="$ac_unrecognized_opts$ac_unrecognized_sep--with-$ac_useropt_orig"
981          ac_unrecognized_sep=', ';;
982     esac
983     eval with_$ac_useropt=\$ac_optarg ;;
984
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
993       *"
994 "with_$ac_useropt"
995 "*) ;;
996       *) ac_unrecognized_opts="$ac_unrecognized_opts$ac_unrecognized_sep--without-$ac_useropt_orig"
997          ac_unrecognized_sep=', ';;
998     esac
999     eval with_$ac_useropt=no ;;
1000
1001   --x)
1002     # Obsolete; use --with-x.
1003     with_x=yes ;;
1004
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 ;;
1011
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 ;;
1018
1019   -*) as_fn_error $? "unrecognized option: \`$ac_option'
1020 Try \`$0 --help' for more information"
1021     ;;
1022
1023   *=*)
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'" ;;
1029     esac
1030     eval $ac_envvar=\$ac_optarg
1031     export $ac_envvar ;;
1032
1033   *)
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}"
1039     ;;
1040
1041   esac
1042 done
1043
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"
1047 fi
1048
1049 if test -n "$ac_unrecognized_opts"; then
1050   case $enable_option_checking in
1051     no) ;;
1052     fatal) as_fn_error $? "unrecognized options: $ac_unrecognized_opts" ;;
1053     *)     $as_echo "$as_me: WARNING: unrecognized options: $ac_unrecognized_opts" >&2 ;;
1054   esac
1055 fi
1056
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
1062 do
1063   eval ac_val=\$$ac_var
1064   # Remove trailing slashes.
1065   case $ac_val in
1066     */ )
1067       ac_val=`expr "X$ac_val" : 'X\(.*[^/]\)' \| "X$ac_val" : 'X\(.*\)'`
1068       eval $ac_var=\$ac_val;;
1069   esac
1070   # Be sure to have absolute directory names.
1071   case $ac_val in
1072     [\\/$]* | ?:[\\/]* )  continue;;
1073     NONE | '' ) case $ac_var in *prefix ) continue;; esac;;
1074   esac
1075   as_fn_error $? "expected an absolute directory name for --$ac_var: $ac_val"
1076 done
1077
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.
1081 build=$build_alias
1082 host=$host_alias
1083 target=$target_alias
1084
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
1090     cross_compiling=yes
1091   fi
1092 fi
1093
1094 ac_tool_prefix=
1095 test -n "$host_alias" && ac_tool_prefix=$host_alias-
1096
1097 test "$silent" = yes && exec 6>/dev/null
1098
1099
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"
1106
1107
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\(.*[^/]\)\/\/*[^/][^/]*\/*$/{
1119             s//\1/
1120             q
1121           }
1122           /^X\(\/\/\)[^/].*/{
1123             s//\1/
1124             q
1125           }
1126           /^X\(\/\/\)$/{
1127             s//\1/
1128             q
1129           }
1130           /^X\(\/\).*/{
1131             s//\1/
1132             q
1133           }
1134           s/.*/./; q'`
1135   srcdir=$ac_confdir
1136   if test ! -r "$srcdir/$ac_unique_file"; then
1137     srcdir=..
1138   fi
1139 else
1140   ac_srcdir_defaulted=no
1141 fi
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"
1145 fi
1146 ac_msg="sources are in $srcdir, but \`cd $srcdir' does not work"
1147 ac_abs_confdir=`(
1148         cd "$srcdir" && test -r "./$ac_unique_file" || as_fn_error $? "$ac_msg"
1149         pwd)`
1150 # When building in place, set srcdir=.
1151 if test "$ac_abs_confdir" = "$ac_pwd"; then
1152   srcdir=.
1153 fi
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.
1157 case $srcdir in
1158 */) srcdir=`expr "X$srcdir" : 'X\(.*[^/]\)' \| "X$srcdir" : 'X\(.*\)'`;;
1159 esac
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}
1165 done
1166
1167 #
1168 # Report the --help message.
1169 #
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.
1173   cat <<_ACEOF
1174 \`configure' configures this package to adapt to many kinds of systems.
1175
1176 Usage: $0 [OPTION]... [VAR=VALUE]...
1177
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.
1180
1181 Defaults for the options are specified in brackets.
1182
1183 Configuration:
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 \`..']
1193
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
1198                           [PREFIX]
1199
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'.
1204
1205 For better control, use the options below.
1206
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]
1227 _ACEOF
1228
1229   cat <<\_ACEOF
1230 _ACEOF
1231 fi
1232
1233 if test -n "$ac_init_help"; then
1234
1235   cat <<\_ACEOF
1236
1237 Report bugs to the package provider.
1238 _ACEOF
1239 ac_status=$?
1240 fi
1241
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"; } ||
1247       continue
1248     ac_builddir=.
1249
1250 case "$ac_dir" in
1251 .) ac_dir_suffix= ac_top_builddir_sub=. ac_top_build_prefix= ;;
1252 *)
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/ ;;
1259   esac ;;
1260 esac
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
1265
1266 case $srcdir in
1267   .)  # We are building in place.
1268     ac_srcdir=.
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 ;;
1275   *) # Relative name.
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 ;;
1279 esac
1280 ac_abs_srcdir=$ac_abs_top_srcdir$ac_dir_suffix
1281
1282     cd "$ac_dir" || { ac_status=$?; continue; }
1283     # Check for guested configure.
1284     if test -f "$ac_srcdir/configure.gnu"; then
1285       echo &&
1286       $SHELL "$ac_srcdir/configure.gnu" --help=recursive
1287     elif test -f "$ac_srcdir/configure"; then
1288       echo &&
1289       $SHELL "$ac_srcdir/configure" --help=recursive
1290     else
1291       $as_echo "$as_me: WARNING: no configuration information is in $ac_dir" >&2
1292     fi || ac_status=$?
1293     cd "$ac_pwd" || { ac_status=$?; break; }
1294   done
1295 fi
1296
1297 test -n "$ac_init_help" && exit $ac_status
1298 if $ac_init_version; then
1299   cat <<\_ACEOF
1300 configure
1301 generated by GNU Autoconf 2.69
1302
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.
1306 _ACEOF
1307   exit
1308 fi
1309
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.
1316
1317 It was created by $as_me, which was
1318 generated by GNU Autoconf 2.69.  Invocation command line was
1319
1320   $ $0 $@
1321
1322 _ACEOF
1323 exec 5>>config.log
1324 {
1325 cat <<_ASUNAME
1326 ## --------- ##
1327 ## Platform. ##
1328 ## --------- ##
1329
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`
1335
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`
1338
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`
1346
1347 _ASUNAME
1348
1349 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
1350 for as_dir in $PATH
1351 do
1352   IFS=$as_save_IFS
1353   test -z "$as_dir" && as_dir=.
1354     $as_echo "PATH: $as_dir"
1355   done
1356 IFS=$as_save_IFS
1357
1358 } >&5
1359
1360 cat >&5 <<_ACEOF
1361
1362
1363 ## ----------- ##
1364 ## Core tests. ##
1365 ## ----------- ##
1366
1367 _ACEOF
1368
1369
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.
1375 ac_configure_args=
1376 ac_configure_args0=
1377 ac_configure_args1=
1378 ac_must_keep_next=false
1379 for ac_pass in 1 2
1380 do
1381   for ac_arg
1382   do
1383     case $ac_arg in
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)
1387       continue ;;
1388     *\'*)
1389       ac_arg=`$as_echo "$ac_arg" | sed "s/'/'\\\\\\\\''/g"` ;;
1390     esac
1391     case $ac_pass in
1392     1) as_fn_append ac_configure_args0 " '$ac_arg'" ;;
1393     2)
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.
1397       else
1398         case $ac_arg in
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 ;;
1405             esac
1406             ;;
1407           -* ) ac_must_keep_next=true ;;
1408         esac
1409       fi
1410       as_fn_append ac_configure_args " '$ac_arg'"
1411       ;;
1412     esac
1413   done
1414 done
1415 { ac_configure_args0=; unset ac_configure_args0;}
1416 { ac_configure_args1=; unset ac_configure_args1;}
1417
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.
1425   {
1426     echo
1427
1428     $as_echo "## ---------------- ##
1429 ## Cache variables. ##
1430 ## ---------------- ##"
1431     echo
1432     # The following way of writing the cache mishandles newlines in values,
1433 (
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
1436     case $ac_val in #(
1437     *${as_nl}*)
1438       case $ac_var in #(
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;} ;;
1441       esac
1442       case $ac_var in #(
1443       _ | IFS | as_nl) ;; #(
1444       BASH_ARGV | BASH_SOURCE) eval $ac_var= ;; #(
1445       *) { eval $ac_var=; unset $ac_var;} ;;
1446       esac ;;
1447     esac
1448   done
1449   (set) 2>&1 |
1450     case $as_nl`(ac_space='\'' '\''; set) 2>&1` in #(
1451     *${as_nl}ac_space=\ *)
1452       sed -n \
1453         "s/'\''/'\''\\\\'\'''\''/g;
1454           s/^\\([_$as_cr_alnum]*_cv_[_$as_cr_alnum]*\\)=\\(.*\\)/\\1='\''\\2'\''/p"
1455       ;; #(
1456     *)
1457       sed -n "/^[_$as_cr_alnum]*_cv_[_$as_cr_alnum]*=/p"
1458       ;;
1459     esac |
1460     sort
1461 )
1462     echo
1463
1464     $as_echo "## ----------------- ##
1465 ## Output variables. ##
1466 ## ----------------- ##"
1467     echo
1468     for ac_var in $ac_subst_vars
1469     do
1470       eval ac_val=\$$ac_var
1471       case $ac_val in
1472       *\'\''*) ac_val=`$as_echo "$ac_val" | sed "s/'\''/'\''\\\\\\\\'\'''\''/g"`;;
1473       esac
1474       $as_echo "$ac_var='\''$ac_val'\''"
1475     done | sort
1476     echo
1477
1478     if test -n "$ac_subst_files"; then
1479       $as_echo "## ------------------- ##
1480 ## File substitutions. ##
1481 ## ------------------- ##"
1482       echo
1483       for ac_var in $ac_subst_files
1484       do
1485         eval ac_val=\$$ac_var
1486         case $ac_val in
1487         *\'\''*) ac_val=`$as_echo "$ac_val" | sed "s/'\''/'\''\\\\\\\\'\'''\''/g"`;;
1488         esac
1489         $as_echo "$ac_var='\''$ac_val'\''"
1490       done | sort
1491       echo
1492     fi
1493
1494     if test -s confdefs.h; then
1495       $as_echo "## ----------- ##
1496 ## confdefs.h. ##
1497 ## ----------- ##"
1498       echo
1499       cat confdefs.h
1500       echo
1501     fi
1502     test "$ac_signal" != 0 &&
1503       $as_echo "$as_me: caught signal $ac_signal"
1504     $as_echo "$as_me: exit $exit_status"
1505   } >&5
1506   rm -f core *.core core.conftest.* &&
1507     rm -f -r conftest* confdefs* conf$$* $ac_clean_files &&
1508     exit $exit_status
1509 ' 0
1510 for ac_signal in 1 2 13 15; do
1511   trap 'ac_signal='$ac_signal'; as_fn_exit 1' $ac_signal
1512 done
1513 ac_signal=0
1514
1515 # confdefs.h avoids OS command line length limits that DEFS can exceed.
1516 rm -f -r conftest* confdefs.h
1517
1518 $as_echo "/* confdefs.h */" > confdefs.h
1519
1520 # Predefined preprocessor variables.
1521
1522 cat >>confdefs.h <<_ACEOF
1523 #define PACKAGE_NAME "$PACKAGE_NAME"
1524 _ACEOF
1525
1526 cat >>confdefs.h <<_ACEOF
1527 #define PACKAGE_TARNAME "$PACKAGE_TARNAME"
1528 _ACEOF
1529
1530 cat >>confdefs.h <<_ACEOF
1531 #define PACKAGE_VERSION "$PACKAGE_VERSION"
1532 _ACEOF
1533
1534 cat >>confdefs.h <<_ACEOF
1535 #define PACKAGE_STRING "$PACKAGE_STRING"
1536 _ACEOF
1537
1538 cat >>confdefs.h <<_ACEOF
1539 #define PACKAGE_BUGREPORT "$PACKAGE_BUGREPORT"
1540 _ACEOF
1541
1542 cat >>confdefs.h <<_ACEOF
1543 #define PACKAGE_URL "$PACKAGE_URL"
1544 _ACEOF
1545
1546
1547 # Let the site file select an alternate cache file if it wants to.
1548 # Prefer an explicitly selected file to automatically selected ones.
1549 ac_site_file1=NONE
1550 ac_site_file2=NONE
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;;
1557   esac
1558 elif test "x$prefix" != xNONE; then
1559   ac_site_file1=$prefix/share/config.site
1560   ac_site_file2=$prefix/etc/config.site
1561 else
1562   ac_site_file1=$ac_default_prefix/share/config.site
1563   ac_site_file2=$ac_default_prefix/etc/config.site
1564 fi
1565 for ac_site_file in "$ac_site_file1" "$ac_site_file2"
1566 do
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
1572     . "$ac_site_file" \
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; }
1577   fi
1578 done
1579
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;}
1586     case $cache_file in
1587       [\\/]* | ?:[\\/]* ) . "$cache_file";;
1588       *)                      . "./$cache_file";;
1589     esac
1590   fi
1591 else
1592   { $as_echo "$as_me:${as_lineno-$LINENO}: creating cache $cache_file" >&5
1593 $as_echo "$as_me: creating cache $cache_file" >&6;}
1594   >$cache_file
1595 fi
1596
1597 # Check that the precious variables saved in the cache have kept the same
1598 # value.
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
1606     set,)
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=: ;;
1610     ,set)
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=: ;;
1614     ,);;
1615     *)
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=:
1624         else
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
1628         fi
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;}
1633       fi;;
1634   esac
1635   # Pass precious variables to config.status.
1636   if test "$ac_new_set" = set; then
1637     case $ac_new_val in
1638     *\'*) ac_arg=$ac_var=`$as_echo "$ac_new_val" | sed "s/'/'\\\\\\\\''/g"` ;;
1639     *) ac_arg=$ac_var=$ac_new_val ;;
1640     esac
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'" ;;
1644     esac
1645   fi
1646 done
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
1653 fi
1654 ## -------------------- ##
1655 ## Main body of script. ##
1656 ## -------------------- ##
1657
1658 ac_ext=c
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
1663
1664
1665
1666 for ac_prog in acc
1667 do
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
1674 else
1675   if test -n "$ACC"; then
1676   ac_cv_prog_ACC="$ACC" # Let the user override the test.
1677 else
1678 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
1679 for as_dir in $PATH
1680 do
1681   IFS=$as_save_IFS
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
1687     break 2
1688   fi
1689 done
1690   done
1691 IFS=$as_save_IFS
1692
1693 fi
1694 fi
1695 ACC=$ac_cv_prog_ACC
1696 if test -n "$ACC"; then
1697   { $as_echo "$as_me:${as_lineno-$LINENO}: result: $ACC" >&5
1698 $as_echo "$ACC" >&6; }
1699 else
1700   { $as_echo "$as_me:${as_lineno-$LINENO}: result: no" >&5
1701 $as_echo "no" >&6; }
1702 fi
1703
1704
1705   test -n "$ACC" && break
1706 done
1707
1708
1709
1710 for ac_prog in frama-c
1711 do
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
1718 else
1719   if test -n "$FRAMAC"; then
1720   ac_cv_prog_FRAMAC="$FRAMAC" # Let the user override the test.
1721 else
1722 as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
1723 for as_dir in $PATH
1724 do
1725   IFS=$as_save_IFS
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
1731     break 2
1732   fi
1733 done
1734   done
1735 IFS=$as_save_IFS
1736
1737 fi
1738 fi
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; }
1743 else
1744   { $as_echo "$as_me:${as_lineno-$LINENO}: result: no" >&5
1745 $as_echo "no" >&6; }
1746 fi
1747
1748
1749   test -n "$FRAMAC" && break
1750 done
1751
1752
1753
1754 ac_config_files="$ac_config_files Makefile"
1755
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.
1762 #
1763 # config.status only pays attention to the cache file if you give it
1764 # the --recheck option to rerun configure.
1765 #
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
1768 # following values.
1769
1770 _ACEOF
1771
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.
1777 (
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
1780     case $ac_val in #(
1781     *${as_nl}*)
1782       case $ac_var in #(
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;} ;;
1785       esac
1786       case $ac_var in #(
1787       _ | IFS | as_nl) ;; #(
1788       BASH_ARGV | BASH_SOURCE) eval $ac_var= ;; #(
1789       *) { eval $ac_var=; unset $ac_var;} ;;
1790       esac ;;
1791     esac
1792   done
1793
1794   (set) 2>&1 |
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 \.
1799       sed -n \
1800         "s/'/'\\\\''/g;
1801           s/^\\([_$as_cr_alnum]*_cv_[_$as_cr_alnum]*\\)=\\(.*\\)/\\1='\\2'/p"
1802       ;; #(
1803     *)
1804       # `set' quotes correctly as required by POSIX, so do not add quotes.
1805       sed -n "/^[_$as_cr_alnum]*_cv_[_$as_cr_alnum]*=/p"
1806       ;;
1807     esac |
1808     sort
1809 ) |
1810   sed '
1811      /^ac_cv_env_/b end
1812      t clear
1813      :clear
1814      s/^\([^=]*\)=\(.*[{}].*\)$/test "${\1+set}" = set || &/
1815      t end
1816      s/^\([^=]*\)=\(.*\)$/\1=${\1=\2}/
1817      :end' >>confcache
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"
1825       else
1826         case $cache_file in #(
1827         */* | ?:*)
1828           mv -f confcache "$cache_file"$$ &&
1829           mv -f "$cache_file"$$ "$cache_file" ;; #(
1830         *)
1831           mv -f confcache "$cache_file" ;;
1832         esac
1833       fi
1834     fi
1835   else
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;}
1838   fi
1839 fi
1840 rm -f confcache
1841
1842 test "x$prefix" = xNONE && prefix=$ac_default_prefix
1843 # Let make expand exec_prefix.
1844 test "x$exec_prefix" = xNONE && exec_prefix='${prefix}'
1845
1846 # Transform confdefs.h into DEFS.
1847 # Protect against shell expansion while executing Makefile rules.
1848 # Protect against Makefile macro expansion.
1849 #
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.
1853 ac_script='
1854 :mline
1855 /\\$/{
1856  N
1857  s,\\\n,,
1858  b mline
1859 }
1860 t clear
1861 :clear
1862 s/^[     ]*#[    ]*define[       ][      ]*\([^  (][^    (]*([^)]*)\)[   ]*\(.*\)/-D\1=\2/g
1863 t quote
1864 s/^[     ]*#[    ]*define[       ][      ]*\([^  ][^     ]*\)[   ]*\(.*\)/-D\1=\2/g
1865 t quote
1866 b any
1867 :quote
1868 s/[      `~#$^&*(){}\\|;'\''"<>?]/\\&/g
1869 s/\[/\\&/g
1870 s/\]/\\&/g
1871 s/\$/$$/g
1872 H
1873 :any
1874 ${
1875         g
1876         s/^\n//
1877         s/\n/ /g
1878         p
1879 }
1880 '
1881 DEFS=`sed -n "$ac_script" confdefs.h`
1882
1883
1884 ac_libobjs=
1885 ac_ltlibobjs=
1886 U=
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'
1895 done
1896 LIBOBJS=$ac_libobjs
1897
1898 LTLIBOBJS=$ac_ltlibobjs
1899
1900
1901
1902 : "${CONFIG_STATUS=./config.status}"
1903 ac_write_fail=0
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;}
1908 as_write_fail=0
1909 cat >$CONFIG_STATUS <<_ASEOF || as_write_fail=1
1910 #! $SHELL
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.
1915
1916 debug=false
1917 ac_cs_recheck=false
1918 ac_cs_silent=false
1919
1920 SHELL=\${CONFIG_SHELL-$SHELL}
1921 export SHELL
1922 _ASEOF
1923 cat >>$CONFIG_STATUS <<\_ASEOF || as_write_fail=1
1924 ## -------------------- ##
1925 ## M4sh Initialization. ##
1926 ## -------------------- ##
1927
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 :
1931   emulate sh
1932   NULLCMD=:
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
1937 else
1938   case `(set -o) 2>/dev/null` in #(
1939   *posix*) :
1940     set -o posix ;; #(
1941   *) :
1942      ;;
1943 esac
1944 fi
1945
1946
1947 as_nl='
1948 '
1949 export as_nl
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'
1963 else
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'
1967   else
1968     as_echo_body='eval expr "X$1" : "X\\(.*\\)"'
1969     as_echo_n_body='eval
1970       arg=$1;
1971       case $arg in #(
1972       *"$as_nl"*)
1973         expr "X$arg" : "X\\(.*\\)$as_nl";
1974         arg=`expr "X$arg" : ".*$as_nl\\(.*\\)"`;;
1975       esac;
1976       expr "X$arg" : "X\\(.*\\)" | tr -d "$as_nl"
1977     '
1978     export as_echo_n_body
1979     as_echo_n='sh -c $as_echo_n_body as_echo'
1980   fi
1981   export as_echo_body
1982   as_echo='sh -c $as_echo_body as_echo'
1983 fi
1984
1985 # The user is always right.
1986 if test "${PATH_SEPARATOR+set}" != set; then
1987   PATH_SEPARATOR=:
1988   (PATH='/bin;/bin'; FPATH=$PATH; sh -c :) >/dev/null 2>&1 && {
1989     (PATH='/bin:/bin'; FPATH=$PATH; sh -c :) >/dev/null 2>&1 ||
1990       PATH_SEPARATOR=';'
1991   }
1992 fi
1993
1994
1995 # IFS
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.)
2000 IFS=" ""        $as_nl"
2001
2002 # Find who we are.  Look in the path if we contain no directory separator.
2003 as_myself=
2004 case $0 in #((
2005   *[\\/]* ) as_myself=$0 ;;
2006   *) as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
2007 for as_dir in $PATH
2008 do
2009   IFS=$as_save_IFS
2010   test -z "$as_dir" && as_dir=.
2011     test -r "$as_dir/$0" && as_myself=$as_dir/$0 && break
2012   done
2013 IFS=$as_save_IFS
2014
2015      ;;
2016 esac
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
2020   as_myself=$0
2021 fi
2022 if test ! -f "$as_myself"; then
2023   $as_echo "$as_myself: error: cannot find myself; rerun with an absolute file name" >&2
2024   exit 1
2025 fi
2026
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 || :
2034 done
2035 PS1='$ '
2036 PS2='> '
2037 PS4='+ '
2038
2039 # NLS nuisances.
2040 LC_ALL=C
2041 export LC_ALL
2042 LANGUAGE=C
2043 export LANGUAGE
2044
2045 # CDPATH.
2046 (unset CDPATH) >/dev/null 2>&1 && unset CDPATH
2047
2048
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.
2054 as_fn_error ()
2055 {
2056   as_status=$1; test $as_status -eq 0 && as_status=1
2057   if test "$4"; then
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
2060   fi
2061   $as_echo "$as_me: error: $2" >&2
2062   as_fn_exit $as_status
2063 } # as_fn_error
2064
2065
2066 # as_fn_set_status STATUS
2067 # -----------------------
2068 # Set $? to STATUS, without forking.
2069 as_fn_set_status ()
2070 {
2071   return $1
2072 } # as_fn_set_status
2073
2074 # as_fn_exit STATUS
2075 # -----------------
2076 # Exit the shell with STATUS, even in a "trap 0" or "set -e" context.
2077 as_fn_exit ()
2078 {
2079   set +e
2080   as_fn_set_status $1
2081   exit $1
2082 } # as_fn_exit
2083
2084 # as_fn_unset VAR
2085 # ---------------
2086 # Portably unset VAR.
2087 as_fn_unset ()
2088 {
2089   { eval $1=; unset $1;}
2090 }
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
2097 # implementations.
2098 if (eval "as_var=1; as_var+=2; test x\$as_var = x12") 2>/dev/null; then :
2099   eval 'as_fn_append ()
2100   {
2101     eval $1+=\$2
2102   }'
2103 else
2104   as_fn_append ()
2105   {
2106     eval $1=\$$1\$2
2107   }
2108 fi # as_fn_append
2109
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 ()
2117   {
2118     as_val=$(( $* ))
2119   }'
2120 else
2121   as_fn_arith ()
2122   {
2123     as_val=`expr "$@" || test $? -eq 1`
2124   }
2125 fi # as_fn_arith
2126
2127
2128 if expr a : '\(a\)' >/dev/null 2>&1 &&
2129    test "X`expr 00001 : '.*\(...\)'`" = X001; then
2130   as_expr=expr
2131 else
2132   as_expr=false
2133 fi
2134
2135 if (basename -- /) >/dev/null 2>&1 && test "X`basename -- / 2>&1`" = "X/"; then
2136   as_basename=basename
2137 else
2138   as_basename=false
2139 fi
2140
2141 if (as_dir=`dirname -- /` && test "X$as_dir" = X/) >/dev/null 2>&1; then
2142   as_dirname=dirname
2143 else
2144   as_dirname=false
2145 fi
2146
2147 as_me=`$as_basename -- "$0" ||
2148 $as_expr X/"$0" : '.*/\([^/][^/]*\)/*$' \| \
2149          X"$0" : 'X\(//\)$' \| \
2150          X"$0" : 'X\(/\)' \| . 2>/dev/null ||
2151 $as_echo X/"$0" |
2152     sed '/^.*\/\([^/][^/]*\)\/*$/{
2153             s//\1/
2154             q
2155           }
2156           /^X\/\(\/\/\)$/{
2157             s//\1/
2158             q
2159           }
2160           /^X\/\(\/\).*/{
2161             s//\1/
2162             q
2163           }
2164           s/.*/./; q'`
2165
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
2172
2173 ECHO_C= ECHO_N= ECHO_T=
2174 case `echo -n x` in #(((((
2175 -n*)
2176   case `echo 'xy\c'` in
2177   *c*) ECHO_T=' ';;     # ECHO_T is single tab character.
2178   xy)  ECHO_C='\c';;
2179   *)   echo `echo ksh88 bug on AIX 6.1` > /dev/null
2180        ECHO_T=' ';;
2181   esac;;
2182 *)
2183   ECHO_N='-n';;
2184 esac
2185
2186 rm -f conf$$ conf$$.exe conf$$.file
2187 if test -d conf$$.dir; then
2188   rm -f conf$$.dir/conf$$.file
2189 else
2190   rm -f conf$$.dir
2191   mkdir conf$$.dir 2>/dev/null
2192 fi
2193 if (echo >conf$$.file) 2>/dev/null; then
2194   if ln -s conf$$.file conf$$ 2>/dev/null; then
2195     as_ln_s='ln -s'
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 ||
2201       as_ln_s='cp -pR'
2202   elif ln conf$$.file conf$$ 2>/dev/null; then
2203     as_ln_s=ln
2204   else
2205     as_ln_s='cp -pR'
2206   fi
2207 else
2208   as_ln_s='cp -pR'
2209 fi
2210 rm -f conf$$ conf$$.exe conf$$.dir/conf$$.file conf$$.file
2211 rmdir conf$$.dir 2>/dev/null
2212
2213
2214 # as_fn_mkdir_p
2215 # -------------
2216 # Create "$as_dir" as a directory, including parents if necessary.
2217 as_fn_mkdir_p ()
2218 {
2219
2220   case $as_dir in #(
2221   -*) as_dir=./$as_dir;;
2222   esac
2223   test -d "$as_dir" || eval $as_mkdir_p || {
2224     as_dirs=
2225     while :; do
2226       case $as_dir in #(
2227       *\'*) as_qdir=`$as_echo "$as_dir" | sed "s/'/'\\\\\\\\''/g"`;; #'(
2228       *) as_qdir=$as_dir;;
2229       esac
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\(.*[^/]\)\/\/*[^/][^/]*\/*$/{
2238             s//\1/
2239             q
2240           }
2241           /^X\(\/\/\)[^/].*/{
2242             s//\1/
2243             q
2244           }
2245           /^X\(\/\/\)$/{
2246             s//\1/
2247             q
2248           }
2249           /^X\(\/\).*/{
2250             s//\1/
2251             q
2252           }
2253           s/.*/./; q'`
2254       test -d "$as_dir" && break
2255     done
2256     test -z "$as_dirs" || eval "mkdir $as_dirs"
2257   } || test -d "$as_dir" || as_fn_error $? "cannot create directory $as_dir"
2258
2259
2260 } # as_fn_mkdir_p
2261 if mkdir -p . 2>/dev/null; then
2262   as_mkdir_p='mkdir -p "$as_dir"'
2263 else
2264   test -d ./-p && rmdir ./-p
2265   as_mkdir_p=false
2266 fi
2267
2268
2269 # as_fn_executable_p FILE
2270 # -----------------------
2271 # Test if FILE is an executable regular file.
2272 as_fn_executable_p ()
2273 {
2274   test -f "$1" && test -x "$1"
2275 } # as_fn_executable_p
2276 as_test_x='test -x'
2277 as_executable_p=as_fn_executable_p
2278
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'"
2281
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'"
2284
2285
2286 exec 6>&1
2287 ## ----------------------------------- ##
2288 ## Main body of $CONFIG_STATUS script. ##
2289 ## ----------------------------------- ##
2290 _ASEOF
2291 test $as_write_fail = 0 && chmod +x $CONFIG_STATUS || ac_write_fail=1
2292
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.
2297 ac_log="
2298 This file was extended by $as_me, which was
2299 generated by GNU Autoconf 2.69.  Invocation command line was
2300
2301   CONFIG_FILES    = $CONFIG_FILES
2302   CONFIG_HEADERS  = $CONFIG_HEADERS
2303   CONFIG_LINKS    = $CONFIG_LINKS
2304   CONFIG_COMMANDS = $CONFIG_COMMANDS
2305   $ $0 $@
2306
2307 on `(hostname || uname -n) 2>/dev/null | sed 1q`
2308 "
2309
2310 _ACEOF
2311
2312 case $ac_config_files in *"
2313 "*) set x $ac_config_files; shift; ac_config_files=$*;;
2314 esac
2315
2316
2317
2318 cat >>$CONFIG_STATUS <<_ACEOF || ac_write_fail=1
2319 # Files that config.status was made for.
2320 config_files="$ac_config_files"
2321
2322 _ACEOF
2323
2324 cat >>$CONFIG_STATUS <<\_ACEOF || ac_write_fail=1
2325 ac_cs_usage="\
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.
2329
2330 Usage: $0 [OPTION]... [TAG]...
2331
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
2341
2342 Configuration files:
2343 $config_files
2344
2345 Report bugs to the package provider."
2346
2347 _ACEOF
2348 cat >>$CONFIG_STATUS <<_ACEOF || ac_write_fail=1
2349 ac_cs_config="`$as_echo "$ac_configure_args" | sed 's/^ //; s/[\\""\`\$]/\\\\&/g'`"
2350 ac_cs_version="\\
2351 config.status
2352 configured by $0, generated by GNU Autoconf 2.69,
2353   with options \\"\$ac_cs_config\\"
2354
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."
2358
2359 ac_pwd='$ac_pwd'
2360 srcdir='$srcdir'
2361 test -n "\$AWK" || AWK=awk
2362 _ACEOF
2363
2364 cat >>$CONFIG_STATUS <<\_ACEOF || ac_write_fail=1
2365 # The default lists apply if the user does not specify any file.
2366 ac_need_defaults=:
2367 while test $# != 0
2368 do
2369   case $1 in
2370   --*=?*)
2371     ac_option=`expr "X$1" : 'X\([^=]*\)='`
2372     ac_optarg=`expr "X$1" : 'X[^=]*=\(.*\)'`
2373     ac_shift=:
2374     ;;
2375   --*=)
2376     ac_option=`expr "X$1" : 'X\([^=]*\)='`
2377     ac_optarg=
2378     ac_shift=:
2379     ;;
2380   *)
2381     ac_option=$1
2382     ac_optarg=$2
2383     ac_shift=shift
2384     ;;
2385   esac
2386
2387   case $ac_option in
2388   # Handling of the options.
2389   -recheck | --recheck | --rechec | --reche | --rech | --rec | --re | --r)
2390     ac_cs_recheck=: ;;
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 )
2396     debug=: ;;
2397   --file | --fil | --fi | --f )
2398     $ac_shift
2399     case $ac_optarg in
2400     *\'*) ac_optarg=`$as_echo "$ac_optarg" | sed "s/'/'\\\\\\\\''/g"` ;;
2401     '') as_fn_error $? "missing file argument" ;;
2402     esac
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)
2409     ac_cs_silent=: ;;
2410
2411   # This is an error.
2412   -*) as_fn_error $? "unrecognized option: \`$1'
2413 Try \`$0 --help' for more information." ;;
2414
2415   *) as_fn_append ac_config_targets " $1"
2416      ac_need_defaults=false ;;
2417
2418   esac
2419   shift
2420 done
2421
2422 ac_configure_extra_args=
2423
2424 if $ac_cs_silent; then
2425   exec 6>/dev/null
2426   ac_configure_extra_args="$ac_configure_extra_args --silent"
2427 fi
2428
2429 _ACEOF
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
2433   shift
2434   \$as_echo "running CONFIG_SHELL=$SHELL \$*" >&6
2435   CONFIG_SHELL='$SHELL'
2436   export CONFIG_SHELL
2437   exec "\$@"
2438 fi
2439
2440 _ACEOF
2441 cat >>$CONFIG_STATUS <<\_ACEOF || ac_write_fail=1
2442 exec 5>>config.log
2443 {
2444   echo
2445   sed 'h;s/./-/g;s/^.../## /;s/...$/ ##/;p;x;p;x' <<_ASBOX
2446 ## Running $as_me. ##
2447 _ASBOX
2448   $as_echo "$ac_log"
2449 } >&5
2450
2451 _ACEOF
2452 cat >>$CONFIG_STATUS <<_ACEOF || ac_write_fail=1
2453 _ACEOF
2454
2455 cat >>$CONFIG_STATUS <<\_ACEOF || ac_write_fail=1
2456
2457 # Handling of arguments.
2458 for ac_config_target in $ac_config_targets
2459 do
2460   case $ac_config_target in
2461     "Makefile") CONFIG_FILES="$CONFIG_FILES Makefile" ;;
2462
2463   *) as_fn_error $? "invalid argument: \`$ac_config_target'" "$LINENO" 5;;
2464   esac
2465 done
2466
2467
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
2474 fi
2475
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'.
2482 $debug ||
2483 {
2484   tmp= ac_tmp=
2485   trap 'exit_status=$?
2486   : "${ac_tmp:=$tmp}"
2487   { test ! -d "$ac_tmp" || rm -fr "$ac_tmp"; } && exit $exit_status
2488 ' 0
2489   trap 'as_fn_exit 1' 1 2 13 15
2490 }
2491 # Create a (secure) tmp directory for tmp files.
2492
2493 {
2494   tmp=`(umask 077 && mktemp -d "./confXXXXXX") 2>/dev/null` &&
2495   test -d "$tmp"
2496 }  ||
2497 {
2498   tmp=./conf$$-$RANDOM
2499   (umask 077 && mkdir "$tmp")
2500 } || as_fn_error $? "cannot create a temporary directory in ." "$LINENO" 5
2501 ac_tmp=$tmp
2502
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
2507
2508
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\'
2515 fi
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
2518   ac_cs_awk_cr='\\r'
2519 else
2520   ac_cs_awk_cr=$ac_cr
2521 fi
2522
2523 echo 'BEGIN {' >"$ac_tmp/subs1.awk" &&
2524 _ACEOF
2525
2526
2527 {
2528   echo "cat >conf$$subs.awk <<_ACEOF" &&
2529   echo "$ac_subst_vars" | sed 's/.*/&!$&$ac_delim/' &&
2530   echo "_ACEOF"
2531 } >conf$$subs.sh ||
2532   as_fn_error $? "could not make $CONFIG_STATUS" "$LINENO" 5
2533 ac_delim_num=`echo "$ac_subst_vars" | grep -c '^'`
2534 ac_delim='%!_!# '
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
2538
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
2541     break
2542   elif $ac_last_try; then
2543     as_fn_error $? "could not make $CONFIG_STATUS" "$LINENO" 5
2544   else
2545     ac_delim="$ac_delim!$ac_delim _$ac_delim!! "
2546   fi
2547 done
2548 rm -f conf$$subs.sh
2549
2550 cat >>$CONFIG_STATUS <<_ACEOF || ac_write_fail=1
2551 cat >>"\$ac_tmp/subs1.awk" <<\\_ACAWK &&
2552 _ACEOF
2553 sed -n '
2554 h
2555 s/^/S["/; s/!.*/"]=/
2556 p
2557 g
2558 s/^[^!]*!//
2559 :repl
2560 t repl
2561 s/'"$ac_delim"'$//
2562 t delim
2563 :nl
2564 h
2565 s/\(.\{148\}\)..*/\1/
2566 t more1
2567 s/["\\]/\\&/g; s/^/"/; s/$/\\n"\\/
2568 p
2569 n
2570 b repl
2571 :more1
2572 s/["\\]/\\&/g; s/^/"/; s/$/"\\/
2573 p
2574 g
2575 s/.\{148\}//
2576 t nl
2577 :delim
2578 h
2579 s/\(.\{148\}\)..*/\1/
2580 t more2
2581 s/["\\]/\\&/g; s/^/"/; s/$/"/
2582 p
2583 b
2584 :more2
2585 s/["\\]/\\&/g; s/^/"/; s/$/"\\/
2586 p
2587 g
2588 s/.\{148\}//
2589 t delim
2590 ' <conf$$subs.awk | sed '
2591 /^[^""]/{
2592   N
2593   s/\n//
2594 }
2595 ' >>$CONFIG_STATUS || ac_write_fail=1
2596 rm -f conf$$subs.awk
2597 cat >>$CONFIG_STATUS <<_ACEOF || ac_write_fail=1
2598 _ACAWK
2599 cat >>"\$ac_tmp/subs1.awk" <<_ACAWK &&
2600   for (key in S) S_is_set[key] = 1
2601   FS = "\a"
2602
2603 }
2604 {
2605   line = $ 0
2606   nfields = split(line, field, "@")
2607   substed = 0
2608   len = length(field[1])
2609   for (i = 2; i < nfields; i++) {
2610     key = field[i]
2611     keylen = length(key)
2612     if (S_is_set[key]) {
2613       value = S[key]
2614       line = substr(line, 1, len) "" value "" substr(line, len + keylen + 3)
2615       len += length(value) + length(field[++i])
2616       substed = 1
2617     } else
2618       len += 1 + keylen
2619   }
2620
2621   print line
2622 }
2623
2624 _ACAWK
2625 _ACEOF
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"
2629 else
2630   cat
2631 fi < "$ac_tmp/subs1.awk" > "$ac_tmp/subs.awk" \
2632   || as_fn_error $? "could not setup config files machinery" "$LINENO" 5
2633 _ACEOF
2634
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[        ]*=[    ]*/{
2641 h
2642 s///
2643 s/^/:/
2644 s/[      ]*$/:/
2645 s/:\$(srcdir):/:/g
2646 s/:\${srcdir}:/:/g
2647 s/:@srcdir@:/:/g
2648 s/^:*//
2649 s/:*$//
2650 x
2651 s/\(=[   ]*\).*/\1/
2652 G
2653 s/\n//
2654 s/^[^=]*=[       ]*$//
2655 }'
2656 fi
2657
2658 cat >>$CONFIG_STATUS <<\_ACEOF || ac_write_fail=1
2659 fi # test -n "$CONFIG_FILES"
2660
2661
2662 eval set X "  :F $CONFIG_FILES      "
2663 shift
2664 for ac_tag
2665 do
2666   case $ac_tag in
2667   :[FHLC]) ac_mode=$ac_tag; continue;;
2668   esac
2669   case $ac_mode$ac_tag in
2670   :[FHL]*:*);;
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;;
2674   esac
2675   ac_save_IFS=$IFS
2676   IFS=:
2677   set x $ac_tag
2678   IFS=$ac_save_IFS
2679   shift
2680   ac_file=$1
2681   shift
2682
2683   case $ac_mode in
2684   :L) ac_source=$1;;
2685   :[FH])
2686     ac_file_inputs=
2687     for ac_f
2688     do
2689       case $ac_f 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 `:'.
2694          test -f "$ac_f" ||
2695            case $ac_f in
2696            [\\/$]*) false;;
2697            *) test -f "$srcdir/$ac_f" && ac_f="$srcdir/$ac_f";;
2698            esac ||
2699            as_fn_error 1 "cannot find input file: \`$ac_f'" "$LINENO" 5;;
2700       esac
2701       case $ac_f in *\'*) ac_f=`$as_echo "$ac_f" | sed "s/'/'\\\\\\\\''/g"`;; esac
2702       as_fn_append ac_file_inputs " '$ac_f'"
2703     done
2704
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'
2710         `' by configure.'
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;}
2715     fi
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;;
2722     esac
2723
2724     case $ac_tag in
2725     *:-:* | *:-) cat >"$ac_tmp/stdin" \
2726       || as_fn_error $? "could not create $ac_file" "$LINENO" 5 ;;
2727     esac
2728     ;;
2729   esac
2730
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\(.*[^/]\)\/\/*[^/][^/]*\/*$/{
2738             s//\1/
2739             q
2740           }
2741           /^X\(\/\/\)[^/].*/{
2742             s//\1/
2743             q
2744           }
2745           /^X\(\/\/\)$/{
2746             s//\1/
2747             q
2748           }
2749           /^X\(\/\).*/{
2750             s//\1/
2751             q
2752           }
2753           s/.*/./; q'`
2754   as_dir="$ac_dir"; as_fn_mkdir_p
2755   ac_builddir=.
2756
2757 case "$ac_dir" in
2758 .) ac_dir_suffix= ac_top_builddir_sub=. ac_top_build_prefix= ;;
2759 *)
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/ ;;
2766   esac ;;
2767 esac
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
2772
2773 case $srcdir in
2774   .)  # We are building in place.
2775     ac_srcdir=.
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 ;;
2782   *) # Relative name.
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 ;;
2786 esac
2787 ac_abs_srcdir=$ac_abs_top_srcdir$ac_dir_suffix
2788
2789
2790   case $ac_mode in
2791   :F)
2792   #
2793   # CONFIG_FILE
2794   #
2795
2796 _ACEOF
2797
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=
2802 ac_sed_dataroot='
2803 /datarootdir/ {
2804   p
2805   q
2806 }
2807 /@datadir@/p
2808 /@docdir@/p
2809 /@infodir@/p
2810 /@localedir@/p
2811 /@mandir@/p'
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;}
2817 _ACEOF
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' ;;
2826 esac
2827 _ACEOF
2828
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
2834 $extrasub
2835 _ACEOF
2836 cat >>$CONFIG_STATUS <<\_ACEOF || ac_write_fail=1
2837 :t
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
2850 "
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
2853
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;}
2862
2863   rm -f "$ac_tmp/stdin"
2864   case $ac_file in
2865   -) cat "$ac_tmp/out" && rm -f "$ac_tmp/out";;
2866   *) rm -f "$ac_file" && mv "$ac_tmp/out" "$ac_file";;
2867   esac \
2868   || as_fn_error $? "could not create $ac_file" "$LINENO" 5
2869  ;;
2870
2871
2872
2873   esac
2874
2875 done # for ac_tag
2876
2877
2878 as_fn_exit 0
2879 _ACEOF
2880 ac_clean_files=$ac_clean_files_save
2881
2882 test $ac_write_fail = 0 ||
2883   as_fn_error $? "write failure creating $CONFIG_STATUS" "$LINENO" 5
2884
2885
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
2895   ac_cs_success=:
2896   ac_config_status_args=
2897   test "$silent" = yes &&
2898     ac_config_status_args="$ac_config_status_args --quiet"
2899   exec 5>/dev/null
2900   $SHELL $CONFIG_STATUS $ac_config_status_args || ac_cs_success=false
2901   exec 5>>config.log
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
2905 fi
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;}
2909 fi
2910
2911 ac_config_files="$ac_config_files frama-c_jessie"
2912
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.
2919 #
2920 # config.status only pays attention to the cache file if you give it
2921 # the --recheck option to rerun configure.
2922 #
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
2925 # following values.
2926
2927 _ACEOF
2928
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.
2934 (
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
2937     case $ac_val in #(
2938     *${as_nl}*)
2939       case $ac_var in #(
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;} ;;
2942       esac
2943       case $ac_var in #(
2944       _ | IFS | as_nl) ;; #(
2945       BASH_ARGV | BASH_SOURCE) eval $ac_var= ;; #(
2946       *) { eval $ac_var=; unset $ac_var;} ;;
2947       esac ;;
2948     esac
2949   done
2950
2951   (set) 2>&1 |
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 \.
2956       sed -n \
2957         "s/'/'\\\\''/g;
2958           s/^\\([_$as_cr_alnum]*_cv_[_$as_cr_alnum]*\\)=\\(.*\\)/\\1='\\2'/p"
2959       ;; #(
2960     *)
2961       # `set' quotes correctly as required by POSIX, so do not add quotes.
2962       sed -n "/^[_$as_cr_alnum]*_cv_[_$as_cr_alnum]*=/p"
2963       ;;
2964     esac |
2965     sort
2966 ) |
2967   sed '
2968      /^ac_cv_env_/b end
2969      t clear
2970      :clear
2971      s/^\([^=]*\)=\(.*[{}].*\)$/test "${\1+set}" = set || &/
2972      t end
2973      s/^\([^=]*\)=\(.*\)$/\1=${\1=\2}/
2974      :end' >>confcache
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"
2982       else
2983         case $cache_file in #(
2984         */* | ?:*)
2985           mv -f confcache "$cache_file"$$ &&
2986           mv -f "$cache_file"$$ "$cache_file" ;; #(
2987         *)
2988           mv -f confcache "$cache_file" ;;
2989         esac
2990       fi
2991     fi
2992   else
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;}
2995   fi
2996 fi
2997 rm -f confcache
2998
2999 test "x$prefix" = xNONE && prefix=$ac_default_prefix
3000 # Let make expand exec_prefix.
3001 test "x$exec_prefix" = xNONE && exec_prefix='${prefix}'
3002
3003 # Transform confdefs.h into DEFS.
3004 # Protect against shell expansion while executing Makefile rules.
3005 # Protect against Makefile macro expansion.
3006 #
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.
3010 ac_script='
3011 :mline
3012 /\\$/{
3013  N
3014  s,\\\n,,
3015  b mline
3016 }
3017 t clear
3018 :clear
3019 s/^[     ]*#[    ]*define[       ][      ]*\([^  (][^    (]*([^)]*)\)[   ]*\(.*\)/-D\1=\2/g
3020 t quote
3021 s/^[     ]*#[    ]*define[       ][      ]*\([^  ][^     ]*\)[   ]*\(.*\)/-D\1=\2/g
3022 t quote
3023 b any
3024 :quote
3025 s/[      `~#$^&*(){}\\|;'\''"<>?]/\\&/g
3026 s/\[/\\&/g
3027 s/\]/\\&/g
3028 s/\$/$$/g
3029 H
3030 :any
3031 ${
3032         g
3033         s/^\n//
3034         s/\n/ /g
3035         p
3036 }
3037 '
3038 DEFS=`sed -n "$ac_script" confdefs.h`
3039
3040
3041 ac_libobjs=
3042 ac_ltlibobjs=
3043 U=
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'
3052 done
3053 LIBOBJS=$ac_libobjs
3054
3055 LTLIBOBJS=$ac_ltlibobjs
3056
3057
3058
3059 : "${CONFIG_STATUS=./config.status}"
3060 ac_write_fail=0
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;}
3065 as_write_fail=0
3066 cat >$CONFIG_STATUS <<_ASEOF || as_write_fail=1
3067 #! $SHELL
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.
3072
3073 debug=false
3074 ac_cs_recheck=false
3075 ac_cs_silent=false
3076
3077 SHELL=\${CONFIG_SHELL-$SHELL}
3078 export SHELL
3079 _ASEOF
3080 cat >>$CONFIG_STATUS <<\_ASEOF || as_write_fail=1
3081 ## -------------------- ##
3082 ## M4sh Initialization. ##
3083 ## -------------------- ##
3084
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 :
3088   emulate sh
3089   NULLCMD=:
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
3094 else
3095   case `(set -o) 2>/dev/null` in #(
3096   *posix*) :
3097     set -o posix ;; #(
3098   *) :
3099      ;;
3100 esac
3101 fi
3102
3103
3104 as_nl='
3105 '
3106 export as_nl
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'
3120 else
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'
3124   else
3125     as_echo_body='eval expr "X$1" : "X\\(.*\\)"'
3126     as_echo_n_body='eval
3127       arg=$1;
3128       case $arg in #(
3129       *"$as_nl"*)
3130         expr "X$arg" : "X\\(.*\\)$as_nl";
3131         arg=`expr "X$arg" : ".*$as_nl\\(.*\\)"`;;
3132       esac;
3133       expr "X$arg" : "X\\(.*\\)" | tr -d "$as_nl"
3134     '
3135     export as_echo_n_body
3136     as_echo_n='sh -c $as_echo_n_body as_echo'
3137   fi
3138   export as_echo_body
3139   as_echo='sh -c $as_echo_body as_echo'
3140 fi
3141
3142 # The user is always right.
3143 if test "${PATH_SEPARATOR+set}" != set; then
3144   PATH_SEPARATOR=:
3145   (PATH='/bin;/bin'; FPATH=$PATH; sh -c :) >/dev/null 2>&1 && {
3146     (PATH='/bin:/bin'; FPATH=$PATH; sh -c :) >/dev/null 2>&1 ||
3147       PATH_SEPARATOR=';'
3148   }
3149 fi
3150
3151
3152 # IFS
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.)
3157 IFS=" ""        $as_nl"
3158
3159 # Find who we are.  Look in the path if we contain no directory separator.
3160 as_myself=
3161 case $0 in #((
3162   *[\\/]* ) as_myself=$0 ;;
3163   *) as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
3164 for as_dir in $PATH
3165 do
3166   IFS=$as_save_IFS
3167   test -z "$as_dir" && as_dir=.
3168     test -r "$as_dir/$0" && as_myself=$as_dir/$0 && break
3169   done
3170 IFS=$as_save_IFS
3171
3172      ;;
3173 esac
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
3177   as_myself=$0
3178 fi
3179 if test ! -f "$as_myself"; then
3180   $as_echo "$as_myself: error: cannot find myself; rerun with an absolute file name" >&2
3181   exit 1
3182 fi
3183
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 || :
3191 done
3192 PS1='$ '
3193 PS2='> '
3194 PS4='+ '
3195
3196 # NLS nuisances.
3197 LC_ALL=C
3198 export LC_ALL
3199 LANGUAGE=C
3200 export LANGUAGE
3201
3202 # CDPATH.
3203 (unset CDPATH) >/dev/null 2>&1 && unset CDPATH
3204
3205
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.
3211 as_fn_error ()
3212 {
3213   as_status=$1; test $as_status -eq 0 && as_status=1
3214   if test "$4"; then
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
3217   fi
3218   $as_echo "$as_me: error: $2" >&2
3219   as_fn_exit $as_status
3220 } # as_fn_error
3221
3222
3223 # as_fn_set_status STATUS
3224 # -----------------------
3225 # Set $? to STATUS, without forking.
3226 as_fn_set_status ()
3227 {
3228   return $1
3229 } # as_fn_set_status
3230
3231 # as_fn_exit STATUS
3232 # -----------------
3233 # Exit the shell with STATUS, even in a "trap 0" or "set -e" context.
3234 as_fn_exit ()
3235 {
3236   set +e
3237   as_fn_set_status $1
3238   exit $1
3239 } # as_fn_exit
3240
3241 # as_fn_unset VAR
3242 # ---------------
3243 # Portably unset VAR.
3244 as_fn_unset ()
3245 {
3246   { eval $1=; unset $1;}
3247 }
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
3254 # implementations.
3255 if (eval "as_var=1; as_var+=2; test x\$as_var = x12") 2>/dev/null; then :
3256   eval 'as_fn_append ()
3257   {
3258     eval $1+=\$2
3259   }'
3260 else
3261   as_fn_append ()
3262   {
3263     eval $1=\$$1\$2
3264   }
3265 fi # as_fn_append
3266
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 ()
3274   {
3275     as_val=$(( $* ))
3276   }'
3277 else
3278   as_fn_arith ()
3279   {
3280     as_val=`expr "$@" || test $? -eq 1`
3281   }
3282 fi # as_fn_arith
3283
3284
3285 if expr a : '\(a\)' >/dev/null 2>&1 &&
3286    test "X`expr 00001 : '.*\(...\)'`" = X001; then
3287   as_expr=expr
3288 else
3289   as_expr=false
3290 fi
3291
3292 if (basename -- /) >/dev/null 2>&1 && test "X`basename -- / 2>&1`" = "X/"; then
3293   as_basename=basename
3294 else
3295   as_basename=false
3296 fi
3297
3298 if (as_dir=`dirname -- /` && test "X$as_dir" = X/) >/dev/null 2>&1; then
3299   as_dirname=dirname
3300 else
3301   as_dirname=false
3302 fi
3303
3304 as_me=`$as_basename -- "$0" ||
3305 $as_expr X/"$0" : '.*/\([^/][^/]*\)/*$' \| \
3306          X"$0" : 'X\(//\)$' \| \
3307          X"$0" : 'X\(/\)' \| . 2>/dev/null ||
3308 $as_echo X/"$0" |
3309     sed '/^.*\/\([^/][^/]*\)\/*$/{
3310             s//\1/
3311             q
3312           }
3313           /^X\/\(\/\/\)$/{
3314             s//\1/
3315             q
3316           }
3317           /^X\/\(\/\).*/{
3318             s//\1/
3319             q
3320           }
3321           s/.*/./; q'`
3322
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
3329
3330 ECHO_C= ECHO_N= ECHO_T=
3331 case `echo -n x` in #(((((
3332 -n*)
3333   case `echo 'xy\c'` in
3334   *c*) ECHO_T=' ';;     # ECHO_T is single tab character.
3335   xy)  ECHO_C='\c';;
3336   *)   echo `echo ksh88 bug on AIX 6.1` > /dev/null
3337        ECHO_T=' ';;
3338   esac;;
3339 *)
3340   ECHO_N='-n';;
3341 esac
3342
3343 rm -f conf$$ conf$$.exe conf$$.file
3344 if test -d conf$$.dir; then
3345   rm -f conf$$.dir/conf$$.file
3346 else
3347   rm -f conf$$.dir
3348   mkdir conf$$.dir 2>/dev/null
3349 fi
3350 if (echo >conf$$.file) 2>/dev/null; then
3351   if ln -s conf$$.file conf$$ 2>/dev/null; then
3352     as_ln_s='ln -s'
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 ||
3358       as_ln_s='cp -pR'
3359   elif ln conf$$.file conf$$ 2>/dev/null; then
3360     as_ln_s=ln
3361   else
3362     as_ln_s='cp -pR'
3363   fi
3364 else
3365   as_ln_s='cp -pR'
3366 fi
3367 rm -f conf$$ conf$$.exe conf$$.dir/conf$$.file conf$$.file
3368 rmdir conf$$.dir 2>/dev/null
3369
3370
3371 # as_fn_mkdir_p
3372 # -------------
3373 # Create "$as_dir" as a directory, including parents if necessary.
3374 as_fn_mkdir_p ()
3375 {
3376
3377   case $as_dir in #(
3378   -*) as_dir=./$as_dir;;
3379   esac
3380   test -d "$as_dir" || eval $as_mkdir_p || {
3381     as_dirs=
3382     while :; do
3383       case $as_dir in #(
3384       *\'*) as_qdir=`$as_echo "$as_dir" | sed "s/'/'\\\\\\\\''/g"`;; #'(
3385       *) as_qdir=$as_dir;;
3386       esac
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\(.*[^/]\)\/\/*[^/][^/]*\/*$/{
3395             s//\1/
3396             q
3397           }
3398           /^X\(\/\/\)[^/].*/{
3399             s//\1/
3400             q
3401           }
3402           /^X\(\/\/\)$/{
3403             s//\1/
3404             q
3405           }
3406           /^X\(\/\).*/{
3407             s//\1/
3408             q
3409           }
3410           s/.*/./; q'`
3411       test -d "$as_dir" && break
3412     done
3413     test -z "$as_dirs" || eval "mkdir $as_dirs"
3414   } || test -d "$as_dir" || as_fn_error $? "cannot create directory $as_dir"
3415
3416
3417 } # as_fn_mkdir_p
3418 if mkdir -p . 2>/dev/null; then
3419   as_mkdir_p='mkdir -p "$as_dir"'
3420 else
3421   test -d ./-p && rmdir ./-p
3422   as_mkdir_p=false
3423 fi
3424
3425
3426 # as_fn_executable_p FILE
3427 # -----------------------
3428 # Test if FILE is an executable regular file.
3429 as_fn_executable_p ()
3430 {
3431   test -f "$1" && test -x "$1"
3432 } # as_fn_executable_p
3433 as_test_x='test -x'
3434 as_executable_p=as_fn_executable_p
3435
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'"
3438
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'"
3441
3442
3443 exec 6>&1
3444 ## ----------------------------------- ##
3445 ## Main body of $CONFIG_STATUS script. ##
3446 ## ----------------------------------- ##
3447 _ASEOF
3448 test $as_write_fail = 0 && chmod +x $CONFIG_STATUS || ac_write_fail=1
3449
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.
3454 ac_log="
3455 This file was extended by $as_me, which was
3456 generated by GNU Autoconf 2.69.  Invocation command line was
3457
3458   CONFIG_FILES    = $CONFIG_FILES
3459   CONFIG_HEADERS  = $CONFIG_HEADERS
3460   CONFIG_LINKS    = $CONFIG_LINKS
3461   CONFIG_COMMANDS = $CONFIG_COMMANDS
3462   $ $0 $@
3463
3464 on `(hostname || uname -n) 2>/dev/null | sed 1q`
3465 "
3466
3467 _ACEOF
3468
3469 case $ac_config_files in *"
3470 "*) set x $ac_config_files; shift; ac_config_files=$*;;
3471 esac
3472
3473
3474
3475 cat >>$CONFIG_STATUS <<_ACEOF || ac_write_fail=1
3476 # Files that config.status was made for.
3477 config_files="$ac_config_files"
3478
3479 _ACEOF
3480
3481 cat >>$CONFIG_STATUS <<\_ACEOF || ac_write_fail=1
3482 ac_cs_usage="\
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.
3486
3487 Usage: $0 [OPTION]... [TAG]...
3488
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
3498
3499 Configuration files:
3500 $config_files
3501
3502 Report bugs to the package provider."
3503
3504 _ACEOF
3505 cat >>$CONFIG_STATUS <<_ACEOF || ac_write_fail=1
3506 ac_cs_config="`$as_echo "$ac_configure_args" | sed 's/^ //; s/[\\""\`\$]/\\\\&/g'`"
3507 ac_cs_version="\\
3508 config.status
3509 configured by $0, generated by GNU Autoconf 2.69,
3510   with options \\"\$ac_cs_config\\"
3511
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."
3515
3516 ac_pwd='$ac_pwd'
3517 srcdir='$srcdir'
3518 test -n "\$AWK" || AWK=awk
3519 _ACEOF
3520
3521 cat >>$CONFIG_STATUS <<\_ACEOF || ac_write_fail=1
3522 # The default lists apply if the user does not specify any file.
3523 ac_need_defaults=:
3524 while test $# != 0
3525 do
3526   case $1 in
3527   --*=?*)
3528     ac_option=`expr "X$1" : 'X\([^=]*\)='`
3529     ac_optarg=`expr "X$1" : 'X[^=]*=\(.*\)'`
3530     ac_shift=:
3531     ;;
3532   --*=)
3533     ac_option=`expr "X$1" : 'X\([^=]*\)='`
3534     ac_optarg=
3535     ac_shift=:
3536     ;;
3537   *)
3538     ac_option=$1
3539     ac_optarg=$2
3540     ac_shift=shift
3541     ;;
3542   esac
3543
3544   case $ac_option in
3545   # Handling of the options.
3546   -recheck | --recheck | --rechec | --reche | --rech | --rec | --re | --r)
3547     ac_cs_recheck=: ;;
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 )
3553     debug=: ;;
3554   --file | --fil | --fi | --f )
3555     $ac_shift
3556     case $ac_optarg in
3557     *\'*) ac_optarg=`$as_echo "$ac_optarg" | sed "s/'/'\\\\\\\\''/g"` ;;
3558     '') as_fn_error $? "missing file argument" ;;
3559     esac
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)
3566     ac_cs_silent=: ;;
3567
3568   # This is an error.
3569   -*) as_fn_error $? "unrecognized option: \`$1'
3570 Try \`$0 --help' for more information." ;;
3571
3572   *) as_fn_append ac_config_targets " $1"
3573      ac_need_defaults=false ;;
3574
3575   esac
3576   shift
3577 done
3578
3579 ac_configure_extra_args=
3580
3581 if $ac_cs_silent; then
3582   exec 6>/dev/null
3583   ac_configure_extra_args="$ac_configure_extra_args --silent"
3584 fi
3585
3586 _ACEOF
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
3590   shift
3591   \$as_echo "running CONFIG_SHELL=$SHELL \$*" >&6
3592   CONFIG_SHELL='$SHELL'
3593   export CONFIG_SHELL
3594   exec "\$@"
3595 fi
3596
3597 _ACEOF
3598 cat >>$CONFIG_STATUS <<\_ACEOF || ac_write_fail=1
3599 exec 5>>config.log
3600 {
3601   echo
3602   sed 'h;s/./-/g;s/^.../## /;s/...$/ ##/;p;x;p;x' <<_ASBOX
3603 ## Running $as_me. ##
3604 _ASBOX
3605   $as_echo "$ac_log"
3606 } >&5
3607
3608 _ACEOF
3609 cat >>$CONFIG_STATUS <<_ACEOF || ac_write_fail=1
3610 _ACEOF
3611
3612 cat >>$CONFIG_STATUS <<\_ACEOF || ac_write_fail=1
3613
3614 # Handling of arguments.
3615 for ac_config_target in $ac_config_targets
3616 do
3617   case $ac_config_target in
3618     "Makefile") CONFIG_FILES="$CONFIG_FILES Makefile" ;;
3619     "frama-c_jessie") CONFIG_FILES="$CONFIG_FILES frama-c_jessie" ;;
3620
3621   *) as_fn_error $? "invalid argument: \`$ac_config_target'" "$LINENO" 5;;
3622   esac
3623 done
3624
3625
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
3632 fi
3633
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'.
3640 $debug ||
3641 {
3642   tmp= ac_tmp=
3643   trap 'exit_status=$?
3644   : "${ac_tmp:=$tmp}"
3645   { test ! -d "$ac_tmp" || rm -fr "$ac_tmp"; } && exit $exit_status
3646 ' 0
3647   trap 'as_fn_exit 1' 1 2 13 15
3648 }
3649 # Create a (secure) tmp directory for tmp files.
3650
3651 {
3652   tmp=`(umask 077 && mktemp -d "./confXXXXXX") 2>/dev/null` &&
3653   test -d "$tmp"
3654 }  ||
3655 {
3656   tmp=./conf$$-$RANDOM
3657   (umask 077 && mkdir "$tmp")
3658 } || as_fn_error $? "cannot create a temporary directory in ." "$LINENO" 5
3659 ac_tmp=$tmp
3660
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
3665
3666
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\'
3673 fi
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
3676   ac_cs_awk_cr='\\r'
3677 else
3678   ac_cs_awk_cr=$ac_cr
3679 fi
3680
3681 echo 'BEGIN {' >"$ac_tmp/subs1.awk" &&
3682 _ACEOF
3683
3684
3685 {
3686   echo "cat >conf$$subs.awk <<_ACEOF" &&
3687   echo "$ac_subst_vars" | sed 's/.*/&!$&$ac_delim/' &&
3688   echo "_ACEOF"
3689 } >conf$$subs.sh ||
3690   as_fn_error $? "could not make $CONFIG_STATUS" "$LINENO" 5
3691 ac_delim_num=`echo "$ac_subst_vars" | grep -c '^'`
3692 ac_delim='%!_!# '
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
3696
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
3699     break
3700   elif $ac_last_try; then
3701     as_fn_error $? "could not make $CONFIG_STATUS" "$LINENO" 5
3702   else
3703     ac_delim="$ac_delim!$ac_delim _$ac_delim!! "
3704   fi
3705 done
3706 rm -f conf$$subs.sh
3707
3708 cat >>$CONFIG_STATUS <<_ACEOF || ac_write_fail=1
3709 cat >>"\$ac_tmp/subs1.awk" <<\\_ACAWK &&
3710 _ACEOF
3711 sed -n '
3712 h
3713 s/^/S["/; s/!.*/"]=/
3714 p
3715 g
3716 s/^[^!]*!//
3717 :repl
3718 t repl
3719 s/'"$ac_delim"'$//
3720 t delim
3721 :nl
3722 h
3723 s/\(.\{148\}\)..*/\1/
3724 t more1
3725 s/["\\]/\\&/g; s/^/"/; s/$/\\n"\\/
3726 p
3727 n
3728 b repl
3729 :more1
3730 s/["\\]/\\&/g; s/^/"/; s/$/"\\/
3731 p
3732 g
3733 s/.\{148\}//
3734 t nl
3735 :delim
3736 h
3737 s/\(.\{148\}\)..*/\1/
3738 t more2
3739 s/["\\]/\\&/g; s/^/"/; s/$/"/
3740 p
3741 b
3742 :more2
3743 s/["\\]/\\&/g; s/^/"/; s/$/"\\/
3744 p
3745 g
3746 s/.\{148\}//
3747 t delim
3748 ' <conf$$subs.awk | sed '
3749 /^[^""]/{
3750   N
3751   s/\n//
3752 }
3753 ' >>$CONFIG_STATUS || ac_write_fail=1
3754 rm -f conf$$subs.awk
3755 cat >>$CONFIG_STATUS <<_ACEOF || ac_write_fail=1
3756 _ACAWK
3757 cat >>"\$ac_tmp/subs1.awk" <<_ACAWK &&
3758   for (key in S) S_is_set[key] = 1
3759   FS = "\a"
3760
3761 }
3762 {
3763   line = $ 0
3764   nfields = split(line, field, "@")
3765   substed = 0
3766   len = length(field[1])
3767   for (i = 2; i < nfields; i++) {
3768     key = field[i]
3769     keylen = length(key)
3770     if (S_is_set[key]) {
3771       value = S[key]
3772       line = substr(line, 1, len) "" value "" substr(line, len + keylen + 3)
3773       len += length(value) + length(field[++i])
3774       substed = 1
3775     } else
3776       len += 1 + keylen
3777   }
3778
3779   print line
3780 }
3781
3782 _ACAWK
3783 _ACEOF
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"
3787 else
3788   cat
3789 fi < "$ac_tmp/subs1.awk" > "$ac_tmp/subs.awk" \
3790   || as_fn_error $? "could not setup config files machinery" "$LINENO" 5
3791 _ACEOF
3792
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[        ]*=[    ]*/{
3799 h
3800 s///
3801 s/^/:/
3802 s/[      ]*$/:/
3803 s/:\$(srcdir):/:/g
3804 s/:\${srcdir}:/:/g
3805 s/:@srcdir@:/:/g
3806 s/^:*//
3807 s/:*$//
3808 x
3809 s/\(=[   ]*\).*/\1/
3810 G
3811 s/\n//
3812 s/^[^=]*=[       ]*$//
3813 }'
3814 fi
3815
3816 cat >>$CONFIG_STATUS <<\_ACEOF || ac_write_fail=1
3817 fi # test -n "$CONFIG_FILES"
3818
3819
3820 eval set X "  :F $CONFIG_FILES      "
3821 shift
3822 for ac_tag
3823 do
3824   case $ac_tag in
3825   :[FHLC]) ac_mode=$ac_tag; continue;;
3826   esac
3827   case $ac_mode$ac_tag in
3828   :[FHL]*:*);;
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;;
3832   esac
3833   ac_save_IFS=$IFS
3834   IFS=:
3835   set x $ac_tag
3836   IFS=$ac_save_IFS
3837   shift
3838   ac_file=$1
3839   shift
3840
3841   case $ac_mode in
3842   :L) ac_source=$1;;
3843   :[FH])
3844     ac_file_inputs=
3845     for ac_f
3846     do
3847       case $ac_f 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 `:'.
3852          test -f "$ac_f" ||
3853            case $ac_f in
3854            [\\/$]*) false;;
3855            *) test -f "$srcdir/$ac_f" && ac_f="$srcdir/$ac_f";;
3856            esac ||
3857            as_fn_error 1 "cannot find input file: \`$ac_f'" "$LINENO" 5;;
3858       esac
3859       case $ac_f in *\'*) ac_f=`$as_echo "$ac_f" | sed "s/'/'\\\\\\\\''/g"`;; esac
3860       as_fn_append ac_file_inputs " '$ac_f'"
3861     done
3862
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'
3868         `' by configure.'
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;}
3873     fi
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;;
3880     esac
3881
3882     case $ac_tag in
3883     *:-:* | *:-) cat >"$ac_tmp/stdin" \
3884       || as_fn_error $? "could not create $ac_file" "$LINENO" 5 ;;
3885     esac
3886     ;;
3887   esac
3888
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\(.*[^/]\)\/\/*[^/][^/]*\/*$/{
3896             s//\1/
3897             q
3898           }
3899           /^X\(\/\/\)[^/].*/{
3900             s//\1/
3901             q
3902           }
3903           /^X\(\/\/\)$/{
3904             s//\1/
3905             q
3906           }
3907           /^X\(\/\).*/{
3908             s//\1/
3909             q
3910           }
3911           s/.*/./; q'`
3912   as_dir="$ac_dir"; as_fn_mkdir_p
3913   ac_builddir=.
3914
3915 case "$ac_dir" in
3916 .) ac_dir_suffix= ac_top_builddir_sub=. ac_top_build_prefix= ;;
3917 *)
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/ ;;
3924   esac ;;
3925 esac
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
3930
3931 case $srcdir in
3932   .)  # We are building in place.
3933     ac_srcdir=.
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 ;;
3940   *) # Relative name.
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 ;;
3944 esac
3945 ac_abs_srcdir=$ac_abs_top_srcdir$ac_dir_suffix
3946
3947
3948   case $ac_mode in
3949   :F)
3950   #
3951   # CONFIG_FILE
3952   #
3953
3954 _ACEOF
3955
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=
3960 ac_sed_dataroot='
3961 /datarootdir/ {
3962   p
3963   q
3964 }
3965 /@datadir@/p
3966 /@docdir@/p
3967 /@infodir@/p
3968 /@localedir@/p
3969 /@mandir@/p'
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;}
3975 _ACEOF
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' ;;
3984 esac
3985 _ACEOF
3986
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
3992 $extrasub
3993 _ACEOF
3994 cat >>$CONFIG_STATUS <<\_ACEOF || ac_write_fail=1
3995 :t
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
4008 "
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
4011
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;}
4020
4021   rm -f "$ac_tmp/stdin"
4022   case $ac_file in
4023   -) cat "$ac_tmp/out" && rm -f "$ac_tmp/out";;
4024   *) rm -f "$ac_file" && mv "$ac_tmp/out" "$ac_file";;
4025   esac \
4026   || as_fn_error $? "could not create $ac_file" "$LINENO" 5
4027  ;;
4028
4029
4030
4031   esac
4032
4033 done # for ac_tag
4034
4035
4036 as_fn_exit 0
4037 _ACEOF
4038 ac_clean_files=$ac_clean_files_save
4039
4040 test $ac_write_fail = 0 ||
4041   as_fn_error $? "write failure creating $CONFIG_STATUS" "$LINENO" 5
4042
4043
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
4053   ac_cs_success=:
4054   ac_config_status_args=
4055   test "$silent" = yes &&
4056     ac_config_status_args="$ac_config_status_args --quiet"
4057   exec 5>/dev/null
4058   $SHELL $CONFIG_STATUS $ac_config_status_args || ac_cs_success=false
4059   exec 5>>config.log
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
4063 fi
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;}
4067 fi
4068
4069 ac_config_files="$ac_config_files wrapper/Makefile"
4070
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.
4077 #
4078 # config.status only pays attention to the cache file if you give it
4079 # the --recheck option to rerun configure.
4080 #
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
4083 # following values.
4084
4085 _ACEOF
4086
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.
4092 (
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
4095     case $ac_val in #(
4096     *${as_nl}*)
4097       case $ac_var in #(
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;} ;;
4100       esac
4101       case $ac_var in #(
4102       _ | IFS | as_nl) ;; #(
4103       BASH_ARGV | BASH_SOURCE) eval $ac_var= ;; #(
4104       *) { eval $ac_var=; unset $ac_var;} ;;
4105       esac ;;
4106     esac
4107   done
4108
4109   (set) 2>&1 |
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 \.
4114       sed -n \
4115         "s/'/'\\\\''/g;
4116           s/^\\([_$as_cr_alnum]*_cv_[_$as_cr_alnum]*\\)=\\(.*\\)/\\1='\\2'/p"
4117       ;; #(
4118     *)
4119       # `set' quotes correctly as required by POSIX, so do not add quotes.
4120       sed -n "/^[_$as_cr_alnum]*_cv_[_$as_cr_alnum]*=/p"
4121       ;;
4122     esac |
4123     sort
4124 ) |
4125   sed '
4126      /^ac_cv_env_/b end
4127      t clear
4128      :clear
4129      s/^\([^=]*\)=\(.*[{}].*\)$/test "${\1+set}" = set || &/
4130      t end
4131      s/^\([^=]*\)=\(.*\)$/\1=${\1=\2}/
4132      :end' >>confcache
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"
4140       else
4141         case $cache_file in #(
4142         */* | ?:*)
4143           mv -f confcache "$cache_file"$$ &&
4144           mv -f "$cache_file"$$ "$cache_file" ;; #(
4145         *)
4146           mv -f confcache "$cache_file" ;;
4147         esac
4148       fi
4149     fi
4150   else
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;}
4153   fi
4154 fi
4155 rm -f confcache
4156
4157 test "x$prefix" = xNONE && prefix=$ac_default_prefix
4158 # Let make expand exec_prefix.
4159 test "x$exec_prefix" = xNONE && exec_prefix='${prefix}'
4160
4161 # Transform confdefs.h into DEFS.
4162 # Protect against shell expansion while executing Makefile rules.
4163 # Protect against Makefile macro expansion.
4164 #
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.
4168 ac_script='
4169 :mline
4170 /\\$/{
4171  N
4172  s,\\\n,,
4173  b mline
4174 }
4175 t clear
4176 :clear
4177 s/^[     ]*#[    ]*define[       ][      ]*\([^  (][^    (]*([^)]*)\)[   ]*\(.*\)/-D\1=\2/g
4178 t quote
4179 s/^[     ]*#[    ]*define[       ][      ]*\([^  ][^     ]*\)[   ]*\(.*\)/-D\1=\2/g
4180 t quote
4181 b any
4182 :quote
4183 s/[      `~#$^&*(){}\\|;'\''"<>?]/\\&/g
4184 s/\[/\\&/g
4185 s/\]/\\&/g
4186 s/\$/$$/g
4187 H
4188 :any
4189 ${
4190         g
4191         s/^\n//
4192         s/\n/ /g
4193         p
4194 }
4195 '
4196 DEFS=`sed -n "$ac_script" confdefs.h`
4197
4198
4199 ac_libobjs=
4200 ac_ltlibobjs=
4201 U=
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'
4210 done
4211 LIBOBJS=$ac_libobjs
4212
4213 LTLIBOBJS=$ac_ltlibobjs
4214
4215
4216
4217 : "${CONFIG_STATUS=./config.status}"
4218 ac_write_fail=0
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;}
4223 as_write_fail=0
4224 cat >$CONFIG_STATUS <<_ASEOF || as_write_fail=1
4225 #! $SHELL
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.
4230
4231 debug=false
4232 ac_cs_recheck=false
4233 ac_cs_silent=false
4234
4235 SHELL=\${CONFIG_SHELL-$SHELL}
4236 export SHELL
4237 _ASEOF
4238 cat >>$CONFIG_STATUS <<\_ASEOF || as_write_fail=1
4239 ## -------------------- ##
4240 ## M4sh Initialization. ##
4241 ## -------------------- ##
4242
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 :
4246   emulate sh
4247   NULLCMD=:
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
4252 else
4253   case `(set -o) 2>/dev/null` in #(
4254   *posix*) :
4255     set -o posix ;; #(
4256   *) :
4257      ;;
4258 esac
4259 fi
4260
4261
4262 as_nl='
4263 '
4264 export as_nl
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'
4278 else
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'
4282   else
4283     as_echo_body='eval expr "X$1" : "X\\(.*\\)"'
4284     as_echo_n_body='eval
4285       arg=$1;
4286       case $arg in #(
4287       *"$as_nl"*)
4288         expr "X$arg" : "X\\(.*\\)$as_nl";
4289         arg=`expr "X$arg" : ".*$as_nl\\(.*\\)"`;;
4290       esac;
4291       expr "X$arg" : "X\\(.*\\)" | tr -d "$as_nl"
4292     '
4293     export as_echo_n_body
4294     as_echo_n='sh -c $as_echo_n_body as_echo'
4295   fi
4296   export as_echo_body
4297   as_echo='sh -c $as_echo_body as_echo'
4298 fi
4299
4300 # The user is always right.
4301 if test "${PATH_SEPARATOR+set}" != set; then
4302   PATH_SEPARATOR=:
4303   (PATH='/bin;/bin'; FPATH=$PATH; sh -c :) >/dev/null 2>&1 && {
4304     (PATH='/bin:/bin'; FPATH=$PATH; sh -c :) >/dev/null 2>&1 ||
4305       PATH_SEPARATOR=';'
4306   }
4307 fi
4308
4309
4310 # IFS
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.)
4315 IFS=" ""        $as_nl"
4316
4317 # Find who we are.  Look in the path if we contain no directory separator.
4318 as_myself=
4319 case $0 in #((
4320   *[\\/]* ) as_myself=$0 ;;
4321   *) as_save_IFS=$IFS; IFS=$PATH_SEPARATOR
4322 for as_dir in $PATH
4323 do
4324   IFS=$as_save_IFS
4325   test -z "$as_dir" && as_dir=.
4326     test -r "$as_dir/$0" && as_myself=$as_dir/$0 && break
4327   done
4328 IFS=$as_save_IFS
4329
4330      ;;
4331 esac
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
4335   as_myself=$0
4336 fi
4337 if test ! -f "$as_myself"; then
4338   $as_echo "$as_myself: error: cannot find myself; rerun with an absolute file name" >&2
4339   exit 1
4340 fi
4341
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 || :
4349 done
4350 PS1='$ '
4351 PS2='> '
4352 PS4='+ '
4353
4354 # NLS nuisances.
4355 LC_ALL=C
4356 export LC_ALL
4357 LANGUAGE=C
4358 export LANGUAGE
4359
4360 # CDPATH.
4361 (unset CDPATH) >/dev/null 2>&1 && unset CDPATH
4362
4363
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.
4369 as_fn_error ()
4370 {
4371   as_status=$1; test $as_status -eq 0 && as_status=1
4372   if test "$4"; then
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
4375   fi
4376   $as_echo "$as_me: error: $2" >&2
4377   as_fn_exit $as_status
4378 } # as_fn_error
4379
4380
4381 # as_fn_set_status STATUS
4382 # -----------------------
4383 # Set $? to STATUS, without forking.
4384 as_fn_set_status ()
4385 {
4386   return $1
4387 } # as_fn_set_status
4388
4389 # as_fn_exit STATUS
4390 # -----------------
4391 # Exit the shell with STATUS, even in a "trap 0" or "set -e" context.
4392 as_fn_exit ()
4393 {
4394   set +e
4395   as_fn_set_status $1
4396   exit $1
4397 } # as_fn_exit
4398
4399 # as_fn_unset VAR
4400 # ---------------
4401 # Portably unset VAR.
4402 as_fn_unset ()
4403 {
4404   { eval $1=; unset $1;}
4405 }
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
4412 # implementations.
4413 if (eval "as_var=1; as_var+=2; test x\$as_var = x12") 2>/dev/null; then :
4414   eval 'as_fn_append ()
4415   {
4416     eval $1+=\$2
4417   }'
4418 else
4419   as_fn_append ()
4420   {
4421     eval $1=\$$1\$2
4422   }
4423 fi # as_fn_append
4424
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 ()
4432   {
4433     as_val=$(( $* ))
4434   }'
4435 else
4436   as_fn_arith ()
4437   {
4438     as_val=`expr "$@" || test $? -eq 1`
4439   }
4440 fi # as_fn_arith
4441
4442
4443 if expr a : '\(a\)' >/dev/null 2>&1 &&
4444    test "X`expr 00001 : '.*\(...\)'`" = X001; then
4445   as_expr=expr
4446 else
4447   as_expr=false
4448 fi
4449
4450 if (basename -- /) >/dev/null 2>&1 && test "X`basename -- / 2>&1`" = "X/"; then
4451   as_basename=basename
4452 else
4453   as_basename=false
4454 fi
4455
4456 if (as_dir=`dirname -- /` && test "X$as_dir" = X/) >/dev/null 2>&1; then
4457   as_dirname=dirname
4458 else
4459   as_dirname=false
4460 fi
4461
4462 as_me=`$as_basename -- "$0" ||
4463 $as_expr X/"$0" : '.*/\([^/][^/]*\)/*$' \| \
4464          X"$0" : 'X\(//\)$' \| \
4465          X"$0" : 'X\(/\)' \| . 2>/dev/null ||
4466 $as_echo X/"$0" |
4467     sed '/^.*\/\([^/][^/]*\)\/*$/{
4468             s//\1/
4469             q
4470           }
4471           /^X\/\(\/\/\)$/{
4472             s//\1/
4473             q
4474           }
4475           /^X\/\(\/\).*/{
4476             s//\1/
4477             q
4478           }
4479           s/.*/./; q'`
4480
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
4487
4488 ECHO_C= ECHO_N= ECHO_T=
4489 case `echo -n x` in #(((((
4490 -n*)
4491   case `echo 'xy\c'` in
4492   *c*) ECHO_T=' ';;     # ECHO_T is single tab character.
4493   xy)  ECHO_C='\c';;
4494   *)   echo `echo ksh88 bug on AIX 6.1` > /dev/null
4495        ECHO_T=' ';;
4496   esac;;
4497 *)
4498   ECHO_N='-n';;
4499 esac
4500
4501 rm -f conf$$ conf$$.exe conf$$.file
4502 if test -d conf$$.dir; then
4503   rm -f conf$$.dir/conf$$.file
4504 else
4505   rm -f conf$$.dir
4506   mkdir conf$$.dir 2>/dev/null
4507 fi
4508 if (echo >conf$$.file) 2>/dev/null; then
4509   if ln -s conf$$.file conf$$ 2>/dev/null; then
4510     as_ln_s='ln -s'
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 ||
4516       as_ln_s='cp -pR'
4517   elif ln conf$$.file conf$$ 2>/dev/null; then
4518     as_ln_s=ln
4519   else
4520     as_ln_s='cp -pR'
4521   fi
4522 else
4523   as_ln_s='cp -pR'
4524 fi
4525 rm -f conf$$ conf$$.exe conf$$.dir/conf$$.file conf$$.file
4526 rmdir conf$$.dir 2>/dev/null
4527
4528
4529 # as_fn_mkdir_p
4530 # -------------
4531 # Create "$as_dir" as a directory, including parents if necessary.
4532 as_fn_mkdir_p ()
4533 {
4534
4535   case $as_dir in #(
4536   -*) as_dir=./$as_dir;;
4537   esac
4538   test -d "$as_dir" || eval $as_mkdir_p || {
4539     as_dirs=
4540     while :; do
4541       case $as_dir in #(
4542       *\'*) as_qdir=`$as_echo "$as_dir" | sed "s/'/'\\\\\\\\''/g"`;; #'(
4543       *) as_qdir=$as_dir;;
4544       esac
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\(.*[^/]\)\/\/*[^/][^/]*\/*$/{
4553             s//\1/
4554             q
4555           }
4556           /^X\(\/\/\)[^/].*/{
4557             s//\1/
4558             q
4559           }
4560           /^X\(\/\/\)$/{
4561             s//\1/
4562             q
4563           }
4564           /^X\(\/\).*/{
4565             s//\1/
4566             q
4567           }
4568           s/.*/./; q'`
4569       test -d "$as_dir" && break
4570     done
4571     test -z "$as_dirs" || eval "mkdir $as_dirs"
4572   } || test -d "$as_dir" || as_fn_error $? "cannot create directory $as_dir"
4573
4574
4575 } # as_fn_mkdir_p
4576 if mkdir -p . 2>/dev/null; then
4577   as_mkdir_p='mkdir -p "$as_dir"'
4578 else
4579   test -d ./-p && rmdir ./-p
4580   as_mkdir_p=false
4581 fi
4582
4583
4584 # as_fn_executable_p FILE
4585 # -----------------------
4586 # Test if FILE is an executable regular file.
4587 as_fn_executable_p ()
4588 {
4589   test -f "$1" && test -x "$1"
4590 } # as_fn_executable_p
4591 as_test_x='test -x'
4592 as_executable_p=as_fn_executable_p
4593
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'"
4596
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'"
4599
4600
4601 exec 6>&1
4602 ## ----------------------------------- ##
4603 ## Main body of $CONFIG_STATUS script. ##
4604 ## ----------------------------------- ##
4605 _ASEOF
4606 test $as_write_fail = 0 && chmod +x $CONFIG_STATUS || ac_write_fail=1
4607
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.
4612 ac_log="
4613 This file was extended by $as_me, which was
4614 generated by GNU Autoconf 2.69.  Invocation command line was
4615
4616   CONFIG_FILES    = $CONFIG_FILES
4617   CONFIG_HEADERS  = $CONFIG_HEADERS
4618   CONFIG_LINKS    = $CONFIG_LINKS
4619   CONFIG_COMMANDS = $CONFIG_COMMANDS
4620   $ $0 $@
4621
4622 on `(hostname || uname -n) 2>/dev/null | sed 1q`
4623 "
4624
4625 _ACEOF
4626
4627 case $ac_config_files in *"
4628 "*) set x $ac_config_files; shift; ac_config_files=$*;;
4629 esac
4630
4631
4632
4633 cat >>$CONFIG_STATUS <<_ACEOF || ac_write_fail=1
4634 # Files that config.status was made for.
4635 config_files="$ac_config_files"
4636
4637 _ACEOF
4638
4639 cat >>$CONFIG_STATUS <<\_ACEOF || ac_write_fail=1
4640 ac_cs_usage="\
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.
4644
4645 Usage: $0 [OPTION]... [TAG]...
4646
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
4656
4657 Configuration files:
4658 $config_files
4659
4660 Report bugs to the package provider."
4661
4662 _ACEOF
4663 cat >>$CONFIG_STATUS <<_ACEOF || ac_write_fail=1
4664 ac_cs_config="`$as_echo "$ac_configure_args" | sed 's/^ //; s/[\\""\`\$]/\\\\&/g'`"
4665 ac_cs_version="\\
4666 config.status
4667 configured by $0, generated by GNU Autoconf 2.69,
4668   with options \\"\$ac_cs_config\\"
4669
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."
4673
4674 ac_pwd='$ac_pwd'
4675 srcdir='$srcdir'
4676 test -n "\$AWK" || AWK=awk
4677 _ACEOF
4678
4679 cat >>$CONFIG_STATUS <<\_ACEOF || ac_write_fail=1
4680 # The default lists apply if the user does not specify any file.
4681 ac_need_defaults=:
4682 while test $# != 0
4683 do
4684   case $1 in
4685   --*=?*)
4686     ac_option=`expr "X$1" : 'X\([^=]*\)='`
4687     ac_optarg=`expr "X$1" : 'X[^=]*=\(.*\)'`
4688     ac_shift=:
4689     ;;
4690   --*=)
4691     ac_option=`expr "X$1" : 'X\([^=]*\)='`
4692     ac_optarg=
4693     ac_shift=:
4694     ;;
4695   *)
4696     ac_option=$1
4697     ac_optarg=$2
4698     ac_shift=shift
4699     ;;
4700   esac
4701
4702   case $ac_option in
4703   # Handling of the options.
4704   -recheck | --recheck | --rechec | --reche | --rech | --rec | --re | --r)
4705     ac_cs_recheck=: ;;
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 )
4711     debug=: ;;
4712   --file | --fil | --fi | --f )
4713     $ac_shift
4714     case $ac_optarg in
4715     *\'*) ac_optarg=`$as_echo "$ac_optarg" | sed "s/'/'\\\\\\\\''/g"` ;;
4716     '') as_fn_error $? "missing file argument" ;;
4717     esac
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)
4724     ac_cs_silent=: ;;
4725
4726   # This is an error.
4727   -*) as_fn_error $? "unrecognized option: \`$1'
4728 Try \`$0 --help' for more information." ;;
4729
4730   *) as_fn_append ac_config_targets " $1"
4731      ac_need_defaults=false ;;
4732
4733   esac
4734   shift
4735 done
4736
4737 ac_configure_extra_args=
4738
4739 if $ac_cs_silent; then
4740   exec 6>/dev/null
4741   ac_configure_extra_args="$ac_configure_extra_args --silent"
4742 fi
4743
4744 _ACEOF
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
4748   shift
4749   \$as_echo "running CONFIG_SHELL=$SHELL \$*" >&6
4750   CONFIG_SHELL='$SHELL'
4751   export CONFIG_SHELL
4752   exec "\$@"
4753 fi
4754
4755 _ACEOF
4756 cat >>$CONFIG_STATUS <<\_ACEOF || ac_write_fail=1
4757 exec 5>>config.log
4758 {
4759   echo
4760   sed 'h;s/./-/g;s/^.../## /;s/...$/ ##/;p;x;p;x' <<_ASBOX
4761 ## Running $as_me. ##
4762 _ASBOX
4763   $as_echo "$ac_log"
4764 } >&5
4765
4766 _ACEOF
4767 cat >>$CONFIG_STATUS <<_ACEOF || ac_write_fail=1
4768 _ACEOF
4769
4770 cat >>$CONFIG_STATUS <<\_ACEOF || ac_write_fail=1
4771
4772 # Handling of arguments.
4773 for ac_config_target in $ac_config_targets
4774 do
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" ;;
4779
4780   *) as_fn_error $? "invalid argument: \`$ac_config_target'" "$LINENO" 5;;
4781   esac
4782 done
4783
4784
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
4791 fi
4792
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'.
4799 $debug ||
4800 {
4801   tmp= ac_tmp=
4802   trap 'exit_status=$?
4803   : "${ac_tmp:=$tmp}"
4804   { test ! -d "$ac_tmp" || rm -fr "$ac_tmp"; } && exit $exit_status
4805 ' 0
4806   trap 'as_fn_exit 1' 1 2 13 15
4807 }
4808 # Create a (secure) tmp directory for tmp files.
4809
4810 {
4811   tmp=`(umask 077 && mktemp -d "./confXXXXXX") 2>/dev/null` &&
4812   test -d "$tmp"
4813 }  ||
4814 {
4815   tmp=./conf$$-$RANDOM
4816   (umask 077 && mkdir "$tmp")
4817 } || as_fn_error $? "cannot create a temporary directory in ." "$LINENO" 5
4818 ac_tmp=$tmp
4819
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
4824
4825
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\'
4832 fi
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
4835   ac_cs_awk_cr='\\r'
4836 else
4837   ac_cs_awk_cr=$ac_cr
4838 fi
4839
4840 echo 'BEGIN {' >"$ac_tmp/subs1.awk" &&
4841 _ACEOF
4842
4843
4844 {
4845   echo "cat >conf$$subs.awk <<_ACEOF" &&
4846   echo "$ac_subst_vars" | sed 's/.*/&!$&$ac_delim/' &&
4847   echo "_ACEOF"
4848 } >conf$$subs.sh ||
4849   as_fn_error $? "could not make $CONFIG_STATUS" "$LINENO" 5
4850 ac_delim_num=`echo "$ac_subst_vars" | grep -c '^'`
4851 ac_delim='%!_!# '
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
4855
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
4858     break
4859   elif $ac_last_try; then
4860     as_fn_error $? "could not make $CONFIG_STATUS" "$LINENO" 5
4861   else
4862     ac_delim="$ac_delim!$ac_delim _$ac_delim!! "
4863   fi
4864 done
4865 rm -f conf$$subs.sh
4866
4867 cat >>$CONFIG_STATUS <<_ACEOF || ac_write_fail=1
4868 cat >>"\$ac_tmp/subs1.awk" <<\\_ACAWK &&
4869 _ACEOF
4870 sed -n '
4871 h
4872 s/^/S["/; s/!.*/"]=/
4873 p
4874 g
4875 s/^[^!]*!//
4876 :repl
4877 t repl
4878 s/'"$ac_delim"'$//
4879 t delim
4880 :nl
4881 h
4882 s/\(.\{148\}\)..*/\1/
4883 t more1
4884 s/["\\]/\\&/g; s/^/"/; s/$/\\n"\\/
4885 p
4886 n
4887 b repl
4888 :more1
4889 s/["\\]/\\&/g; s/^/"/; s/$/"\\/
4890 p
4891 g
4892 s/.\{148\}//
4893 t nl
4894 :delim
4895 h
4896 s/\(.\{148\}\)..*/\1/
4897 t more2
4898 s/["\\]/\\&/g; s/^/"/; s/$/"/
4899 p
4900 b
4901 :more2
4902 s/["\\]/\\&/g; s/^/"/; s/$/"\\/
4903 p
4904 g
4905 s/.\{148\}//
4906 t delim
4907 ' <conf$$subs.awk | sed '
4908 /^[^""]/{
4909   N
4910   s/\n//
4911 }
4912 ' >>$CONFIG_STATUS || ac_write_fail=1
4913 rm -f conf$$subs.awk
4914 cat >>$CONFIG_STATUS <<_ACEOF || ac_write_fail=1
4915 _ACAWK
4916 cat >>"\$ac_tmp/subs1.awk" <<_ACAWK &&
4917   for (key in S) S_is_set[key] = 1
4918   FS = "\a"
4919
4920 }
4921 {
4922   line = $ 0
4923   nfields = split(line, field, "@")
4924   substed = 0
4925   len = length(field[1])
4926   for (i = 2; i < nfields; i++) {
4927     key = field[i]
4928     keylen = length(key)
4929     if (S_is_set[key]) {
4930       value = S[key]
4931       line = substr(line, 1, len) "" value "" substr(line, len + keylen + 3)
4932       len += length(value) + length(field[++i])
4933       substed = 1
4934     } else
4935       len += 1 + keylen
4936   }
4937
4938   print line
4939 }
4940
4941 _ACAWK
4942 _ACEOF
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"
4946 else
4947   cat
4948 fi < "$ac_tmp/subs1.awk" > "$ac_tmp/subs.awk" \
4949   || as_fn_error $? "could not setup config files machinery" "$LINENO" 5
4950 _ACEOF
4951
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[        ]*=[    ]*/{
4958 h
4959 s///
4960 s/^/:/
4961 s/[      ]*$/:/
4962 s/:\$(srcdir):/:/g
4963 s/:\${srcdir}:/:/g
4964 s/:@srcdir@:/:/g
4965 s/^:*//
4966 s/:*$//
4967 x
4968 s/\(=[   ]*\).*/\1/
4969 G
4970 s/\n//
4971 s/^[^=]*=[       ]*$//
4972 }'
4973 fi
4974
4975 cat >>$CONFIG_STATUS <<\_ACEOF || ac_write_fail=1
4976 fi # test -n "$CONFIG_FILES"
4977
4978
4979 eval set X "  :F $CONFIG_FILES      "
4980 shift
4981 for ac_tag
4982 do
4983   case $ac_tag in
4984   :[FHLC]) ac_mode=$ac_tag; continue;;
4985   esac
4986   case $ac_mode$ac_tag in
4987   :[FHL]*:*);;
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;;
4991   esac
4992   ac_save_IFS=$IFS
4993   IFS=:
4994   set x $ac_tag
4995   IFS=$ac_save_IFS
4996   shift
4997   ac_file=$1
4998   shift
4999
5000   case $ac_mode in
5001   :L) ac_source=$1;;
5002   :[FH])
5003     ac_file_inputs=
5004     for ac_f
5005     do
5006       case $ac_f 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 `:'.
5011          test -f "$ac_f" ||
5012            case $ac_f in
5013            [\\/$]*) false;;
5014            *) test -f "$srcdir/$ac_f" && ac_f="$srcdir/$ac_f";;
5015            esac ||
5016            as_fn_error 1 "cannot find input file: \`$ac_f'" "$LINENO" 5;;
5017       esac
5018       case $ac_f in *\'*) ac_f=`$as_echo "$ac_f" | sed "s/'/'\\\\\\\\''/g"`;; esac
5019       as_fn_append ac_file_inputs " '$ac_f'"
5020     done
5021
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'
5027         `' by configure.'
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;}
5032     fi
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;;
5039     esac
5040
5041     case $ac_tag in
5042     *:-:* | *:-) cat >"$ac_tmp/stdin" \
5043       || as_fn_error $? "could not create $ac_file" "$LINENO" 5 ;;
5044     esac
5045     ;;
5046   esac
5047
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\(.*[^/]\)\/\/*[^/][^/]*\/*$/{
5055             s//\1/
5056             q
5057           }
5058           /^X\(\/\/\)[^/].*/{
5059             s//\1/
5060             q
5061           }
5062           /^X\(\/\/\)$/{
5063             s//\1/
5064             q
5065           }
5066           /^X\(\/\).*/{
5067             s//\1/
5068             q
5069           }
5070           s/.*/./; q'`
5071   as_dir="$ac_dir"; as_fn_mkdir_p
5072   ac_builddir=.
5073
5074 case "$ac_dir" in
5075 .) ac_dir_suffix= ac_top_builddir_sub=. ac_top_build_prefix= ;;
5076 *)
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/ ;;
5083   esac ;;
5084 esac
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
5089
5090 case $srcdir in
5091   .)  # We are building in place.
5092     ac_srcdir=.
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 ;;
5099   *) # Relative name.
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 ;;
5103 esac
5104 ac_abs_srcdir=$ac_abs_top_srcdir$ac_dir_suffix
5105
5106
5107   case $ac_mode in
5108   :F)
5109   #
5110   # CONFIG_FILE
5111   #
5112
5113 _ACEOF
5114
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=
5119 ac_sed_dataroot='
5120 /datarootdir/ {
5121   p
5122   q
5123 }
5124 /@datadir@/p
5125 /@docdir@/p
5126 /@infodir@/p
5127 /@localedir@/p
5128 /@mandir@/p'
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;}
5134 _ACEOF
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' ;;
5143 esac
5144 _ACEOF
5145
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
5151 $extrasub
5152 _ACEOF
5153 cat >>$CONFIG_STATUS <<\_ACEOF || ac_write_fail=1
5154 :t
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
5167 "
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
5170
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;}
5179
5180   rm -f "$ac_tmp/stdin"
5181   case $ac_file in
5182   -) cat "$ac_tmp/out" && rm -f "$ac_tmp/out";;
5183   *) rm -f "$ac_file" && mv "$ac_tmp/out" "$ac_file";;
5184   esac \
5185   || as_fn_error $? "could not create $ac_file" "$LINENO" 5
5186  ;;
5187
5188
5189
5190   esac
5191
5192 done # for ac_tag
5193
5194
5195 as_fn_exit 0
5196 _ACEOF
5197 ac_clean_files=$ac_clean_files_save
5198
5199 test $ac_write_fail = 0 ||
5200   as_fn_error $? "write failure creating $CONFIG_STATUS" "$LINENO" 5
5201
5202
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
5212   ac_cs_success=:
5213   ac_config_status_args=
5214   test "$silent" = yes &&
5215     ac_config_status_args="$ac_config_status_args --quiet"
5216   exec 5>/dev/null
5217   $SHELL $CONFIG_STATUS $ac_config_status_args || ac_cs_success=false
5218   exec 5>>config.log
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
5222 fi
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;}
5226 fi
5227
5228