Searched refs:SHELL (Results 1 - 19 of 19) sorted by relevance

/seL4-l4v-10.1.1/l4v/camkes/adl-spec/document/imgs/
H A DMakefile11 SHELL=/bin/bash macro
/seL4-l4v-10.1.1/l4v/spec/design/
H A DMakefile12 SHELL=bash macro
/seL4-l4v-10.1.1/l4v/spec/
H A DMakefile11 SHELL=bash macro
/seL4-l4v-10.1.1/l4v/spec/cspec/c/
H A DMakefile16 SHELL=bash macro
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/include/
H A DMakefile.in259 SHELL = @SHELL@
351 echo ' cd $(top_builddir) && $(SHELL) ./config.status $(subdir)/$@ $(am__depfiles_maybe)'; \
352 cd $(top_builddir) && $(SHELL) ./config.status $(subdir)/$@ $(am__depfiles_maybe);; \
364 cd $(top_builddir) && $(SHELL) ./config.status $(subdir)/$@
/seL4-l4v-10.1.1/HOL4/polyml/modules/IntInfAsInt/
H A DMakefile.in204 SHELL = @SHELL@
290 echo ' cd $(top_builddir) && $(SHELL) ./config.status $(subdir)/$@ $(am__depfiles_maybe)'; \
291 cd $(top_builddir) && $(SHELL) ./config.status $(subdir)/$@ $(am__depfiles_maybe);; \
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/man/
H A DMakefile.in242 SHELL = @SHELL@
332 echo ' cd $(top_builddir) && $(SHELL) ./config.status $(subdir)/$@ $(am__depfiles_maybe)'; \
333 cd $(top_builddir) && $(SHELL) ./config.status $(subdir)/$@ $(am__depfiles_maybe);; \
/seL4-l4v-10.1.1/HOL4/polyml/libpolymain/
H A DMakefile.in158 depcomp = $(SHELL) $(top_srcdir)/depcomp
285 SHELL = @SHELL@
377 echo ' cd $(top_builddir) && $(SHELL) ./config.status $(subdir)/$@ $(am__depfiles_maybe)'; \
378 cd $(top_builddir) && $(SHELL) ./config.status $(subdir)/$@ $(am__depfiles_maybe);; \
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/testsuite/
H A DMakefile.in215 SHELL = @SHELL@
383 echo ' cd $(top_builddir) && $(SHELL) ./config.status $(subdir)/$@ $(am__depfiles_maybe)'; \
384 cd $(top_builddir) && $(SHELL) ./config.status $(subdir)/$@ $(am__depfiles_maybe);; \
411 if $(SHELL) -c "$(RUNTEST) --version" > /dev/null 2>&1; then \
/seL4-l4v-10.1.1/HOL4/polyml/
H A DMakefile.in183 depcomp = $(SHELL) $(top_srcdir)/depcomp
375 SHELL = @SHELL@
503 echo ' $(SHELL) ./config.status'; \
504 $(SHELL) ./config.status;; \
506 echo ' cd $(top_builddir) && $(SHELL) ./config.status $@ $(am__depfiles_maybe)'; \
507 cd $(top_builddir) && $(SHELL) ./config.status $@ $(am__depfiles_maybe);; \
511 $(SHELL) ./config.status --recheck
525 cd $(top_builddir) && $(SHELL) ./config.status config.h
534 cd $(top_builddir) && $(SHELL)
[all...]
H A Dconfigure241 $as_found || { if { test -f "$SHELL" || test -f "$SHELL.exe"; } &&
242 { $as_echo "$as_bourne_compatible""$as_required" | as_run=a "$SHELL"; } 2>/dev/null; then :
243 CONFIG_SHELL=$SHELL as_have_required=yes
287 SHELL=${CONFIG_SHELL-/bin/sh}
288 export SHELL
567 SHELL=${CONFIG_SHELL-/bin/sh}
814 SHELL'
1616 $SHELL "$ac_srcdir/configure.gnu" --help=recursive
1619 $SHELL "
[all...]
H A Dltmain.sh321 : ${SHELL="${CONFIG_SHELL-/bin/sh}"}
2067 shell: $SHELL
4094 if test "$SHELL" = "$nonopt" || test /bin/sh = "$nonopt" ||
4552 exec_cmd='$SHELL "$progpath" $preserve_args --finish$current_libdirs'
5216 #! $SHELL
10764 relink_command="(cd `pwd`; $SHELL \"$progpath\" $preserve_args --mode=relink $libtool_args @inst_prefix_dir@)"
/seL4-l4v-10.1.1/HOL4/polyml/modules/
H A DMakefile.in264 SHELL = @SHELL@
351 echo ' cd $(top_builddir) && $(SHELL) ./config.status $(subdir)/$@ $(am__depfiles_maybe)'; \
352 cd $(top_builddir) && $(SHELL) ./config.status $(subdir)/$@ $(am__depfiles_maybe);; \
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/
H A DMakefile.in200 depcomp = $(SHELL) $(top_srcdir)/depcomp
399 SHELL = @SHELL@
607 echo ' cd $(top_builddir) && $(SHELL) ./config.status $(subdir)/$@ $(am__depfiles_maybe)'; \
608 cd $(top_builddir) && $(SHELL) ./config.status $(subdir)/$@ $(am__depfiles_maybe);; \
620 cd $(top_builddir) && $(SHELL) ./config.status $(subdir)/$@
/seL4-l4v-10.1.1/HOL4/polyml/libpolyml/libffi/
H A Dconfigure241 $as_found || { if { test -f "$SHELL" || test -f "$SHELL.exe"; } &&
242 { $as_echo "$as_bourne_compatible""$as_required" | as_run=a "$SHELL"; } 2>/dev/null; then :
243 CONFIG_SHELL=$SHELL as_have_required=yes
287 SHELL=${CONFIG_SHELL-/bin/sh}
288 export SHELL
567 SHELL=${CONFIG_SHELL-/bin/sh}
869 SHELL'
1640 $SHELL "$ac_srcdir/configure.gnu" --help=recursive
1643 $SHELL "
[all...]
H A DMakefile.in312 depcomp = $(SHELL) $(top_srcdir)/depcomp
512 SHELL = @SHELL@
657 'SHELL=$(SHELL)' \
699 LTLDFLAGS = $(shell $(SHELL) $(top_srcdir)/libtool-ldflags $(LDFLAGS))
727 echo ' $(SHELL) ./config.status'; \
728 $(SHELL) ./config.status;; \
730 echo ' cd $(top_builddir) && $(SHELL) ./config.status $@ $(am__depfiles_maybe)'; \
731 cd $(top_builddir) && $(SHELL)
[all...]
H A DMakefile.am95 'SHELL=$(SHELL)' \
251 LTLDFLAGS = $(shell $(SHELL) $(top_srcdir)/libtool-ldflags $(LDFLAGS))
H A Dltmain.sh321 : ${SHELL="${CONFIG_SHELL-/bin/sh}"}
2067 shell: $SHELL
4094 if test "$SHELL" = "$nonopt" || test /bin/sh = "$nonopt" ||
4552 exec_cmd='$SHELL "$progpath" $preserve_args --finish$current_libdirs'
5216 #! $SHELL
10764 relink_command="(cd `pwd`; $SHELL \"$progpath\" $preserve_args --mode=relink $libtool_args @inst_prefix_dir@)"
/seL4-l4v-10.1.1/seL4/manual/
H A DMakefile20 SHELL=bash macro

Completed in 183 milliseconds