===========================================================
.___ __ __
_________________ __ __ __| _/|__|/ |_
/ ___\_` __ \__ \ | | \/ __ | | \\_ __\
/ /_/ > | \// __ \| | / /_/ | | || |
\___ /|__| (____ /____/\____ | |__||__|
/_____/ \/ \/
grep rough audit - static analysis tool
v2.8 written by @Wireghoul
=================================[justanotherhacker.com]===
coq-8.12.0/Makefile.doc-114-%.ps: %.dvi
coq-8.12.0/Makefile.doc:115: (cd `dirname $<`; $(DVIPS) -q -o `basename $@` `basename $<`)
coq-8.12.0/Makefile.doc-116-
##############################################
coq-8.12.0/Makefile.doc-233- (for d in html latex; do \
coq-8.12.0/Makefile.doc:234: for f in `cd doc/sphinx/_build/$$d && find . -type f`; do \
coq-8.12.0/Makefile.doc-235- $(MKDIR) $$(dirname $(FULLDOCDIR)/sphinx/$$d/$$f);\
##############################################
coq-8.12.0/doc/stdlib/make-library-index-18- fi
coq-8.12.0/doc/stdlib/make-library-index:19: d=`basename $k`
coq-8.12.0/doc/stdlib/make-library-index-20- ls $k | grep -q \.v'$'
##############################################
coq-8.12.0/doc/stdlib/make-library-index-22- for j in $k/*.v; do
coq-8.12.0/doc/stdlib/make-library-index:23: b=`basename $j .v`
coq-8.12.0/doc/stdlib/make-library-index-24- rm -f tmp2
##############################################
coq-8.12.0/doc/stdlib/make-library-index-32- else
coq-8.12.0/doc/stdlib/make-library-index:33: p=`echo $k | sed 's:^[^/]*/::' | sed 's:/:.:g'`
coq-8.12.0/doc/stdlib/make-library-index-34- sed -e "s:$k/$b.v:<a href=\"$BASE_PREFIX$p.$b.html\">$b</a>:g" tmp > tmp2
##############################################
coq-8.12.0/tools/beautify-archive-28-echo -------- Upgrading files in the beautification directory --------------
coq-8.12.0/tools/beautify-archive:29:beaufiles=`find . -name \*.v$BEAUTIFYSUFFIX`
coq-8.12.0/tools/beautify-archive-30-for i in $beaufiles; do
coq-8.12.0/tools/beautify-archive:31: j=`dirname $i`/`basename $i .v$BEAUTIFYSUFFIX`.v
coq-8.12.0/tools/beautify-archive-32- echo Upgrading $j in the beautification directory
##############################################
coq-8.12.0/tools/update-require-18- if test ${COQBIN##*/}; then COQBIN=$COQBIN/; fi
coq-8.12.0/tools/update-require:19: if test ! "$COQC"; then COQC=`which ${COQBIN}coqc`; fi
coq-8.12.0/tools/update-require:20: COQLIB=`"$COQC" -where`
coq-8.12.0/tools/update-require-21-fi
##############################################
coq-8.12.0/tools/CoqMakefile.in-494- -toc $(COQDOCFLAGS) -ps $(GAL) $(COQDOCLIBS) \
coq-8.12.0/tools/CoqMakefile.in:495: -o $@ `$(COQDEP) -sort $(VFILES)`
coq-8.12.0/tools/CoqMakefile.in-496-
##############################################
coq-8.12.0/tools/CoqMakefile.in-500- -toc $(COQDOCFLAGS) -pdf $(GAL) $(COQDOCLIBS) \
coq-8.12.0/tools/CoqMakefile.in:501: -o $@ `$(COQDEP) -sort $(VFILES)`
coq-8.12.0/tools/CoqMakefile.in-502-
##############################################
coq-8.12.0/tools/CoqMakefile.in-529- $(HIDE)for f in $(FILESTOINSTALL); do\
coq-8.12.0/tools/CoqMakefile.in:530: df="`$(COQMKFILE) -destination-of "$$f" $(COQLIBS)`";\
coq-8.12.0/tools/CoqMakefile.in-531- if [ "$$?" != "0" -o -z "$$df" ]; then\
##############################################
coq-8.12.0/tools/CoqMakefile.in-545- $(HIDE)for f in $(BYTEFILESTOINSTALL); do\
coq-8.12.0/tools/CoqMakefile.in:546: df="`$(COQMKFILE) -destination-of "$$f" $(COQLIBS)`";\
coq-8.12.0/tools/CoqMakefile.in-547- if [ "$$?" != "0" -o -z "$$df" ]; then\
##############################################
coq-8.12.0/tools/CoqMakefile.in-575- $(HIDE)for f in $(FILESTOINSTALL); do \
coq-8.12.0/tools/CoqMakefile.in:576: df="`$(COQMKFILE) -destination-of "$$f" $(COQLIBS)`" &&\
coq-8.12.0/tools/CoqMakefile.in:577: instf="$(COQLIBINSTALL)/$$df/`basename $$f`" &&\
coq-8.12.0/tools/CoqMakefile.in-578- rm -f "$$instf" &&\
##############################################
coq-8.12.0/dev/build/windows/makecoq_mingw.sh-1039- # D:\bin\coq64_buildtest_abs_ocaml4\bin>ocamlc -where => D:/bin/coq64_buildtest_abs_ocaml4/libocaml
coq-8.12.0/dev/build/windows/makecoq_mingw.sh:1040: # D:\bin\coq64_buildtest_abs_ocaml4\bin>camlp4 -where => ${PREFIX}/libocaml\camlp4
coq-8.12.0/dev/build/windows/makecoq_mingw.sh-1041- # So we put an explicit path in there
##############################################
coq-8.12.0/dev/build/windows/configure_profile.sh-16-
coq-8.12.0/dev/build/windows/configure_profile.sh:17:# to learn about `exec >> $file`, see https://www.tldp.org/LDP/abs/html/x17974.html
coq-8.12.0/dev/build/windows/configure_profile.sh-18-exec >> $rcfile
##############################################
coq-8.12.0/dev/build/windows/patches_coq/isl-0.14.patch-3-@@ -8134,7 +8134,7 @@
coq-8.12.0/dev/build/windows/patches_coq/isl-0.14.patch:4: lt_sysroot=`$CC --print-sysroot 2>/dev/null`
coq-8.12.0/dev/build/windows/patches_coq/isl-0.14.patch-5- fi
##############################################
coq-8.12.0/dev/build/windows/patches_coq/isl-0.14.patch-8-+ /*|[A-Z]:\\*|[A-Z]:/*)
coq-8.12.0/dev/build/windows/patches_coq/isl-0.14.patch:9: lt_sysroot=`echo "$with_sysroot" | sed -e "$sed_quote_subst"`
coq-8.12.0/dev/build/windows/patches_coq/isl-0.14.patch-10- ;; #(
##############################################
coq-8.12.0/dev/doc/changes.md-1022-
coq-8.12.0/dev/doc/changes.md:1023: with the `msg_*` functions being just an alias for `logger $Level`.
coq-8.12.0/dev/doc/changes.md-1024-
##############################################
coq-8.12.0/dev/doc/changes.md-1117- of the ML code. The parsing rules (`VERNAC`) `ARGUMENT EXTEND` will look for
coq-8.12.0/dev/doc/changes.md:1118: variables `$name` of type `Gram.entry`, while the parsing rules of
coq-8.12.0/dev/doc/changes.md-1119- (`VERNAC COMMAND` | `TACTIC`) `EXTEND`, as well as the various `TYPED AS` clauses will
coq-8.12.0/dev/doc/changes.md:1120: look for variables `wit_$name` of type `Genarg.genarg_type`. The small DSL
coq-8.12.0/dev/doc/changes.md-1121- for constructing compound entries still works over this scheme. Note that in
##############################################
coq-8.12.0/dev/doc/README.md-13-
coq-8.12.0/dev/doc/README.md:14:This document will use `$JOBS` to refer to the number of parallel jobs one
coq-8.12.0/dev/doc/README.md-15-is willing to have with `make`.
##############################################
coq-8.12.0/dev/doc/xml-protocol.md-150-### <a name="command-editAt">**EditAt(stateId: integer)**</a>
coq-8.12.0/dev/doc/xml-protocol.md:151:Moves current tip to `${stateId}`, such that commands may be added to the new state ID.
coq-8.12.0/dev/doc/xml-protocol.md-152-```html
##############################################
coq-8.12.0/dev/doc/xml-protocol.md-394-### <a name="command-search">**Search([(constraintTypeN: string, constraintValueN: string, positiveConstraintN: boolean)])**</a>
coq-8.12.0/dev/doc/xml-protocol.md:395:Searches for objects that satisfy a list of constraints. If `${positiveConstraint}` is `false`, then the constraint is inverted.
coq-8.12.0/dev/doc/xml-protocol.md-396-```html
##############################################
coq-8.12.0/dev/doc/xml-protocol.md-435-##### Types of constraints:
coq-8.12.0/dev/doc/xml-protocol.md:436:* Name pattern: `${constraintType} = "name_pattern"`; `${constraintValue}` is a regular expression string.
coq-8.12.0/dev/doc/xml-protocol.md:437:* Type pattern: `${constraintType} = "type_pattern"`; `${constraintValue}` is a pattern (???: an open gallina term) string.
coq-8.12.0/dev/doc/xml-protocol.md:438:* SubType pattern: `${constraintType} = "subtype_pattern"`; `${constraintValue}` is a pattern (???: an open gallina term) string.
coq-8.12.0/dev/doc/xml-protocol.md:439:* In module: `${constraintType} = "in_module"`; `${constraintValue}` is a list of strings specifying the module/directory structure.
coq-8.12.0/dev/doc/xml-protocol.md:440:* Include blacklist: `${constraintType} = "include_blacklist"`; `${constraintValue}` *is omitted*.
coq-8.12.0/dev/doc/xml-protocol.md-441-
##############################################
coq-8.12.0/dev/doc/build-system.dune.md-71-
coq-8.12.0/dev/doc/build-system.dune.md:72:You can build some other target by doing `dune build $TARGET`, where
coq-8.12.0/dev/doc/build-system.dune.md:73:`$TARGET` can be a `.cmxa`, a binary, a file that Dune considers a
coq-8.12.0/dev/doc/build-system.dune.md-74-target, an alias, etc...
##############################################
coq-8.12.0/dev/doc/build-system.dune.md-97-
coq-8.12.0/dev/doc/build-system.dune.md:98:You can create a developer shell with `dune utop $library`, where
coq-8.12.0/dev/doc/build-system.dune.md:99:`$library` can be any directory in the current workspace. For example,
coq-8.12.0/dev/doc/build-system.dune.md-100-`dune utop engine` or `dune utop plugins/ltac` will launch `utop` with
##############################################
coq-8.12.0/dev/doc/build-system.dune.md-201-reports](https://caml.inria.fr/pub/docs/manual-ocaml/flambda.html#sec488). These
coq-8.12.0/dev/doc/build-system.dune.md:202:are to be found under `_build/default/$lib/$lib.objs/$module.$round.inlining.org`
coq-8.12.0/dev/doc/build-system.dune.md-203-and are in Emacs `org-mode` format.
##############################################
coq-8.12.0/dev/ocamldebug-coq.run-11-[ -z "$COQTOP" -a -d "$PWD/kernel" ] && COQTOP=$PWD
coq-8.12.0/dev/ocamldebug-coq.run:12:[ -z "$COQTOP" -a -d "$PWD/../kernel" ] && COQTOP=`dirname $PWD`
coq-8.12.0/dev/ocamldebug-coq.run-13-
##############################################
coq-8.12.0/dev/ci/docker/README.md-38-
coq-8.12.0/dev/ci/docker/README.md:39:- Build the image `docker build -t base:$VERSION .`
coq-8.12.0/dev/ci/docker/README.md-40-
##############################################
coq-8.12.0/dev/ci/docker/README.md-43-- Create a https://hub.docker.com account.
coq-8.12.0/dev/ci/docker/README.md:44:- Login into your space `docker login --username=$USER`
coq-8.12.0/dev/ci/docker/README.md-45-- Push the image:
coq-8.12.0/dev/ci/docker/README.md:46: + `docker tag base:$VERSION $USER/base:$VERSION`
coq-8.12.0/dev/ci/docker/README.md:47: + `docker push $USER/base:$VERSION`
coq-8.12.0/dev/ci/docker/README.md-48-
##############################################
coq-8.12.0/configure-29-
coq-8.12.0/configure:30:`$cmd -version > /dev/null 2>&1` && exec $cmd -w "-3" $script "$@"
coq-8.12.0/configure-31-
##############################################
coq-8.12.0/test-suite/misc/quotation_token.sh-27-else
coq-8.12.0/test-suite/misc/quotation_token.sh:28: echo "wong loc: `grep File.*quotation.v $TMP`"
coq-8.12.0/test-suite/misc/quotation_token.sh-29- rm $TMP
##############################################
coq-8.12.0/test-suite/Makefile-202- $(call summary_dir, "Ltac2 tests", ltac2); \
coq-8.12.0/test-suite/Makefile:203: nb_success=`find . -name '*.log' -exec tail -n2 '{}' \; | grep -e $(log_success) | wc -l`; \
coq-8.12.0/test-suite/Makefile:204: nb_failure=`find . -name '*.log' -exec tail -n2 '{}' \; | grep -e $(log_failure) | wc -l`; \
coq-8.12.0/test-suite/Makefile:205: nb_tests=`expr $$nb_success + $$nb_failure`; \
coq-8.12.0/test-suite/Makefile:206: percentage=`expr 100 \* $$nb_success / $$nb_tests`; \
coq-8.12.0/test-suite/Makefile-207- echo; \
##############################################
coq-8.12.0/test-suite/Makefile-578- true "extract effective user time"; \
coq-8.12.0/test-suite/Makefile:579: res=`$(coqc_interactive) "$<" $(call get_coq_prog_args,"$<") 2>&1 | sed -n -e "s/Finished .*transaction in .*(\([0-9]*\.[0-9]*\)u.*)/\1/p" | head -1 | sed "s/\r//g"`; \
coq-8.12.0/test-suite/Makefile-580- R=$$?; times; \
##############################################
coq-8.12.0/test-suite/Makefile-591- resorig="$$res"; \
coq-8.12.0/test-suite/Makefile:592: res=`echo "$$res"00 | sed -n -e "s/\([0-9]*\)\.\([0-9][0-9]\).*/\1\2/p"`; \
coq-8.12.0/test-suite/Makefile-593- if [ "$$res" = "" ]; then \
##############################################
coq-8.12.0/test-suite/Makefile-597- true "find expected time * 100"; \
coq-8.12.0/test-suite/Makefile:598: exp=`sed -n -e "s/(\*.*Expected time < \([0-9]\).\([0-9][0-9]\)s.*\*)/\1\2/p" "$<"`; \
coq-8.12.0/test-suite/Makefile-599- true "compute corrected effective time, rounded up"; \
coq-8.12.0/test-suite/Makefile:600: rescorrected=`expr \( $$res \* $(bogomips) + 6120 - 1 \) / 6120`; \
coq-8.12.0/test-suite/Makefile:601: ok=`expr \( $$res \* $(bogomips) \) "<" \( $$exp \* 6120 \)`; \
coq-8.12.0/test-suite/Makefile-602- if [ "$$ok" = 1 ]; then \
##############################################
coq-8.12.0/test-suite/Makefile-779- cd coqdoc; \
coq-8.12.0/test-suite/Makefile:780: f=`basename $*`; \
coq-8.12.0/test-suite/Makefile-781- $(coqdoc) -utf8 -R . Coqdoc -coqlib http://coq.inria.fr/stdlib --html $$f.v; \
##############################################
coq-8.12.0/.pc/python-scripts-libraries.patch/tools/CoqMakefile.in-494- -toc $(COQDOCFLAGS) -ps $(GAL) $(COQDOCLIBS) \
coq-8.12.0/.pc/python-scripts-libraries.patch/tools/CoqMakefile.in:495: -o $@ `$(COQDEP) -sort $(VFILES)`
coq-8.12.0/.pc/python-scripts-libraries.patch/tools/CoqMakefile.in-496-
##############################################
coq-8.12.0/.pc/python-scripts-libraries.patch/tools/CoqMakefile.in-500- -toc $(COQDOCFLAGS) -pdf $(GAL) $(COQDOCLIBS) \
coq-8.12.0/.pc/python-scripts-libraries.patch/tools/CoqMakefile.in:501: -o $@ `$(COQDEP) -sort $(VFILES)`
coq-8.12.0/.pc/python-scripts-libraries.patch/tools/CoqMakefile.in-502-
##############################################
coq-8.12.0/.pc/python-scripts-libraries.patch/tools/CoqMakefile.in-529- $(HIDE)for f in $(FILESTOINSTALL); do\
coq-8.12.0/.pc/python-scripts-libraries.patch/tools/CoqMakefile.in:530: df="`$(COQMKFILE) -destination-of "$$f" $(COQLIBS)`";\
coq-8.12.0/.pc/python-scripts-libraries.patch/tools/CoqMakefile.in-531- if [ "$$?" != "0" -o -z "$$df" ]; then\
##############################################
coq-8.12.0/.pc/python-scripts-libraries.patch/tools/CoqMakefile.in-545- $(HIDE)for f in $(BYTEFILESTOINSTALL); do\
coq-8.12.0/.pc/python-scripts-libraries.patch/tools/CoqMakefile.in:546: df="`$(COQMKFILE) -destination-of "$$f" $(COQLIBS)`";\
coq-8.12.0/.pc/python-scripts-libraries.patch/tools/CoqMakefile.in-547- if [ "$$?" != "0" -o -z "$$df" ]; then\
##############################################
coq-8.12.0/.pc/python-scripts-libraries.patch/tools/CoqMakefile.in-575- $(HIDE)for f in $(FILESTOINSTALL); do \
coq-8.12.0/.pc/python-scripts-libraries.patch/tools/CoqMakefile.in:576: df="`$(COQMKFILE) -destination-of "$$f" $(COQLIBS)`" &&\
coq-8.12.0/.pc/python-scripts-libraries.patch/tools/CoqMakefile.in:577: instf="$(COQLIBINSTALL)/$$df/`basename $$f`" &&\
coq-8.12.0/.pc/python-scripts-libraries.patch/tools/CoqMakefile.in-578- rm -f "$$instf" &&\
##############################################
coq-8.12.0/.pc/remove-bytecode-failing-tests.patch/test-suite/Makefile-202- $(call summary_dir, "Ltac2 tests", ltac2); \
coq-8.12.0/.pc/remove-bytecode-failing-tests.patch/test-suite/Makefile:203: nb_success=`find . -name '*.log' -exec tail -n2 '{}' \; | grep -e $(log_success) | wc -l`; \
coq-8.12.0/.pc/remove-bytecode-failing-tests.patch/test-suite/Makefile:204: nb_failure=`find . -name '*.log' -exec tail -n2 '{}' \; | grep -e $(log_failure) | wc -l`; \
coq-8.12.0/.pc/remove-bytecode-failing-tests.patch/test-suite/Makefile:205: nb_tests=`expr $$nb_success + $$nb_failure`; \
coq-8.12.0/.pc/remove-bytecode-failing-tests.patch/test-suite/Makefile:206: percentage=`expr 100 \* $$nb_success / $$nb_tests`; \
coq-8.12.0/.pc/remove-bytecode-failing-tests.patch/test-suite/Makefile-207- echo; \
##############################################
coq-8.12.0/.pc/remove-bytecode-failing-tests.patch/test-suite/Makefile-578- true "extract effective user time"; \
coq-8.12.0/.pc/remove-bytecode-failing-tests.patch/test-suite/Makefile:579: res=`$(coqc_interactive) "$<" $(call get_coq_prog_args,"$<") 2>&1 | sed -n -e "s/Finished .*transaction in .*(\([0-9]*\.[0-9]*\)u.*)/\1/p" | head -1 | sed "s/\r//g"`; \
coq-8.12.0/.pc/remove-bytecode-failing-tests.patch/test-suite/Makefile-580- R=$$?; times; \
##############################################
coq-8.12.0/.pc/remove-bytecode-failing-tests.patch/test-suite/Makefile-591- resorig="$$res"; \
coq-8.12.0/.pc/remove-bytecode-failing-tests.patch/test-suite/Makefile:592: res=`echo "$$res"00 | sed -n -e "s/\([0-9]*\)\.\([0-9][0-9]\).*/\1\2/p"`; \
coq-8.12.0/.pc/remove-bytecode-failing-tests.patch/test-suite/Makefile-593- if [ "$$res" = "" ]; then \
##############################################
coq-8.12.0/.pc/remove-bytecode-failing-tests.patch/test-suite/Makefile-597- true "find expected time * 100"; \
coq-8.12.0/.pc/remove-bytecode-failing-tests.patch/test-suite/Makefile:598: exp=`sed -n -e "s/(\*.*Expected time < \([0-9]\).\([0-9][0-9]\)s.*\*)/\1\2/p" "$<"`; \
coq-8.12.0/.pc/remove-bytecode-failing-tests.patch/test-suite/Makefile-599- true "compute corrected effective time, rounded up"; \
coq-8.12.0/.pc/remove-bytecode-failing-tests.patch/test-suite/Makefile:600: rescorrected=`expr \( $$res \* $(bogomips) + 6120 - 1 \) / 6120`; \
coq-8.12.0/.pc/remove-bytecode-failing-tests.patch/test-suite/Makefile:601: ok=`expr \( $$res \* $(bogomips) \) "<" \( $$exp \* 6120 \)`; \
coq-8.12.0/.pc/remove-bytecode-failing-tests.patch/test-suite/Makefile-602- if [ "$$ok" = 1 ]; then \
##############################################
coq-8.12.0/.pc/remove-bytecode-failing-tests.patch/test-suite/Makefile-779- cd coqdoc; \
coq-8.12.0/.pc/remove-bytecode-failing-tests.patch/test-suite/Makefile:780: f=`basename $*`; \
coq-8.12.0/.pc/remove-bytecode-failing-tests.patch/test-suite/Makefile-781- $(coqdoc) -utf8 -R . Coqdoc -coqlib http://coq.inria.fr/stdlib --html $$f.v; \