===========================================================
.___ __ __
_________________ __ __ __| _/|__|/ |_
/ ___\_` __ \__ \ | | \/ __ | | \\_ __\
/ /_/ > | \// __ \| | / /_/ | | || |
\___ /|__| (____ /____/\____ | |__||__|
/_____/ \/ \/
grep rough audit - static analysis tool
v2.8 written by @Wireghoul
=================================[justanotherhacker.com]===
matita-0.99.3/components/binaries/matitaprover/run_on_a_list.sh-8-> log
matita-0.99.3/components/binaries/matitaprover/run_on_a_list.sh:9:for PROBLEM in `cat $2`; do
matita-0.99.3/components/binaries/matitaprover/run_on_a_list.sh-10- echo running on $PROBLEM
##############################################
matita-0.99.3/components/binaries/matex/Makefile-22- @echo MaTeX: processing $<
matita-0.99.3/components/binaries/matex/Makefile:23: $(H)./matex.native -O test -l $(SRCS) -p -g -a $(REGISTRY) `cat $<`
matita-0.99.3/components/binaries/matex/Makefile-24-
##############################################
matita-0.99.3/components/ng_kernel/Makefile-28- cat depend.dot | grep -v "^}$$" > /tmp/depend.dot && mv /tmp/depend.dot .
matita-0.99.3/components/ng_kernel/Makefile:29: for i in `cat depend.dot | grep darkturquoise | cut -d '"' -f 2`; do j=`echo $$i | sed s/^N/n/g`; size=`cat $$j.ml | wc -l`; funs=`cat $$j.mli | grep "^val " | wc -l`; size=`expr $$size - 13`; echo "\"$$i\" [ label=\"$$i\\n$$size lines,\\n$$funs functions\"];"; done >> depend.dot
matita-0.99.3/components/ng_kernel/Makefile-30- echo "}" >> depend.dot
##############################################
matita-0.99.3/configure-43-if test -z "$BASH_VERSION$ZSH_VERSION" \
matita-0.99.3/configure:44: && (test "X`print -r -- $as_echo`" = "X$as_echo") 2>/dev/null; then
matita-0.99.3/configure-45- as_echo='print -r --'
matita-0.99.3/configure-46- as_echo_n='print -rn --'
matita-0.99.3/configure:47:elif (test "X`printf %s $as_echo`" = "X$as_echo") 2>/dev/null; then
matita-0.99.3/configure-48- as_echo='printf %s\n'
##############################################
matita-0.99.3/configure-50-else
matita-0.99.3/configure:51: if test "X`(/usr/ucb/echo -n -n $as_echo) 2>/dev/null`" = "X-n $as_echo"; then
matita-0.99.3/configure-52- as_echo_body='eval /usr/ucb/echo -n "$1$as_nl"'
##############################################
matita-0.99.3/configure-60- expr "X$arg" : "X\\(.*\\)$as_nl";
matita-0.99.3/configure:61: arg=`expr "X$arg" : ".*$as_nl\\(.*\\)"`;;
matita-0.99.3/configure-62- esac;
##############################################
matita-0.99.3/configure-197- eval 'test \"x\$as_lineno_1'\$as_run'\" != \"x\$as_lineno_2'\$as_run'\" &&
matita-0.99.3/configure:198: test \"x\`expr \$as_lineno_1'\$as_run' + 1\`\" = \"x\$as_lineno_2'\$as_run'\"' || exit 1"
matita-0.99.3/configure-199- if (eval "$as_required") 2>/dev/null; then :
##############################################
matita-0.99.3/configure-323- case $as_dir in #(
matita-0.99.3/configure:324: *\'*) as_qdir=`$as_echo "$as_dir" | sed "s/'/'\\\\\\\\''/g"`;; #'(
matita-0.99.3/configure-325- *) as_qdir=$as_dir;;
##############################################
matita-0.99.3/configure-396- {
matita-0.99.3/configure:397: as_val=`expr "$@" || test $? -eq 1`
matita-0.99.3/configure-398- }
##############################################
matita-0.99.3/configure-403-# ----------------------------------------
matita-0.99.3/configure:404:# Output "`basename $0`: error: ERROR" to stderr. If LINENO and LOG_FD are
matita-0.99.3/configure-405-# provided, also output the error to LOG_FD, referencing LINENO. Then exit the
##############################################
matita-0.99.3/configure-466- eval 'test "x$as_lineno_1'$as_run'" != "x$as_lineno_2'$as_run'" &&
matita-0.99.3/configure:467: test "x`expr $as_lineno_1'$as_run' + 1`" = "x$as_lineno_2'$as_run'"' || {
matita-0.99.3/configure-468- # Blame Lee E. McMahon (1931-1989) for sed's syntax. :-)
##############################################
matita-0.99.3/configure-718- case $ac_option in
matita-0.99.3/configure:719: *=?*) ac_optarg=`expr "X$ac_option" : '[^=]*=\(.*\)'` ;;
matita-0.99.3/configure-720- *=) ac_optarg= ;;
##############################################
matita-0.99.3/configure-762- -disable-* | --disable-*)
matita-0.99.3/configure:763: ac_useropt=`expr "x$ac_option" : 'x-*disable-\(.*\)'`
matita-0.99.3/configure-764- # Reject names that are not valid shell variable names.
##############################################
matita-0.99.3/configure-767- ac_useropt_orig=$ac_useropt
matita-0.99.3/configure:768: ac_useropt=`$as_echo "$ac_useropt" | sed 's/[-+.]/_/g'`
matita-0.99.3/configure-769- case $ac_user_opts in
##############################################
matita-0.99.3/configure-788- -enable-* | --enable-*)
matita-0.99.3/configure:789: ac_useropt=`expr "x$ac_option" : 'x-*enable-\([^=]*\)'`
matita-0.99.3/configure-790- # Reject names that are not valid shell variable names.
##############################################
matita-0.99.3/configure-793- ac_useropt_orig=$ac_useropt
matita-0.99.3/configure:794: ac_useropt=`$as_echo "$ac_useropt" | sed 's/[-+.]/_/g'`
matita-0.99.3/configure-795- case $ac_user_opts in
##############################################
matita-0.99.3/configure-1001- -with-* | --with-*)
matita-0.99.3/configure:1002: ac_useropt=`expr "x$ac_option" : 'x-*with-\([^=]*\)'`
matita-0.99.3/configure-1003- # Reject names that are not valid shell variable names.
##############################################
matita-0.99.3/configure-1006- ac_useropt_orig=$ac_useropt
matita-0.99.3/configure:1007: ac_useropt=`$as_echo "$ac_useropt" | sed 's/[-+.]/_/g'`
matita-0.99.3/configure-1008- case $ac_user_opts in
##############################################
matita-0.99.3/configure-1017- -without-* | --without-*)
matita-0.99.3/configure:1018: ac_useropt=`expr "x$ac_option" : 'x-*without-\(.*\)'`
matita-0.99.3/configure-1019- # Reject names that are not valid shell variable names.
##############################################
matita-0.99.3/configure-1022- ac_useropt_orig=$ac_useropt
matita-0.99.3/configure:1023: ac_useropt=`$as_echo "$ac_useropt" | sed 's/[-+.]/_/g'`
matita-0.99.3/configure-1024- case $ac_user_opts in
##############################################
matita-0.99.3/configure-1055- *=*)
matita-0.99.3/configure:1056: ac_envvar=`expr "x$ac_option" : 'x\([^=]*\)='`
matita-0.99.3/configure-1057- # Reject names that are not valid shell variable names.
##############################################
matita-0.99.3/configure-1076-if test -n "$ac_prev"; then
matita-0.99.3/configure:1077: ac_option=--`echo $ac_prev | sed 's/_/-/g'`
matita-0.99.3/configure-1078- as_fn_error $? "missing argument to $ac_option"
##############################################
matita-0.99.3/configure-1098- */ )
matita-0.99.3/configure:1099: ac_val=`expr "X$ac_val" : 'X\(.*[^/]\)' \| "X$ac_val" : 'X\(.*\)'`
matita-0.99.3/configure-1100- eval $ac_var=\$ac_val;;
##############################################
matita-0.99.3/configure-1133-ac_ls_di=`ls -di .` &&
matita-0.99.3/configure:1134:ac_pwd_ls_di=`cd "$ac_pwd" && ls -di .` ||
matita-0.99.3/configure-1135- as_fn_error $? "working directory cannot be determined"
##############################################
matita-0.99.3/configure-1189-case $srcdir in
matita-0.99.3/configure:1190:*/) srcdir=`expr "X$srcdir" : 'X\(.*[^/]\)' \| "X$srcdir" : 'X\(.*\)'`;;
matita-0.99.3/configure-1191-esac
##############################################
matita-0.99.3/configure-1232-By default, \`make install' will install all the files in
matita-0.99.3/configure:1233:\`$ac_default_prefix/bin', \`$ac_default_prefix/lib' etc. You can specify
matita-0.99.3/configure:1234:an installation prefix other than \`$ac_default_prefix' using \`--prefix',
matita-0.99.3/configure-1235-for instance \`--prefix=\$HOME'.
##############################################
matita-0.99.3/configure-1298-*)
matita-0.99.3/configure:1299: ac_dir_suffix=/`$as_echo "$ac_dir" | sed 's|^\.[\\/]||'`
matita-0.99.3/configure-1300- # A ".." for each directory in $ac_dir_suffix.
matita-0.99.3/configure:1301: ac_top_builddir_sub=`$as_echo "$ac_dir_suffix" | sed 's|/[^\\/]*|/..|g;s|/||'`
matita-0.99.3/configure-1302- case $ac_top_builddir_sub in
##############################################
matita-0.99.3/configure-1434- *\'*)
matita-0.99.3/configure:1435: ac_arg=`$as_echo "$ac_arg" | sed "s/'/'\\\\\\\\''/g"` ;;
matita-0.99.3/configure-1436- esac
##############################################
matita-0.99.3/configure-1517- case $ac_val in
matita-0.99.3/configure:1518: *\'\''*) ac_val=`$as_echo "$ac_val" | sed "s/'\''/'\''\\\\\\\\'\'''\''/g"`;;
matita-0.99.3/configure-1519- esac
##############################################
matita-0.99.3/configure-1532- case $ac_val in
matita-0.99.3/configure:1533: *\'\''*) ac_val=`$as_echo "$ac_val" | sed "s/'\''/'\''\\\\\\\\'\'''\''/g"`;;
matita-0.99.3/configure-1534- esac
##############################################
matita-0.99.3/configure-1652- set,)
matita-0.99.3/configure:1653: { $as_echo "$as_me:${as_lineno-$LINENO}: error: \`$ac_var' was set to \`$ac_old_val' in the previous run" >&5
matita-0.99.3/configure:1654:$as_echo "$as_me: error: \`$ac_var' was set to \`$ac_old_val' in the previous run" >&2;}
matita-0.99.3/configure-1655- ac_cache_corrupted=: ;;
##############################################
matita-0.99.3/configure-1663- # differences in whitespace do not lead to failure.
matita-0.99.3/configure:1664: ac_old_val_w=`echo x $ac_old_val`
matita-0.99.3/configure:1665: ac_new_val_w=`echo x $ac_new_val`
matita-0.99.3/configure-1666- if test "$ac_old_val_w" != "$ac_new_val_w"; then
##############################################
matita-0.99.3/configure-1683- case $ac_new_val in
matita-0.99.3/configure:1684: *\'*) ac_arg=$ac_var=`$as_echo "$ac_new_val" | sed "s/'/'\\\\\\\\''/g"` ;;
matita-0.99.3/configure-1685- *) ac_arg=$ac_var=$ac_new_val ;;
##############################################
matita-0.99.3/configure-1943-for f in $OCAMLPATH/meta.*.src; do
matita-0.99.3/configure:1944: basename=`basename $f`
matita-0.99.3/configure:1945: metaname=`echo $basename | sed 's/meta\.\(.*\)\.src/\1/'`
matita-0.99.3/configure:1946: dirname=`echo $metaname | sed 's/^helm-//'`
matita-0.99.3/configure-1947- metafile="$OCAMLPATH/META.$metaname"
##############################################
matita-0.99.3/configure-2248-'
matita-0.99.3/configure:2249:DEFS=`sed -n "$ac_script" confdefs.h`
matita-0.99.3/configure-2250-
##############################################
matita-0.99.3/configure-2257- ac_script='s/\$U\././;s/\.o$//;s/\.obj$//'
matita-0.99.3/configure:2258: ac_i=`$as_echo "$ac_i" | sed "$ac_script"`
matita-0.99.3/configure-2259- # 2. Prepend LIBOBJDIR. When used with automake>=1.10 LIBOBJDIR
##############################################
matita-0.99.3/configure-2324-if test -z "$BASH_VERSION$ZSH_VERSION" \
matita-0.99.3/configure:2325: && (test "X`print -r -- $as_echo`" = "X$as_echo") 2>/dev/null; then
matita-0.99.3/configure-2326- as_echo='print -r --'
matita-0.99.3/configure-2327- as_echo_n='print -rn --'
matita-0.99.3/configure:2328:elif (test "X`printf %s $as_echo`" = "X$as_echo") 2>/dev/null; then
matita-0.99.3/configure-2329- as_echo='printf %s\n'
##############################################
matita-0.99.3/configure-2331-else
matita-0.99.3/configure:2332: if test "X`(/usr/ucb/echo -n -n $as_echo) 2>/dev/null`" = "X-n $as_echo"; then
matita-0.99.3/configure-2333- as_echo_body='eval /usr/ucb/echo -n "$1$as_nl"'
##############################################
matita-0.99.3/configure-2341- expr "X$arg" : "X\\(.*\\)$as_nl";
matita-0.99.3/configure:2342: arg=`expr "X$arg" : ".*$as_nl\\(.*\\)"`;;
matita-0.99.3/configure-2343- esac;
##############################################
matita-0.99.3/configure-2418-# ----------------------------------------
matita-0.99.3/configure:2419:# Output "`basename $0`: error: ERROR" to stderr. If LINENO and LOG_FD are
matita-0.99.3/configure-2420-# provided, also output the error to LOG_FD, referencing LINENO. Then exit the
##############################################
matita-0.99.3/configure-2490- {
matita-0.99.3/configure:2491: as_val=`expr "$@" || test $? -eq 1`
matita-0.99.3/configure-2492- }
##############################################
matita-0.99.3/configure-2594- case $as_dir in #(
matita-0.99.3/configure:2595: *\'*) as_qdir=`$as_echo "$as_dir" | sed "s/'/'\\\\\\\\''/g"`;; #'(
matita-0.99.3/configure-2596- *) as_qdir=$as_dir;;
##############################################
matita-0.99.3/configure-2716-cat >>$CONFIG_STATUS <<_ACEOF || ac_write_fail=1
matita-0.99.3/configure:2717:ac_cs_config="`$as_echo "$ac_configure_args" | sed 's/^ //; s/[\\""\`\$]/\\\\&/g'`"
matita-0.99.3/configure-2718-ac_cs_version="\\
##############################################
matita-0.99.3/configure-2738- --*=?*)
matita-0.99.3/configure:2739: ac_option=`expr "X$1" : 'X\([^=]*\)='`
matita-0.99.3/configure:2740: ac_optarg=`expr "X$1" : 'X[^=]*=\(.*\)'`
matita-0.99.3/configure-2741- ac_shift=:
##############################################
matita-0.99.3/configure-2743- --*=)
matita-0.99.3/configure:2744: ac_option=`expr "X$1" : 'X\([^=]*\)='`
matita-0.99.3/configure-2745- ac_optarg=
##############################################
matita-0.99.3/configure-2767- case $ac_optarg in
matita-0.99.3/configure:2768: *\'*) ac_optarg=`$as_echo "$ac_optarg" | sed "s/'/'\\\\\\\\''/g"` ;;
matita-0.99.3/configure-2769- '') as_fn_error $? "missing file argument" ;;
##############################################
matita-0.99.3/configure-2887-fi
matita-0.99.3/configure:2888:ac_cs_awk_cr=`$AWK 'BEGIN { print "a\rb" }' </dev/null 2>/dev/null`
matita-0.99.3/configure-2889-if test "$ac_cs_awk_cr" = "a${ac_cr}b"; then
##############################################
matita-0.99.3/configure-2904- as_fn_error $? "could not make $CONFIG_STATUS" "$LINENO" 5
matita-0.99.3/configure:2905:ac_delim_num=`echo "$ac_subst_vars" | grep -c '^'`
matita-0.99.3/configure-2906-ac_delim='%!_!# '
##############################################
matita-0.99.3/configure-2910-
matita-0.99.3/configure:2911: ac_delim_n=`sed -n "s/.*$ac_delim\$/X/p" conf$$subs.awk | grep -c X`
matita-0.99.3/configure-2912- if test $ac_delim_n = $ac_delim_num; then
##############################################
matita-0.99.3/configure-3072- esac
matita-0.99.3/configure:3073: case $ac_f in *\'*) ac_f=`$as_echo "$ac_f" | sed "s/'/'\\\\\\\\''/g"`;; esac
matita-0.99.3/configure-3074- as_fn_append ac_file_inputs " '$ac_f'"
##############################################
matita-0.99.3/configure-3131-*)
matita-0.99.3/configure:3132: ac_dir_suffix=/`$as_echo "$ac_dir" | sed 's|^\.[\\/]||'`
matita-0.99.3/configure-3133- # A ".." for each directory in $ac_dir_suffix.
matita-0.99.3/configure:3134: ac_top_builddir_sub=`$as_echo "$ac_dir_suffix" | sed 's|/[^\\/]*|/..|g;s|/||'`
matita-0.99.3/configure-3135- case $ac_top_builddir_sub in
##############################################
matita-0.99.3/configure-3183-/@mandir@/p'
matita-0.99.3/configure:3184:case `eval "sed -n \"\$ac_sed_dataroot\" $ac_file_inputs"` in
matita-0.99.3/configure-3185-*datarootdir*) ac_datarootdir_seen=yes;;
##############################################
matita-0.99.3/configure-3200-
matita-0.99.3/configure:3201:# Neutralize VPATH when `$srcdir' = `.'.
matita-0.99.3/configure-3202-# Shell code in configure.ac might set extrasub.
##############################################
matita-0.99.3/configure-3226-test -z "$ac_datarootdir_hack$ac_datarootdir_seen" &&
matita-0.99.3/configure:3227: { ac_out=`sed -n '/\${datarootdir}/p' "$ac_tmp/out"`; test -n "$ac_out"; } &&
matita-0.99.3/configure-3228- { ac_out=`sed -n '/^[ ]*datarootdir[ ]*:*=/p' \
##############################################
matita-0.99.3/matita/dist/fill_db.sh-42-for arg in $creator_args; do
matita-0.99.3/matita/dist/fill_db.sh:43: appendsql "`$TABLE_CREATOR $arg all`"
matita-0.99.3/matita/dist/fill_db.sh-44-done
##############################################
matita-0.99.3/matita/Makefile-209-
matita-0.99.3/matita/Makefile:210:WHERE = $(DESTDIR)/$(RT_BASE_DIR)
matita-0.99.3/matita/Makefile-211-INSTALL_STUFF = \
##############################################
matita-0.99.3/.pc/0001-remove-dependency-on-mysql.patch/configure.ac-48-for f in $OCAMLPATH/meta.*.src; do
matita-0.99.3/.pc/0001-remove-dependency-on-mysql.patch/configure.ac:49: basename=`basename $f`
matita-0.99.3/.pc/0001-remove-dependency-on-mysql.patch/configure.ac:50: metaname=`echo $basename | sed 's/meta\.\(.*\)\.src/\1/'`
matita-0.99.3/.pc/0001-remove-dependency-on-mysql.patch/configure.ac:51: dirname=`echo $metaname | sed 's/^helm-//'`
matita-0.99.3/.pc/0001-remove-dependency-on-mysql.patch/configure.ac-52- metafile="$OCAMLPATH/META.$metaname"
##############################################
matita-0.99.3/configure.ac-48-for f in $OCAMLPATH/meta.*.src; do
matita-0.99.3/configure.ac:49: basename=`basename $f`
matita-0.99.3/configure.ac:50: metaname=`echo $basename | sed 's/meta\.\(.*\)\.src/\1/'`
matita-0.99.3/configure.ac:51: dirname=`echo $metaname | sed 's/^helm-//'`
matita-0.99.3/configure.ac-52- metafile="$OCAMLPATH/META.$metaname"