===========================================================
.___ __ __
_________________ __ __ __| _/|__|/ |_
/ ___\_` __ \__ \ | | \/ __ | | \\_ __\
/ /_/ > | \// __ \| | / /_/ | | || |
\___ /|__| (____ /____/\____ | |__||__|
/_____/ \/ \/
grep rough audit - static analysis tool
v2.8 written by @Wireghoul
=================================[justanotherhacker.com]===
why3-1.3.3/bench/ce-bench-2-
why3-1.3.3/bench/ce-bench:3:dir=`dirname $0`
why3-1.3.3/bench/ce-bench-4-
##############################################
why3-1.3.3/bench/ce-bench-169-for file in $files; do
why3-1.3.3/bench/ce-bench:170: filedir=`dirname $file`
why3-1.3.3/bench/ce-bench:171: filebase=`basename $file .mlw`
why3-1.3.3/bench/ce-bench-172- printf "Running provers on $filedir/$filebase.mlw\n";
##############################################
why3-1.3.3/bench/ide-bench-2-
why3-1.3.3/bench/ide-bench:3:dir=`dirname $0`
why3-1.3.3/bench/ide-bench-4-
##############################################
why3-1.3.3/bench/ide-bench-55-for file in $files; do
why3-1.3.3/bench/ide-bench:56: filedir=`dirname $file`
why3-1.3.3/bench/ide-bench:57: filebase=`basename $file .mlw`
why3-1.3.3/bench/ide-bench-58- run $filedir $filebase
##############################################
why3-1.3.3/bench/parsing-bench-4-
why3-1.3.3/bench/parsing-bench:5:dir=`dirname $0`
why3-1.3.3/bench/parsing-bench-6-
##############################################
why3-1.3.3/bench/parsing-bench-49-for file in $files; do
why3-1.3.3/bench/parsing-bench:50: filedir=`dirname $file`
why3-1.3.3/bench/parsing-bench:51: filebase=`basename $file .mlw`
why3-1.3.3/bench/parsing-bench-52- printf "Parsing files\n";
##############################################
why3-1.3.3/configure.in-200-# we extract Ocaml version number
why3-1.3.3/configure.in:201:OCAMLVERSION=`$OCAMLC -v | sed -n -e 's|.*version *\(.*\)$|\1|p'`
why3-1.3.3/configure.in-202-echo "ocaml version is $OCAMLVERSION"
##############################################
why3-1.3.3/configure.in-207-# Ocaml library path
why3-1.3.3/configure.in:208:# old way: OCAMLLIB=`$OCAMLC -v | tail -1 | cut -f 4 -d ' ' | tr -d '\\r'`
why3-1.3.3/configure.in:209:OCAMLLIB=`$OCAMLC -where | tr -d '\\r'`
why3-1.3.3/configure.in-210-echo "ocaml library path is $OCAMLLIB"
##############################################
why3-1.3.3/configure.in-220- AC_MSG_CHECKING(ocamlopt version)
why3-1.3.3/configure.in:221: TMPVERSION=`$OCAMLOPT -v | sed -n -e 's|.*version *\(.*\)$|\1|p'`
why3-1.3.3/configure.in-222- if test "$TMPVERSION" != "$OCAMLVERSION" ; then
##############################################
why3-1.3.3/configure.in-241- AC_MSG_CHECKING(ocamlc.opt version)
why3-1.3.3/configure.in:242: TMPVERSION=`$OCAMLCDOTOPT -v | sed -n -e 's|.*version *\(.*\)$|\1|p'`
why3-1.3.3/configure.in-243- if test "$TMPVERSION" != "$OCAMLVERSION" ; then
##############################################
why3-1.3.3/configure.in-255- AC_MSG_CHECKING(ocamlc.opt version)
why3-1.3.3/configure.in:256: TMPVER=`$OCAMLOPTDOTOPT -v | sed -n -e 's|.*version *\(.*\)$|\1|p'`
why3-1.3.3/configure.in-257- if test "$TMPVER" != "$OCAMLVERSION" ; then
##############################################
why3-1.3.3/configure.in-306-
why3-1.3.3/configure.in:307:MENHIRVERSION=`$MENHIR --version | sed -n -e 's,.*version *\(.*\)$,\1,p'`
why3-1.3.3/configure.in-308-AX_VERSION_GE([$MENHIRVERSION], 20151112, [],
##############################################
why3-1.3.3/configure.in-844-if test "$enable_coq_support" = yes; then
why3-1.3.3/configure.in:845: COQLIB=`$COQC -where | sed -e 's|\\\|/|g' -e 's| |\\ |g'`
why3-1.3.3/configure.in-846- AC_MSG_CHECKING(Coq version)
why3-1.3.3/configure.in:847: COQVERSION=[`$COQC -v | sed -n -e 's|.*version *\([^ ]*\) .*$|\1|p'`]
why3-1.3.3/configure.in-848- AC_MSG_RESULT($COQVERSION)
##############################################
why3-1.3.3/configure.in-919- else
why3-1.3.3/configure.in:920: PVSLIB=`$PVS -where`
why3-1.3.3/configure.in-921- AC_MSG_CHECKING(PVS version)
why3-1.3.3/configure.in:922: PVSVERSION=[`$PVS -version | sed -n -e 's|.*Version *\([^ ]*\)$|\1|p'`]
why3-1.3.3/configure.in-923-
##############################################
why3-1.3.3/configure.in-960- AC_MSG_CHECKING(Isabelle version)
why3-1.3.3/configure.in:961: ISABELLEDETECTEDVERSION=[`$ISABELLE version | sed -n -e 's|Isabelle\([^:]*\).*$|\1|p'`]
why3-1.3.3/configure.in-962-
##############################################
why3-1.3.3/configure.in-991- reason_pvs_libs=" (no NASA PVS library in PVS_LIBRARY_PATH)"
why3-1.3.3/configure.in:992: for dir in `echo $PVS_LIBRARY_PATH | tr ':' ' '`; do
why3-1.3.3/configure.in-993- if test -f $dir/nasalib-version; then
##############################################
why3-1.3.3/configure.in-1010- AC_MSG_CHECKING(Frama-C version)
why3-1.3.3/configure.in:1011: FRAMAC_VERSION=`$FRAMAC -version | sed -n -e 's|\(Version: \)\?\(.*\)$|\2|p'`
why3-1.3.3/configure.in-1012- AC_MSG_RESULT($FRAMAC_VERSION)
##############################################
why3-1.3.3/configure.in-1023-if test "$enable_frama_c" = yes; then
why3-1.3.3/configure.in:1024: FRAMAC_SHARE=`$FRAMAC -print-path`
why3-1.3.3/configure.in:1025: FRAMAC_LIBDIR=`$FRAMAC -print-libpath`
why3-1.3.3/configure.in-1026- FRAMAC_INCLUDE="-I $FRAMAC_LIBDIR"
##############################################
why3-1.3.3/doc/install.rst-45-
why3-1.3.3/doc/install.rst:46: docker run --rm --network host --user `id -u` --volume $HOME/.Xauthority:/home/guest/.Xauthority --env DISPLAY=$DISPLAY --volume `pwd`:/data --workdir /data why3 ide foo.mlw
why3-1.3.3/doc/install.rst-47-
##############################################
why3-1.3.3/doc/install.rst-52- #!/bin/sh
why3-1.3.3/doc/install.rst:53: exec docker run --rm --network host --user `id -u` --volume $HOME/.Xauthority:/home/guest/.Xauthority --env DISPLAY=$DISPLAY --volume `pwd`:/data --workdir /data why3 "$@"
why3-1.3.3/doc/install.rst-54-
##############################################
why3-1.3.3/doc/technical.rst-35-
why3-1.3.3/doc/technical.rst:36:#. the file :file:`$HOME/.why3.conf` (:file:`$USERPROFILE/.why3.conf` under
why3-1.3.3/doc/technical.rst-37- Windows) or, in the case of local installation, :file:`why3.conf` in the
##############################################
why3-1.3.3/examples/bench.sh-5-TMPERR=$PWD/why3bench.err
why3-1.3.3/examples/bench.sh:6:cd `dirname $0`
why3-1.3.3/examples/bench.sh-7-
##############################################
why3-1.3.3/examples/bench.sh-21- echo '<ul>' >> $HTML
why3-1.3.3/examples/bench.sh:22: for f in `ls $1/*/why3session.xml`; do
why3-1.3.3/examples/bench.sh:23: d=`dirname $f`
why3-1.3.3/examples/bench.sh:24: b=`basename $d`
why3-1.3.3/examples/bench.sh-25- echo -n "Benchmarking $d ... "
##############################################
why3-1.3.3/examples/bench.sh-29- echo -n "FAILED (ret code=$ret):"
why3-1.3.3/examples/bench.sh:30: out=`head -1 $TMP`
why3-1.3.3/examples/bench.sh-31- if test -z "$out" ; then
##############################################
why3-1.3.3/examples/bench.sh-40- echo "OK"
why3-1.3.3/examples/bench.sh:41: success=`expr $success + 1`
why3-1.3.3/examples/bench.sh-42- ../bin/why3session html $d 2> $TMPERR > $TMP
##############################################
why3-1.3.3/examples/bench.sh-44- fi
why3-1.3.3/examples/bench.sh:45: total=`expr $total + 1`
why3-1.3.3/examples/bench.sh-46- done
##############################################
why3-1.3.3/examples/bitwalker.mlw-116- requires { BV32.t'int left < 8 * length addr }
why3-1.3.3/examples/bitwalker.mlw:117: ensures { result = nth8_stream addr (BV32.t'int left) }
why3-1.3.3/examples/bitwalker.mlw-118- =
##############################################
why3-1.3.3/examples/bitwalker.mlw-131- BV64.nth result i
why3-1.3.3/examples/bitwalker.mlw:132: = nth8_stream addr (BV32.t'int start + BV32.t'int len - i - 1))
why3-1.3.3/examples/bitwalker.mlw-133- /\
##############################################
why3-1.3.3/examples/bitwalker.mlw-148- BV64.nth !retval j
why3-1.3.3/examples/bitwalker.mlw:149: = nth8_stream addr (BV32.t'int start + BV32.t'int len - j - 1)}
why3-1.3.3/examples/bitwalker.mlw-150- invariant {forall j:int. 0 <= j < BV32.t'int len - BV32.t'int !i ->
##############################################
why3-1.3.3/examples/bitwalker.mlw-156-
why3-1.3.3/examples/bitwalker.mlw:157: let flag = peek_8bit_array addr (BV32.add_check start !i) in
why3-1.3.3/examples/bitwalker.mlw-158- retval := poke_64bit_bv !retval (BV32.add_check lstart !i) flag;
##############################################
why3-1.3.3/examples/bitwalker.mlw-215- nth8_stream addr i = nth8_stream (old addr) i}
why3-1.3.3/examples/bitwalker.mlw:216: ensures { nth8_stream addr (BV32.t'int left) = flag }
why3-1.3.3/examples/bitwalker.mlw-217- =
##############################################
why3-1.3.3/examples/bitwalker.mlw-270-
why3-1.3.3/examples/bitwalker.mlw:271: poke_8bit_array addr (BV32.add_check start !i) flag;
why3-1.3.3/examples/bitwalker.mlw-272-
why3-1.3.3/examples/bitwalker.mlw:273: assert {nth8_stream addr (BV32.t'int start + BV32.t'int !i)
why3-1.3.3/examples/bitwalker.mlw-274- = BV64.nth value ((BV32.t'int len - BV32.t'int !i - 1))};
##############################################
why3-1.3.3/examples/prover/Makefile-64- printf "Replaying $$i..." ; \
why3-1.3.3/examples/prover/Makefile:65: why3 $(WHY3FLAGS) replay -q `basename $$i .mlw` ; \
why3-1.3.3/examples/prover/Makefile-66- done
##############################################
why3-1.3.3/examples/prover/bench.sh-31-EOF
why3-1.3.3/examples/prover/bench.sh:32:for file in `ls $1/*.p`; do
why3-1.3.3/examples/prover/bench.sh-33-# reprint in TPTP/FOF without include
##############################################
why3-1.3.3/examples/prover/bench.sh-43- $WHY3CPULIMIT $timelimit $memlimit -s build/prover tmp.p > $TMP 2>&1
why3-1.3.3/examples/prover/bench.sh:44: time=`sed -n -e 's|.*time : \(.*\) s.*|\1|p' $TMP`
why3-1.3.3/examples/prover/bench.sh-45- if grep "Unsat" $TMP > /dev/null ; then
##############################################
why3-1.3.3/examples/prover/bench.sh-53- # zenon
why3-1.3.3/examples/prover/bench.sh:54: $WHY3CPULIMIT `expr $timelimit + 1` $memlimit -s zenon-0.8.0 -p0 -itptp -max-size $memlimit"M" -max-time $timelimit"s" tmp.p > $TMP 2>&1
why3-1.3.3/examples/prover/bench.sh-55- ret=$?
why3-1.3.3/examples/prover/bench.sh:56: time=`sed -n -e 's|.*time : \(.*\) s.*|\1|p' $TMP`
why3-1.3.3/examples/prover/bench.sh-57- if grep "PROOF-FOUND" $TMP > /dev/null ; then
##############################################
why3-1.3.3/examples/prover/bench.sh-67- # eprover
why3-1.3.3/examples/prover/bench.sh:68: $WHY3CPULIMIT `expr $timelimit + 1` $memlimit -s eprover -s -R -xAuto -tAuto --cpu-limit=$timelimit --tstp-in tmp.p > $TMP 2>&1
why3-1.3.3/examples/prover/bench.sh-69- ret=$?
why3-1.3.3/examples/prover/bench.sh:70: res=`sed -n -e 's|# SZS status \(.*\)|\1|p' $TMP`
why3-1.3.3/examples/prover/bench.sh:71: time=`sed -n -e 's|.*time : \(.*\) s.*|\1|p' $TMP`
why3-1.3.3/examples/prover/bench.sh-72- if grep "Proof found" $TMP > /dev/null ; then
##############################################
why3-1.3.3/examples/prover/bench.sh-82- # SPASS
why3-1.3.3/examples/prover/bench.sh:83: $WHY3CPULIMIT `expr $timelimit + 1` $memlimit -s SPASS -TPTP -PGiven=0 -PProblem=0 -TimeLimit=$timelimit tmp.p > $TMP 2>&1
why3-1.3.3/examples/prover/bench.sh-84- ret=$?
why3-1.3.3/examples/prover/bench.sh:85: res=`sed -n -e 's|SPASS beiseite: \(.*\)|\1|p' $TMP`
why3-1.3.3/examples/prover/bench.sh:86: time=`sed -n -e 's|.*time : \(.*\) s.*|\1|p' $TMP`
why3-1.3.3/examples/prover/bench.sh-87- if grep "Proof found" $TMP > /dev/null ; then
##############################################
why3-1.3.3/examples/prover/bench.sh-97- # zenon modulo
why3-1.3.3/examples/prover/bench.sh:98: $WHY3CPULIMIT `expr $timelimit + 1` $memlimit -s zenon_modulo -p0 -itptp -max-size $memlimit"M" -max-time $timelimit"s" tmp.p > $TMP 2>&1
why3-1.3.3/examples/prover/bench.sh-99- ret=$?
why3-1.3.3/examples/prover/bench.sh:100: time=`sed -n -e 's|.*time : \(.*\) s.*|\1|p' $TMP`
why3-1.3.3/examples/prover/bench.sh-101- if grep "PROOF-FOUND" $TMP > /dev/null ; then
##############################################
why3-1.3.3/examples/prover/bench.sh-111- # Vampire
why3-1.3.3/examples/prover/bench.sh:112: $WHY3CPULIMIT `expr $timelimit + 1` $memlimit -s vampire -t $timelimit"s" < tmp.p > $TMP 2>&1
why3-1.3.3/examples/prover/bench.sh-113- ret=$?
why3-1.3.3/examples/prover/bench.sh:114: time=`sed -n -e 's|.*time : \(.*\) s.*|\1|p' $TMP`
why3-1.3.3/examples/prover/bench.sh-115- if grep "Refutation found" $TMP > /dev/null ; then
##############################################
why3-1.3.3/examples/prover/bench.sh-125- # LeanCoP
why3-1.3.3/examples/prover/bench.sh:126: $WHY3CPULIMIT `expr $timelimit + 1` $memlimit -s /home/marche/Downloads/leancop21/leancop.sh tmp.p $timelimit > $TMP 2>&1
why3-1.3.3/examples/prover/bench.sh-127- ret=$?
why3-1.3.3/examples/prover/bench.sh:128: time=`sed -n -e 's|.*time : \(.*\) s.*|\1|p' $TMP`
why3-1.3.3/examples/prover/bench.sh-129- if grep "is a Theorem\|is a Non-Theorem\|is Unsatisfiable" $TMP > /dev/null ; then
##############################################
why3-1.3.3/examples/prover/bench2.sh-31-EOF
why3-1.3.3/examples/prover/bench2.sh:32:for file in `ls $1/*.p`; do
why3-1.3.3/examples/prover/bench2.sh-33-# reprint in TPTP/FOF without include
##############################################
why3-1.3.3/examples/prover/bench2.sh-43- $WHY3CPULIMIT $timelimit $memlimit -s ../build/prover tmp.p > $TMP 2>&1
why3-1.3.3/examples/prover/bench2.sh:44: time=`sed -n -e 's|.*time : \(.*\) s.*|\1|p' $TMP`
why3-1.3.3/examples/prover/bench2.sh-45- if grep "Unsat" $TMP > /dev/null ; then
##############################################
why3-1.3.3/examples/prover/bench2.sh-53- # zenon
why3-1.3.3/examples/prover/bench2.sh:54: $WHY3CPULIMIT `expr $timelimit + 1` $memlimit -s zenon-0.8.0 -p0 -itptp -max-size $memlimit"M" -max-time $timelimit"s" tmp.p > $TMP 2>&1
why3-1.3.3/examples/prover/bench2.sh-55- ret=$?
why3-1.3.3/examples/prover/bench2.sh:56: time=`sed -n -e 's|.*time : \(.*\) s.*|\1|p' $TMP`
why3-1.3.3/examples/prover/bench2.sh-57- if grep "PROOF-FOUND" $TMP > /dev/null ; then
##############################################
why3-1.3.3/examples/prover/bench2.sh-67- # eprover
why3-1.3.3/examples/prover/bench2.sh:68: $WHY3CPULIMIT `expr $timelimit + 1` $memlimit -s eprover -s -R -xAuto -tAuto --cpu-limit=$timelimit --tstp-in tmp.p > $TMP 2>&1
why3-1.3.3/examples/prover/bench2.sh-69- ret=$?
why3-1.3.3/examples/prover/bench2.sh:70: res=`sed -n -e 's|# SZS status \(.*\)|\1|p' $TMP`
why3-1.3.3/examples/prover/bench2.sh:71: time=`sed -n -e 's|.*time : \(.*\) s.*|\1|p' $TMP`
why3-1.3.3/examples/prover/bench2.sh-72- if grep "Proof found" $TMP > /dev/null ; then
##############################################
why3-1.3.3/examples/prover/bench2.sh-82- # SPASS
why3-1.3.3/examples/prover/bench2.sh:83: $WHY3CPULIMIT `expr $timelimit + 1` $memlimit -s SPASS -TPTP -PGiven=0 -PProblem=0 -TimeLimit=$timelimit tmp.p > $TMP 2>&1
why3-1.3.3/examples/prover/bench2.sh-84- ret=$?
why3-1.3.3/examples/prover/bench2.sh:85: res=`sed -n -e 's|SPASS beiseite: \(.*\)|\1|p' $TMP`
why3-1.3.3/examples/prover/bench2.sh:86: time=`sed -n -e 's|.*time : \(.*\) s.*|\1|p' $TMP`
why3-1.3.3/examples/prover/bench2.sh-87- if grep "Proof found" $TMP > /dev/null ; then
##############################################
why3-1.3.3/examples/prover/bench2.sh-97- # zenon modulo
why3-1.3.3/examples/prover/bench2.sh:98: $WHY3CPULIMIT `expr $timelimit + 1` $memlimit -s zenon_modulo -p0 -itptp -max-size $memlimit"M" -max-time $timelimit"s" tmp.p > $TMP 2>&1
why3-1.3.3/examples/prover/bench2.sh-99- ret=$?
why3-1.3.3/examples/prover/bench2.sh:100: time=`sed -n -e 's|.*time : \(.*\) s.*|\1|p' $TMP`
why3-1.3.3/examples/prover/bench2.sh-101- if grep "PROOF-FOUND" $TMP > /dev/null ; then
##############################################
why3-1.3.3/examples/prover/bench2.sh-111- # Vampire
why3-1.3.3/examples/prover/bench2.sh:112: $WHY3CPULIMIT `expr $timelimit + 1` $memlimit -s vampire -t $timelimit"s" < tmp.p > $TMP 2>&1
why3-1.3.3/examples/prover/bench2.sh-113- ret=$?
why3-1.3.3/examples/prover/bench2.sh:114: time=`sed -n -e 's|.*time : \(.*\) s.*|\1|p' $TMP`
why3-1.3.3/examples/prover/bench2.sh-115- if grep "Refutation found" $TMP > /dev/null ; then
##############################################
why3-1.3.3/examples/prover/bench2.sh-125- # LeanCoP
why3-1.3.3/examples/prover/bench2.sh:126: $WHY3CPULIMIT `expr $timelimit + 1` $memlimit -s /home/marche/Downloads/leancop21/leancop.sh tmp.p $timelimit > $TMP 2>&1
why3-1.3.3/examples/prover/bench2.sh-127- ret=$?
why3-1.3.3/examples/prover/bench2.sh:128: time=`sed -n -e 's|.*time : \(.*\) s.*|\1|p' $TMP`
why3-1.3.3/examples/prover/bench2.sh-129- if grep "is a Theorem\|is a Non-Theorem\|is Unsatisfiable" $TMP > /dev/null ; then
##############################################
why3-1.3.3/examples/regtests.sh-32-# Current directory is /examples
why3-1.3.3/examples/regtests.sh:33:cd `dirname $0`
why3-1.3.3/examples/regtests.sh-34-
##############################################
why3-1.3.3/examples/regtests.sh-47- if [ -f $1/reduced_regtests.list ]; then
why3-1.3.3/examples/regtests.sh:48: LIST=`sed $1/reduced_regtests.list -n -e "s&^\([^ #]\+\).*&$1/\1/why3session.xml&p"`
why3-1.3.3/examples/regtests.sh-49- else
##############################################
why3-1.3.3/examples/regtests.sh-52- else
why3-1.3.3/examples/regtests.sh:53: LIST=`ls $1/*/why3session.xml`
why3-1.3.3/examples/regtests.sh-54- fi
why3-1.3.3/examples/regtests.sh-55- for f in $LIST; do
why3-1.3.3/examples/regtests.sh:56: d=`dirname $f`
why3-1.3.3/examples/regtests.sh-57- printf "Replaying $d ... "
##############################################
why3-1.3.3/examples/regtests.sh-60- cat $TMP $TMPERR
why3-1.3.3/examples/regtests.sh:61: success=`expr $success + 1`
why3-1.3.3/examples/regtests.sh-62- else
##############################################
why3-1.3.3/examples/regtests.sh-64- printf "FAILED (ret code=$ret):"
why3-1.3.3/examples/regtests.sh:65: out=`head -1 $TMP`
why3-1.3.3/examples/regtests.sh-66- if test -z "$out" ; then
##############################################
why3-1.3.3/examples/regtests.sh-73- fi
why3-1.3.3/examples/regtests.sh:74: total=`expr $total + 1`
why3-1.3.3/examples/regtests.sh-75- done
##############################################
why3-1.3.3/examples/regtests.sh-124-echo "Summary : $success/$total"
why3-1.3.3/examples/regtests.sh:125:echo "Sessions size : "`wc -cl $sessions | tail -1`
why3-1.3.3/examples/regtests.sh:126:echo "Shapes size : "`wc -cl $shapes | tail -1`
why3-1.3.3/examples/regtests.sh-127-
##############################################
why3-1.3.3/examples/toy_compiler.mlw-20-
why3-1.3.3/examples/toy_compiler.mlw:21: type asm = Push int | Add | Sub | Mul
why3-1.3.3/examples/toy_compiler.mlw-22-
##############################################
why3-1.3.3/examples/toy_compiler.mlw-47-
why3-1.3.3/examples/toy_compiler.mlw:48: function compile (e:expr) : list asm =
why3-1.3.3/examples/toy_compiler.mlw-49- match e with
##############################################
why3-1.3.3/install-sh-234- fi
why3-1.3.3/install-sh:235: cp_umask=`expr '(' 777 - $mode % 1000 ')' $u_plus_rw`;;
why3-1.3.3/install-sh-236- *)
##############################################
why3-1.3.3/install-sh-281- dstdir=$dst
why3-1.3.3/install-sh:282: dst=$dstdir/`basename "$src"`
why3-1.3.3/install-sh-283- dstdir_status=0
why3-1.3.3/install-sh-284- else
why3-1.3.3/install-sh:285: dstdir=`dirname "$dst"`
why3-1.3.3/install-sh-286- test -d "$dstdir"
##############################################
why3-1.3.3/install-sh-344- test_tmpdir="$tmpdir/a"
why3-1.3.3/install-sh:345: ls_ld_tmpdir=`ls -ld "$test_tmpdir"`
why3-1.3.3/install-sh-346- case $ls_ld_tmpdir in
##############################################
why3-1.3.3/install-sh-351- $mkdirprog -m$different_mode -p -- "$test_tmpdir" && {
why3-1.3.3/install-sh:352: ls_ld_tmpdir_1=`ls -ld "$test_tmpdir"`
why3-1.3.3/install-sh-353- test "$ls_ld_tmpdir" = "$ls_ld_tmpdir_1"
##############################################
why3-1.3.3/install-sh-409- case $prefix in
why3-1.3.3/install-sh:410: *\'*) qprefix=`echo "$prefix" | sed "s/'/'\\\\\\\\''/g"`;;
why3-1.3.3/install-sh-411- *) qprefix=$prefix;;
##############################################
why3-1.3.3/install-sh-458- if $copy_on_change &&
why3-1.3.3/install-sh:459: old=`LC_ALL=C ls -dlL "$dst" 2>/dev/null` &&
why3-1.3.3/install-sh:460: new=`LC_ALL=C ls -dlL "$dsttmp" 2>/dev/null` &&
why3-1.3.3/install-sh-461- set -f &&
##############################################
why3-1.3.3/lib/isabelle/Tools/why3-33-{
why3-1.3.3/lib/isabelle/Tools/why3:34: BNAME=`basename "$1"`
why3-1.3.3/lib/isabelle/Tools/why3-35-
##############################################
why3-1.3.3/lib/isabelle/Tools/why3-70-
why3-1.3.3/lib/isabelle/Tools/why3:71:NAME=`dirname "$1"`/`basename "$1" .xml`
why3-1.3.3/lib/isabelle/Tools/why3-72-
##############################################
why3-1.3.3/plugins/microc/mc_parser.mly-137-| f=INCLUDE
why3-1.3.3/plugins/microc/mc_parser.mly:138: { Dinclude (mk_id f $startpos $endpos) }
why3-1.3.3/plugins/microc/mc_parser.mly-139-
##############################################
why3-1.3.3/plugins/tptp/tptp_parser.mly-65-| INCLUDE LEFTPAR SINGLE_QUOTED formula_selection RIGHTPAR DOT
why3-1.3.3/plugins/tptp/tptp_parser.mly:66: { Include (remove_quotes $3, $4, Why3.Loc.extract ($startpos, $endpos)) }
why3-1.3.3/plugins/tptp/tptp_parser.mly-67-
##############################################
why3-1.3.3/src/jessie/ACSLtoWhy3.ml-680- | Tif (_, _, _)
why3-1.3.3/src/jessie/ACSLtoWhy3.ml:681: | Tbase_addr (_, _)
why3-1.3.3/src/jessie/ACSLtoWhy3.ml-682- | Toffset (_, _)
##############################################
why3-1.3.3/src/jessie/ACSLtoWhy3.ml-1291- assignment denv lv e loc
why3-1.3.3/src/jessie/ACSLtoWhy3.ml:1292: | Asm _ ->
why3-1.3.3/src/jessie/ACSLtoWhy3.ml-1293- Self.not_yet_implemented "instr Asm"
##############################################
why3-1.3.3/src/jessie/ACSLtoWhy3.ml-1635- Self.not_yet_implemented "global: GPragma"
why3-1.3.3/src/jessie/ACSLtoWhy3.ml:1636: | GAsm (_, _) ->
why3-1.3.3/src/jessie/ACSLtoWhy3.ml-1637- Self.not_yet_implemented "global: GAsm"
##############################################
why3-1.3.3/src/jessie/ACSLtoWhy3_Ptree.ml-642- | Tif (_, _, _)
why3-1.3.3/src/jessie/ACSLtoWhy3_Ptree.ml:643: | Tbase_addr (_, _)
why3-1.3.3/src/jessie/ACSLtoWhy3_Ptree.ml-644- | Toffset (_, _)
##############################################
why3-1.3.3/src/jessie/ACSLtoWhy3_Ptree.ml-1179- assignment denv lv e loc
why3-1.3.3/src/jessie/ACSLtoWhy3_Ptree.ml:1180: | Asm _ ->
why3-1.3.3/src/jessie/ACSLtoWhy3_Ptree.ml-1181- Self.not_yet_implemented "instr Asm"
##############################################
why3-1.3.3/src/jessie/ACSLtoWhy3_Ptree.ml-1461- Self.not_yet_implemented "global: GPragma"
why3-1.3.3/src/jessie/ACSLtoWhy3_Ptree.ml:1462: | GAsm (_, _) ->
why3-1.3.3/src/jessie/ACSLtoWhy3_Ptree.ml-1463- Self.not_yet_implemented "global: GAsm"
##############################################
why3-1.3.3/configure-43-if test -z "$BASH_VERSION$ZSH_VERSION" \
why3-1.3.3/configure:44: && (test "X`print -r -- $as_echo`" = "X$as_echo") 2>/dev/null; then
why3-1.3.3/configure-45- as_echo='print -r --'
why3-1.3.3/configure-46- as_echo_n='print -rn --'
why3-1.3.3/configure:47:elif (test "X`printf %s $as_echo`" = "X$as_echo") 2>/dev/null; then
why3-1.3.3/configure-48- as_echo='printf %s\n'
##############################################
why3-1.3.3/configure-50-else
why3-1.3.3/configure:51: if test "X`(/usr/ucb/echo -n -n $as_echo) 2>/dev/null`" = "X-n $as_echo"; then
why3-1.3.3/configure-52- as_echo_body='eval /usr/ucb/echo -n "$1$as_nl"'
##############################################
why3-1.3.3/configure-60- expr "X$arg" : "X\\(.*\\)$as_nl";
why3-1.3.3/configure:61: arg=`expr "X$arg" : ".*$as_nl\\(.*\\)"`;;
why3-1.3.3/configure-62- esac;
##############################################
why3-1.3.3/configure-197- eval 'test \"x\$as_lineno_1'\$as_run'\" != \"x\$as_lineno_2'\$as_run'\" &&
why3-1.3.3/configure:198: test \"x\`expr \$as_lineno_1'\$as_run' + 1\`\" = \"x\$as_lineno_2'\$as_run'\"' || exit 1"
why3-1.3.3/configure-199- if (eval "$as_required") 2>/dev/null; then :
##############################################
why3-1.3.3/configure-323- case $as_dir in #(
why3-1.3.3/configure:324: *\'*) as_qdir=`$as_echo "$as_dir" | sed "s/'/'\\\\\\\\''/g"`;; #'(
why3-1.3.3/configure-325- *) as_qdir=$as_dir;;
##############################################
why3-1.3.3/configure-396- {
why3-1.3.3/configure:397: as_val=`expr "$@" || test $? -eq 1`
why3-1.3.3/configure-398- }
##############################################
why3-1.3.3/configure-403-# ----------------------------------------
why3-1.3.3/configure:404:# Output "`basename $0`: error: ERROR" to stderr. If LINENO and LOG_FD are
why3-1.3.3/configure-405-# provided, also output the error to LOG_FD, referencing LINENO. Then exit the
##############################################
why3-1.3.3/configure-466- eval 'test "x$as_lineno_1'$as_run'" != "x$as_lineno_2'$as_run'" &&
why3-1.3.3/configure:467: test "x`expr $as_lineno_1'$as_run' + 1`" = "x$as_lineno_2'$as_run'"' || {
why3-1.3.3/configure-468- # Blame Lee E. McMahon (1931-1989) for sed's syntax. :-)
##############################################
why3-1.3.3/configure-878- case $ac_option in
why3-1.3.3/configure:879: *=?*) ac_optarg=`expr "X$ac_option" : '[^=]*=\(.*\)'` ;;
why3-1.3.3/configure-880- *=) ac_optarg= ;;
##############################################
why3-1.3.3/configure-922- -disable-* | --disable-*)
why3-1.3.3/configure:923: ac_useropt=`expr "x$ac_option" : 'x-*disable-\(.*\)'`
why3-1.3.3/configure-924- # Reject names that are not valid shell variable names.
##############################################
why3-1.3.3/configure-927- ac_useropt_orig=$ac_useropt
why3-1.3.3/configure:928: ac_useropt=`$as_echo "$ac_useropt" | sed 's/[-+.]/_/g'`
why3-1.3.3/configure-929- case $ac_user_opts in
##############################################
why3-1.3.3/configure-948- -enable-* | --enable-*)
why3-1.3.3/configure:949: ac_useropt=`expr "x$ac_option" : 'x-*enable-\([^=]*\)'`
why3-1.3.3/configure-950- # Reject names that are not valid shell variable names.
##############################################
why3-1.3.3/configure-953- ac_useropt_orig=$ac_useropt
why3-1.3.3/configure:954: ac_useropt=`$as_echo "$ac_useropt" | sed 's/[-+.]/_/g'`
why3-1.3.3/configure-955- case $ac_user_opts in
##############################################
why3-1.3.3/configure-1161- -with-* | --with-*)
why3-1.3.3/configure:1162: ac_useropt=`expr "x$ac_option" : 'x-*with-\([^=]*\)'`
why3-1.3.3/configure-1163- # Reject names that are not valid shell variable names.
##############################################
why3-1.3.3/configure-1166- ac_useropt_orig=$ac_useropt
why3-1.3.3/configure:1167: ac_useropt=`$as_echo "$ac_useropt" | sed 's/[-+.]/_/g'`
why3-1.3.3/configure-1168- case $ac_user_opts in
##############################################
why3-1.3.3/configure-1177- -without-* | --without-*)
why3-1.3.3/configure:1178: ac_useropt=`expr "x$ac_option" : 'x-*without-\(.*\)'`
why3-1.3.3/configure-1179- # Reject names that are not valid shell variable names.
##############################################
why3-1.3.3/configure-1182- ac_useropt_orig=$ac_useropt
why3-1.3.3/configure:1183: ac_useropt=`$as_echo "$ac_useropt" | sed 's/[-+.]/_/g'`
why3-1.3.3/configure-1184- case $ac_user_opts in
##############################################
why3-1.3.3/configure-1215- *=*)
why3-1.3.3/configure:1216: ac_envvar=`expr "x$ac_option" : 'x\([^=]*\)='`
why3-1.3.3/configure-1217- # Reject names that are not valid shell variable names.
##############################################
why3-1.3.3/configure-1236-if test -n "$ac_prev"; then
why3-1.3.3/configure:1237: ac_option=--`echo $ac_prev | sed 's/_/-/g'`
why3-1.3.3/configure-1238- as_fn_error $? "missing argument to $ac_option"
##############################################
why3-1.3.3/configure-1258- */ )
why3-1.3.3/configure:1259: ac_val=`expr "X$ac_val" : 'X\(.*[^/]\)' \| "X$ac_val" : 'X\(.*\)'`
why3-1.3.3/configure-1260- eval $ac_var=\$ac_val;;
##############################################
why3-1.3.3/configure-1293-ac_ls_di=`ls -di .` &&
why3-1.3.3/configure:1294:ac_pwd_ls_di=`cd "$ac_pwd" && ls -di .` ||
why3-1.3.3/configure-1295- as_fn_error $? "working directory cannot be determined"
##############################################
why3-1.3.3/configure-1349-case $srcdir in
why3-1.3.3/configure:1350:*/) srcdir=`expr "X$srcdir" : 'X\(.*[^/]\)' \| "X$srcdir" : 'X\(.*\)'`;;
why3-1.3.3/configure-1351-esac
##############################################
why3-1.3.3/configure-1392-By default, \`make install' will install all the files in
why3-1.3.3/configure:1393:\`$ac_default_prefix/bin', \`$ac_default_prefix/lib' etc. You can specify
why3-1.3.3/configure:1394:an installation prefix other than \`$ac_default_prefix' using \`--prefix',
why3-1.3.3/configure-1395-for instance \`--prefix=\$HOME'.
##############################################
why3-1.3.3/configure-1488-*)
why3-1.3.3/configure:1489: ac_dir_suffix=/`$as_echo "$ac_dir" | sed 's|^\.[\\/]||'`
why3-1.3.3/configure-1490- # A ".." for each directory in $ac_dir_suffix.
why3-1.3.3/configure:1491: ac_top_builddir_sub=`$as_echo "$ac_dir_suffix" | sed 's|/[^\\/]*|/..|g;s|/||'`
why3-1.3.3/configure-1492- case $ac_top_builddir_sub in
##############################################
why3-1.3.3/configure-1662- *\'*)
why3-1.3.3/configure:1663: ac_arg=`$as_echo "$ac_arg" | sed "s/'/'\\\\\\\\''/g"` ;;
why3-1.3.3/configure-1664- esac
##############################################
why3-1.3.3/configure-1745- case $ac_val in
why3-1.3.3/configure:1746: *\'\''*) ac_val=`$as_echo "$ac_val" | sed "s/'\''/'\''\\\\\\\\'\'''\''/g"`;;
why3-1.3.3/configure-1747- esac
##############################################
why3-1.3.3/configure-1760- case $ac_val in
why3-1.3.3/configure:1761: *\'\''*) ac_val=`$as_echo "$ac_val" | sed "s/'\''/'\''\\\\\\\\'\'''\''/g"`;;
why3-1.3.3/configure-1762- esac
##############################################
why3-1.3.3/configure-1880- set,)
why3-1.3.3/configure:1881: { $as_echo "$as_me:${as_lineno-$LINENO}: error: \`$ac_var' was set to \`$ac_old_val' in the previous run" >&5
why3-1.3.3/configure:1882:$as_echo "$as_me: error: \`$ac_var' was set to \`$ac_old_val' in the previous run" >&2;}
why3-1.3.3/configure-1883- ac_cache_corrupted=: ;;
##############################################
why3-1.3.3/configure-1891- # differences in whitespace do not lead to failure.
why3-1.3.3/configure:1892: ac_old_val_w=`echo x $ac_old_val`
why3-1.3.3/configure:1893: ac_new_val_w=`echo x $ac_new_val`
why3-1.3.3/configure-1894- if test "$ac_old_val_w" != "$ac_new_val_w"; then
##############################################
why3-1.3.3/configure-1911- case $ac_new_val in
why3-1.3.3/configure:1912: *\'*) ac_arg=$ac_var=`$as_echo "$ac_new_val" | sed "s/'/'\\\\\\\\''/g"` ;;
why3-1.3.3/configure-1913- *) ac_arg=$ac_var=$ac_new_val ;;
##############################################
why3-1.3.3/configure-2531-$as_echo_n "checking whether the C compiler works... " >&6; }
why3-1.3.3/configure:2532:ac_link_default=`$as_echo "$ac_link" | sed 's/ -o *conftest[^ ]*//'`
why3-1.3.3/configure-2533-
##############################################
why3-1.3.3/configure-2575- then :; else
why3-1.3.3/configure:2576: ac_cv_exeext=`expr "$ac_file" : '[^.]*\(\..*\)'`
why3-1.3.3/configure-2577- fi
##############################################
why3-1.3.3/configure-2635- *.$ac_ext | *.xcoff | *.tds | *.d | *.pdb | *.xSYM | *.bb | *.bbg | *.map | *.inf | *.dSYM | *.o | *.obj ) ;;
why3-1.3.3/configure:2636: *.* ) ac_cv_exeext=`expr "$ac_file" : '[^.]*\(\..*\)'`
why3-1.3.3/configure-2637- break;;
##############################################
why3-1.3.3/configure-2744- *.$ac_ext | *.xcoff | *.tds | *.d | *.pdb | *.xSYM | *.bb | *.bbg | *.map | *.inf | *.dSYM ) ;;
why3-1.3.3/configure:2745: *) ac_cv_objext=`expr "$ac_file" : '.*\.\(.*\)'`
why3-1.3.3/configure-2746- break;;
##############################################
why3-1.3.3/configure-3310- as_fn_executable_p "$as_dir/$ac_prog$ac_exec_ext" || continue
why3-1.3.3/configure:3311: case `"$as_dir/$ac_prog$ac_exec_ext" --version 2>&1` in #(
why3-1.3.3/configure-3312- 'mkdir (GNU coreutils) '* | \
##############################################
why3-1.3.3/configure-3480-# we extract Ocaml version number
why3-1.3.3/configure:3481:OCAMLVERSION=`$OCAMLC -v | sed -n -e 's|.*version *\(.*\)$|\1|p'`
why3-1.3.3/configure-3482-echo "ocaml version is $OCAMLVERSION"
##############################################
why3-1.3.3/configure-3498-# Ocaml library path
why3-1.3.3/configure:3499:# old way: OCAMLLIB=`$OCAMLC -v | tail -1 | cut -f 4 -d ' ' | tr -d '\\r'`
why3-1.3.3/configure:3500:OCAMLLIB=`$OCAMLC -where | tr -d '\\r'`
why3-1.3.3/configure-3501-echo "ocaml library path is $OCAMLLIB"
##############################################
why3-1.3.3/configure-3550-$as_echo_n "checking ocamlopt version... " >&6; }
why3-1.3.3/configure:3551: TMPVERSION=`$OCAMLOPT -v | sed -n -e 's|.*version *\(.*\)$|\1|p'`
why3-1.3.3/configure-3552- if test "$TMPVERSION" != "$OCAMLVERSION" ; then
##############################################
why3-1.3.3/configure-3611-$as_echo_n "checking ocamlc.opt version... " >&6; }
why3-1.3.3/configure:3612: TMPVERSION=`$OCAMLCDOTOPT -v | sed -n -e 's|.*version *\(.*\)$|\1|p'`
why3-1.3.3/configure-3613- if test "$TMPVERSION" != "$OCAMLVERSION" ; then
##############################################
why3-1.3.3/configure-3665-$as_echo_n "checking ocamlc.opt version... " >&6; }
why3-1.3.3/configure:3666: TMPVER=`$OCAMLOPTDOTOPT -v | sed -n -e 's|.*version *\(.*\)$|\1|p'`
why3-1.3.3/configure-3667- if test "$TMPVER" != "$OCAMLVERSION" ; then
##############################################
why3-1.3.3/configure-4015-
why3-1.3.3/configure:4016:MENHIRVERSION=`$MENHIR --version | sed -n -e 's,.*version *\(.*\)$,\1,p'`
why3-1.3.3/configure-4017-as_arg_v1=$MENHIRVERSION
##############################################
why3-1.3.3/configure-4297- found_num=yes
why3-1.3.3/configure:4298: as_ac_File=`$as_echo "ac_cv_file_$DIR/nums.cma" | $as_tr_sh`
why3-1.3.3/configure-4299-{ $as_echo "$as_me:${as_lineno-$LINENO}: checking for $DIR/nums.cma" >&5
##############################################
why3-1.3.3/configure-4320-
why3-1.3.3/configure:4321: as_ac_File=`$as_echo "ac_cv_file_$DIR/num.cmi" | $as_tr_sh`
why3-1.3.3/configure-4322-{ $as_echo "$as_me:${as_lineno-$LINENO}: checking for $DIR/num.cmi" >&5
##############################################
why3-1.3.3/configure-4352- found_num=yes
why3-1.3.3/configure:4353: as_ac_File=`$as_echo "ac_cv_file_$DIR/nums.cma" | $as_tr_sh`
why3-1.3.3/configure-4354-{ $as_echo "$as_me:${as_lineno-$LINENO}: checking for $DIR/nums.cma" >&5
##############################################
why3-1.3.3/configure-4375-
why3-1.3.3/configure:4376: as_ac_File=`$as_echo "ac_cv_file_$DIR/num.cmi" | $as_tr_sh`
why3-1.3.3/configure-4377-{ $as_echo "$as_me:${as_lineno-$LINENO}: checking for $DIR/num.cmi" >&5
##############################################
why3-1.3.3/configure-4418- DIR="$OCAMLLIB/zarith"
why3-1.3.3/configure:4419: as_ac_File=`$as_echo "ac_cv_file_$DIR/zarith.cma" | $as_tr_sh`
why3-1.3.3/configure-4420-{ $as_echo "$as_me:${as_lineno-$LINENO}: checking for $DIR/zarith.cma" >&5
##############################################
why3-1.3.3/configure-4442- fi
why3-1.3.3/configure:4443: as_ac_File=`$as_echo "ac_cv_file_$DIR/z.cmi" | $as_tr_sh`
why3-1.3.3/configure-4444-{ $as_echo "$as_me:${as_lineno-$LINENO}: checking for $DIR/z.cmi" >&5
##############################################
why3-1.3.3/configure-4499- DIR="$OCAMLLIB/zip"
why3-1.3.3/configure:4500: as_ac_File=`$as_echo "ac_cv_file_$DIR/zip.cma" | $as_tr_sh`
why3-1.3.3/configure-4501-{ $as_echo "$as_me:${as_lineno-$LINENO}: checking for $DIR/zip.cma" >&5
##############################################
why3-1.3.3/configure-4523- fi
why3-1.3.3/configure:4524: as_ac_File=`$as_echo "ac_cv_file_$DIR/zip.cmi" | $as_tr_sh`
why3-1.3.3/configure-4525-{ $as_echo "$as_me:${as_lineno-$LINENO}: checking for $DIR/zip.cmi" >&5
##############################################
why3-1.3.3/configure-4579- DIR="$OCAMLLIB/menhirLib"
why3-1.3.3/configure:4580: as_ac_File=`$as_echo "ac_cv_file_$DIR/menhirLib.cmx" | $as_tr_sh`
why3-1.3.3/configure-4581-{ $as_echo "$as_me:${as_lineno-$LINENO}: checking for $DIR/menhirLib.cmx" >&5
##############################################
why3-1.3.3/configure-4603-fi
why3-1.3.3/configure:4604:as_ac_File=`$as_echo "ac_cv_file_$DIR/menhirLib.cmi" | $as_tr_sh`
why3-1.3.3/configure-4605-{ $as_echo "$as_me:${as_lineno-$LINENO}: checking for $DIR/menhirLib.cmi" >&5
##############################################
why3-1.3.3/configure-4640- found_seq=yes
why3-1.3.3/configure:4641: as_ac_File=`$as_echo "ac_cv_file_$DIR/seq.cma" | $as_tr_sh`
why3-1.3.3/configure-4642-{ $as_echo "$as_me:${as_lineno-$LINENO}: checking for $DIR/seq.cma" >&5
##############################################
why3-1.3.3/configure-4663-
why3-1.3.3/configure:4664: as_ac_File=`$as_echo "ac_cv_file_$DIR/seq.cmi" | $as_tr_sh`
why3-1.3.3/configure-4665-{ $as_echo "$as_me:${as_lineno-$LINENO}: checking for $DIR/seq.cmi" >&5
##############################################
why3-1.3.3/configure-4693- found_seq=yes
why3-1.3.3/configure:4694: as_ac_File=`$as_echo "ac_cv_file_$DIR/stdlib__seq.cmi" | $as_tr_sh`
why3-1.3.3/configure-4695-{ $as_echo "$as_me:${as_lineno-$LINENO}: checking for $DIR/stdlib__seq.cmi" >&5
##############################################
why3-1.3.3/configure-4742- DIR="$OCAMLLIB/re"
why3-1.3.3/configure:4743: as_ac_File=`$as_echo "ac_cv_file_$DIR/re.cmx" | $as_tr_sh`
why3-1.3.3/configure-4744-{ $as_echo "$as_me:${as_lineno-$LINENO}: checking for $DIR/re.cmx" >&5
##############################################
why3-1.3.3/configure-4766- fi
why3-1.3.3/configure:4767: as_ac_File=`$as_echo "ac_cv_file_$DIR/re.cmi" | $as_tr_sh`
why3-1.3.3/configure-4768-{ $as_echo "$as_me:${as_lineno-$LINENO}: checking for $DIR/re.cmi" >&5
##############################################
why3-1.3.3/configure-4822- fi
why3-1.3.3/configure:4823: as_ac_File=`$as_echo "ac_cv_file_$DIR/lablgtk.cma" | $as_tr_sh`
why3-1.3.3/configure-4824-{ $as_echo "$as_me:${as_lineno-$LINENO}: checking for $DIR/lablgtk.cma" >&5
##############################################
why3-1.3.3/configure-4843-
why3-1.3.3/configure:4844: as_ac_File=`$as_echo "ac_cv_file_$DIR/lablgtk3.cma" | $as_tr_sh`
why3-1.3.3/configure-4845-{ $as_echo "$as_me:${as_lineno-$LINENO}: checking for $DIR/lablgtk3.cma" >&5
##############################################
why3-1.3.3/configure-4864-
why3-1.3.3/configure:4865: as_ac_File=`$as_echo "ac_cv_file_$DIR/gtkButton.cmi" | $as_tr_sh`
why3-1.3.3/configure-4866-{ $as_echo "$as_me:${as_lineno-$LINENO}: checking for $DIR/gtkButton.cmi" >&5
##############################################
why3-1.3.3/configure-4913- DIR="$OCAMLLIB/lablgtk2"
why3-1.3.3/configure:4914: as_ac_File=`$as_echo "ac_cv_file_$DIR/lablgtk.cma" | $as_tr_sh`
why3-1.3.3/configure-4915-{ $as_echo "$as_me:${as_lineno-$LINENO}: checking for $DIR/lablgtk.cma" >&5
##############################################
why3-1.3.3/configure-4937- fi
why3-1.3.3/configure:4938: as_ac_File=`$as_echo "ac_cv_file_$DIR/gtkButton.cmi" | $as_tr_sh`
why3-1.3.3/configure-4939-{ $as_echo "$as_me:${as_lineno-$LINENO}: checking for $DIR/gtkButton.cmi" >&5
##############################################
why3-1.3.3/configure-4997- LIB_SOURCEVIEW="lablgtksourceview$GTKVERSION"
why3-1.3.3/configure:4998: as_ac_File=`$as_echo "ac_cv_file_$DIR/$LIB_SOURCEVIEW.cma" | $as_tr_sh`
why3-1.3.3/configure-4999-{ $as_echo "$as_me:${as_lineno-$LINENO}: checking for $DIR/$LIB_SOURCEVIEW.cma" >&5
##############################################
why3-1.3.3/configure-5024- LIB_SOURCEVIEW="lablgtk${GTKVERSION}_sourceview$GTKVERSION"
why3-1.3.3/configure:5025: as_ac_File=`$as_echo "ac_cv_file_$DIR/$LIB_SOURCEVIEW.cma" | $as_tr_sh`
why3-1.3.3/configure-5026-{ $as_echo "$as_me:${as_lineno-$LINENO}: checking for $DIR/$LIB_SOURCEVIEW.cma" >&5
##############################################
why3-1.3.3/configure-5048- fi
why3-1.3.3/configure:5049: as_ac_File=`$as_echo "ac_cv_file_$DIR/gSourceView$GTKVERSION.cmi" | $as_tr_sh`
why3-1.3.3/configure-5050-{ $as_echo "$as_me:${as_lineno-$LINENO}: checking for $DIR/gSourceView$GTKVERSION.cmi" >&5
##############################################
why3-1.3.3/configure-5110- DIR="$OCAMLLIB/ocamlgraph"
why3-1.3.3/configure:5111: as_ac_File=`$as_echo "ac_cv_file_$DIR/graph.cma" | $as_tr_sh`
why3-1.3.3/configure-5112-{ $as_echo "$as_me:${as_lineno-$LINENO}: checking for $DIR/graph.cma" >&5
##############################################
why3-1.3.3/configure-5134- fi
why3-1.3.3/configure:5135: as_ac_File=`$as_echo "ac_cv_file_$DIR/graph.cmi" | $as_tr_sh`
why3-1.3.3/configure-5136-{ $as_echo "$as_me:${as_lineno-$LINENO}: checking for $DIR/graph.cmi" >&5
##############################################
why3-1.3.3/configure-5222- MLMPFR_LINK="-cclib -lmpfr"
why3-1.3.3/configure:5223: as_ac_File=`$as_echo "ac_cv_file_$DIR/mlmpfr.cma" | $as_tr_sh`
why3-1.3.3/configure-5224-{ $as_echo "$as_me:${as_lineno-$LINENO}: checking for $DIR/mlmpfr.cma" >&5
##############################################
why3-1.3.3/configure-5338-if test "$enable_coq_support" = yes; then
why3-1.3.3/configure:5339: COQLIB=`$COQC -where | sed -e 's|\\\|/|g' -e 's| |\\ |g'`
why3-1.3.3/configure-5340- { $as_echo "$as_me:${as_lineno-$LINENO}: checking Coq version" >&5
why3-1.3.3/configure-5341-$as_echo_n "checking Coq version... " >&6; }
why3-1.3.3/configure:5342: COQVERSION=`$COQC -v | sed -n -e 's|.*version *\([^ ]*\) .*$|\1|p'`
why3-1.3.3/configure-5343- { $as_echo "$as_me:${as_lineno-$LINENO}: result: $COQVERSION" >&5
##############################################
why3-1.3.3/configure-5497- else
why3-1.3.3/configure:5498: PVSLIB=`$PVS -where`
why3-1.3.3/configure-5499- { $as_echo "$as_me:${as_lineno-$LINENO}: checking PVS version" >&5
why3-1.3.3/configure-5500-$as_echo_n "checking PVS version... " >&6; }
why3-1.3.3/configure:5501: PVSVERSION=`$PVS -version | sed -n -e 's|.*Version *\([^ ]*\)$|\1|p'`
why3-1.3.3/configure-5502-
##############################################
why3-1.3.3/configure-5581-$as_echo_n "checking Isabelle version... " >&6; }
why3-1.3.3/configure:5582: ISABELLEDETECTEDVERSION=`$ISABELLE version | sed -n -e 's|Isabelle\([^:]*\).*$|\1|p'`
why3-1.3.3/configure-5583-
##############################################
why3-1.3.3/configure-5617- reason_pvs_libs=" (no NASA PVS library in PVS_LIBRARY_PATH)"
why3-1.3.3/configure:5618: for dir in `echo $PVS_LIBRARY_PATH | tr ':' ' '`; do
why3-1.3.3/configure-5619- if test -f $dir/nasalib-version; then
##############################################
why3-1.3.3/configure-5676-$as_echo_n "checking Frama-C version... " >&6; }
why3-1.3.3/configure:5677: FRAMAC_VERSION=`$FRAMAC -version | sed -n -e 's|\(Version: \)\?\(.*\)$|\2|p'`
why3-1.3.3/configure-5678- { $as_echo "$as_me:${as_lineno-$LINENO}: result: $FRAMAC_VERSION" >&5
##############################################
why3-1.3.3/configure-5691-if test "$enable_frama_c" = yes; then
why3-1.3.3/configure:5692: FRAMAC_SHARE=`$FRAMAC -print-path`
why3-1.3.3/configure:5693: FRAMAC_LIBDIR=`$FRAMAC -print-libpath`
why3-1.3.3/configure-5694- FRAMAC_INCLUDE="-I $FRAMAC_LIBDIR"
##############################################
why3-1.3.3/configure-5953-'
why3-1.3.3/configure:5954:DEFS=`sed -n "$ac_script" confdefs.h`
why3-1.3.3/configure-5955-
##############################################
why3-1.3.3/configure-5962- ac_script='s/\$U\././;s/\.o$//;s/\.obj$//'
why3-1.3.3/configure:5963: ac_i=`$as_echo "$ac_i" | sed "$ac_script"`
why3-1.3.3/configure-5964- # 2. Prepend LIBOBJDIR. When used with automake>=1.10 LIBOBJDIR
##############################################
why3-1.3.3/configure-6029-if test -z "$BASH_VERSION$ZSH_VERSION" \
why3-1.3.3/configure:6030: && (test "X`print -r -- $as_echo`" = "X$as_echo") 2>/dev/null; then
why3-1.3.3/configure-6031- as_echo='print -r --'
why3-1.3.3/configure-6032- as_echo_n='print -rn --'
why3-1.3.3/configure:6033:elif (test "X`printf %s $as_echo`" = "X$as_echo") 2>/dev/null; then
why3-1.3.3/configure-6034- as_echo='printf %s\n'
##############################################
why3-1.3.3/configure-6036-else
why3-1.3.3/configure:6037: if test "X`(/usr/ucb/echo -n -n $as_echo) 2>/dev/null`" = "X-n $as_echo"; then
why3-1.3.3/configure-6038- as_echo_body='eval /usr/ucb/echo -n "$1$as_nl"'
##############################################
why3-1.3.3/configure-6046- expr "X$arg" : "X\\(.*\\)$as_nl";
why3-1.3.3/configure:6047: arg=`expr "X$arg" : ".*$as_nl\\(.*\\)"`;;
why3-1.3.3/configure-6048- esac;
##############################################
why3-1.3.3/configure-6123-# ----------------------------------------
why3-1.3.3/configure:6124:# Output "`basename $0`: error: ERROR" to stderr. If LINENO and LOG_FD are
why3-1.3.3/configure-6125-# provided, also output the error to LOG_FD, referencing LINENO. Then exit the
##############################################
why3-1.3.3/configure-6195- {
why3-1.3.3/configure:6196: as_val=`expr "$@" || test $? -eq 1`
why3-1.3.3/configure-6197- }
##############################################
why3-1.3.3/configure-6299- case $as_dir in #(
why3-1.3.3/configure:6300: *\'*) as_qdir=`$as_echo "$as_dir" | sed "s/'/'\\\\\\\\''/g"`;; #'(
why3-1.3.3/configure-6301- *) as_qdir=$as_dir;;
##############################################
why3-1.3.3/configure-6425-cat >>$CONFIG_STATUS <<_ACEOF || ac_write_fail=1
why3-1.3.3/configure:6426:ac_cs_config="`$as_echo "$ac_configure_args" | sed 's/^ //; s/[\\""\`\$]/\\\\&/g'`"
why3-1.3.3/configure-6427-ac_cs_version="\\
##############################################
why3-1.3.3/configure-6449- --*=?*)
why3-1.3.3/configure:6450: ac_option=`expr "X$1" : 'X\([^=]*\)='`
why3-1.3.3/configure:6451: ac_optarg=`expr "X$1" : 'X[^=]*=\(.*\)'`
why3-1.3.3/configure-6452- ac_shift=:
##############################################
why3-1.3.3/configure-6454- --*=)
why3-1.3.3/configure:6455: ac_option=`expr "X$1" : 'X\([^=]*\)='`
why3-1.3.3/configure-6456- ac_optarg=
##############################################
why3-1.3.3/configure-6478- case $ac_optarg in
why3-1.3.3/configure:6479: *\'*) ac_optarg=`$as_echo "$ac_optarg" | sed "s/'/'\\\\\\\\''/g"` ;;
why3-1.3.3/configure-6480- '') as_fn_error $? "missing file argument" ;;
##############################################
why3-1.3.3/configure-6603-fi
why3-1.3.3/configure:6604:ac_cs_awk_cr=`$AWK 'BEGIN { print "a\rb" }' </dev/null 2>/dev/null`
why3-1.3.3/configure-6605-if test "$ac_cs_awk_cr" = "a${ac_cr}b"; then
##############################################
why3-1.3.3/configure-6620- as_fn_error $? "could not make $CONFIG_STATUS" "$LINENO" 5
why3-1.3.3/configure:6621:ac_delim_num=`echo "$ac_subst_vars" | grep -c '^'`
why3-1.3.3/configure-6622-ac_delim='%!_!# '
##############################################
why3-1.3.3/configure-6626-
why3-1.3.3/configure:6627: ac_delim_n=`sed -n "s/.*$ac_delim\$/X/p" conf$$subs.awk | grep -c X`
why3-1.3.3/configure-6628- if test $ac_delim_n = $ac_delim_num; then
##############################################
why3-1.3.3/configure-6788- esac
why3-1.3.3/configure:6789: case $ac_f in *\'*) ac_f=`$as_echo "$ac_f" | sed "s/'/'\\\\\\\\''/g"`;; esac
why3-1.3.3/configure-6790- as_fn_append ac_file_inputs " '$ac_f'"
##############################################
why3-1.3.3/configure-6847-*)
why3-1.3.3/configure:6848: ac_dir_suffix=/`$as_echo "$ac_dir" | sed 's|^\.[\\/]||'`
why3-1.3.3/configure-6849- # A ".." for each directory in $ac_dir_suffix.
why3-1.3.3/configure:6850: ac_top_builddir_sub=`$as_echo "$ac_dir_suffix" | sed 's|/[^\\/]*|/..|g;s|/||'`
why3-1.3.3/configure-6851- case $ac_top_builddir_sub in
##############################################
why3-1.3.3/configure-6908-/@mandir@/p'
why3-1.3.3/configure:6909:case `eval "sed -n \"\$ac_sed_dataroot\" $ac_file_inputs"` in
why3-1.3.3/configure-6910-*datarootdir*) ac_datarootdir_seen=yes;;
##############################################
why3-1.3.3/configure-6925-
why3-1.3.3/configure:6926:# Neutralize VPATH when `$srcdir' = `.'.
why3-1.3.3/configure-6927-# Shell code in configure.ac might set extrasub.
##############################################
why3-1.3.3/configure-6953-test -z "$ac_datarootdir_hack$ac_datarootdir_seen" &&
why3-1.3.3/configure:6954: { ac_out=`sed -n '/\${datarootdir}/p' "$ac_tmp/out"`; test -n "$ac_out"; } &&
why3-1.3.3/configure-6955- { ac_out=`sed -n '/^[ ]*datarootdir[ ]*:*=/p' \
##############################################
why3-1.3.3/.pc/hardening-flags/Makefile.in-737- for x in `git ls-files */why3session.xml` ; do \
why3-1.3.3/.pc/hardening-flags/Makefile.in:738: f=`dirname $$x`; \
why3-1.3.3/.pc/hardening-flags/Makefile.in-739- if echo $$f | grep -q -e '\(_vc_sp\|^bignum\)$$'; then continue; fi; \
##############################################
why3-1.3.3/.pc/hardening-flags/Makefile.in-850- for i in share/images/*.rc; do \
why3-1.3.3/.pc/hardening-flags/Makefile.in:851: d=`basename $$i .rc`; \
why3-1.3.3/.pc/hardening-flags/Makefile.in-852- $(INSTALL_DATA) $$i $(DATADIR)/why3/images; \
##############################################
why3-1.3.3/Makefile.in-741- for x in `git ls-files */why3session.xml` ; do \
why3-1.3.3/Makefile.in:742: f=`dirname $$x`; \
why3-1.3.3/Makefile.in-743- if echo $$f | grep -q -e '\(_vc_sp\|^bignum\)$$'; then continue; fi; \
##############################################
why3-1.3.3/Makefile.in-854- for i in share/images/*.rc; do \
why3-1.3.3/Makefile.in:855: d=`basename $$i .rc`; \
why3-1.3.3/Makefile.in-856- $(INSTALL_DATA) $$i $(DATADIR)/why3/images; \