===========================================================
.___ __ __
_________________ __ __ __| _/|__|/ |_
/ ___\_` __ \__ \ | | \/ __ | | \\_ __\
/ /_/ > | \// __ \| | / /_/ | | || |
\___ /|__| (____ /____/\____ | |__||__|
/_____/ \/ \/
grep rough audit - static analysis tool
v2.8 written by @Wireghoul
=================================[justanotherhacker.com]===
proofgeneral-4.4.1~pre170114/Makefile.devel-200-test.%:
proofgeneral-4.4.1~pre170114/Makefile.devel:201: if [ -f "$*/$*-autotest.el" ]; then if $(EMACS) $(EMACSFLAGS) -l generic/proof-site.el $*/$*-autotest.el -f eval-current-buffer; then echo "Autotests for $* run successfully on `date`"; else cat $*/.autotest.log; echo "Autotests for $* ran with failures on `date`"; exit 1; fi; fi
proofgeneral-4.4.1~pre170114/Makefile.devel-202-
proofgeneral-4.4.1~pre170114/Makefile.devel-203-profile.%:
proofgeneral-4.4.1~pre170114/Makefile.devel:204: if [ -f "$*/$*-profiling.el" ]; then if $(EMACS) $(EMACSFLAGS) -l generic/proof-site.el $*/$*-profiling.el -f eval-current-buffer; then echo "Profiling for $* run successfully on `date`"; else echo "Profiling for $* ran with failures on `date`"; exit 1; fi; cat $*/.profile.log; fi
proofgeneral-4.4.1~pre170114/Makefile.devel-205-
##############################################
proofgeneral-4.4.1~pre170114/bin/proofgeneral-24-
proofgeneral-4.4.1~pre170114/bin/proofgeneral:25:NAME=`basename $0`
proofgeneral-4.4.1~pre170114/bin/proofgeneral-26-
##############################################
proofgeneral-4.4.1~pre170114/bin/proofgeneral-65- --version|-v)
proofgeneral-4.4.1~pre170114/bin/proofgeneral:66: VERSION=`grep proof-general-version $PGHOME/generic/proof-site.el | head -1 | sed -e 's/.*Version //g' | sed -e 's/\. .*//g'`
proofgeneral-4.4.1~pre170114/bin/proofgeneral-67- echo "$NAME" "--- script to launch Proof General $VERSION"
##############################################
proofgeneral-4.4.1~pre170114/bin/proofgeneral-76- # default relative to this script, otherwise PGHOMEDEFAULT
proofgeneral-4.4.1~pre170114/bin/proofgeneral:77: MYDIR="`readlink --canonicalize "$0" | sed -ne 's,/bin/proofgeneral$,,p'`"
proofgeneral-4.4.1~pre170114/bin/proofgeneral-78- if [ -d "$MYDIR/generic" ]; then
##############################################
proofgeneral-4.4.1~pre170114/coq/coq.el-1309- ;; Show iff show non nil and some proof is under way
proofgeneral-4.4.1~pre170114/coq/coq.el:1310: (when (and show (not (null (caddr (coq-last-prompt-info-safe)))))
proofgeneral-4.4.1~pre170114/coq/coq.el-1311- (proof-shell-invisible-command (format "Show.") t nil 'no-error-display)))))
##############################################
proofgeneral-4.4.1~pre170114/coq/coqtags-28- while($d>0 && $a=~/\(\*|\*\)/)
proofgeneral-4.4.1~pre170114/coq/coqtags:29: { $a=$'; $cp+=2+length $`; $lp+=(($wombat=$`)=~tr/\n/\n/);
proofgeneral-4.4.1~pre170114/coq/coqtags-30- if($& eq "(*") {$d++} else {$d--};
##############################################
proofgeneral-4.4.1~pre170114/etc/ProofGeneral.spec-51-# Rename READMEs in subdirs to avoid clashes
proofgeneral-4.4.1~pre170114/etc/ProofGeneral.spec:52:for f in */README; do mv $f $f.`dirname $f`; done
proofgeneral-4.4.1~pre170114/etc/ProofGeneral.spec-53-
##############################################
proofgeneral-4.4.1~pre170114/etc/coq/multiple/Makefile-101-all.ps: $(VFILES)
proofgeneral-4.4.1~pre170114/etc/coq/multiple/Makefile:102: $(COQDOC) -ps -o $@ `$(COQDEP) -sort -suffix .v $(VFILES)`
proofgeneral-4.4.1~pre170114/etc/coq/multiple/Makefile-103-
proofgeneral-4.4.1~pre170114/etc/coq/multiple/Makefile-104-all-gal.ps: $(VFILES)
proofgeneral-4.4.1~pre170114/etc/coq/multiple/Makefile:105: $(COQDOC) -ps -g -o $@ `$(COQDEP) -sort -suffix .v $(VFILES)`
proofgeneral-4.4.1~pre170114/etc/coq/multiple/Makefile-106-
##############################################
proofgeneral-4.4.1~pre170114/etc/coq/multiple/Makefile-153-install:
proofgeneral-4.4.1~pre170114/etc/coq/multiple/Makefile:154: mkdir -p `$(COQC) -where`/user-contrib
proofgeneral-4.4.1~pre170114/etc/coq/multiple/Makefile:155: cp -f *.vo `$(COQC) -where`/user-contrib
proofgeneral-4.4.1~pre170114/etc/coq/multiple/Makefile-156-
##############################################
proofgeneral-4.4.1~pre170114/etc/isar/Trac280-subrev.thy-6-proof -
proofgeneral-4.4.1~pre170114/etc/isar/Trac280-subrev.thy:7: from asm obtain "P\<^isub>i" and "Q\<^isub>i"
proofgeneral-4.4.1~pre170114/etc/isar/Trac280-subrev.thy-8- by blast
##############################################
proofgeneral-4.4.1~pre170114/hol-light/TacticRecording/xtactics.ml-288-
proofgeneral-4.4.1~pre170114/hol-light/TacticRecording/xtactics.ml:289:let (xASM :(xthm list -> xtactic)->(xthm list -> xtactic)) =
proofgeneral-4.4.1~pre170114/hol-light/TacticRecording/xtactics.ml-290- fun tltac ths
##############################################
proofgeneral-4.4.1~pre170114/images/epg-info.xpm-127-" Q R S r : T U V W X Y Z R Q ",
proofgeneral-4.4.1~pre170114/images/epg-info.xpm:128:" ` ...+.@.#.#.@.$.%. .` ",
proofgeneral-4.4.1~pre170114/images/epg-info.xpm-129-" . &.*.=.-.-.=.*.&.. ",
##############################################
proofgeneral-4.4.1~pre170114/isar/isartags-31- while($d>0 && $a=~/\(\*|\*\)/)
proofgeneral-4.4.1~pre170114/isar/isartags:32: { $a=$'; $cp+=2+length $`; $lp+=(($wombat=$`)=~tr/\n/\n/);
proofgeneral-4.4.1~pre170114/isar/isartags-33- if($& eq "(*") {$d++} else {$d--};
##############################################
proofgeneral-4.4.1~pre170114/lego/legotags-28- while($d>0 && $a=~/\(\*|\*\)/)
proofgeneral-4.4.1~pre170114/lego/legotags:29: { $a=$'; $cp+=2+length $`; $lp+=(($wombat=$`)=~tr/\n/\n/);
proofgeneral-4.4.1~pre170114/lego/legotags-30- if($& eq "(*") {$d++} else {$d--};
##############################################
proofgeneral-4.4.1~pre170114/debian/emacsen-install-21-
proofgeneral-4.4.1~pre170114/debian/emacsen-install:22:#FLAVORTEST=`echo $FLAVOR | cut -c-6`
proofgeneral-4.4.1~pre170114/debian/emacsen-install-23-#if [ ${FLAVORTEST} = xemacs ] ; then
##############################################
proofgeneral-4.4.1~pre170114/debian/emacsen-install-38- cd ${ELDIR}
proofgeneral-4.4.1~pre170114/debian/emacsen-install:39: FILES=`echo ${d}/*el`
proofgeneral-4.4.1~pre170114/debian/emacsen-install-40- ALLFILES="${ALLFILES} ${FILES}"
##############################################
proofgeneral-4.4.1~pre170114/.pc/restrict-installed-provers.patch/Makefile-64-ERROR_ON_WARN = nil
proofgeneral-4.4.1~pre170114/.pc/restrict-installed-provers.patch/Makefile:65:BYTECOMP = $(BATCHEMACS) -eval '(setq load-path (append (mapcar (lambda (d) (expand-file-name (symbol-name d))) (quote (${ELISP_DIRS}))) load-path))' -eval '(progn (require (quote bytecomp)) (require (quote mouse)) (require (quote tool-bar)) (require (quote fontset)) (setq byte-compile-warnings (remove (quote cl-functions) (remove (quote noruntime) byte-compile-warning-types))) (setq byte-compile-error-on-warn $(ERROR_ON_WARN)))' -f batch-byte-compile
proofgeneral-4.4.1~pre170114/.pc/restrict-installed-provers.patch/Makefile-66-EL=$(shell for f in $(ELISP_DIRS); do ls $$f/*.el; done)
##############################################
proofgeneral-4.4.1~pre170114/.pc/restrict-installed-provers.patch/Makefile-224- for f in ${DOC_FILES}; do cp -pf $$f ${DOCDIR}; done
proofgeneral-4.4.1~pre170114/.pc/restrict-installed-provers.patch/Makefile:225: for f in ${DOC_EXAMPLES}; do mkdir -p ${DOCDIR}/`dirname $$f`; cp -pf $$f ${DOCDIR}/$$f; done
proofgeneral-4.4.1~pre170114/.pc/restrict-installed-provers.patch/Makefile-226-
##############################################
proofgeneral-4.4.1~pre170114/.pc/dont-install-mmm-mode.patch/Makefile-64-ERROR_ON_WARN = nil
proofgeneral-4.4.1~pre170114/.pc/dont-install-mmm-mode.patch/Makefile:65:BYTECOMP = $(BATCHEMACS) -eval '(setq load-path (append (mapcar (lambda (d) (expand-file-name (symbol-name d))) (quote (${ELISP_DIRS}))) load-path))' -eval '(progn (require (quote bytecomp)) (require (quote mouse)) (require (quote tool-bar)) (require (quote fontset)) (setq byte-compile-warnings (remove (quote cl-functions) (remove (quote noruntime) byte-compile-warning-types))) (setq byte-compile-error-on-warn $(ERROR_ON_WARN)))' -f batch-byte-compile
proofgeneral-4.4.1~pre170114/.pc/dont-install-mmm-mode.patch/Makefile-66-EL=$(shell for f in $(ELISP_DIRS); do ls $$f/*.el; done)
##############################################
proofgeneral-4.4.1~pre170114/.pc/dont-install-mmm-mode.patch/Makefile-224- for f in ${DOC_FILES}; do cp -pf $$f ${DOCDIR}; done
proofgeneral-4.4.1~pre170114/.pc/dont-install-mmm-mode.patch/Makefile:225: for f in ${DOC_EXAMPLES}; do mkdir -p ${DOCDIR}/`dirname $$f`; cp -pf $$f ${DOCDIR}/$$f; done
proofgeneral-4.4.1~pre170114/.pc/dont-install-mmm-mode.patch/Makefile-226-
##############################################
proofgeneral-4.4.1~pre170114/.pc/fix-package-name-in-install-path.patch/Makefile-64-ERROR_ON_WARN = nil
proofgeneral-4.4.1~pre170114/.pc/fix-package-name-in-install-path.patch/Makefile:65:BYTECOMP = $(BATCHEMACS) -eval '(setq load-path (append (mapcar (lambda (d) (expand-file-name (symbol-name d))) (quote (${ELISP_DIRS}))) load-path))' -eval '(progn (require (quote bytecomp)) (require (quote mouse)) (require (quote tool-bar)) (require (quote fontset)) (setq byte-compile-warnings (remove (quote cl-functions) (remove (quote noruntime) byte-compile-warning-types))) (setq byte-compile-error-on-warn $(ERROR_ON_WARN)))' -f batch-byte-compile
proofgeneral-4.4.1~pre170114/.pc/fix-package-name-in-install-path.patch/Makefile-66-EL=$(shell for f in $(ELISP_DIRS); do ls $$f/*.el; done)
##############################################
proofgeneral-4.4.1~pre170114/.pc/fix-package-name-in-install-path.patch/Makefile-224- for f in ${DOC_FILES}; do cp -pf $$f ${DOCDIR}; done
proofgeneral-4.4.1~pre170114/.pc/fix-package-name-in-install-path.patch/Makefile:225: for f in ${DOC_EXAMPLES}; do mkdir -p ${DOCDIR}/`dirname $$f`; cp -pf $$f ${DOCDIR}/$$f; done
proofgeneral-4.4.1~pre170114/.pc/fix-package-name-in-install-path.patch/Makefile-226-
##############################################
proofgeneral-4.4.1~pre170114/.pc/dont-install-elc.patch/Makefile-64-ERROR_ON_WARN = nil
proofgeneral-4.4.1~pre170114/.pc/dont-install-elc.patch/Makefile:65:BYTECOMP = $(BATCHEMACS) -eval '(setq load-path (append (mapcar (lambda (d) (expand-file-name (symbol-name d))) (quote (${ELISP_DIRS}))) load-path))' -eval '(progn (require (quote bytecomp)) (require (quote mouse)) (require (quote tool-bar)) (require (quote fontset)) (setq byte-compile-warnings (remove (quote cl-functions) (remove (quote noruntime) byte-compile-warning-types))) (setq byte-compile-error-on-warn $(ERROR_ON_WARN)))' -f batch-byte-compile
proofgeneral-4.4.1~pre170114/.pc/dont-install-elc.patch/Makefile-66-EL=$(shell for f in $(ELISP_DIRS); do ls $$f/*.el; done)
##############################################
proofgeneral-4.4.1~pre170114/.pc/dont-install-elc.patch/Makefile-224- for f in ${DOC_FILES}; do cp -pf $$f ${DOCDIR}; done
proofgeneral-4.4.1~pre170114/.pc/dont-install-elc.patch/Makefile:225: for f in ${DOC_EXAMPLES}; do mkdir -p ${DOCDIR}/`dirname $$f`; cp -pf $$f ${DOCDIR}/$$f; done
proofgeneral-4.4.1~pre170114/.pc/dont-install-elc.patch/Makefile-226-
##############################################
proofgeneral-4.4.1~pre170114/.pc/only-install-simplified-pg-script/Makefile-64-ERROR_ON_WARN = nil
proofgeneral-4.4.1~pre170114/.pc/only-install-simplified-pg-script/Makefile:65:BYTECOMP = $(BATCHEMACS) -eval '(setq load-path (append (mapcar (lambda (d) (expand-file-name (symbol-name d))) (quote (${ELISP_DIRS}))) load-path))' -eval '(progn (require (quote bytecomp)) (require (quote mouse)) (require (quote tool-bar)) (require (quote fontset)) (setq byte-compile-warnings (remove (quote cl-functions) (remove (quote noruntime) byte-compile-warning-types))) (setq byte-compile-error-on-warn $(ERROR_ON_WARN)))' -f batch-byte-compile
proofgeneral-4.4.1~pre170114/.pc/only-install-simplified-pg-script/Makefile-66-EL=$(shell for f in $(ELISP_DIRS); do ls $$f/*.el; done)
##############################################
proofgeneral-4.4.1~pre170114/.pc/only-install-simplified-pg-script/Makefile-224- for f in ${DOC_FILES}; do cp -pf $$f ${DOCDIR}; done
proofgeneral-4.4.1~pre170114/.pc/only-install-simplified-pg-script/Makefile:225: for f in ${DOC_EXAMPLES}; do mkdir -p ${DOCDIR}/`dirname $$f`; cp -pf $$f ${DOCDIR}/$$f; done
proofgeneral-4.4.1~pre170114/.pc/only-install-simplified-pg-script/Makefile-226-
##############################################
proofgeneral-4.4.1~pre170114/.pc/debian-specific-site-init.patch/Makefile-64-ERROR_ON_WARN = nil
proofgeneral-4.4.1~pre170114/.pc/debian-specific-site-init.patch/Makefile:65:BYTECOMP = $(BATCHEMACS) -eval '(setq load-path (append (mapcar (lambda (d) (expand-file-name (symbol-name d))) (quote (${ELISP_DIRS}))) load-path))' -eval '(progn (require (quote bytecomp)) (require (quote mouse)) (require (quote tool-bar)) (require (quote fontset)) (setq byte-compile-warnings (remove (quote cl-functions) (remove (quote noruntime) byte-compile-warning-types))) (setq byte-compile-error-on-warn $(ERROR_ON_WARN)))' -f batch-byte-compile
proofgeneral-4.4.1~pre170114/.pc/debian-specific-site-init.patch/Makefile-66-EL=$(shell for f in $(ELISP_DIRS); do ls $$f/*.el; done)
##############################################
proofgeneral-4.4.1~pre170114/.pc/debian-specific-site-init.patch/Makefile-226- for f in ${DOC_FILES}; do cp -pf $$f ${DOCDIR}; done
proofgeneral-4.4.1~pre170114/.pc/debian-specific-site-init.patch/Makefile:227: for f in ${DOC_EXAMPLES}; do mkdir -p ${DOCDIR}/`dirname $$f`; cp -pf $$f ${DOCDIR}/$$f; done
proofgeneral-4.4.1~pre170114/.pc/debian-specific-site-init.patch/Makefile-228-
##############################################
proofgeneral-4.4.1~pre170114/.pc/prepare-user-manual/Makefile-64-ERROR_ON_WARN = nil
proofgeneral-4.4.1~pre170114/.pc/prepare-user-manual/Makefile:65:BYTECOMP = $(BATCHEMACS) -eval '(setq load-path (append (mapcar (lambda (d) (expand-file-name (symbol-name d))) (quote (${ELISP_DIRS}))) load-path))' -eval '(progn (require (quote bytecomp)) (require (quote mouse)) (require (quote tool-bar)) (require (quote fontset)) (setq byte-compile-warnings (remove (quote cl-functions) (remove (quote noruntime) byte-compile-warning-types))) (setq byte-compile-error-on-warn $(ERROR_ON_WARN)))' -f batch-byte-compile
proofgeneral-4.4.1~pre170114/.pc/prepare-user-manual/Makefile-66-EL=$(shell for f in $(ELISP_DIRS); do ls $$f/*.el; done)
##############################################
proofgeneral-4.4.1~pre170114/.pc/prepare-user-manual/Makefile-226- for f in ${DOC_FILES}; do cp -pf $$f ${DOCDIR}; done
proofgeneral-4.4.1~pre170114/.pc/prepare-user-manual/Makefile:227: for f in ${DOC_EXAMPLES}; do mkdir -p ${DOCDIR}/`dirname $$f`; cp -pf $$f ${DOCDIR}/$$f; done
proofgeneral-4.4.1~pre170114/.pc/prepare-user-manual/Makefile-228-
##############################################
proofgeneral-4.4.1~pre170114/.pc/install-examples.patch/Makefile-64-ERROR_ON_WARN = nil
proofgeneral-4.4.1~pre170114/.pc/install-examples.patch/Makefile:65:BYTECOMP = $(BATCHEMACS) -eval '(setq load-path (append (mapcar (lambda (d) (expand-file-name (symbol-name d))) (quote (${ELISP_DIRS}))) load-path))' -eval '(progn (require (quote bytecomp)) (require (quote mouse)) (require (quote tool-bar)) (require (quote fontset)) (setq byte-compile-warnings (remove (quote cl-functions) (remove (quote noruntime) byte-compile-warning-types))) (setq byte-compile-error-on-warn $(ERROR_ON_WARN)))' -f batch-byte-compile
proofgeneral-4.4.1~pre170114/.pc/install-examples.patch/Makefile-66-EL=$(shell for f in $(ELISP_DIRS); do ls $$f/*.el; done)
##############################################
proofgeneral-4.4.1~pre170114/.pc/install-examples.patch/Makefile-226- for f in ${DOC_FILES}; do cp -pf $$f ${DOCDIR}; done
proofgeneral-4.4.1~pre170114/.pc/install-examples.patch/Makefile:227: for f in ${DOC_EXAMPLES}; do mkdir -p ${DOCDIR}/`dirname $$f`; cp -pf $$f ${DOCDIR}/$$f; done
proofgeneral-4.4.1~pre170114/.pc/install-examples.patch/Makefile-228-
##############################################
proofgeneral-4.4.1~pre170114/.pc/fix-coqtags.patch/coq/coqtags-28- while($d>0 && $a=~/\(\*|\*\)/)
proofgeneral-4.4.1~pre170114/.pc/fix-coqtags.patch/coq/coqtags:29: { $a=$'; $cp+=2+length $`; $lp+=(($wombat=$`)=~tr/\n/\n/);
proofgeneral-4.4.1~pre170114/.pc/fix-coqtags.patch/coq/coqtags-30- if($& eq "(*") {$d++} else {$d--};
##############################################
proofgeneral-4.4.1~pre170114/Makefile-64-ERROR_ON_WARN = nil
proofgeneral-4.4.1~pre170114/Makefile:65:BYTECOMP = $(BATCHEMACS) -eval '(setq load-path (append (mapcar (lambda (d) (expand-file-name (symbol-name d))) (quote (${ELISP_DIRS}))) load-path))' -eval '(progn (require (quote bytecomp)) (require (quote mouse)) (require (quote tool-bar)) (require (quote fontset)) (setq byte-compile-warnings (remove (quote cl-functions) (remove (quote noruntime) byte-compile-warning-types))) (setq byte-compile-error-on-warn $(ERROR_ON_WARN)))' -f batch-byte-compile
proofgeneral-4.4.1~pre170114/Makefile-66-EL=$(shell for f in $(ELISP_DIRS); do ls $$f/*.el; done)
##############################################
proofgeneral-4.4.1~pre170114/Makefile-229- for f in ${DOC_FILES}; do cp -pf $$f ${DOCDIR}; done
proofgeneral-4.4.1~pre170114/Makefile:230: for f in ${DOC_EXAMPLES}; do mkdir -p ${DOCDIR}/`dirname $$f`; cp -pf $$f ${DOCDIR}/$$f; done
proofgeneral-4.4.1~pre170114/Makefile-231-