Searched refs:GREP (Results 1 - 7 of 7) sorted by relevance

/seL4-l4v-master/HOL4/polyml/
H A Dconfigure718 GREP
4820 if test -z "$GREP"; then
4845 $as_echo 'GREP' >> "conftest.nl"
4846 "$ac_path_GREP" -e 'GREP$' -e '-(cannot match)-' < "conftest.nl" >"conftest.out" 2>/dev/null || break
4869 ac_cv_path_GREP=$GREP
4875 GREP="$ac_cv_path_GREP"
4883 if echo a | $GREP -E '(a|b)' >/dev/null 2>&1
4884 then ac_cv_path_EGREP="$GREP -E"
5287 if echo 'ab*c' | $GREP -F 'ab*c' >/dev/null 2>&1
5288 then ac_cv_path_FGREP="$GREP
[all...]
H A Dltmain.sh268 # Unless the user overrides by setting GREP, search the path for either GNU
270 test -z "$GREP" && {
283 echo 'GREP' >> conftest.nl
284 "$_G_path_prog" -e 'GREP$' -e '-(cannot match)-' <conftest.nl >conftest.out 2>/dev/null || break
299 GREP=$func_path_progs_result
314 : ${EGREP="$GREP -E"}
315 : ${FGREP="$GREP -F"}
807 $GREP "$1" "$2" >/dev/null 2>&1
2200 if $GREP "$re_begincf" "$progpath" >/dev/null 2>&1; then
2497 $GREP "
[all...]
H A DMakefile.in334 GREP = @GREP@
/seL4-l4v-master/HOL4/polyml/modules/IntInfAsInt/
H A DMakefile.in161 GREP = @GREP@
/seL4-l4v-master/HOL4/polyml/modules/
H A DMakefile.in221 GREP = @GREP@
/seL4-l4v-master/HOL4/polyml/libpolyml/
H A DMakefile.in349 GREP = @GREP@
/seL4-l4v-master/HOL4/polyml/libpolymain/
H A DMakefile.in243 GREP = @GREP@

Completed in 151 milliseconds